181 ASSERT1( 0,
"tryMulsame() not implemented for class %s", this->
classname() );
188 ASSERT1( 0,
"tryInvert() not implemented for class %s", this->
classname() );
195 ASSERT1( 0,
"tryDivremsamet() not implemented for class %s", this->
classname() );
202 ASSERT1( 0,
"tryDivremcoefft() not implemented for class %s", this->
classname() );
209 ASSERT1( 0,
"tryDivsame() not implemented for class %s", this->
classname() );
216 ASSERT1( 0,
"tryDivcoeff() not implemented for class %s", this->
classname() );
223 ASSERT1( 0,
"tryDividecoeff() not implemented for class %s", this->
classname() );
#define ASSERT1(expression, message, parameter1)
Interface to generate InternalCF's over various domains from intrinsic types or mpz_t's.
static InternalCF * basic(int value)
virtual class for internal CanonicalForm's
virtual InternalCF * tryMulsame(InternalCF *, const CanonicalForm &)
InternalCF * copyObject()
virtual CanonicalForm Lc()
virtual InternalCF * tryDivcoeff(InternalCF *, bool, const CanonicalForm &, bool &)
virtual CanonicalForm tailcoeff()
CanonicalForm InternalCF::tailcoeff (), int InternalCF::taildegree ()
virtual CanonicalForm lc()
CanonicalForm InternalCF::lc (), Lc (), LC ()
virtual const char * classname() const PVIRT_CHARCC("classname")
virtual bool tryDivremsamet(InternalCF *, InternalCF *&, InternalCF *&, const CanonicalForm &, bool &)
virtual InternalCF * tryDividecoeff(InternalCF *, bool, const CanonicalForm &, bool &)
virtual long intval() const
virtual bool isZero() const
virtual InternalCF * tryInvert(const CanonicalForm &, bool &)
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 CanonicalForm LC()
virtual InternalCF * num()
InternalCF * InternalCF::num (), den ()
virtual InternalCF * den()
virtual InternalCF * sqrt()
InternalCF * InternalCF::sqrt ()
virtual bool tryDivremcoefft(InternalCF *, InternalCF *&, InternalCF *&, bool, const CanonicalForm &, bool &)
virtual InternalCF * invert()
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 InternalCF * bextgcdcoeff(InternalCF *, CanonicalForm &, CanonicalForm &)
virtual bool isOne() const
bool InternalCF::isOne, isZero () const
virtual InternalCF * bgcdcoeff(const InternalCF *const)
Factory's internal CanonicalForm's.