Definition at line 155 of file triple.hpp.
References Polynomial.
Referenced by BIBasis::BooleanInvolutiveBasis< MonomType >::NormalForm().