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