Faster attributes

.editorconfig

@@ -0,0 +1,16 @@
+root = true
+
+[*]
+end_of_line = lf
+insert_final_newline = true
+charset = utf-8
+indent_style = tab
+indent_size = 4
+
+[*.yml]
+indent_style = space
+indent_size = 2
+
+[*.py]
+indent_style = space
+indent_size = 4

.github/workflows/osx.yml

@@ -8,6 +8,8 @@ on:
 
 jobs:
   build:
+    env:
+      NO_CYTHON: 1
     runs-on: macos-latest
     strategy:
       matrix:
@@ -29,5 +31,4 @@ jobs:
         make develop-full
     - name: Test Mathics
       run: |
-        pip install -r requirements-dev.txt
         make -j3 check

.github/workflows/ubuntu-cython.yml

@@ -0,0 +1,30 @@
+name: Mathics (ubuntu full with Cython)
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+
+jobs:
+  build:
+    runs-on: ubuntu-20.04
+    strategy:
+      matrix:
+        python-version: [3.9]
+    steps:
+    - uses: actions/checkout@v2
+    - name: Set up Python ${{ matrix.python-version }}
+      uses: actions/setup-python@v2
+      with:
+        python-version: ${{ matrix.python-version }}
+    - name: Install dependencies
+      run: |
+        sudo apt-get update -qq && sudo apt-get install -qq liblapack-dev llvm-dev
+        python -m pip install --upgrade pip
+    - name: Install Mathics with full dependencies
+      run: |
+        make develop-full-cython
+    - name: Test Mathics
+      run: |
+        make -j3 check

.github/workflows/ubuntu.yml

@@ -8,6 +8,8 @@ on:
 
 jobs:
   build:
+    env:
+      NO_CYTHON: 1
     runs-on: ubuntu-20.04
     strategy:
       matrix:
@@ -27,5 +29,4 @@ jobs:
         make develop-full
     - name: Test Mathics
       run: |
-        pip install -r requirements-dev.txt
         make -j3 check

.github/workflows/windows.yml

@@ -8,6 +8,8 @@ on:
 
 jobs:
   build:
+    env:
+      NO_CYTHON: 1
     runs-on: windows-latest
     strategy:
       matrix:
@@ -31,7 +33,6 @@ jobs:
         python setup.py install
     - name: Test Mathics
       run: |
-        pip install -e .[full]
-        pip install -r requirements-dev.txt
+        pip install -e .[dev,full]
         set PYTEST_WORKERS="-n3"
         make check

.pre-commit-config.yaml

@@ -1,11 +1,11 @@
 repos:
 -   repo: https://github.com/pre-commit/pre-commit-hooks
-    rev: v2.0.0
+    rev: v4.0.1
     hooks:
     - id: debug-statements
     - id: end-of-file-fixer
 -   repo: https://github.com/psf/black
-    rev: 21.6b0
+    rev: 21.8b0
     hooks:
     - id: black
       language_version: python3

AUTHORS.txt

@@ -35,6 +35,7 @@ Additional contributions were made by:
 - Сухарик @suhr
 - Pablo Emilio Escobar Gaviria @GarkGarcia
 - Rocky Bernstein @rocky
+- Tiago Cavalcante Trindade @TiagoCavalcante
 
 Thanks to the authors of all projects that are used in Mathics:
 - Django

CHANGES.rst

@@ -1,6 +1,94 @@
 CHANGES
 =======
 
+New Builtins
+============
+* ``ShowStep=True`` makes that every step in the evaluation is printed out. If it is set to ``False`` the standard behaviour is recovered.
+
+
+Internals
+=========
+
+* 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.
+* Definitions for symbols ``CurrentContext`` and ``ContextPath[]`` are mirrored in the ``mathics.core.definitions.Definitions`` object for faster access. 
+* ``FullForm[List[...]]`` now is shown as ``{...}`` according to the WL standard.
+* ``Expression.is_numeric()`` accepts an ``Evaluation`` object as a parameter;  the definitions attribute of that is used.
+* To numerify expressions, the function ``apply_N`` was introduced in module ``mathics.builtin.numeric`` to speed up the critical built-in function 
+``N``. Its use instead of the idiom ``Expression("N", expr, prec).evaluate(evaluation)`` makes the evaluation faster.
+* A bug was fixed relating to the order in which ``mathics.core.definitions`` stores the rules.
+* 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.
+* 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
+* A bug was fixed relating to the order in which ``mathics.core.definitions`` stores the rules
+* Improved support for ``Series`` Issue #46
+* ``Cylinder`` rendering is implemented in Asymptote
+
+4.0.1
+-----
+
+New builtins
+++++++++++++
+
+* ``Guidermannian``
+* ``Cone``
+* ``Tube``
+* ``Normal`` now have a basic support for ``SeriesData``
+
+Tensor functions:
+
+* ``RotationTransform``
+* ``ScalingTransform``
+* ``ShearingTransform``
+* ``TransformationFunction``
+* ``TranslationTransform``
+
+Spherical Bessel functions:
+
+* ``SphericalBesselJ``
+* ``SphericalBesselY``
+* ``SphericalHankelH1``
+* ``SphericalHankelH2``
+
+Gamma functions:
+
+* ``PolyGamma``
+* ``Stieltjes``
+
+Uniform Polyhedron
+* ``Dodecahedron``
+* ``Icosahedron``
+* ``Octahedron``
+* ``TetraHedron``
+* ``UniformPolyedron``
+
+Mathics-specific
+
+* ``TraceBuiltin[]``, ``$TraceBuiltins``, ``ClearTrace[]``, ``PrintTrace[]``
+
+These collect builtin-function call counts and elapsed time in the routines.
+``TraceBuiltin[expr]`` collects information for just *expr*. Whereas
+setting ``$TraceBuiltins`` to True will accumulate results of evaluations
+``PrintTrace[]`` dumps the statistics and ``ClearTrace[]`` clears the statistics data.
+
+``mathics -T/--trace-builtin`` is about the same as setting
+``$TraceBuiltins = True`` on entry and runs ``PrintTrace[]`` on exit.
+
+
+Bugs
+++++
+
+* Fix and document better behavior of ``Quantile``
+* Improve Asymptote ``BezierCurve``implementation
+* ``Rationalize`` gives symmetric results for +/- like MMA does. If
+  the result is an integer, it stays that way.
+* stream processing was redone. ``InputStream``, ``OutputStream`` and
+  ``StringToStream`` should all open, close, and assign stream numbers now
+
 4.0.0
 -----
 

