- Contents
- About this document
- Getting started
- Package files in the Doc/ (lib/) directory

- Data types

- Gröbner basis and Syzygy computation in
`kan/sm1`- Computing Gröbner or standard basis in the ring of the polynomials
- Computing Gröbner basis in the ring of differential operators
- Computing Gröbner basis in
- Computing syzygies

- Control Structures and programming

- Dictionaries and contexts
- Using
`sm1`to teach computer science for students in mathematics- Recursive call and the stack
- Implementing a Java-like language
- Interactive distributed computing
- More exercises

- Bibliography
- About this document ...

Nobuki Takayama 2020-11-24