Merge pull request #1044 from mathics/SymbolTrue-SymbolFalse

Symbol("True') and Symbol("False')

Author: rocky

mathics/builtin/arithmetic.py

@@ -6,7 +6,7 @@
 """
 
 from mathics.builtin.base import Builtin, PostfixOperator, SympyFunction
-from mathics.core.expression import Expression, Integer, Number
+from mathics.core.expression import (Expression, Integer, Number, SymbolTrue, SymbolFalse)
 from mathics.core.convert import (
     sympy_symbol_prefix, SympyExpression, from_sympy)
 from mathics.core.rules import Pattern
@@ -739,10 +739,9 @@ def apply(self, eqs, vars, evaluation):
         sympy_eqs = []
         sympy_denoms = []
         for eq in eqs:
-            symbol_name = eq.get_name()
-            if symbol_name == 'System`True':
+            if eq == SymbolTrue:
                 pass
-            elif symbol_name == 'System`False':
+            elif eq == SymbolFalse:
                 return Expression('List')
             elif not eq.has_form('Equal', 2):
                 return evaluation.message('Solve', 'eqf', eqs_original)

mathics/builtin/calculus.py

@@ -8,7 +8,7 @@
 import sympy
 
 from mathics.builtin.base import Builtin
-from mathics.core.expression import Expression, Integer, Symbol
+from mathics.core.expression import Expression, Integer, Symbol, SymbolTrue, SymbolFalse
 from mathics.builtin.arithmetic import _MPMathFunction
 from itertools import combinations
 
@@ -120,10 +120,9 @@ def generate():
                     else:
                         raise _NoBoolVector
                 elif isinstance(leaf, Symbol):
-                    name = leaf.name
-                    if name == 'System`True':
+                    if leaf == SymbolTrue:
                         yield 1
-                    elif name == 'System`False':
+                    elif leaf == SymbolFalse:
                         yield 0
                     else:
                         raise _NoBoolVector