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 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 -~----------~----~----~----~------~----~------~--~---
