Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Doc part as separate files2 #833

Open
wants to merge 292 commits into
base: doc-part-as-separate-files
Choose a base branch
from

Conversation

mmatera
Copy link
Contributor

@mmatera mmatera commented Apr 6, 2023

Just a rebase

rocky and others added 30 commits January 7, 2023 11:02
Move LeafCount into that under Sizes and Signature
Expression structure is a new guide
apply -> eval, split long lines, evaluation annotation type
scikit-image is not a valid module name.
We use this in reporting optional software
ExampleData: fix spurious executable permissions
Try to be more clear about PCL vs LATEX and so on
More environment vars and finer-grained mathics.settings
ExampleData: update copyright byline for Namespaces.xml
* Move precedence() to mathics.eval.makeboxes
* Define NO_PARENTHESIS_EVER constant
* Use the Symbol not a string name in precedence lookup
* style stuff on mathics/builtin.layout.py
and break up long lines.

Some doc section wording tweaked
The usual eval->apply, long lines,

Add Wiki + SymPy, mpmath to trig.
Start hyperbolic for the same. More should be done in another PR.
Reuse StringLParen and StringRparen
type Annotation on evaluation
PIL 9.1.0 and greater support big TIF bigendian. We use that in
hedy.tif.

Go over image loading failure handling and more generally import failure handling.
rocky and others added 27 commits March 18, 2023 20:41
Add some type annotations.
Create some common parsing literals
…zation

Parsing annotations and modernization
This PR improves the rules for Bessel functions of half integer index.
* Remove unused/empty autoload rules and start a trig rule.
* Start more rigorous trig test
Start going over trig rules...
This is not a WMA builtin so it should not be protected.
Possibly we should remove this altogether and add ExactNumberQ

Rubi 5 defines RealNumberQ so this is a problem.
…text. (#818)

This PR adds the built-in `Element`, which is used in defining certain
integrals. In particular, it would be useful to extend more the support
for integral representations of special functions.

Also, I noticed that when `Set`/`SetDelayed` expressions with a LHS
involving named patterns appear in autoload files, the temporal names
can spoil the `System` namespace, making some test fail. A way to
prevent that is to enclose the code of the modules in a `Begin`/`End`
statement. Public symbols defined in the module appear then before the
private block, by assigning a usage string.
* Add slightly better test() annotation for the return type
* create BooleanType and use that
* Reduce use of RealNumberQ by removing it from Range[]
* Move {In,}ExactNumberQ from numbers to numerical_properties which is where
  other tests appear. (it is smaller than numbers).
* add is_number() to mathics.eval.numbers
Move more pytests out of doctests
One more RealNumberQ removal and...
Disallow Python 3.6
move is_integer_rational_or_real to mathics.core.atoms
pattern rule thanks to mmatera
Reduce RealNumberQ in builtin.image.basic and ...
Remove ColorCombine which does not work
Move pytests out of doctests
This function is used to check if `name` is the name of a builtin symbol
defined inside a module. This PR reinstate a check that was previously
removed for being fragile, using the `inspect` module.
This PR improves the annotations and the implementation of
`from_mpmath`. Also, some pytests are included.
This PR just fixes a couple of typos in the `Element.m` autoload module
This comes from #828. Here a new module is added to contain the
expression constants of the form `DirectedInfinity[...]`.
@mmatera
Copy link
Contributor Author

mmatera commented Apr 6, 2023

Maybe the main issue here is that BoxExpressions dump and load from pickle is not working.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants