SAGE and Faugeres F4


Hi,

just browsing through the documentation of the SAGE system, I could not
find out which groebner base algorithm is used there. Is it the one of
Singular (or Maxima) or an original one implemented inside the SAGE
realm itself ? As I noticed, a library for computation with sparse
matrices over PIDs is included in SAGE, which can do row-echelon
reduction. So a firm basis for the implementation of Faugeres F4 seems
to be available. Has this already been considered (or even done) by
someone ?

Jürgen

--
Jürgen Böhm www.aviduratas.de
"At a time when so many scholars in the world are calculating, is it not
desirable that some, who can, dream ?" R. Thom
.

Relevant Pages

  • Re: SAGE and Faugeres F4
    ... find out which groebner base algorithm is used there. ... Singular (or Maxima) or an original one implemented inside the SAGE ...
    (sci.math.symbolic)
  • Re: Connecting to SAGE
    ... information in a SAGE system. ... I've had sucess connecting to the Sage Fundraising ... products via ODBC. ...
    (comp.databases.ms-access)