void ReducerPackDedup<Q>::MultipleWithPos::addCurrentCoefficient( const PolyRing& ring, Coefficient& coeff ) { Coefficient tmp; ring.coefficientMult(multiple.coef, pos.coef(), tmp); ring.coefficientAddTo(coeff, tmp); }
void ReducerPack<Q>::MultipleWithPos::currentCoefficient (const PolyRing& ring, coefficient& coeff) { ring.coefficientMult(multiple.coef, pos.coef(), coeff); }
void TournamentReducer::MultipleWithPos::currentCoefficient (const PolyRing& ring, coefficient& coeff) { ring.coefficientMult(multiple.coeff, pos.getCoefficient(), coeff); }