GroebnerStrata : Index
-
AllStandard -- boolean option for determining the use of all standard or smaller standard monomials
-
findWeightConstraints -- returns a matrix of weight constraints
-
findWeightConstraints(Ideal,List) -- returns a matrix of weight constraints
-
findWeightVector -- returns a weight vector
-
findWeightVector(Ideal,List) -- returns a weight vector
-
groebnerFamily -- computes families of ideals with a specified initial ideal
-
groebnerFamily(...,AllStandard=>...) -- computes families of ideals with a specified initial ideal
-
groebnerFamily(...,Variable=>...) -- computes families of ideals with a specified initial ideal
-
groebnerFamily(...,Weights=>...) -- computes families of ideals with a specified initial ideal
-
groebnerFamily(Ideal) -- computes families of ideals with a specified initial ideal
-
groebnerFamily(Ideal,List) -- computes families of ideals with a specified initial ideal
-
GroebnerStrata -- a package for creating families of ideals with the same initial ideal
-
groebnerStratum -- compute the ideal where a given is a Groebner basis
-
groebnerStratum(...,Minimalize=>...) -- compute the ideal where a given is a Groebner basis
-
groebnerStratum(Ideal) -- compute the ideal where a given is a Groebner basis
-
linearPart -- returns linear part of a polynomial
-
Minimalize -- boolean option for determining whether excess parameters will be elimnated
-
nonminimalMaps -- find the degree zero maps in the Schreyer resolution of an ideal
-
nonminimalMaps(Ideal) -- find the degree zero maps in the Schreyer resolution of an ideal
-
randomPointOnRationalVariety -- find a random point on a variety that can be detected to be rational
-
randomPointOnRationalVariety(Ideal) -- find a random point on a variety that can be detected to be rational
-
randomPointsOnRationalVariety -- find random points on a variety that can be detected to be rational
-
randomPointsOnRationalVariety(Ideal,ZZ) -- find random points on a variety that can be detected to be rational
-
smallerMonomials -- returns the standard monomials smaller but of the same degree as given monomial(s)
-
smallerMonomials(Ideal) -- returns the standard monomials smaller but of the same degree as given monomial(s)
-
smallerMonomials(Ideal,RingElement) -- returns the standard monomials smaller but of the same degree as given monomial(s)
-
standardMonomials -- computes standard monomials
-
standardMonomials(Ideal) -- computes standard monomials
-
standardMonomials(List,Ideal) -- computes standard monomials
-
standardMonomials(ZZ,Ideal) -- computes standard monomials
-
tailMonomials -- find tail monomials
-
tailMonomials(...,AllStandard=>...) -- find tail monomials
-
tailMonomials(Ideal) -- find tail monomials
-
tailMonomials(Ideal,RingElement) -- find tail monomials