Difference between revisions of "Category:ApCoCoA-1:Package gbmr"

From ApCoCoAWiki
Line 3: Line 3:
 
For the field of rationals <math>\mathbb{Q}</math> and a monoid M presented by a string rewriting system, let <math>\mathbb{Q}</math>[M] denote the ring of all finite formal sums (called polynomials)  
 
For the field of rationals <math>\mathbb{Q}</math> and a monoid M presented by a string rewriting system, let <math>\mathbb{Q}</math>[M] denote the ring of all finite formal sums (called polynomials)  
  
 +
<math>M</math>
  
 
{{ApCoCoAServer}}
 
{{ApCoCoAServer}}
 
[[Category:ApCoCoA_Manual]]
 
[[Category:ApCoCoA_Manual]]

Revision as of 09:02, 9 July 2009

Package gbmr is designed to compute Groebner bases in monoid rings.

For the field of rationals and a monoid M presented by a string rewriting system, let [M] denote the ring of all finite formal sums (called polynomials)

Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use it/them.