aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/curve.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-03-12 17:04:43 +0000
committerdos-reis <gdr@axiomatics.org>2011-03-12 17:04:43 +0000
commit52fddea19454dc2b9bcb54c6edd5a4cd4f5765a9 (patch)
tree4b13ccc6d57c7c1ee615c83615b246c98eae388a /src/algebra/curve.spad.pamphlet
parent42d38bee45a64edfc12641053e58581c20584363 (diff)
downloadopen-axiom-52fddea19454dc2b9bcb54c6edd5a4cd4f5765a9.tar.gz
* src/algebra/: Systematically use negative? when comparing for
less than 0.
Diffstat (limited to 'src/algebra/curve.spad.pamphlet')
-rw-r--r--src/algebra/curve.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/curve.spad.pamphlet b/src/algebra/curve.spad.pamphlet
index a7185464..57fd38d3 100644
--- a/src/algebra/curve.spad.pamphlet
+++ b/src/algebra/curve.spad.pamphlet
@@ -275,7 +275,7 @@ FunctionFieldCategory(F, UP, UPUP): Category == Definition where
[represents row(m, i) for i in minRowIndex m .. maxRowIndex m]
integralAtInfinity? f ==
- not any?(infOrder(#1) < 0,
+ not any?(negative? infOrder(#1),
coordinates(f) * inverseIntegralMatrixAtInfinity())$Vector(RF)
numberOfComponents() ==
@@ -311,7 +311,7 @@ FunctionFieldCategory(F, UP, UPUP): Category == Definition where
error "f not locally integral at infinity"
rfmonom n ==
- n < 0 => inv(monomial(1, (-n)::NonNegativeInteger)$UP :: RF)
+ negative? n => inv(monomial(1, (-n)::NonNegativeInteger)$UP :: RF)
monomial(1, n::NonNegativeInteger)$UP :: RF
kmin(m, v) ==