diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-18 17:57:00 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-18 17:57:00 +0000 |
| commit | af3ebc0d983434f91686d8e2ba7bcb21d5083a30 (patch) | |
| tree | b2432ba3cccf14d686ac8e0db3a11d12c5d5054e /src/algebra/mkfunc.spad.pamphlet | |
| parent | e865a85b43caa6f453304e836dae3b62ca73c635 (diff) | |
| download | open-axiom-af3ebc0d983434f91686d8e2ba7bcb21d5083a30.tar.gz | |
* algebra/mkfunc.spad.pamphlet (InputForm): Remove assignment to Rep.
(convert): Use per and rep operators.
* algebra/stap: Updated cached Lisp translation.
Diffstat (limited to 'src/algebra/mkfunc.spad.pamphlet')
| -rw-r--r-- | src/algebra/mkfunc.spad.pamphlet | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/algebra/mkfunc.spad.pamphlet b/src/algebra/mkfunc.spad.pamphlet index 8f7131c9..3bb17da5 100644 --- a/src/algebra/mkfunc.spad.pamphlet +++ b/src/algebra/mkfunc.spad.pamphlet @@ -84,7 +84,6 @@ InputForm(): ++ Error: if f was not defined beforehand in the interpreter, ++ or if the ti's are not valid types, or if the compiler fails. == SExpression add - Rep := SExpression strsym : % -> String tuplify : List Symbol -> % @@ -93,11 +92,11 @@ InputForm(): 0 == convert(0::Integer) 1 == convert(1::Integer) - convert(x:%):SExpression == x pretend SExpression - convert(x:SExpression):% == x + convert(x:%):SExpression == rep x + convert(x:SExpression):% == per x conv(ll : List %): % == - convert(ll pretend List SExpression)$SExpression pretend % + per convert(ll pretend List SExpression)$SExpression lambda(f,l) == conv([convert("+->"::Symbol),tuplify l,f]$List(%)) @@ -108,7 +107,7 @@ InputForm(): convert(x:DoubleFloat):% == zero? x => 0 one? x => 1 - convert(x)$Rep + convert(x) flatten s == -- will not compile if I use 'or' |