Method getEdgeNumber

kernel/fglm/fglmzero.cc:528–535

if p == pHead( (theIdeal->m)[k] ) return k, 0 otherwise (Assumes that pLmEqual just checks the leading monomials without coefficients.)

//     (Assumes that pLmEqual just checks the leading monomials without
//      coefficients.)
int
fglmSdata::getEdgeNumber( const poly m ) const
{
    for ( int k = idelems; k > 0; k-- )
        if ( pLmEqual( m, (theIdeal->m)[k-1] ) )
            return k;
    return 0;
}

//     Returns the fglmVector v, s.t.
//        p = v[1]*basis(1) + .. + v[basisSize]*basis(basisSize)