aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/intclos.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-04-03 04:23:42 +0000
committerdos-reis <gdr@axiomatics.org>2008-04-03 04:23:42 +0000
commit001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch)
treeda9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/intclos.spad.pamphlet
parenta7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff)
downloadopen-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/intclos.spad.pamphlet')
-rw-r--r--src/algebra/intclos.spad.pamphlet8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/intclos.spad.pamphlet b/src/algebra/intclos.spad.pamphlet
index 4470fc41..802f079d 100644
--- a/src/algebra/intclos.spad.pamphlet
+++ b/src/algebra/intclos.spad.pamphlet
@@ -206,8 +206,8 @@ IntegralBasisTools(R,UP,F): Exports == Implementation where
(not square? rb1) or (not square? rbinv1) or (not square? rb2) _
or (not square? rbinv2) =>
error "moduleSum: matrices must be square"
- ((n := nrows rb1) ^= (nrows rbinv1)) or (n ^= (nrows rb2)) _
- or (n ^= (nrows rbinv2)) =>
+ ((n := nrows rb1) ~= (nrows rbinv1)) or (n ~= (nrows rb2)) _
+ or (n ~= (nrows rbinv2)) =>
error "moduleSum: matrices of imcompatible dimensions"
(zero? rbden1) or (zero? rbden2) =>
error "moduleSum: denominator must be non-zero"
@@ -755,8 +755,8 @@ NumberFieldIntegralBasis(UP,F): Exports == Implementation where
rbinv := UpTriBddDenomInv(rb, rbden)
indexChange := index quo oldIndex; oldIndex := index
disc := disc quo (indexChange * indexChange)
--- one? indexChange or gcd(p2,disc) ^= p2 =>
- (indexChange = 1) or gcd(p2,disc) ^= p2 =>
+-- one? indexChange or gcd(p2,disc) ~= p2 =>
+ (indexChange = 1) or gcd(p2,disc) ~= p2 =>
return [rb, rbden, rbinv, disc]
discriminant() ==