diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-09-01 16:23:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-09-01 16:23:42 +0000 |
| commit | 00796f7b8bc97b964a01d647487214579f91775a (patch) | |
| tree | a8ff76fd793331b7810dc0bbcdba472680c51697 /src/algebra/ore.spad.pamphlet | |
| parent | 25f1c7c591229dcd84d651542e33a24fc13f837c (diff) | |
| download | open-axiom-00796f7b8bc97b964a01d647487214579f91775a.tar.gz | |
2008-09-01 Martin Rubey <martin.rubey@univie.ac.at>
Gabriel Dos Reis <gdr@cs.tamu.edu>
Fix AW/431
* algebra/ore.spad.pamphlet (SpareUnivariateSkewPolynomial):
Implement **.
2008-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu>
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.
Diffstat (limited to 'src/algebra/ore.spad.pamphlet')
| -rw-r--r-- | src/algebra/ore.spad.pamphlet | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/algebra/ore.spad.pamphlet b/src/algebra/ore.spad.pamphlet index ebdc406a..9617f107 100644 --- a/src/algebra/ore.spad.pamphlet +++ b/src/algebra/ore.spad.pamphlet @@ -464,7 +464,7 @@ UnivariateSkewPolynomialCategoryOps(R, C): Exports == Implementation where )abbrev domain ORESUP SparseUnivariateSkewPolynomial ++ Author: Manuel Bronstein ++ Date Created: 19 October 1993 -++ Date Last Updated: 1 February 1994 +++ Date Last Updated: September, 2008 ++ Description: ++ This is the domain of sparse univariate skew polynomials over an Ore ++ coefficient field. @@ -479,6 +479,10 @@ SparseUnivariateSkewPolynomial(R:Ring, sigma:Automorphism R, delta: R -> R): x:% * y:% == times(x, y, sigma, delta) apply(p, c, r) == apply(p, c, r, sigma, delta) + x:% ** n:PositiveInteger == expt(x,n)$RepeatedSquaring(%) + x:% ** n:NonNegativeInteger == + zero? n => 1 + expt(x,n::PositiveInteger)$RepeatedSquaring(%) if R has IntegralDomain then monicLeftDivide(a, b) == monicLeftDivide(a, b, sigma) |