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/expr.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/expr.spad.pamphlet')
| -rw-r--r-- | src/algebra/expr.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/expr.spad.pamphlet b/src/algebra/expr.spad.pamphlet index 548fc9a5..4a47ea75 100644 --- a/src/algebra/expr.spad.pamphlet +++ b/src/algebra/expr.spad.pamphlet @@ -31,9 +31,6 @@ Expression(R:OrderedSet): Exports == Implementation where FSF ==> FunctionalSpecialFunction(R, %) ESD ==> ExpressionSpace_&(%) FSD ==> FunctionSpace_&(%, R) - SYMBOL ==> "%symbol" - ALGOP ==> "%alg" - POWER ==> '%power SUP ==> SparseUnivariatePolynomial Exports ==> FunctionSpace R with @@ -58,6 +55,9 @@ Expression(R:OrderedSet): Exports == Implementation where if R has RetractableTo Integer then RetractableTo AN Implementation ==> add + macro SYMBOL == '%symbol + macro ALGOP == '%alg + macro POWER == '%power import KernelFunctions2(R, %) retNotUnit : % -> R @@ -134,7 +134,7 @@ Expression(R:OrderedSet): Exports == Implementation where coerce(p:MP):% == coerce(p)$Rep reduce x == reduc(x, algkernels kernels x) commonk(x, y) == commonk0(algkernels kernels x, algkernels kernels y) - algkernels l == select_!(has?(operator #1, ALGOP), l) + algkernels l == select!(has?(operator #1, ALGOP), l) toprat f == ratDenom(f, algkernels kernels f)$AlgebraicManipulations(R, %) x:MP / y:MP == @@ -739,7 +739,7 @@ PatternMatchAssertions(): Exports == Implementation where FE ==> Expression Integer Exports ==> with - assert : (Symbol, String) -> FE + assert : (Symbol, Identifier) -> FE ++ assert(x, s) makes the assertion s about x. constant: Symbol -> FE ++ constant(x) tells the pattern matcher that x should |