16#define OSTREAM std::ostream
17#elif defined(HAVE_IOSTREAM_H)
19#define OSTREAM ostream
58 ASSERT( 0,
"ups there is something wrong in your code");
79 virtual bool isZero()
const;
80 virtual bool isOne()
const;
82 virtual long intval()
const;
83 virtual int intmod(
int )
const {
return 0; }
#define PVIRT_CHARCC(msg)
#define ASSERT(expression, message)
virtual class for internal CanonicalForm's
virtual InternalCF * tryMulsame(InternalCF *, const CanonicalForm &)
virtual int intmod(int) const
virtual InternalCF * addcoeff(InternalCF *) PVIRT_INTCF("addcoeff")
InternalCF * copyObject()
virtual CanonicalForm Lc()
virtual InternalCF * tryDivcoeff(InternalCF *, bool, const CanonicalForm &, bool &)
virtual InternalCF * modulosame(InternalCF *) PVIRT_INTCF("modulosame")
virtual void divremcoeff(InternalCF *, InternalCF *&, InternalCF *&, bool) PVIRT_VOID("divremcoeff")
virtual InternalCF * addsame(InternalCF *) PVIRT_INTCF("addsame")
virtual CanonicalForm tailcoeff()
CanonicalForm InternalCF::tailcoeff (), int InternalCF::taildegree ()
virtual InternalCF * divsame(InternalCF *) PVIRT_INTCF("divsame")
virtual bool inPolyDomain() const
virtual CanonicalForm lc()
CanonicalForm InternalCF::lc (), Lc (), LC ()
virtual InternalCF * mulcoeff(InternalCF *) PVIRT_INTCF("mulcoeff")
virtual const char * classname() const PVIRT_CHARCC("classname")
virtual bool tryDivremsamet(InternalCF *, InternalCF *&, InternalCF *&, const CanonicalForm &, bool &)
virtual InternalCF * subsame(InternalCF *) PVIRT_INTCF("subsame")
virtual InternalCF * tryDividecoeff(InternalCF *, bool, const CanonicalForm &, bool &)
virtual InternalCF * divcoeff(InternalCF *, bool) PVIRT_INTCF("divcoeff")
virtual InternalCF * subcoeff(InternalCF *, bool) PVIRT_INTCF("subcoeff")
virtual long intval() const
virtual InternalCF * dividecoeff(InternalCF *, bool) PVIRT_INTCF("dividecoeff")
virtual bool isZero() const
virtual InternalCF * tryInvert(const CanonicalForm &, bool &)
virtual bool inExtension() const
virtual InternalCF * genOne() PVIRT_INTCF("genOne")
virtual void print(OSTREAM &, char *) PVIRT_VOID("print")
virtual int levelcoeff() const
virtual int degree()
int InternalCF::degree ()
virtual InternalCF * bextgcdsame(InternalCF *, CanonicalForm &, CanonicalForm &)
InternalCF * InternalCF::bextgcdsame ( InternalCF *, CanonicalForm & a, CanonicalForm & b )
virtual int ilog2()
int InternalCF::ilog2 ()
virtual int comparesame(InternalCF *) PVIRT_INT("comparesame")
InternalCF(const InternalCF &)
virtual bool inCoeffDomain() const
virtual CanonicalForm LC()
virtual InternalCF * modsame(InternalCF *) PVIRT_INTCF("modsame")
virtual InternalCF * num()
InternalCF * InternalCF::num (), den ()
virtual int comparecoeff(InternalCF *) PVIRT_INT("comparecoeff")
virtual InternalCF * den()
virtual Variable variable() const
virtual InternalCF * sqrt()
InternalCF * InternalCF::sqrt ()
virtual bool tryDivremcoefft(InternalCF *, InternalCF *&, InternalCF *&, bool, const CanonicalForm &, bool &)
virtual int sign() const PVIRT_INT("sign")
virtual bool inBaseDomain() const
virtual InternalCF * invert()
virtual InternalCF * dividesame(InternalCF *) PVIRT_INTCF("dividesame")
virtual InternalCF * deepCopyObject() const PVIRT_INTCF("deepCopyObject")
virtual InternalCF * modulocoeff(InternalCF *, bool) PVIRT_INTCF("dividecoeff")
virtual InternalCF * tryDivsame(InternalCF *, const CanonicalForm &, bool &)
virtual InternalCF * bgcdsame(const InternalCF *const) const
InternalCF * InternalCF::bgcdsame, bgcdcoeff ( const InternalCF * const )
virtual CanonicalForm coeff(int i)
CanonicalForm InternalCF::coeff ( int i )
virtual int level() const
virtual void divremsame(InternalCF *, InternalCF *&, InternalCF *&) PVIRT_VOID("divremsame")
virtual bool isUnivariate() const
virtual bool inQuotDomain() const
virtual bool divremcoefft(InternalCF *, InternalCF *&, InternalCF *&, bool) PVIRT_BOOL("divremcoefft")
virtual InternalCF * modcoeff(InternalCF *, bool) PVIRT_INTCF("modcoeff")
virtual InternalCF * genZero() PVIRT_INTCF("genZero")
virtual InternalCF * bextgcdcoeff(InternalCF *, CanonicalForm &, CanonicalForm &)
virtual bool isOne() const
bool InternalCF::isOne, isZero () const
virtual InternalCF * bgcdcoeff(const InternalCF *const)
virtual InternalCF * neg() PVIRT_INTCF("neg")
virtual InternalCF * mulsame(InternalCF *) PVIRT_INTCF("mulsame")
virtual bool divremsamet(InternalCF *, InternalCF *&, InternalCF *&) PVIRT_BOOL("divremsamet")
factory's class for variables