Next:
About this document
Up:
kan/examples
Previous:
kan/examples
Contents
About this document
Getting started
Package files in the Doc/ (lib/) directory
Examples: gb, rrank, gkz, bfunction, deRham
Data types
Array
Ring
Tag
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
if
for
map function
Function definition
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
Nobuki Takayama 2020-11-24