From 7eca3ee736c49024a85ad00ff9b0a912d640380c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 24 Feb 2011 03:14:35 +0000
Subject: some cleanups

---
 src/interp/sys-constants.boot | 35 ++++++++++++++++++++++++-----------
 1 file changed, 24 insertions(+), 11 deletions(-)

(limited to 'src/interp/sys-constants.boot')

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