diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
commit | 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch) | |
tree | da9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/pdecomp.spad.pamphlet | |
parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/pdecomp.spad.pamphlet')
-rw-r--r-- | src/algebra/pdecomp.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/pdecomp.spad.pamphlet b/src/algebra/pdecomp.spad.pamphlet index 37057fc4..8f60ecd0 100644 --- a/src/algebra/pdecomp.spad.pamphlet +++ b/src/algebra/pdecomp.spad.pamphlet @@ -20,7 +20,7 @@ PolynomialComposition(UP: UnivariatePolynomialCategory(R), R: Ring): with == add compose(g, h) == r: UP := 0 - while g ^= 0 repeat + while g ~= 0 repeat r := leadingCoefficient(g)*h**degree(g) + r g := reductum g r @@ -50,7 +50,7 @@ PolynomialDecomposition(UP, F): PDcat == PDdef where PDdef == add leftFactor(f, h) == g: UP := 0 - for i in 0.. while f ^= 0 repeat + for i in 0.. while f ~= 0 repeat fr := divide(f, h) f := fr.quotient; r := fr.remainder degree r > 0 => return "failed" @@ -59,7 +59,7 @@ PolynomialDecomposition(UP, F): PDcat == PDdef where decompose(f, dg, dh) == df := degree f - dg*dh ^= df => "failed" + dg*dh ~= df => "failed" h := rightFactorCandidate(f, dh) g := leftFactor(f, h) g case "failed" => "failed" |