:
About this document
:
kan/examples
:
kan/examples
目次
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
参考文献
Nobuki Takayama 平成15年5月13日