diff options
Diffstat (limited to 'src/algebra/rf.spad.pamphlet')
| -rw-r--r-- | src/algebra/rf.spad.pamphlet | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/algebra/rf.spad.pamphlet b/src/algebra/rf.spad.pamphlet index c8e40f71..7daac419 100644 --- a/src/algebra/rf.spad.pamphlet +++ b/src/algebra/rf.spad.pamphlet @@ -102,15 +102,13 @@ PolynomialCategoryQuotientFunctions(E, V, R, P, F): isExpt f == (ur := isExpt numer f) case "failed" => --- one? numer f => - (numer f) = 1 => + one? numer f => (ur := isExpt denom f) case "failed" => "failed" r := ur::Record(var:V, exponent:NonNegativeInteger) [r.var, - (r.exponent::Integer)] "failed" r := ur::Record(var:V, exponent:NonNegativeInteger) --- one? denom f => [r.var, r.exponent::Integer] - (denom f) = 1 => [r.var, r.exponent::Integer] + one? denom f => [r.var, r.exponent::Integer] "failed" isTimes f == @@ -118,10 +116,8 @@ PolynomialCategoryQuotientFunctions(E, V, R, P, F): l:Union(List F, "failed") := t case "failed" => "failed" [x::F for x in t] --- one?(den := denom f) => l - ((den := denom f) = 1) => l --- one? num => "failed" - num = 1 => "failed" + one?(den := denom f) => l + one? num => "failed" d := inv(den::F) l case "failed" => [num::F, d] concat_!(l::List(F), d) |