diff options
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" |