PPWithMask

© 2006 Anna Bigatti
GNU Free Documentation License, Version 1.2



CoCoALib Documentation Index

User documentation

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!!!