From 00796f7b8bc97b964a01d647487214579f91775a Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 1 Sep 2008 16:23:42 +0000 Subject: 2008-09-01 Martin Rubey Gabriel Dos Reis Fix AW/431 * algebra/ore.spad.pamphlet (SpareUnivariateSkewPolynomial): Implement **. 2008-09-01 Gabriel Dos Reis Make ^ an alias for **. * interp/postpar.boot (postAtom): Replace "^" with "**". * interp/format.boot (reportOpSymbol): Announce that "^" is an alias for "**". * interp/nrungo.boot (compiledLookup): Be sure to look for "**" when operation is "^". * interp/define.boot (noteCapsuleFunctionDefinition): New. (clearCapsuleFunctionTable): Likewise. (noteExport): Likewise. (clearExportsTable): Likewise. (compDefineCapsuleFunction): Rename "^" to "**". Take a note of the capsule function being compiled. (compCapsule): Clear previous capsule functions table. (doItIf): Keep track of predicate validity. (compCategory): Clear previous exports table. (compCategoryItem): Take notes of declared attributes and signatures. * algebra/catdef.spad.pamphlet (DivisionRing): Remove duplicate definition for "^". (Group): Likewise. (Monoid): Likewise. (SemiGroup): Likewise. * algebra/poly.spad.pamphlet (PolynomialRing): Remove duplicate definitins of "^". (SparseUnivariatePolynomial): Likewise. * algebra/multpoly.spad.pamphlet (SparseMultivariatePolynomial): Remove duplicate definitions for "^". * algebra/interval.spad.pamphlet (Interval): Remove duplicate definition for "^". * algebra/curve.spad.pamphlet (FunctionFieldCategory): Remove duplicate declaration for represents. * algebra/strap/: Update cached Lisp translations. * share/algebra: Update databases. --- src/algebra/poly.spad.pamphlet | 5 ----- 1 file changed, 5 deletions(-) (limited to 'src/algebra/poly.spad.pamphlet') 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 -- cgit v1.2.3