Hi Thomas, I am interested in monomial ideal computations in Sage, and I'm very open to discuss it, but I won't have time to really work on it until after Christmas. When I did some work on this earlier, I did not find any special monomial ideal classes. So in the interface to Frobby I had to use the general polynomial ideal classes. This was just barely acceptable because the only thing I did with them was to convert them to internal data structures inside of Frobby (an external C++ library). It is clear that doing serious monomial ideal computations directly inside of Sage will required specialized classes to be at all efficient.
The features of Frobby are "large-chunk" computations on monomial ideals, such as irreducible and primary decomposition of monomial ideals. Frobby does not really offer suitable data structures for general computations, other than those implemented in Frobby itself. Of course Frobby has such data structures internally, but they are not exposed in the library interface because as things stand this has not been requested by anyone, and it would require some redesigning of the internal data structures to make them suitable for general use. Some work remains on the Frobby interface, as it does not expose everything Frobby can do, which is something I'll be looking at after Christmas. It would be useful if you could identify the specific computations you need to do on monomial ideals, and what specific computations you need to do on binomial ideals. Then it will be more clear how well Sage already supports what you need. Also, Thomas, could you send me the error message you get when building Frobby, along with information such as which OS you are using? Cheers Bjarke Hammersholt Roune --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] 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 -~----------~----~----~----~------~----~------~--~---
