Function CalculateFunctionals

kernel/fglm/fglmzero.cc:672–678

Calculates the defining Functionals for the ideal "theIdeal" and returns them in "l". The ideal has to be zero-dimensional and reduced and has to be a real subset of the polynomial ring. In any case it has to be zero-dimensional and minimal (check this via fglmIdealcheck). Any minimal but not reduced ideal is detected. In this case it returns FglmNotReduced. If the base domain is Q, the leading co

//     returns TRUE if the result is valid, FALSE if theIdeal
//      is not reduced.
static BOOLEAN
CalculateFunctionals( const ideal & theIdeal, idealFunctionals & l )
{
    fglmSdata data( theIdeal );
    internalCalculateFunctionals( theIdeal, l, data );
    return ( data.state() );
}

static BOOLEAN
CalculateFunctionals( const ideal & theIdeal, idealFunctionals & l,