diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-12 17:04:43 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-12 17:04:43 +0000 |
| commit | 52fddea19454dc2b9bcb54c6edd5a4cd4f5765a9 (patch) | |
| tree | 4b13ccc6d57c7c1ee615c83615b246c98eae388a /src/algebra/gpol.spad.pamphlet | |
| parent | 42d38bee45a64edfc12641053e58581c20584363 (diff) | |
| download | open-axiom-52fddea19454dc2b9bcb54c6edd5a4cd4f5765a9.tar.gz | |
* src/algebra/: Systematically use negative? when comparing for
less than 0.
Diffstat (limited to 'src/algebra/gpol.spad.pamphlet')
| -rw-r--r-- | src/algebra/gpol.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/gpol.spad.pamphlet b/src/algebra/gpol.spad.pamphlet index 16529fea..ff4b05e1 100644 --- a/src/algebra/gpol.spad.pamphlet +++ b/src/algebra/gpol.spad.pamphlet @@ -93,7 +93,7 @@ LaurentPolynomial(R, UP): Exports == Implementation where reduce("+", l) coefficient(p, n) == - (m := n - order p) < 0 => 0 + negative?(m := n - order p) => 0 coefficient(poly p, m::N) differentiate(p:%, derivation:UP -> UP) == @@ -121,7 +121,7 @@ LaurentPolynomial(R, UP): Exports == Implementation where zero? p => q (d := order p - order q) > 0 => gpol(poly(p) * monomial(1, d::N) + poly q, order q) - d < 0 => gpol(poly(p) + poly(q) * monomial(1, (-d)::N), order p) + negative? d => gpol(poly(p) + poly(q) * monomial(1, (-d)::N), order p) mkgpol(order p, poly(p) + poly q) mkgpol(n, p) == @@ -134,7 +134,7 @@ LaurentPolynomial(R, UP): Exports == Implementation where check0(order p - order q, r::UP) retractIfCan(p:%):Union(UP, "failed") == - order(p) < 0 => error "Not retractable" + negative? order(p) => error "Not retractable" poly(p) * monomial(1, order(p)::N)$UP retractIfCan(p:%):Union(R, "failed") == |