aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/rf.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/rf.spad.pamphlet')
-rw-r--r--src/algebra/rf.spad.pamphlet6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/rf.spad.pamphlet b/src/algebra/rf.spad.pamphlet
index 26220e4c..c8e40f71 100644
--- a/src/algebra/rf.spad.pamphlet
+++ b/src/algebra/rf.spad.pamphlet
@@ -91,8 +91,8 @@ PolynomialCategoryQuotientFunctions(E, V, R, P, F):
mymerge(variables numer f, variables denom f)
isPower f ==
- (den := denom f) ^= 1 =>
- numer f ^= 1 => "failed"
+ (den := denom f) ~= 1 =>
+ numer f ~= 1 => "failed"
(ur := isExpt den) case "failed" => [den::F, -1]
r := ur::Record(var:V, exponent:NonNegativeInteger)
[r.var::P::F, - (r.exponent::Integer)]
@@ -127,7 +127,7 @@ PolynomialCategoryQuotientFunctions(E, V, R, P, F):
concat_!(l::List(F), d)
isPlus f ==
- denom f ^= 1 => "failed"
+ denom f ~= 1 => "failed"
(s := isPlus numer f) case "failed" => "failed"
[x::F for x in s]