diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-24 03:14:35 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-24 03:14:35 +0000 |
commit | 7eca3ee736c49024a85ad00ff9b0a912d640380c (patch) | |
tree | 3ac6fb675cb2efbf8c4a62dfa9ca069de6aeb234 /src/interp/sys-constants.boot | |
parent | 155d5c8bf8562bc3797535df1cbb89f7dcb5c03d (diff) | |
download | open-axiom-7eca3ee736c49024a85ad00ff9b0a912d640380c.tar.gz |
some cleanups
Diffstat (limited to 'src/interp/sys-constants.boot')
-rw-r--r-- | src/interp/sys-constants.boot | 35 |
1 files changed, 24 insertions, 11 deletions
diff --git a/src/interp/sys-constants.boot b/src/interp/sys-constants.boot index 9a1fbcff..11779c82 100644 --- a/src/interp/sys-constants.boot +++ b/src/interp/sys-constants.boot @@ -328,14 +328,7 @@ $SideEffectFreeFunctionList == MEMBER _ _is _ _isnt _ - ATOM _ - $_= _ - $_> _ - $_>_= _ - $_< _ - $_<_= _ - $_^_= _ - $MEMBER) + ATOM) --% Types @@ -346,12 +339,24 @@ $Field == $DivisionRing == '(DivisionRing) +$IntegralDomain == + '(IntegralDomain) + $CombinatorialFunctionCategory == '(CombinatorialFunctionCategory) +$Ring == + '(Ring) + $Group == '(Group) +$AbelianMonoid == + '(AbelianMonoid) + +$Monoid == + '(Monoid) + ++ The Void domain constructor form $Void == '(Void) @@ -368,6 +373,12 @@ $None == $Syntax == '(Syntax) +$BasicOperator == + '(BasicOperator) + +$AlgebraicNumber == + '(AlgebraicNumber) + ++ Boolean domain constructor form $Boolean == '(Boolean) @@ -464,9 +475,11 @@ $InputForm == $FunctionalExpression == 'Expression -++ Expression domain constructor form -$Expression == - '(OutputForm) +$TexFormat == + '(TexFormat) + +$MathMLFormat == + '(MathMLFormat) ++ The constructor form for unnamed functions. $AnonymousFunction == |