abs

absolute value of a number

apply

apply homomorphism

binomial

binomial coefficient

CanonicalRepr

representative of a class in a quotient ring

CharPoly

characteristic polynomial of a matrix

ClearDenom

clear common denominator of a polynomial with rational coeffs

CoeffListWRT

list of coefficients of a polynomial wrt and indet

CoeffOfTerm

coefficient of a term of a polynomial

ComputeElimFirst

ComputeElimFirst

content

content of a polynomial

ContentWRT

content of a polynomial wrt and indet or a list of indets

cyclotomic

nth cyclotomic polynomial

den

denominator

DensePoly

the sum of all powerproducts of a given degree

deriv

the derivative of a polynomial or rational function

det

the determinant of a matrix

DF

the degree form of a polynomial

discriminant

the discriminant of a polynomial

eigenfactors

eigenfactors of a matrix

EvalQuasiPoly

Evaluate a quasipolynomial at an integer

FirstNonZero

the first nonzero entry in a MODULEELEM

FirstNonZeroPosn

the first nonzero entry in a MODULEELEM

gcd

greatest common divisor

HilbertPoly

the Hilbert polynomial

homog

homogenize with respect to an indeterminate

ImplicitHypersurface

implicitization of hypersurface

indet

individual indeterminates

Interpolate

interpolating polynomial

interreduce, interreduced

interreduce a list of polynomials

InverseSystem

Inverse system of an ideal of derivations

JanetBasis

the Janet basis of an ideal

LC

the leading coefficient of a polynomial or ModuleElem

lcm

least common multiple

LF

the leading form of a polynomial or an ideal

LinKerBasis

find the kernel of a matrix

LM

the leading monomial of a polynomial or ModuleElem

LPP

the leading powerproduct of a polynomial or ModuleElem

LT

the leading term of an object

MakeTerm

returns a monomial (powerproduct) with given exponents

MinPoly

minimal polynomial of a matrix

monic

divide polynomials by their leading coefficients

NF

normal form

NmzDiagInvariants

ring of invariants of a diagonalizable group action

NmzEhrhartRing

Computes the Ehrhart ring

NmzFiniteDiagInvariants

ring of invariants of a finite group action

NmzIntClosureMonIdeal

integral closure of a monomial ideal

NmzIntClosureToricRing

integral closure of a toric ring

NmzIntersectionValRings

intersection of ring of valuations

NmzNormalToricRing

normalization of a toric ring

NmzTorusInvariants

ring of invariants of torus action

NR

normal reduction

num

numerator

one

one of a ring

pfaffian

the Pfaffian of a skewsymmetric matrix

PthRoot

Compute pth root

QZP

change field for polynomials and ideals

randomize

randomize the coefficients of a given polynomial

randomized

randomize the coefficients of a given polynomial

RationalAffinePoints

Affine rational solutions

RationalProjectivePoints

Projective rational solutions

RationalSolve

Rational solutions for polynomial system

RatReconstructPoly

Rational reconstruction of polynomial coefficents

ReadExpr

Read RINGELEM expression from string

ReducedGBasis

compute reduced Groebner basis

resultant

the resultant of two polynomials

RingElem

convert an expression into a RINGELEM

SymbolRange

range of symbols for the indeterminates of a PolyRing

UniversalGroebnerBasis

universal Groebner basis of the input ideal

zero

zero of a ring

ZPQ

change field for polynomials and ideals
