SegreClasses : Index

• chowClass -- Finds the (fundamental) class of a subscheme in the Chow ring of the ambient space
• chowClass(Ideal) -- Finds the (fundamental) class of a subscheme in the Chow ring of the ambient space
• chowClass(Ideal,QuotientRing) -- Finds the (fundamental) class of a subscheme in the Chow ring of the ambient space
• containedInSingularLocus -- This method tests is an irreducible variety is contained in the singular locus of the reduced scheme of an irreducible scheme
• containedInSingularLocus(Ideal,Ideal) -- This method tests is an irreducible variety is contained in the singular locus of the reduced scheme of an irreducible scheme
• intersectionProduct -- A class in the Chow ring of the ambient space representing the Fulton-MacPherson intersection product of two schemes inside a variety
• intersectionProduct(Ideal,Ideal,Ideal) -- A class in the Chow ring of the ambient space representing the Fulton-MacPherson intersection product of two schemes inside a variety
• intersectionProduct(Ideal,Ideal,Ideal,QuotientRing) -- A class in the Chow ring of the ambient space representing the Fulton-MacPherson intersection product of two schemes inside a variety
• isComponentContained -- Tests containment of (irreducible) varieties
• isComponentContained(Ideal,Ideal) -- Tests containment of (irreducible) varieties
• isMultiHom -- Tests if an ideal is multi-homogeneous with respect to the grading of its ring
• isMultiHom(Ideal) -- Tests if an ideal is multi-homogeneous with respect to the grading of its ring
• makeChowRing -- Makes the Chow ring of a product of projective spaces.
• makeChowRing(Ring) -- Makes the Chow ring of a product of projective spaces.
• makeChowRing(Ring,Symbol) -- Makes the Chow ring of a product of projective spaces.
• makeProductRing -- Makes the coordinate ring of a product of projective spaces.
• makeProductRing(List) -- Makes the coordinate ring of a product of projective spaces.
• makeProductRing(Ring,List) -- Makes the coordinate ring of a product of projective spaces.
• multiplicity -- This method computes the algebraic (Hilbert-Samuel) multiplicity
• multiplicity(Ideal,Ideal) -- This method computes the algebraic (Hilbert-Samuel) multiplicity
• projectiveDegree -- This method computes a single projective degree of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
• projectiveDegree(Ideal,Ideal,RingElement) -- This method computes a single projective degree of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
• projectiveDegrees -- This method computes the projective degrees of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
• projectiveDegrees(Ideal,Ideal) -- This method computes the projective degrees of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
• projectiveDegrees(Ideal,Ideal,QuotientRing) -- This method computes the projective degrees of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
• segre -- This method computes the Segre class of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
• segre(Ideal,Ideal) -- This method computes the Segre class of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
• segre(Ideal,Ideal,QuotientRing) -- This method computes the Segre class of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
• SegreClasses -- Tests containment of varieties and computes algebraic multiplicity of subvarieties and Fulton-MacPherson intersection products - via a very general Segre class computation
• segreDimX -- This method computes the dimension X part of the Segre class of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces
• segreDimX(Ideal,Ideal,QuotientRing) -- This method computes the dimension X part of the Segre class of a scheme X inside a scheme Y, where X,Y are subschemes of some product of projective spaces