I thought I would publicly state my own plans on this front, and some recent developments.
Polymake is undergoing some architectural changes that may or may not make it more attractive for inclusion in sage. Their developers estimate the new release as sometime in the summer, maybe as early as June. In the meantime, I think it makes sense to extend our functionality by including some of the small, specialized projects out there that polymake also uses. I am currently working on an lrs spkg - lrs is an alternative to cddlib for many computations, and in some cases it is much faster. Mike Hansen and Michael Abshoff have been looking at some other projects like LattE and 4ti2. This summer I will also spend some time improving code for 2- and 3-D plotting of polytopes - my first project is to write a Schlegel diagram function. I will also be writing some code in BKK theory/ tropical geometry that will exploit Sage's unique combination of features from gfan, singular, and cddlib (unless there are magma commands that I am unaware of for tropical intersections). Somewhat more tangential, I hope to write some decent amoeba-plotting functions in 2 and 3D. -M. Hampton On Mar 29, 11:25 pm, mhampton <[EMAIL PROTECTED]> wrote: > The toric package does seem relevant, but it is unclear to me exactly > where it overlaps the functionality of cddlib, PALP, and polymake and > where it provides complementary functions. Also, in the areas where > it overlaps it would be interesting to know how it compares in speed. > Are there any benchmarks on that? > > Since GAP is standard in Sage, presumably adding toric would be pretty > easy, yes? > > -M. Hampton > > On Mar 29, 4:17 pm, "David Joyner" <[EMAIL PROTECTED]> wrote: > > > On Sat, Mar 29, 2008 at 4:04 PM, mhampton <[EMAIL PROTECTED]> wrote: > > > > For the brave of heart, I have my current effort up on trac as ticket > > > #2716. > > > > I hope to add a number of other things and make the polyhedral classes > > > more intelligent. Again, I would appreciate any thoughts on how > > > polyhedral objects in Sage should be organized. > > > I don't know how useful this is but I would like to see all the > > "geometric" functionality > > of the GAP package TORIC http://www.opensourcemath.org/toric/ > > implemented. It is almost all combinatorial geometry, so this seems to me > > relevant to what you are going. Does it seem relevant to you? > > > > -M. Hampton > > > > On Mar 29, 7:28 am, mhampton <[EMAIL PROTECTED]> wrote: > > > > I guess my plan for the moment is to work inside sage/geometry/ > > > >polytope, and mostly imitate the structure of the polymake interface > > > > using only cddlib. About 90% of the functionality of polymake should > > > > be quite easy redo. > > > > > -M. Hampton > > > > > On Mar 28, 6:46 pm, mhampton <[EMAIL PROTECTED]> wrote: > > > > > > Hi everybody, > > > > > > Recently while working on the gfan interface I starting thinking > > > about > > > > > adding some otherpolytope-related functionality to Sage, but I am not > > > > > sure how it should be organized. The classes I created in gfan > > > > > (probably to be sage-2.11) are somewhat ad-hoc. > > > > > > In the near future I plan on adding 3D groebner fans to the gfan > > > > > interface; this is not something gfan itself can display. To do this > > > > > I finally wrote some code that I have wanted for a long time: a > > > direct > > > > > interface to cddlib to convert back and forth from vertex > > > descriptions > > > > > and "facial" descriptions (i.e. inequalities/half-planes and > > > > > equalities). (Previously I would install the optional polymake > > > > > package to do this, but that is massive overkill for the very limited > > > > > functionality I need.) > > > > > > Currently my functions just spit out the relevant data as lists, but > > > I > > > > > think I should encapsulate them in some sort ofPolytopeclass. This > > > > > is not my forte so I welcome comments and suggestions. I will soon > > > > > post some code on trac, but I think the design issue is somewhat > > > > > independent of my particular code. > > > > > > Thanks, > > > > > Marshall Hampton --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
