Opened 13 years ago

Closed 13 years ago

#3019 closed enhancement (duplicate)

Integrate Frobby into Sage

Reported by: broune Owned by: broune
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: commutative algebra Keywords: monomial ideal, decomposition, frobby, spkg
Cc: Merged in:
Authors: Reviewers:
Report Upstream: Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


This ticket is about improving the Frobby spkg (attached) enough that it is suitable for inclusion as a standard component of Sage. Frobby is a software system for performing computations on monomial ideals, such as computing minimal generators, colons, intersections, irreducible decomposition, maximal standard monomials, irreducible decomposition and Alexander dual.

The point of such a program is that these operations can be performed incomparably faster on monomial ideals than on general multivariate ideals, and performing these operations on monomial ideals is a useful computation. Frobby is the fastest program today on these kinds of problems. This is especially true for it current main feature, which is to compute irreducible decomposition of monomial ideals, which is documented in the Slice paper preprint at

Frobby is written in C++ and is licensed as GPL v. 2.0 or later. It depends only on GMP, and is available at . 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 Mac OS 10.5. 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.

Change History (1)

comment:1 Changed 13 years ago by mabshoff

  • Milestone changed from sage-feature to sage-duplicate/invalid
  • Resolution set to duplicate
  • Status changed from new to closed

This is a dupe of #3018.



Note: See TracTickets for help on using tickets.