remainder_by_ZZ()

void gbA::remainder_by_ZZ ( const FreeModule * F, const FreeModule * Fsyz, POLY & f, const VECTOR(POLY) & polys, MonomialTableZZ * T )

private

References gb_weights, Matrix, max_reduction_count, POLY, T, and x.