up previous next
6.1.19 Package ncpoly
The following are commands and functions within the package numerical:
NC.Add Addition of two polynomials in a non-commutative polynomial ring.
NC.CoCoALToC Convert a polynomial in a non-commutative polynomial ring from the CoCoAL format to the C format.
NC.CToCoCoAL Convert a polynomial in a non-commutative polynomial ring from the C format to the CoCoAL format.
NC.Deg The standard degree of a polynomial in a non-commutative polynomial ring.
NC.FindPolys Find polynomials with specified indeterminates from a LIST of non-commutative polynomials.
NC.GB Enumerate (partial) Groebner bases of finitely generated two-sided ideals in a non-commutative polynomial ring via the Buchberger procedure.
NC.HF Enumerate the values of the Hilbert-Dehn function of a finitely generated K-algebra.
NC.Interreduction Interreduction of a LIST of polynomials in a non-commutative polynomial ring.
NC.Intersection Intersection of two finitely generated two-sided ideals in a non-commutative polynomial ring.
NC.IsGB Check whether a LIST of non-zero polynomials is a Groebner basis in a non-commutative polynomial ring.
NC.IsHomog Check whether a polynomial or a LIST of polynomials is homogeneous in a non-commutative polynomial ring.
NC.KernelOfHomomorphism The kernel of an algebra homomorphism.
NC.LC Leading coefficient of a non-zero polynomial in a non-commutative polynomial ring.
NC.LW The leading word (or term) of a non-zero polynomial in a non-commutative polynomial ring.
NC.LWIdeal Leading word ideal of a finitely generated two-sided ideal in a non-commutative polynomial ring.
NC.MB Enumerate a Macaulay's basis of a finitely generated K-algebra.
NC.Mul Multiplication of two polynomials in a non-commutative polynomial ring.
NC.NR Normal remainder of a polynomial with respect to a LIST of polynomials in a non-commutative polynomial ring.
NC.RedGB Enumerate reduced (partial) Groebner bases of finitely generated two-sided ideals in a non-commutative polynomial ring.
NC.SetOrdering Set a word ordering on the monoid of all words in a non-commutative polynomial ring.
NC.Sub Subtraction of two polynomials in a non-commutative polynomial ring.
NC.TruncatedGB Compute truncated Groebner bases of finitely generated homogeneous two-sided ideals in a non-commutative polynomial ring.




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