Loading...
Searching...
No Matches
fac_distrib.h
Go to the documentation of this file.
/* 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 */
canonicalform.h
Header for factory's main class CanonicalForm.
CFArray
Array< CanonicalForm > CFArray
Definition canonicalform.h:397
CFFList
List< CFFactor > CFFList
Definition canonicalform.h:393
CFList
List< CanonicalForm > CFList
Definition canonicalform.h:395
CanonicalForm
factory's main class
Definition canonicalform.h:86
Evaluation
class to evaluate a polynomial at points
Definition cf_eval.h:32
gcdFreeBasis
CFList gcdFreeBasis(const CFList L)
nonDivisors
bool nonDivisors(CanonicalForm omega, CanonicalForm delta, const CFArray &F, CFArray &d)
checkEvaluation
bool checkEvaluation(const CanonicalForm &U, const CanonicalForm &lcU, const CanonicalForm &omega, const CFFList &F, const Evaluation &A, CanonicalForm &delta)
distributeLeadingCoeffs
bool distributeLeadingCoeffs(CanonicalForm &U, CFArray &G, CFArray &lcG, const CFFList &F, const CFArray &D, CanonicalForm &delta, CanonicalForm &omega, const Evaluation &A, int r)
D
#define D(A)
Definition gentable.cc:128
G
STATIC_VAR TreeM * G
Definition janet.cc:31
A
#define A
Definition sirandom.c:24