SegreClasses : Table of Contents

SegreClasses  Tests containment of varieties and computes algebraic multiplicity of subvarieties and FultonMacPherson intersection products  via a very general Segre class computation

chowClass  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

intersectionProduct  A class in the Chow ring of the ambient space representing the FultonMacPherson intersection product of two schemes inside a variety


isMultiHom  Tests if an ideal is multihomogeneous with respect to the grading of its ring

makeChowRing  Makes the Chow ring of a product of projective spaces.

makeProductRing  Makes the coordinate ring of a product of projective spaces.

multiplicity  This method computes the algebraic (HilbertSamuel) 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

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

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

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