diff options
Diffstat (limited to 'src/algebra/poly.spad.pamphlet')
| -rw-r--r-- | src/algebra/poly.spad.pamphlet | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/algebra/poly.spad.pamphlet b/src/algebra/poly.spad.pamphlet index fe9eb615..ec3a2f79 100644 --- a/src/algebra/poly.spad.pamphlet +++ b/src/algebra/poly.spad.pamphlet @@ -294,9 +294,6 @@ PolynomialRing(R:Ring,E:OrderedAbelianMonoid): T == C -- -- reduces both time and space [Abbott/Bradford/Davenport] if R has CommutativeRing then p ** np == p ** (np pretend NonNegativeInteger) - p ^ np == p ** (np pretend NonNegativeInteger) - p ^ nn == p ** nn - p ** nn == null p => 0 @@ -434,8 +431,6 @@ SparseUnivariatePolynomial(R:Ring): UnivariatePolynomialCategory(R) with if R has FieldOfPrimeCharacteristic then p ** np == p ** (np pretend NonNegativeInteger) - p ^ np == p ** (np pretend NonNegativeInteger) - p ^ n == p ** n p ** n == null p => 0 zero? n => 1 |