On Sun, Mar 30, 2008 at 5:26 PM, Bjake Hammersholt Roune <[EMAIL PROTECTED]> wrote: > > I am the author of the program Frobby, which does computations on > monomial ideals. I think Sage is a great project, and I would like to > contribute by making it possible to use Frobby as a part of Sage. My > question is whether Frobby is an appropriate thing to add to Sage, and > if so how I might begin to make that happen. Here is some information
Just a few ideas. Hopefully someone who is more of an expert on commutative algebra computations will weigh in. The usual procedure is to (1) make an optional SAGE package (spkg file - see the programming manual, maybe use the macaulay interface as a model) (2) announce it to sage-devel and file a ticket for it on trac, asking for comments. SAGE already has gfan. I haven't used it but my understanding is that it is also a package for commutive algebra computations for monomial ideals. Maybe you could compare them? Are there Grobner bases computations which both frobby and gfan can do? Does it do any toric variety computations? I skimmed quickly over your paper. Looks like good work on first glance. > on Frobby to make it possible to answer that question: > > The most interesting computation that Frobby currently does is to > compute the Alexander dual/socle/irreducible decomposition (these are > almost equivalent) of any monomial ideal. It often does so 100 to 1000 > times faster than the best alternative programs, due to careful > implementation and the use of a new algorithm (the Slice Algorithm), > while also often consuming less memory (as evidenced by other programs > running out of memory). A preprint description of the algorithm and > detailed benchmarks are available at http://www.broune.com/papers/slice.ps > . I am continually improving the program. > > Frobby is written in C++ and is licensed as GPL v. 2.0 or later. It > depends only on GMP, and is available at www.broune.com/frobby/ . It > builds using a makefile with no user interaction, and there is a > makefile target for creating a statically linked library. It is > developed on Cygwin and has so far been tested on a few Linux systems > and two macs (the latter in a development version). It includes a > large automated test suite available as a makefile target. The > functionality is exposed as a command-line program, and as a C++ > header file that references no internal data structures and is > intended to remain as source-level compatible in future versions as > possible. > > Cheers > Bjarke Hammersholt Roune > www.broune.com > > > > --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
