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.
|