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: 3 days 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 (16 days ago)
• Default Branch: main
• Last Pushed: 2025-01-22T21:10:27.000Z (8 days ago)
• Last Synced: 2025-01-22T22:21:49.977Z (8 days ago)
• Topics: common-lisp, computer-algebra, computer-algebra-system
• Language: Common Lisp
• Homepage: https://nilqed.github.io/cl-weyl/
• Size: 4.88 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)

![classes](./docs/classes2.jpg?raw=true)

## TeXmacs/SBCL Example

See `docs` folder ([tm-weyl-tests1](./docs/tm-weyl-tests1.pdf)).

## 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