Dear Mathieu,
there is already an example in linbox/examples/nullspacebasis.C, over a finite
field.
To make it work over the rationals, just change the field to
Givaro::QField<Givaro::Rational>.
Regards,
--
Jean-Guillaume Dumas.
____________________________________________________________________
Jean-Guill...@univ-grenoble-alpes.fr Tél.: +33 457 421 732
Professeur, Université Grenoble Alpes. Fax.: +33 457 421 828
Laboratoire Jean Kuntzmann, Mathématiques Appliquées et Informatique
700 avenue centrale, IMAG - CS 40700, 38058 GRENOBLE cedex 9, FRANCE
http://ljk.imag.fr/membres/Jean-Guillaume.Dumas
____________________________________________________________________