/* emacs edit mode for this file is -*- C++ -*- */
/* $Id: fac_distrib.h 12231 2009-11-02 10:12:22Z hannes $ */

#ifndef INCL_FAC_DISTRIB_H
#define INCL_FAC_DISTRIB_H

#include <config.h>

#include "canonicalform.h"


bool nonDivisors ( CanonicalForm omega, CanonicalForm delta, const CFArray & F, CFArray & d );

bool checkEvaluation ( const CanonicalForm & U, const CanonicalForm & lcU, const CanonicalForm & omega, const CFFList & F, const Evaluation & A, CanonicalForm & delta );

bool distributeLeadingCoeffs ( CanonicalForm & U, CFArray & G, CFArray & lcG, const CFFList & F, const CFArray & D, CanonicalForm & delta, CanonicalForm & omega, const Evaluation & A, int r );

CFList gcdFreeBasis ( const CFList L );

#endif /* ! INCL_FAC_DISTRIB_H */
