Arrows: a Computer Algebra System in Smalltalk
TL;DR: We describe the design and implementation of a computer algebra system in Smalltalk
Abstract: We describe the design and implementation of a computer algebra system in Smalltalk-80. Here we focus on the categories of rings and modules. We discuss various types of rings and show how to solve linear systems over them, which allows us to construct their categories of finitely presented modules and other interesting objects. We illustrate different parts of the system with concrete examples of use.
3 Replies
Loading