diff options
Diffstat (limited to 'src/algebra/multpoly.spad.pamphlet')
| -rw-r--r-- | src/algebra/multpoly.spad.pamphlet | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/algebra/multpoly.spad.pamphlet b/src/algebra/multpoly.spad.pamphlet index 91c26a01..f3f5f2a3 100644 --- a/src/algebra/multpoly.spad.pamphlet +++ b/src/algebra/multpoly.spad.pamphlet @@ -162,8 +162,7 @@ SparseMultivariatePolynomial(R: Ring,VarSet: OrderedSet): C == T where zero? p == p case R and zero?(p)$R --- one? p == p case R and one?(p)$R - one? p == p case R and ((p) = 1)$R + one? p == p case R and one?(p)$R -- a local function red(p:%):% == p case R => 0 @@ -384,8 +383,7 @@ SparseMultivariatePolynomial(R: Ring,VarSet: OrderedSet): C == T where a:= (p1::R exquo p2::R) if a case "failed" then "failed" else a::% zero? p1 => p1 --- one? p2 => p1 - (p2 = 1) => p1 + one? p2 => p1 p1 case R or p2 case VPoly and p1.v < p2.v => "failed" p2 case R or p1.v > p2.v => a:= (p1.ts exquo p2::D) @@ -410,8 +408,7 @@ SparseMultivariatePolynomial(R: Ring,VarSet: OrderedSet): C == T where a:= (p1::R exquo p2::R) if a case "failed" then "failed" else a::% zero? p1 => p1 --- one? p2 => p1 - (p2 = 1) => p1 + one? p2 => p1 p1 case R or p2 case VPoly and p1.v < p2.v => "failed" p2 case R or p1.v > p2.v => a:= (p1.ts exquo p2::D) @@ -437,8 +434,7 @@ SparseMultivariatePolynomial(R: Ring,VarSet: OrderedSet): C == T where p case R => p c :R :=0 up:=p.ts --- while not(zero? up) and not(one? c) repeat - while not(zero? up) and not(c = 1) repeat + while not(zero? up) and not(one? c) repeat c:=gcd(c,content leadingCoefficient(up)) up := reductum up c |