HeadReduction()

template<typename MonomType>

void BIBasis::Polynom< MonomType >::HeadReduction

(

const Polynom< MonomType > &

anotherPolynom

)

Definition at line 592 of file polynom.hpp.

    {
        if (MonomListHead && anotherPolynom.MonomListHead)
        {
            MonomType* tmpMonom = new MonomType();
            Polynom<MonomType>* tmpPolynom = 0;
            MonomType* iterator = MonomListHead;
            const MonomType& anotherLm = anotherPolynom.Lm();
 
            while (iterator)
            {
                if (iterator->IsDivisibleBy(anotherLm))
                {
                    tmpMonom->SetQuotientOf(*iterator, anotherLm);
                    tmpPolynom = new Polynom<MonomType>(anotherPolynom);
                    *tmpPolynom *= *tmpMonom;
                    MergeWith(*tmpPolynom);
                    delete tmpPolynom;
                    iterator = MonomListHead;
                }
                else
                {
                    break;
                }
            }
            delete tmpMonom;
        }
    }

References HeadReduction(), Lm(), MergeWith(), MonomListHead, and Polynom().

Referenced by HeadReduction(), and BIBasis::BooleanInvolutiveBasis< MonomType >::NormalForm().