Hi Andrey,

Why not allow arbitrary polytopal toric varieties instead of the
resolution of singular fano ones? The larger class still benefits from
the lattice polytope description and you can still talk about the
anticanonical divisor if you want.
FanoToricVarietyCrepantResolution_field is too long :-) Also, you
usually don't want to resolve all singularities.
GorensteinFanoToricVariety_field would work in a pinch.

The M/N lattices occur all the time and especially beginners tend to
confuse the two. This is why I find it very important to strictly
separate these two; In particular

1) All methods should raise errors whenever you pass a point from the
"wrong lattice".

2) _repr_() should make it unambiguous as to which lattice the point
lies in; I chose to print "N(1,2)".

I found it very useful to be able to construct them with N(1,2) etc,
this is implemented as a rather crude hack in my toric_lattices.py
file.

Volker

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to