classWonderfulCompactification(X,I,J)
Given a hyperplane inside the torus, given by a linear ideal I, let X be a normal toric variety which fan is supported on the tropicalization of V(I). This function calculates a toric cycle which class is the same of a subvariety of V(I). The subvariety Y of V(I) is given by an ideal J such that Y = V(I+J), that is Y is the intersection of V(J) and V(I) inside the torus of X. The purpose of this function is essentially the same as classFromTropical, but it is optimized to this particular setting. Note that the closure of V(I) inside X is a wonderful compactification of V(I).
It is possible to explicitly input the toric variety, and this allows to implicitly specify the building set of the wonderful compactification.
A remarkable example among these is the moduli space of nmarked genus 0 curves M_0,n. Below, we use this function on M_0,6 to compute one of the 15 KeelVermeire divisors.





The object classWonderfulCompactification is a method function.