Remove Symbo("Null"). Get ready for release 1.1.1

Author: rocky

CHANGES.rst

@@ -22,8 +22,7 @@ Mathics Packages added:
 - ``DiscreteMath`CombinatoricaV0.9`` and
   ``DiscreteMath`CombinatoricaV0.6``. V0.9 covers Steven Skiena's older "Implementing Discrete Mathematics: Combinatorics and Graph Theory" book.
 
-If you have a package that you would like included in the distribution, and it works with Mathics, please contact us.
-
+If you have a package that you would like included in the distribution, and it works with Mathics, please contact us. Rubi may appear in a future release.
 
 
 New builtins:
@@ -41,13 +40,15 @@ New builtins:
 
 - Workaround for ``Compile`` so it accepts functions ##1026
 - Add ``Trace`` option to ``Get``. ``Get["fn", Trace->True]`` will show lines as they are read.
-- Add bool for ``from_python``
+- Convert to/from Boolean types properly in ``from_python``, ``to_python``. Previously they were 0, and 1.
 - Extend ``DeleteCases`` to accept a levelspec parameter.
 - Set Evaluation#exc_result to capture ``Aborted``, ``Timeout``, ``Overflow1``, etc.
 - ``ImageData`` changed to get bits {0,1} not bools.
 - add tokenizer symbols for <-> and -> and the unicode versions of those.
 - fix ``Needs``
 - ``System`$InputFileName`` is now set inside ``Needs`` and ``Get``
+- Install shell scripts ``dmathicserver``, ``dmathicsscript``, and ``dmathics`` to simplify running docker
+- adjust $InputFileName inside ``Get`` and ``Needs``.
 
 1.1.0
 -----

mathics/builtin/arithmetic.py

@@ -31,6 +31,7 @@
     Rational,
     Real,
     Symbol,
+    SymbolNull,
     Complex,
     String,
     SymbolTrue,
@@ -916,7 +917,7 @@ def apply_check(self, x, y, evaluation):
                     return Symbol("ComplexInfinity")
 
         result = self.apply(Expression("Sequence", x, y), evaluation)
-        if result is None or result != Symbol("Null"):
+        if result is None or result != SymbolNull:
             return result
 
 

mathics/builtin/attributes.py

@@ -11,7 +11,7 @@
 
 from mathics.builtin.base import Predefined, Builtin
 from mathics.builtin.evaluation import Sequence
-from mathics.core.expression import Expression, Symbol, String
+from mathics.core.expression import Expression, Symbol, SymbolNull, String
 from mathics.builtin.assignment import get_symbol_list
 
 
@@ -46,16 +46,16 @@ class Attributes(Builtin):
      = {Listable}
     """
 
-    attributes = ('HoldAll', 'Listable')
+    attributes = ("HoldAll", "Listable")
 
     def apply(self, expr, evaluation):
-        'Attributes[expr_]'
+        "Attributes[expr_]"
 
         name = expr.get_lookup_name()
         attributes = list(evaluation.definitions.get_attributes(name))
         attributes.sort()
         attr = [Symbol(attribute) for attribute in attributes]
-        return Expression('List', *attr)
+        return Expression("List", *attr)
 
 
 class SetAttributes(Builtin):
@@ -75,26 +75,28 @@ class SetAttributes(Builtin):
      = {Flat, Orderless}
     """
 
-    attributes = ('HoldFirst',)
+    attributes = ("HoldFirst",)
 
     def apply(self, symbols, attributes, evaluation):
-        'SetAttributes[symbols_, attributes_]'
+        "SetAttributes[symbols_, attributes_]"
 
-        symbols = get_symbol_list(symbols, lambda item: evaluation.message(
-            'SetAttributes', 'sym', item, 1))
+        symbols = get_symbol_list(
+            symbols, lambda item: evaluation.message("SetAttributes", "sym", item, 1)
+        )
         if symbols is None:
             return
-        values = get_symbol_list(attributes, lambda item: evaluation.message(
-            'SetAttributes', 'sym', item, 2))
+        values = get_symbol_list(
+            attributes, lambda item: evaluation.message("SetAttributes", "sym", item, 2)
+        )
         if values is None:
             return
         for symbol in symbols:
-            if 'System`Locked' in evaluation.definitions.get_attributes(symbol):
-                evaluation.message('SetAttributes', 'locked', Symbol(symbol))
+            if "System`Locked" in evaluation.definitions.get_attributes(symbol):
+                evaluation.message("SetAttributes", "locked", Symbol(symbol))
             else:
                 for value in values:
                     evaluation.definitions.set_attribute(symbol, value)
