目次

• 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
  
  
• 参考文献