资 源 简 介
The Monos Algebra software provides the ability to compute with monomial and binomial ideals.
## News ##
The 1.0 RC2 release is now available. Just download the installer and
do either double-click on the jar file (windows) or do:
java -jar monos-installer-1.0-rc2.jar
## Examples ##
Monos lets you compute with binomials. If you want to compute
the irredundant irreducible decomposition of a monomial ideal,
just do:
(let ((i (monomial-ideal-with-order (lex-order x1 x2 x3) x1^2 x2^2 x2*x3))) (decompose-ideal i))
As you can see, the scripting language is R5RS scheme. It compiles
to Java bytecode. If you want, you can use the Java API directly.
You can also compute gröbner bases for binomial and toric ideals. For example,
give the following input stored in k4.mat:
24 161 1 1 1 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 1 1 1 1 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 1 1 1 1 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0
