Example:
DivMaskRule DMR = NewDivMaskEvenPowers(); PPMonoidElem PP1 ... PPMonoidElem PP2 ... PPWithMask pm1(PP1, DMR); PPWithMask pm2(PP1, DMR); IsEqualFast(pm1, pm2); IsDivisibleFast(pm1, pm2);
Implementation of PPMonoidElem with DivMask for fast divisibility test
This type is not intended for "public use": it must be fast, so we
cannot guarantee safety checks. It does some compatibility tests with
CoCoA_ASSERT (i.e. only with CoCoA_DEBUG
on)
It is to be used ONLY when speed on divisibility tests is crucial (Buchberger, Toric, Hilbert, ...).
Constructor and assignment from pp might be expensive.
Todo!!! Complete!!!