-        return Symbol('Null')
+        return SymbolNull
 
 
 class ClearAttributes(Builtin):
@@ -116,26 +118,29 @@ class ClearAttributes(Builtin):
      = {}
     """
 
-    attributes = ('HoldFirst',)
+    attributes = ("HoldFirst",)
 
     def apply(self, symbols, attributes, evaluation):
-        'ClearAttributes[symbols_, attributes_]'
+        "ClearAttributes[symbols_, attributes_]"
 
-        symbols = get_symbol_list(symbols, lambda item: evaluation.message(
-            'ClearAttributes', 'sym', item, 1))
+        symbols = get_symbol_list(
+            symbols, lambda item: evaluation.message("ClearAttributes", "sym", item, 1)
+        )
         if symbols is None:
             return
-        values = get_symbol_list(attributes, lambda item: evaluation.message(
-            'ClearAttributes', 'sym', item, 2))
+        values = get_symbol_list(
+            attributes,
+            lambda item: evaluation.message("ClearAttributes", "sym", item, 2),
+        )
         if values is None:
             return
         for symbol in symbols:
-            if 'System`Locked' in evaluation.definitions.get_attributes(symbol):
-                evaluation.message('ClearAttributes', 'locked', Symbol(symbol))
+            if "System`Locked" in evaluation.definitions.get_attributes(symbol):
+                evaluation.message("ClearAttributes", "locked", Symbol(symbol))
             else:
                 for value in values:
                     evaluation.definitions.clear_attribute(symbol, value)
-        return Symbol('Null')
+        return SymbolNull
 
 
 class Protect(Builtin):
@@ -156,9 +161,9 @@ class Protect(Builtin):
      = {1, 2, 3}
     """
 
-    attributes = ('HoldAll',)
+    attributes = ("HoldAll",)
     messages = {
-        'ssym': "`1` is not a symbol or a string.",
+        "ssym": "`1` is not a symbol or a string.",
     }
 
     def apply(self, symbols, evaluation):
@@ -174,28 +179,32 @@ def apply(self, symbols, evaluation):
             if symbols.get_head_name() in ("System`Sequence", "System`List"):
                 symbols = symbols.get_leaves()
             else:
-                evaluation.message('Protect', 'ssym', symbols)
-                return Symbol("Null")
- 
+                evaluation.message("Protect", "ssym", symbols)
+                return SymbolNull
+
         for symbol in symbols:
             if isinstance(symbol, Symbol):
                 items.append(symbol)
             else:
                 pattern = symbol.get_string_value()
-                if not pattern or pattern=="":
-                    evaluation.message('Protect', 'ssym', symbol)
+                if not pattern or pattern == "":
+                    evaluation.message("Protect", "ssym", symbol)
                     continue
 
                 if pattern[0] == "`":
                     pattern = evaluation.definitions.get_current_context() + pattern[1:]
                 names = evaluation.definitions.get_matching_names(pattern)
                 for defn in names:
                     symbol = Symbol(defn)
-                    if not 'System`Locked' in evaluation.definitions.get_attributes(defn):
+                    if not "System`Locked" in evaluation.definitions.get_attributes(
+                        defn
+                    ):
                         items.append(symbol)
 
-        Expression("SetAttributes", Expression("List", *items), protected).evaluate(evaluation)
-        return Symbol('Null')
+        Expression("SetAttributes", Expression("List", *items), protected).evaluate(
+            evaluation
+        )
+        return SymbolNull
 
 
 class Unprotect(Builtin):
