diff options
author | dos-reis <gdr@axiomatics.org> | 2009-05-15 19:38:25 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-05-15 19:38:25 +0000 |
commit | ee573325df58dbcc33596630d2710ad2cd37a77d (patch) | |
tree | cc70f7c9c4f174b8576a16f61da0f511ae8bc954 /src/algebra/pfo.spad.pamphlet | |
parent | 530c1ee0f24568ecb6d61c3ce2c7af1863595fdf (diff) | |
download | open-axiom-ee573325df58dbcc33596630d2710ad2cd37a77d.tar.gz |
* algebra/algfunc.spad.pamphlet (AlgebraicFunction): User
Identifiers for property names.
* algebra/combfunc.spad.pamphlet: Likewise.
* algebra/constant.spad.pamphlet: Likewise.
* algebra/efstruc.spad.pamphlet: Likewise.
* algebra/elemntry.spad.pamphlet: Likewise.
* algebra/expr.spad.pamphlet: Likewise.
* algebra/fspace.spad.pamphlet: Likewise.
* algebra/intef.spad.pamphlet: Likewise.
* algebra/integrat.spad.pamphlet: Likewise.
* algebra/kl.spad.pamphlet: Likewise.
* algebra/laplace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/liouv.spad.pamphlet: Likewise.
* algebra/rdeef.spad.pamphlet: Likewise.
* algebra/pfo.spad.pamphlet: Likewise.
* algebra/op.spad.pamphlet: Likewise.
* algebra/odeef.spad.pamphlet: Likewise.
* algebra/manip.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/pfo.spad.pamphlet')
-rw-r--r-- | src/algebra/pfo.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/pfo.spad.pamphlet b/src/algebra/pfo.spad.pamphlet index 5a36f184..e5232cc1 100644 --- a/src/algebra/pfo.spad.pamphlet +++ b/src/algebra/pfo.spad.pamphlet @@ -237,7 +237,6 @@ FunctionSpaceReduce(R, F): Exports == Implementation where Q ==> Fraction Integer UP ==> SparseUnivariatePolynomial Q K ==> Kernel F - ALGOP ==> "%alg" Exports ==> with bringDown: F -> Q @@ -248,6 +247,7 @@ FunctionSpaceReduce(R, F): Exports == Implementation where ++ newReduc() \undocumented Implementation ==> add + macro ALGOP == '%alg import SparseUnivariatePolynomialFunctions2(F, Q) import PolynomialCategoryQuotientFunctions(IndexedExponents K, K, R, SparseMultivariatePolynomial(R, K), F) @@ -312,7 +312,6 @@ PointsOfFiniteOrder(R0, F, UP, UPUP, R): Exports == Implementation where RC0 ==> Record(ncurve:UPUPQ, disc:Z) ID ==> FractionalIdeal(UP, QF, UPUP, R) SMP ==> SparseMultivariatePolynomial(R0,K) - ALGOP ==> "%alg" Exports ==> with order : FD -> Union(N, "failed") @@ -323,6 +322,7 @@ PointsOfFiniteOrder(R0, F, UP, UPUP, R): Exports == Implementation where ++ torsionIfCan(f)\ undocumented Implementation ==> add + macro ALGOP == '%alg import IntegerPrimesPackage(Z) import PointsOfFiniteOrderTools(UPQ, UPUPQ) import UnivariatePolynomialCommonDenominator(Z, Q, UPQ) |