https://github.com/nilqed/cl-weyl
Weyl Computer Algebra Substrate (dev)
https://github.com/nilqed/cl-weyl
common-lisp computer-algebra computer-algebra-system
Last synced: about 1 month ago
JSON representation
Weyl Computer Algebra Substrate (dev)
- Host: GitHub
- URL: https://github.com/nilqed/cl-weyl
- Owner: nilqed
- License: other
- Created: 2025-01-14T19:58:47.000Z (3 months ago)
- Default Branch: main
- Last Pushed: 2025-03-16T20:40:52.000Z (about 1 month ago)
- Last Synced: 2025-03-16T21:32:29.351Z (about 1 month ago)
- Topics: common-lisp, computer-algebra, computer-algebra-system
- Language: Common Lisp
- Homepage: https://nilqed.github.io/cl-weyl/
- Size: 13.2 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# cl-weyl
Weyl Computer Algebra Substrate (dev)
⚠️ work in progress 🚧
This repo contains derivative work and further developments of the original __WEYL__ system:
[weyl](https://github.com/nilqed/weyl).
## XREF analysis
See [xref-weyl.lisp](./xref/xref-weyl.lisp)
## TeXmacs/SBCL Example
See `docs` folder
* [tm-weyl-tests1](./docs/tm-weyl-tests1.pdf)
* [tm-weyl-tests2](./docs/tm-weyl-tests2.pdf)
## Jupyter/SBCL Example (juCL)
Notebook file and exported *.pdf (LaTeX) and *.lisp.
* [nb-weyl-tests1](./docs/weyl-tests1.ipynb)
* [pdf-weyl-tests1](./docs/weyl-tests1.pdf)
* [lisp-weyl-tests1](./docs/weyl-tests1.lisp)
## New files
See README in [new](https://github.com/nilqed/cl-weyl/blob/main/weyl/new/README.md)
## Docs and References
* [Richard Zippel](https://www.cs.cornell.edu/rz/computer-algebra.html)
* [LNCS, vol 722](https://link.springer.com/chapter/10.1007/BFb0013185),
[local:](./docs/90-1077.pdf)
* [User manual](https://github.com/nilqed/weyl/blob/master/reference/Weyl%20Manual.pdf)
* [Predicate dispatching, A.M. Ucko](https://github.com/nilqed/weyl/blob/master/reference/AITR-2001-006.pdf)
📅 14-JAN-2025