From aa129f3b4eaacbeae2837fb7e5c67a1a1a373eaa Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 18 May 2009 23:46:53 +0000
Subject: 	* 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.

---
 src/algebra/fspace.spad.pamphlet | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'src/algebra/fspace.spad.pamphlet')

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
-- 
cgit v1.2.3