Frobby is a software system and project for computations with monomial ideals. Frobby is free software and it is intended as a vehicle for research on monomial ideals, as well as a useful practical tool for investigating monomial ideals.
long dimension(const ideal& I); ideal AlexanderDualFrobby(I, pp); ideal AlexanderDualFrobby(I); ideal MaximalStandardMonomialsFrobby(I); void IrreducibleDecompositionFrobby(std::vector<ideal>& components, I); void PrimaryDecompositionFrobby(std::vector<ideal>& components, I); void AssociatedPrimesFrobby(std::vector<ideal>& primes, I); RingElem MultigradedHilbertPoincareNumeratorFrobby(I); RingElem TotalDegreeHilbertPoincareNumeratorFrobby(I); RingElem TotalDegreeHilbertPoincareNumeratorFrobby(I, const RingElem& base);
CoCoALib requires Frobby release 0.9.0 or later. Download Frobby from the website.
IMPORTANT there are some minor mistakes in the frobby source code:
mpq_classNow compile Frobby following the instructions in the Frobby release. NOTE: JAA says that to compile Frobby (0.8.2) on my machine I had to execute the following:
export CFLAGS="-m64 -mtune=core2 -march=core2" # taken from gmp.h export LDFLAGS=$CFLAGS make library
makemight give some linking issues if
libgmpxxis not installed systemwide. Anyway, for linking with CoCoA you only need
Look to see where the library file
libfrobby.a is -- on my computer
it was inside the Frobby subdirectory
bin/. Note the full path to
the library file as you will need it when configuring CoCoALib!
Then configure and compile CoCoALib typing
cd CoCoALib-0.99 ./configure --with-libfrobby=<your_path_to>/libfrobby.a make
Currently Frobby is not really intended to be used as a library, so linking it with CoCoALib is not as simple as it could be. Hopefully this will soon change.
Frobbysuffix to all functions