Reduction()

template<typename MonomType>

void BIBasis::Polynom< MonomType >::Reduction

(

const Polynom< MonomType > &

anotherPolynom

)

Definition at line 539 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;
                }
            }
 
            if (MonomListHead)
            {
                MonomType* iterator2 = iterator;
                iterator = iterator->Next;
                while (iterator)
                {
                    if (iterator->IsDivisibleBy(anotherLm))
                    {
                        tmpMonom->SetQuotientOf(*iterator, anotherLm);
                        tmpPolynom = new Polynom<MonomType>(anotherPolynom);
                        *tmpPolynom *= *tmpMonom;
                        MergeWith(*tmpPolynom);
                        delete tmpPolynom;
                        iterator = iterator2->Next;
                    }
                    else
                    {
                        iterator2 = iterator2->Next;
                        iterator = iterator2->Next;
                    }
                }
            }
            delete tmpMonom;
        }
    }

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

Referenced by BIBasis::BooleanInvolutiveBasis< MonomType >::Reduce(), and Reduction().