More uses for Symbol{True,False}

Author: rocky

mathics/builtin/combinatorial.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