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/manip.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/manip.spad.pamphlet')
-rw-r--r-- | src/algebra/manip.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/manip.spad.pamphlet b/src/algebra/manip.spad.pamphlet index 17fb455a..49c0e5ce 100644 --- a/src/algebra/manip.spad.pamphlet +++ b/src/algebra/manip.spad.pamphlet @@ -206,8 +206,6 @@ AlgebraicManipulations(R, F): Exports == Implementation where P ==> SparseMultivariatePolynomial(R, K) RF ==> Fraction P REC ==> Record(ker:List K, exponent: List Z) - ALGOP ==> "%alg" - NTHR ==> "nthRoot" Exports ==> with rootSplit: F -> F @@ -251,6 +249,8 @@ AlgebraicManipulations(R, F): Exports == Implementation where ++ rootKerSimp(op,f,n) should be local but conditional. Implementation ==> add + macro ALGOP == '%alg + macro NTHR == 'nthRoot import PolynomialCategoryQuotientFunctions(IndexedExponents K,K,R,P,F) innerRF : (F, List K) -> F @@ -264,8 +264,8 @@ AlgebraicManipulations(R, F): Exports == Implementation where ratDenom(x:F, l:List K):F == innerRF(x, algkernels l) ratDenom(x:F, y:F) == ratDenom(x, [y]) ratDenom(x:F, l:List F) == ratDenom(x, [retract(y)@K for y in l]$List(K)) - algkernels l == select_!(has?(operator #1, ALGOP), l) - rootkernels l == select_!(is?(operator #1, NTHR::SY), l) + algkernels l == select!(has?(operator #1, ALGOP), l) + rootkernels l == select!(is?(operator #1, NTHR::SY), l) ratPoly x == numer univariate(denom(ratDenom inv(dummy::P::F - x))::F, dummy) |