Makefile

@@ -10,7 +10,7 @@ PIP ?= pip3
 RM  ?= rm
 
 .PHONY: all build \
-   check clean \
+   check clean clean-cython \
    develop dist doctest doc-data djangotest \
    gstest pytest \
    rmChangeLog \
@@ -35,11 +35,15 @@ build:
 
 #: Set up to run from the source tree
 develop:
-	$(PIP) install -e .
+	$(PIP) install -e .[dev]
 
 #: Set up to run from the source tree with full dependencies
 develop-full:
-	$(PIP) install -e .[full]
+	$(PIP) install -e .[dev,full]
+
+#: Set up to run from the source tree with full dependencies and Cython
+develop-full-cython:
+	$(PIP) install -e .[dev,full,cython]
 
 
 #: Make distirbution: wheels, eggs, tarball
@@ -53,9 +57,13 @@ install:
 check: pytest gstest doctest
 
 
+#: Remove Cython-derived files
+clean-cython:
+	find mathics -name "*.so" -type f -delete; \
+	find mathics -name "*.c" -type f -delete
+
 #: Remove derived files
-clean:
-	rm mathics/*/*.so; \
+clean: clean-cython
 	for dir in mathics/doc ; do \
 	   ($(MAKE) -C "$$dir" clean); \
 	done; \

README.rst

@@ -1,28 +1,18 @@
-Welcome to Mathics!
-===================
+Welcome to Mathics Core!
+========================
 
-|Pypi Installs| |Latest Version| |Supported Python Versions| |Travis|_ |SlackStatus|_
+|Pypi Installs| |Latest Version| |Supported Python Versions| |SlackStatus|_
 
 |Packaging status|
 
 
-Mathics is a general-purpose computer algebra system (CAS). It is an open-source alternative to Mathematica. It is free both as in "free beer" and as in "freedom".
+Mathics is a general-purpose computer algebra system (CAS).
 
-The home page of Mathics is https://mathics.org.
+However this repository contains just the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execute them.
 
+The home page for Mathics is https://mathics.org where you will find a list of screenshots and components making up the system.
 
-ScreenShots
------------
-
-mathicsscript: a text interface
-+++++++++++++++++++++++++++++++
-
-|mathicsscript|
-
-mathicsserver: a Django-based Web interface
-+++++++++++++++++++++++++++++++++++++++++++
-
-|mathicssserver|
+If you want to install everything locally, see the `Mathics omnibus repository <https://github.com/Mathics3/mathics-omnibus>`_.
 
 
 Installing and Running
@@ -43,8 +33,8 @@ Mathics is released under the GNU General Public License Version 3 (GPL3).
 
 .. |SlackStatus| image:: https://mathics-slackin.herokuapp.com/badge.svg
 .. _SlackStatus: https://mathics-slackin.herokuapp.com/
-.. |Travis| image:: https://secure.travis-ci.org/mathics/Mathics.svg?branch=master
-.. _Travis: https://travis-ci.org/mathics/Mathics
+.. |Travis| image:: https://secure.travis-ci.org/Mathics3/mathics-core.svg?branch=master
+.. _Travis: https://travis-ci.org/Mathics3/mathics-core
 .. _PyPI: https://pypi.org/project/Mathics/
 .. |mathicsscript| image:: https://github.com/Mathics3/mathicsscript/blob/master/screenshots/mathicsscript1.gif
 .. |mathicssserver| image:: https://mathics.org/images/mathicsserver.png

examples/symbolic_logic/gries_schneider/test_gs.py

@@ -2,8 +2,6 @@
 # -*- coding: utf-8 -*-
 
 
-import unittest
-from mathics.core.expression import Expression, Integer, Rational, Symbol
 from mathics.core.definitions import Definitions
 from mathics.core.evaluation import Evaluation
 from mathics.core.parser import MathicsSingleLineFeeder, parse

mathics/__init__.py

@@ -8,21 +8,6 @@
 import numpy
 
 from mathics.version import __version__
-from mathics.core.expression import (
-    Expression,
-    Symbol,
-    String,
-    Number,
-    Integer,
-    Real,
-    Complex,
-    Rational,
-    from_python,
-    MachineReal,
-    PrecisionReal,
-)
-from mathics.core.convert import from_sympy
-
 
 version_info = {
     "mathics": __version__,

mathics/algorithm/clusters.py

@@ -1188,14 +1188,6 @@ def _squared_euclidean_distance(a, b):
     return s
 
 
-def _clusters(x, a, k):
-    clusters = [[] for _ in range(k)]
-    add = [c.append for c in clusters]
-    for i, j in enumerate(a):
-        add[j](x[i])
-    return clusters
-
-
 def kmeans(x, x_repr, k, mode, seed, epsilon):
     assert len(x) == len(x_repr)