This document briefly describes how to use FGb within Mathemagix.

1.Use from C++

Block DRL bases over the rational numbers can be directly computed with sparse_polynomial from multimix. Examples are available from mfgb/test/.

2.Use from the interpreter

Mmx]  

use "mfgb"

Mmx]  

X == coordinate ('x); Y == coordinate ('y);

Mmx]  

x == mvpolynomial (1 :> Rational, X);
y == mvpolynomial (1 :> Rational, Y);

Mmx]  

f1 == x^2 + y^2 - 1;
f2 == x^2 + x * y - 2;

Mmx]  

fgb_basis_drldrl ([f1, f2], [X], [Y])

Mmx]  

p: Integer == 7

Mmx]  

x == mvpolynomial (1 :> Integer, X);
y == mvpolynomial (1 :> Integer, Y);

Mmx]  

f1 == x^2 + y^2 - 1;
f2 == x^2 + x * y - 2;

Mmx]  

fgb_basis_drldrl ([f1 mod p, f2 mod p], [X], [Y])

For long computations, verbosity can be activated with fgb_verbose? := true.