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 eliminated
• 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