@@ -209,20 +218,20 @@ class Unprotect(Builtin):
     </dl>
     """
 
-    attributes = ('HoldAll',)
+    attributes = ("HoldAll",)
     messages = {
-        'ssym': "`1` is not a symbol or a string.",
+        "ssym": "`1` is not a symbol or a string.",
     }
 
     def apply(self, symbols, evaluation):
         "Unprotect[symbols___]"
         protected = Symbol("System`Protected")
         items = []
-        if isinstance(symbols ,Symbol):
+        if isinstance(symbols, Symbol):
             symbols = [symbols]
         elif isinstance(symbols, Expression):
             symbols = symbols.get_leaves()
-        elif isinstance(symbols ,String):
+        elif isinstance(symbols, String):
             symbols = [symbols]
         else:
             symbols = symbols.get_sequence()
@@ -232,20 +241,24 @@ def apply(self, symbols, evaluation):
                 items.append(symbol)
             else:
                 pattern = symbol.get_string_value()
-                if not pattern or pattern=="":
-                    evaluation.message('Unprotect', 'ssym', symbol)
+                if not pattern or pattern == "":
+                    evaluation.message("Unprotect", "ssym", symbol)
                     continue
 
                 if pattern[0] == "`":
                     pattern = evaluation.definitions.get_current_context() + pattern[1:]
                 names = evaluation.definitions.get_matching_names(pattern)
                 for defn in names:
                     symbol = Symbol(defn)
-                    if not 'System`Locked' in evaluation.definitions.get_attributes(defn):
+                    if not "System`Locked" in evaluation.definitions.get_attributes(
+                        defn
+                    ):
                         items.append(symbol)
 
-        Expression("ClearAttributes", Expression("List", *items), protected).evaluate(evaluation)
-        return Symbol('Null')
+        Expression("ClearAttributes", Expression("List", *items), protected).evaluate(
+            evaluation
+        )
+        return SymbolNull
 
 
 class Protected(Predefined):

mathics/builtin/image.py

@@ -13,6 +13,7 @@
     Real,
     MachineReal,
     Symbol,
+    SymbolNull,
     from_python,
 )
 from mathics.builtin.colors import (
@@ -242,7 +243,7 @@ def apply(self, path, expr, opts, evaluation):
         """ImageExport[path_?StringQ, expr_, opts___]"""
         if isinstance(expr, Image):
             expr.pil().save(path.get_string_value())
-            return Symbol("Null")
+            return SymbolNull
         else:
             return evaluation.message("ImageExport", "noimage")
 

mathics/builtin/structure.py

@@ -13,8 +13,9 @@
     Expression,
     String,
     Symbol,
-    SymbolTrue,
+    SymbolNull,
     SymbolFalse,
+    SymbolTrue,
     Integer,
     Rational,
     strip_context,
@@ -291,9 +292,9 @@ def apply(self, p1, p2, evaluation):
         "PatternsOrderedQ[p1_, p2_]"
 
         if p1.get_sort_key(True) <= p2.get_sort_key(True):
-            return Symbol("True")
+            return SymbolTrue
         else:
-            return Symbol("False")
+            return SymbolFalse
 
 
 class OrderedQ(Builtin):
@@ -314,9 +315,9 @@ def apply(self, e1, e2, evaluation):
         "OrderedQ[e1_, e2_]"
 
         if e1 <= e2:
-            return Symbol("True")
+            return SymbolTrue
         else:
-            return Symbol("False")
+            return SymbolFalse
 
 
 class Order(Builtin):
@@ -657,7 +658,7 @@ def callback(level):
         heads = self.get_option(options, "Heads", evaluation).is_true()
         result, depth = walk_levels(expr, start, stop, heads=heads, callback=callback)
 
-        return Symbol("Null")
+        return SymbolNull
 
 
 class MapIndexed(Builtin):