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/fspace.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/fspace.spad.pamphlet')
| -rw-r--r-- | src/algebra/fspace.spad.pamphlet | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet index d5af612b..91e565d3 100644 --- a/src/algebra/fspace.spad.pamphlet +++ b/src/algebra/fspace.spad.pamphlet @@ -394,14 +394,6 @@ FunctionSpace(R:OrderedSet): Category == Definition where MP ==> SparseMultivariatePolynomial(R, K) QF==> PolynomialCategoryQuotientFunctions(IndexedExponents K,K,R,MP,%) - ODD ==> "odd" - EVEN ==> "even" - - SPECIALDIFF ==> "%specialDiff" - SPECIALDISP ==> "%specialDisp" - SPECIALEQUAL ==> "%specialEqual" - SPECIALINPUT ==> "%specialInput" - Definition ==> Join(ExpressionSpace, RetractableTo SY, Patternable R, FullyPatternMatchable R, FullyRetractableTo R) with ground? : % -> Boolean @@ -522,6 +514,14 @@ FunctionSpace(R:OrderedSet): Category == Definition where ++ univariate(f, k) returns f viewed as a univariate fraction in k. if R has RetractableTo Z then RetractableTo Fraction Z add + macro ODD == 'odd + macro EVEN == 'even + + macro SPECIALDIFF == '%specialDiff + macro SPECIALDISP == '%specialDisp + macro SPECIALEQUAL == '%specialEqual + macro SPECIALINPUT == '%specialInput + import BasicOperatorFunctions1(%) -- these are needed in Ring only, but need to be declared here @@ -757,7 +757,7 @@ FunctionSpace(R:OrderedSet): Category == Definition where v::SY = x => 1 0 (fn := property(operator k, SPECIALDIFF)) case None => - ((fn::None) pretend ((List %, SY) -> %)) (argument k, x) + ((fn@None) pretend ((List %, SY) -> %)) (argument k, x) +/[g * differentiate(y,x) for g in kderiv k for y in argument k] smpderiv(p, x) == |