Hello,
can you add a method to decide the property REGULAR of a PolyhedralFan?
I'm working on toric varities, and this seems to be a nice and easy method to decide wether a fan given variety is projective or not. It would be perfect if there would be a method which computes a polytope out of such a regular fan, which has the fan as normalfan.
Thank you in purpose,
Sebas