Fix attributes for True and False

Author: TiagoCavalcante

CHANGES.rst

@@ -9,6 +9,7 @@ New Builtins
 Internals
 =========
 
+
 * To speed up attributes read, and RAM usage, attributes are now stored in a bitset instead of a tuple of strings.
 * Definitions for symbols ``CurrentContext`` and ``ContextPath[]`` are mirrored in the ``mathics.core.definitions.Definitions`` object for faster access.
 * To speed up the lookup of symbols names, `Definitions` object now have two properties: `current_context` and `context_path`. These properties stores the values of the corresponding symbols in the `builtin` definitions.
@@ -22,8 +23,8 @@ Internals
 * A bug comming from a failure in the order in which `mathics.core.definitions` stores the rules was fixed.
 * `any`/`all` calls were unrolled as loops in Cythonized modules: this avoids the overhead of a function call replacing it by a (C) for loop, which is faster.
 * `BaseExpression.get_head`  now avoids building a symbol and then look for its name. It saves two function calls.
-* Now, `SameQ` first checks type, then `id`s, and then names in symbols.
-* In `mathics.builtin.patterns.PatternTest`, if the condition is one of the most used tests (`NumberQ`, `NumericQ`, `StringQ`, etc) the `match` method is overwritten to specialized versions that avoid function calls.
+* Now, ``SameQ`` first checks type, then ``id``s, and then names in symbols.
+* In `mathics.builtin.patterns.PatternTest`, if the condition is one of the most used tests (``NumberQ``, ``NumericQ``, ``StringQ``, etc) the `match` method is overwritten to specialized versions that avoid function calls.
 * in the same aim, `mathics.core.patterns.AtomPattern` now specializes the comparison depending of the `Atom` type.
 * To speed up the Mathics ``Expression`` manipulation code, `Symbol`s objects are now a singleton class. This avoids a lot of unnecesary string comparisons, and calls to ``ensure_context``.
 * To speed up development, you can set ``NO_CYTHON`` to skip Cythonizing Python modules

mathics/builtin/assignments/assignment.py

@@ -7,7 +7,6 @@
 from mathics.builtin.base import Builtin, BinaryOperator
 from mathics.core.symbols import Symbol
 
-
 from mathics.core.systemsymbols import (
     SymbolFailed,
 )

mathics/builtin/logic.py

@@ -10,7 +10,14 @@
     SymbolFalse,
 )
 
-from mathics.core.attributes import flat, hold_all, one_identity, orderless, protected
+from mathics.core.attributes import (
+    flat,
+    hold_all,
+    one_identity,
+    orderless,
+    protected,
+    locked,
+)
 
 
 class Or(BinaryOperator):
@@ -331,6 +338,7 @@ class True_(Predefined):
     </dl>
     """
 
+    attributes = locked | protected
     name = "True"
 
 
@@ -342,6 +350,7 @@ class False_(Predefined):
     </dl>
     """
 
+    attributes = locked | protected
     name = "False"