diff options
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) |