diff options
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 == |