- - ToricCycle -- perform arithmetic on toric cycles
- classFromTropical -- compute a toric cycle of X which class is the same as a given subvariety of X
- classFromTropical(NormalToricVariety,Ideal) -- compute a toric cycle of X which class is the same as a given subvariety of X
- classFromTropicalCox -- compute a toric cycle of X which class is the same as a given subvariety of X
- classFromTropicalCox(NormalToricVariety,Ideal) -- compute a toric cycle of X which class is the same as a given subvariety of X
- classWonderfulCompactification -- compute a toric cycle of X which class is the same as a given subvariety of X
- classWonderfulCompactification(Ideal,Ideal) -- compute a toric cycle of X which class is the same as a given subvariety of X
- classWonderfulCompactification(Ideal,RingElement) -- compute a toric cycle of X which class is the same as a given subvariety of X
- classWonderfulCompactification(NormalToricVariety,Ideal,Ideal) -- compute a toric cycle of X which class is the same as a given subvariety of X
- classWonderfulCompactification(NormalToricVariety,Ideal,RingElement) -- compute a toric cycle of X which class is the same as a given subvariety of X
- degCycle -- Compute the degree of a cycle of maximal codimension
- degCycle(ToricCycle) -- Compute the degree of a cycle of maximal codimension
- expression(ToricCycle) -- the class of a toric cycle on a NormalToricVariety
- isTransverse -- checks transversality of toric divisors and cones
- isTransverse(ToricDivisor,List) -- checks transversality of toric divisors and cones
- makeTransverse -- Find a divisor linearly equivalent to a toric divisor D that is transverse to a given cone C
- makeTransverse(ToricDivisor,List) -- Find a divisor linearly equivalent to a toric divisor D that is transverse to a given cone C
- net(ToricCycle) -- the class of a toric cycle on a NormalToricVariety
- NormalToricVariety _ List -- Create toric cycles
- poincareDuality -- Apply the isomorphism Hom(A^k(X),ZZ) = A_k(X)
- poincareDuality(List,NormalToricVariety,ZZ) -- Apply the isomorphism Hom(A^k(X),ZZ) = A_k(X)
- PoincareMatrix -- Apply the isomorphism Hom(A^k(X),ZZ) = A_k(X)
- poincareMatrix -- Apply the isomorphism Hom(A^k(X),ZZ) = A_k(X)
- poincareMatrix(NormalToricVariety,ZZ) -- Apply the isomorphism Hom(A^k(X),ZZ) = A_k(X)
- polymakeConeContains -- Check if a vector is contained in a cone using polymake
- polymakeConeContains(List,List) -- Check if a vector is contained in a cone using polymake
- pushforwardMultiplicity -- pushforward of Minkowski weights
- pushforwardMultiplicity(NormalToricVariety,NormalToricVariety,List,ZZ) -- pushforward of Minkowski weights
- QQ * ToricCycle -- perform arithmetic on toric cycles
- QQ * ToricDivisor -- perform arithmetic on toric cycles
- refineMultiplicity -- Compute the multiplicities of a refinement of a tropical variety
- refineMultiplicity(List,Fan,NormalToricVariety) -- Compute the multiplicities of a refinement of a tropical variety
- refineMultiplicity(TropicalCycle,NormalToricVariety) -- Compute the multiplicities of a refinement of a tropical variety
- support(ToricCycle) -- Get the list of cones with non-zero coefficients in the cycle
- ToricCycle -- the class of a toric cycle on a NormalToricVariety
- toricCycle -- Creates a ToricCycle
- ToricCycle * ToricCycle -- intersection product of two toric cycles
- ToricCycle * ToricDivisor -- intersection product of a ToricDivisor and ToricCycle
- ToricCycle + ToricCycle -- perform arithmetic on toric cycles
- ToricCycle + ToricDivisor -- perform arithmetic on toric cycles
- ToricCycle - ToricCycle -- perform arithmetic on toric cycles
- ToricCycle - ToricDivisor -- perform arithmetic on toric cycles
- ToricCycle == ToricCycle -- equality of toric cycles
- ToricCycle _ List -- Coefficients of toric cycle
- ToricCycle _ ZZ -- Coefficients of toric cycle
- toricCycle(List,List,NormalToricVariety) -- Creates a ToricCycle
- toricCycle(List,NormalToricVariety) -- Creates a ToricCycle
- toricCycle(ToricCycle) -- Creates a ToricCycle from a ToricDivisor
- toricCycle(ToricDivisor) -- Creates a ToricCycle from a ToricDivisor
- ToricDivisor * List -- restriction of a Cartier toric divisor to the orbit closure of a cone
- ToricDivisor * ToricCycle -- intersection product of a ToricDivisor and ToricCycle
- ToricDivisor + ToricCycle -- perform arithmetic on toric cycles
- ToricDivisor - ToricCycle -- perform arithmetic on toric cycles
- toricDivisorFromCycle -- Convert a codimension one toric cycle into a toric divisor
- toricDivisorFromCycle(ToricCycle) -- Convert a codimension one toric cycle into a toric divisor
- torusIntersection -- compute the ideal of the intersection of a subvariety of a toric variety with the torus
- torusIntersection(NormalToricVariety,Ideal) -- compute the ideal of the intersection of a subvariety of a toric variety with the torus
- torusIntersection(NormalToricVariety,Ideal,Ring) -- compute the ideal of the intersection of a subvariety of a toric variety with the torus
- torusIntersection(NormalToricVariety,RingElement) -- compute the ideal of the intersection of a subvariety of a toric variety with the torus
- torusIntersection(NormalToricVariety,RingElement,Ring) -- compute the ideal of the intersection of a subvariety of a toric variety with the torus
- TropicalToric -- Macaulay2 package for toric intersection theory using tropical geometry.
- variety(ToricCycle) -- Get the ambient variety of the cycle
- ZZ * ToricCycle -- perform arithmetic on toric cycles