[sage-devel] Re: Toric varieties in Sage
From http://trac.sagemath.org/sage_trac/ticket/8656#comment:6 Comment(by vbraun): I've implemented all the fan/lattice basics, cohomology and Chern clases, Chow ring, divisors, Mori cone. The current status is at [http://www.stp.dias.ie/~vbraun/Sage/], documentation is at [http://www.stp.dias.ie/~vbraun/Sage/html/en/reference/sage/geometry/ toricvariety.html] -- 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
[sage-devel] Re: Toric varieties in Sage
I've posted my current files on http://sage.math.washington.edu/home/novoselt/toric_varieties/ From a glance at Volker's code above, the most apparent difference in approaches is that I was designing cones and fans to be standalone (with the plan that they should go to sage/geometry eventually), but ToricVariety and FanoToricVariety are AmbientSpaces in the sense of sage/schemes/generic and should eventually go there. -- 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
[sage-devel] Re: Toric varieties in Sage
Hi Andrey (and sage-devel) I'm using toric varieties for my research, mainly for Calabi-Yau manifolds in string theory. So my goal for the toric varieties package is to implement everything that is known ;-) My current status is that I've implemented the following: * The basic fan construction is done incrementally (subcones are only computed when necessary) * Classes for N-lattice, M-lattice, Cones, Divisors, Chow cycles. * Those pesky sublattices of N that are associated to a cone. * Cone-orbit correspondence * Cohomology ring, Chern classes, integration. * Chow group and intersection. * Toric divisors and sections=H^0 * Mori/Kahler cone * simple constructors from LatticePolytopes, etc. * (almost) 100% doctest coverage In progress: * sheaf cohomology * toric morphisms (mostly done, subclasses domain/range Cone and ToricVariety). Probably includes already everything you are thinking about for toric fibrations. Documentation (probably the best introduction) is at: http://www.stp.dias.ie/~vbraun/Sage/html/en/reference/sage/geometry/toricvariety.html The current code is at http://www.stp.dias.ie/~vbraun/Sage/ Best wishes, 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