CharacteristicClasses : Index

• bertini
• bertiniCheck -- Checks whether the numerical version of the algorithms using Bertini works
• CharacteristicClasses -- Chern classes and other characteristic classes of subschemes of certain smooth toric varieties, including products of projective spaces
• CheckSmooth
• CheckToricVarietyValid -- Checks if the input normal toric variety X is a valid choice for an ambient space when computing characteristic classes of subschemes V of X
• CheckToricVarietyValid(NormalToricVariety) -- Checks if the input normal toric variety X is a valid choice for an ambient space when computing characteristic classes of subschemes V of X
• Chern -- The Chern class
• Chern(..., Output => ...) -- The Chern class
• Chern(Ideal) -- The Chern class
• Chern(Ideal,Symbol) -- The Chern class
• Chern(NormalToricVariety,Ideal) -- The Chern class
• Chern(QuotientRing,Ideal) -- The Chern class
• Chern(QuotientRing,NormalToricVariety,Ideal) -- The Chern class
• ChowRing -- Computes the Chow ring of a product of projective spaces m projective spaces given the coordinate ring
• ChowRing(Ring) -- Computes the Chow ring of a product of projective spaces m projective spaces given the coordinate ring
• ChowRing(Ring,Symbol) -- Computes the Chow ring of a product of projective spaces m projective spaces given the coordinate ring
• ChowRingElement
• ClassInChowRing -- Gives the class of a hypersurface in the associated Chow ring of a product of projective spaces
• ClassInChowRing(QuotientRing,RingElement) -- Gives the class of a hypersurface in the associated Chow ring of a product of projective spaces
• ClassInToricChowRing -- Gives the class of a hypersurface in the assocated Chow ring of a toric variety
• ClassInToricChowRing(QuotientRing,RingElement) -- Gives the class of a hypersurface in the assocated Chow ring of a toric variety
• CompMethod
• configuring Bertini
• CSM -- The Chern-Schwartz-MacPherson class
• CSM(..., Output => ...) -- The Chern-Schwartz-MacPherson class
• CSM(Ideal) -- The Chern-Schwartz-MacPherson class
• CSM(Ideal,Symbol) -- The Chern-Schwartz-MacPherson class
• CSM(NormalToricVariety) -- The Chern-Schwartz-MacPherson class
• CSM(NormalToricVariety,Ideal) -- The Chern-Schwartz-MacPherson class
• CSM(QuotientRing,Ideal) -- The Chern-Schwartz-MacPherson class
• CSM(QuotientRing,Ideal,MutableHashTable) -- The Chern-Schwartz-MacPherson class
• CSM(QuotientRing,NormalToricVariety) -- The Chern-Schwartz-MacPherson class
• CSM(QuotientRing,NormalToricVariety,Ideal) -- The Chern-Schwartz-MacPherson class
• CSM(QuotientRing,NormalToricVariety,Ideal,MutableHashTable) -- The Chern-Schwartz-MacPherson class
• DirectCompleteInt
• Euler -- The Euler Characteristic
• Euler(..., Output => ...) -- The Euler Characteristic
• Euler(Ideal) -- The Euler Characteristic
• Euler(NormalToricVariety,Ideal) -- The Euler Characteristic
• Euler(RingElement) -- The Euler Characteristic
• HashForm
• HashFormXL
• InclusionExclusion
• IndsOfSmooth
• InputIsSmooth
• isMultiHomogeneous -- Checks if an ideal is homogeneous with respect to the grading on its ring (i.e. multi-homogeneous in the multi-graded case)
• isMultiHomogeneous(Ideal) -- Checks if an ideal is homogeneous with respect to the grading on its ring (i.e. multi-homogeneous in the multi-graded case)
• isMultiHomogeneous(RingElement) -- Checks if an ideal is homogeneous with respect to the grading on its ring (i.e. multi-homogeneous in the multi-graded case)
• Method
• MultiProjCoordRing -- A quick way to build the coordinate ring of a product of projective spaces
• MultiProjCoordRing(List) -- A quick way to build the coordinate ring of a product of projective spaces
• MultiProjCoordRing(Ring,List) -- A quick way to build the coordinate ring of a product of projective spaces
• MultiProjCoordRing(Ring,Symbol,List) -- A quick way to build the coordinate ring of a product of projective spaces
• MultiProjCoordRing(Symbol,List) -- A quick way to build the coordinate ring of a product of projective spaces
• Output
• PnResidual
• probabilistic algorithm
• ProjectiveDegree
• Segre -- The Segre class of a subscheme
• Segre(..., Output => ...) -- The Segre class of a subscheme
• Segre(Ideal) -- The Segre class of a subscheme
• Segre(Ideal,Symbol) -- The Segre class of a subscheme
• Segre(NormalToricVariety,Ideal) -- The Segre class of a subscheme
• Segre(QuotientRing,Ideal) -- The Segre class of a subscheme
• Segre(QuotientRing,NormalToricVariety,Ideal) -- The Segre class of a subscheme
• ToricChowRing -- Computes the Chow ring Ch=R/(SR+LR) of a normal toric variety with coordinate ring R, here SR is the Stanley-Reisner ideal of the corresponding fan and LR is the ideal of linear relations amount the rays
• ToricChowRing(NormalToricVariety) -- Computes the Chow ring Ch=R/(SR+LR) of a normal toric variety with coordinate ring R, here SR is the Stanley-Reisner ideal of the corresponding fan and LR is the ideal of linear relations amount the rays