up previous next
6.1.7 Package gbmr
The following are commands and functions within the package gbmr:
NC.Add Addition of two polynomials over a free associative K-algebra.
NC.Deg (Standard) degree of a polynomial over a free associative K-algebra.
NC.FindPolynomials Find polynomials with specified alphabet (indeterminates) from a list of polynomials.
NC.GAdd Addition of two polynomials in a free group ring over F2.
NC.GB (Partial) Groebner basis of a finitely generated two-sided ideal over a free associative K-algebra.
NC.GDeg (Standard) degree of a polynomial of a polynomial in a free group ring over F2.
NC.GGB (Partial) Groebner basis of a finitely generated two-sided ideal in a free group ring over F2.
NC.GHF Hilbert function of F2/(Gb).
NC.GIsGB Checks whether a list of polynomials in a free group ring over F2 is a Groebner basis of the ideal generated by polynomials.
NC.GLC Leading coefficient of a polynomial in a free group ring over F2.
NC.GLT Leading term of a polynomial in a free group ring over F2.
NC.GMultiply Multiplication of two polynomials in a free group ring over F2.
NC.GNR Normal remainder polynomial with respect to a list of polynomials in a free group ring over F2.
NC.GReducedGB Reduced (partial) Groebner basis of a finitely generated two-sided ideal in a free group ring over F2.
NC.GSubtract Subtraction of two polynomials in a free group ring over F2.
NC.HF Hilbert function of K-algebra.
NC.Intersection (Partial) Groebner basis of the intersection of two finitely generated two-sided ideals over a free associative K-algebra.
NC.IsGB Checks whether a list of polynomials over a free associative K-algebra is a Groebner basis of the ideal generated by polynomials.
NC.KernelOfHomomorphism (Partial) (two-sided) leading-term ideal of the kernel of a K-algebra homomorphism.
NC.LC Leading coefficient of a polynomial over a free associative K-algebra.
NC.LT Leading term of a polynomial over a free associative K-algebra.
NC.LTIdeal (Partial) (two-sided) leading-term ideal of a finitely generated ideal over a free associative K-algebra.
NC.MinimalPolynomial Minimal polynomial of a quotient ring element over a free associative K-algebra.
NC.MRAdd Addition of two polynomials over a finitely presented monoid ring.
NC.MRDeg (Standard) degree of a polynomial over a finitely presented monoid ring.
NC.MRGB (Partial) Groebner basis of a finitely generated two-sided ideal over a finitely presented monoid ring.
NC.MRHF Hilbert function of K-algebra.
NC.MRIntersection (Partial) Groebner basis of the intersection of two finitely generated two-sided ideals over a finitely presented monoid ring.
NC.MRIsGB Checks whether a list of polynomials over a finitely presented monoid ring is a Groebner basis of the ideal generated by polynomials.
NC.MRKernelOfHomomorphism (Partial) Groebner basis of the kernel of a K-algebra homomorphism.
NC.MRLC Leading coefficient of a polynomial over a finitely presented monoid ring.
NC.MRLT Leading term of a polynomial over a finitely presented monoid ring.
NC.MRLTIdeal (Partial) (two-sided) leading-term ideal of a finitely generated ideal over a finitely presented monoid ring.
NC.MRMinimalPolynomial Minimal polynomials of a quotient ring element over a finitely presented monoid ring.
NC.MRMultiply Multiplication of two polynomials over a finitely presented monoid ring.
NC.MRNR Normal remainder of a polynomial with respect to a list of polynomials over a finitely presented monoid ring.
NC.MRReducedGB Reduced (partial) Groebner basis of a finitely generated two-sided ideal over a finitely presented monoid ring.
NC.MRSubtract Subtraction of two polynomials over a finitely presented monoid ring.
NC.Multiply Multiplication of two polynomials over a free associative K-algebra.
NC.NR Normal remainder polynomial with respect to a list of polynomials over a free associative K-algebra.
NC.ReducedGB Reduced (partial) Groebner basis of a finitely generated two-sided ideal over a free associative K-algebra. K-algebra.
NC.SetFp Set coefficient to a finite field.
NC.SetOrdering Sets an (admissible) ordering.
NC.SetRelations Sets the relations for a monoid ring.
NC.SetRules Sets the (rewriting) rules over a monoid ring.
NC.SetX Sets the alphabet (indeterminates).
NC.Subtract Subtraction of two polynomials over a free associative K-algebra.
NC.UnsetFp Set coefficient field to default coefficient field Q. Note that default coefficient field is the set of rational numbers Q, i.e. RAT in CoCoAL.
NC.UnsetOrdering Sets the current admissible ordering to default ordering LLEX (length-lexicographic ordering).
NC.UnsetRelations Sets the relations of a rewriting system to an empty set, i.e. changes the current monoid ring to a free associative K-algebra.
NC.UnsetRules Sets the rewriting rules to empty set.
NC.UnsetX Sets the alpbabet (inderminates) to an empty string.




For details look up each item by name. Online, try ?ItemName or H.Syntax("ItemName").