diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-18 23:46:53 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-18 23:46:53 +0000 |
| commit | aa129f3b4eaacbeae2837fb7e5c67a1a1a373eaa (patch) | |
| tree | 2a10e3ef795b0e2625f642cf2d1d47c7e695a88e /src/algebra/fspace.spad.pamphlet | |
| parent | 7f0313f8c6cce367c51cf5bb6bc8c073a466191b (diff) | |
| download | open-axiom-aa129f3b4eaacbeae2837fb7e5c67a1a1a373eaa.tar.gz | |
* algebra/curve.spad.pamphlet: Use literal symbols.
* algebra/defintef.spad.pamphlet: Likewise.
* algebra/defintrf.spad.pamphlet: Likewise.
* algebra/divisor.spad.pamphlet: Likewise.
* algebra/efstruc.spad.pamphlet: Likewise.
* algebra/exprode.spad.pamphlet: Likewise.
* algebra/fspace.spad.pamphlet: Likewise.
* algebra/intaf.spad.pamphlet: Likewise.
* algebra/intef.spad.pamphlet: Likewise.
* algebra/integrat.spad.pamphlet: Likewise.
* algebra/intpm.spad.pamphlet: Likewise.
* algebra/laplace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/liouv.spad.pamphlet: Likewise.
* algebra/odeef.spad.pamphlet: Likewise.
* algebra/oderf.spad.pamphlet: Likewise.
* algebra/rdeef.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/transsolve.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/fspace.spad.pamphlet')
| -rw-r--r-- | src/algebra/fspace.spad.pamphlet | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet index 91e565d3..6196c550 100644 --- a/src/algebra/fspace.spad.pamphlet +++ b/src/algebra/fspace.spad.pamphlet @@ -24,9 +24,6 @@ ExpressionSpace(): Category == Defn where K ==> Kernel % OP ==> BasicOperator SY ==> Symbol - PAREN ==> "%paren"::SY - BOX ==> "%box"::SY - DUMMYVAR ==> "%dummyVar" Defn ==> Join(OrderedSet, RetractableTo K, InnerEvalable(K, %), Evalable %) with @@ -168,6 +165,9 @@ ExpressionSpace(): Category == Defn where -- subst:(%, List K, List %) -> % -- eval:(%, List Symbol, List(List % -> %)) -> % + macro PAREN == '%paren + macro BOX == '%box + macro DUMMYVAR == '%dummyVar allKernels: % -> Set K listk : % -> List K allk : List % -> Set K @@ -287,7 +287,7 @@ ExpressionSpace(): Category == Defn where distribute(x, y) == ky := retract y unwrap([k for k in listk x | - is?(k, "%paren"::SY) and member?(ky, listk(k::%))], x) + is?(k, '%paren) and member?(ky, listk(k::%))], x) -- in case of conflicting substitutions e.g. [x = a, x = b], -- the first one prevails. @@ -556,8 +556,8 @@ FunctionSpace(R:OrderedSet): Category == Definition where equaldiff : (K,K)->Boolean debugA: (List % ,List %,Boolean) -> Boolean - opdiff := operator("%diff"::SY)$CommonOperators() - opquote := operator("applyQuote"::SY)$CommonOperators + opdiff := operator('%diff)$CommonOperators() + opquote := operator('applyQuote)$CommonOperators ground? x == retractIfCan(x)@Union(R,"failed") case R ground x == retract x @@ -572,8 +572,8 @@ FunctionSpace(R:OrderedSet): Category == Definition where subs(fn, k) == kernel(operator k,[fn x for x in argument k]$List(%)) operator op == - is?(op, "%diff"::SY) => opdiff - is?(op, "%quote"::SY) => opquote + is?(op, '%diff) => opdiff + is?(op, '%quote) => opquote error "Unknown operator" if R has ConvertibleTo InputForm then |