My Project  debian-1:4.1.1-p2+ds-4build3
int_cf.h
Go to the documentation of this file.
1 /* emacs edit mode for this file is -*- C++ -*- */
2 
3 /**
4  * @file int_cf.h
5  *
6  * Factory's internal CanonicalForm's
7 **/
8 #ifndef INCL_INT_CF_H
9 #define INCL_INT_CF_H
10 
11 // #include "config.h"
12 
13 #ifndef NOSTREAMIO
14 #ifdef HAVE_IOSTREAM
15 #include <iostream>
16 #define OSTREAM std::ostream
17 #elif defined(HAVE_IOSTREAM_H)
18 #include <iostream.h>
19 #define OSTREAM ostream
20 #endif
21 #endif /* NOSTREAMIO */
22 
23 #include "cf_assert.h"
24 
25 #include "cf_defs.h"
26 #include "variable.h"
27 
28 #ifdef HAVE_OMALLOC
29 #ifndef XMEMORY_H
30 #include "omalloc/omallocClass.h"
31 #endif
32 #endif
33 
34 class CanonicalForm;
35 
36 /**
37  * virtual class for internal CanonicalForm's
38  *
39  * InternalCF will become an InternalPoly, InternalInteger, InternalRational
40 **/
42 #ifdef HAVE_OMALLOC
43 #ifndef XMEMORY_H
44  : public omallocClass
45 #endif
46 #endif
47 {
48 private:
49  int refCount;
50 protected:
51  int getRefCount() { return refCount; };
52  void incRefCount() { refCount++; };
53  int decRefCount() { return --refCount; };
54 public:
55  InternalCF() { refCount = 1; };
57  {
58  ASSERT( 0, "ups there is something wrong in your code");
59  };
60  virtual ~InternalCF() {};
61  int deleteObject() { return decRefCount() == 0; }
62  InternalCF* copyObject() { incRefCount(); return this; }
67  virtual int level() const { return LEVELBASE; }
68  virtual int levelcoeff() const { return UndefinedDomain; }
69  virtual int type() const { return UndefinedDomain; }
70  virtual Variable variable() const { return Variable(); }
71 #ifndef NOSTREAMIO
72  virtual void print( OSTREAM&, char* ) PVIRT_VOID("print");
73 #endif /* NOSTREAMIO */
74  virtual bool inBaseDomain() const { return true; }
75  virtual bool inExtension() const { return false; }
76  virtual bool inCoeffDomain() const { return true; }
77  virtual bool inPolyDomain() const { return false; }
78  virtual bool inQuotDomain() const { return false; }
79  virtual bool isZero() const;
80  virtual bool isOne() const;
81  virtual bool isUnivariate() const { return false; }
82  virtual long intval() const;
83  virtual int intmod( int ) const { return 0; }
84  virtual int sign() const PVIRT_INT("sign");
85 
86  virtual InternalCF* num();
87  virtual InternalCF* den();
88 
89  virtual InternalCF* neg() PVIRT_INTCF("neg");
90  virtual InternalCF* invert(); // semantically const, changes refCount
91  virtual InternalCF* tryInvert( const CanonicalForm&, bool& );
94 
102  virtual InternalCF* tryDivsame ( InternalCF* , const CanonicalForm&, bool& );
106  virtual bool tryDivremsamet ( InternalCF*, InternalCF*&, InternalCF*&, const CanonicalForm&, bool& );
107 
112  virtual InternalCF* tryDividecoeff ( InternalCF*, bool, const CanonicalForm&, bool& );
115  virtual InternalCF* tryDivcoeff ( InternalCF*, bool, const CanonicalForm&, bool& );
119  virtual bool tryDivremcoefft( InternalCF*, InternalCF*&, InternalCF*&, bool, const CanonicalForm&, bool& );
120 
121  virtual InternalCF * bgcdsame ( const InternalCF * const ) const;
122  virtual InternalCF * bgcdcoeff ( const InternalCF * const ); // semantically const, changes refcount
123 
124  virtual InternalCF * bextgcdsame ( InternalCF *, CanonicalForm &, CanonicalForm & ); // semantically const, changes refcount
125  virtual InternalCF * bextgcdcoeff ( InternalCF *, CanonicalForm &, CanonicalForm & ); // semantically const, changes refcount
126 
127  virtual InternalCF* sqrt();
128  virtual int ilog2();
129  virtual CanonicalForm lc();
130  virtual CanonicalForm Lc();
131  virtual CanonicalForm LC();
132  virtual CanonicalForm coeff( int i );
133  virtual int degree();
134  virtual int taildegree();
135  virtual CanonicalForm tailcoeff();
136 };
137 
138 #endif /* ! INCL_INT_CF_H */
InternalCF::intval
virtual long intval() const
Definition: int_cf.cc:165
InternalCF::bextgcdsame
virtual InternalCF * bextgcdsame(InternalCF *, CanonicalForm &, CanonicalForm &)
InternalCF * InternalCF::bextgcdsame ( InternalCF *, CanonicalForm & a, CanonicalForm & b )
Definition: int_cf.cc:149
InternalCF::degree
virtual int degree()
int InternalCF::degree ()
Definition: int_cf.cc:55
InternalCF::mulsame
virtual InternalCF * mulsame(InternalCF *) PVIRT_INTCF("mulsame")
omallocClass.h
InternalCF::neg
virtual InternalCF * neg() PVIRT_INTCF("neg")
InternalCF::incRefCount
void incRefCount()
Definition: int_cf.h:52
InternalCF::invert
virtual InternalCF * invert()
Definition: int_cf.cc:172
InternalCF::inBaseDomain
virtual bool inBaseDomain() const
Definition: int_cf.h:74
InternalCF::modulosame
virtual InternalCF * modulosame(InternalCF *) PVIRT_INTCF("modulosame")
InternalCF::tryDividecoeff
virtual InternalCF * tryDividecoeff(InternalCF *, bool, const CanonicalForm &, bool &)
Definition: int_cf.cc:221
InternalCF::divsame
virtual InternalCF * divsame(InternalCF *) PVIRT_INTCF("divsame")
InternalCF::tryDivremcoefft
virtual bool tryDivremcoefft(InternalCF *, InternalCF *&, InternalCF *&, bool, const CanonicalForm &, bool &)
Definition: int_cf.cc:200
InternalCF::isZero
virtual bool isZero() const
Definition: int_cf.cc:24
InternalCF::type
virtual int type() const
Definition: int_cf.h:69
InternalCF::divremcoeff
virtual void divremcoeff(InternalCF *, InternalCF *&, InternalCF *&, bool) PVIRT_VOID("divremcoeff")
InternalCF::tailcoeff
virtual CanonicalForm tailcoeff()
CanonicalForm InternalCF::tailcoeff (), int InternalCF::taildegree ()
Definition: int_cf.cc:67
InternalCF::subsame
virtual InternalCF * subsame(InternalCF *) PVIRT_INTCF("subsame")
InternalCF::taildegree
virtual int taildegree()
Definition: int_cf.cc:73
InternalCF
virtual class for internal CanonicalForm's
Definition: int_cf.h:47
InternalCF::addsame
virtual InternalCF * addsame(InternalCF *) PVIRT_INTCF("addsame")
InternalCF::intmod
virtual int intmod(int) const
Definition: int_cf.h:83
InternalCF::comparesame
virtual int comparesame(InternalCF *) PVIRT_INT("comparesame")
InternalCF::genZero
virtual InternalCF * genZero() PVIRT_INTCF("genZero")
InternalCF::isOne
virtual bool isOne() const
bool InternalCF::isOne, isZero () const
Definition: int_cf.cc:18
CanonicalForm
factory's main class
Definition: canonicalform.h:83
InternalCF::subcoeff
virtual InternalCF * subcoeff(InternalCF *, bool) PVIRT_INTCF("subcoeff")
InternalCF::bextgcdcoeff
virtual InternalCF * bextgcdcoeff(InternalCF *, CanonicalForm &, CanonicalForm &)
Definition: int_cf.cc:157
InternalCF::print
virtual void print(OSTREAM &, char *) PVIRT_VOID("print")
InternalCF::copyObject
InternalCF * copyObject()
Definition: int_cf.h:62
InternalCF::level
virtual int level() const
Definition: int_cf.h:67
i
int i
Definition: cfEzgcd.cc:125
InternalCF::levelcoeff
virtual int levelcoeff() const
Definition: int_cf.h:68
PVIRT_VOID
#define PVIRT_VOID(msg)
Definition: cf_assert.h:117
ASSERT
#define ASSERT(expression, message)
Definition: cf_assert.h:99
PVIRT_INTCF
#define PVIRT_INTCF(msg)
Definition: cf_assert.h:119
InternalCF::bgcdcoeff
virtual InternalCF * bgcdcoeff(const InternalCF *const)
Definition: int_cf.cc:139
InternalCF::isUnivariate
virtual bool isUnivariate() const
Definition: int_cf.h:81
InternalCF::addcoeff
virtual InternalCF * addcoeff(InternalCF *) PVIRT_INTCF("addcoeff")
InternalCF::refCount
int refCount
Definition: int_cf.h:49
cf_defs.h
PVIRT_INT
#define PVIRT_INT(msg)
Definition: cf_assert.h:123
InternalCF::LC
virtual CanonicalForm LC()
Definition: int_cf.cc:46
InternalCF::inCoeffDomain
virtual bool inCoeffDomain() const
Definition: int_cf.h:76
InternalCF::coeff
virtual CanonicalForm coeff(int i)
CanonicalForm InternalCF::coeff ( int i )
Definition: int_cf.cc:120
InternalCF::sqrt
virtual InternalCF * sqrt()
InternalCF * InternalCF::sqrt ()
Definition: int_cf.cc:100
PVIRT_CHARCC
#define PVIRT_CHARCC(msg)
Definition: cf_assert.h:125
InternalCF::divremcoefft
virtual bool divremcoefft(InternalCF *, InternalCF *&, InternalCF *&, bool) PVIRT_BOOL("divremcoefft")
InternalCF::modcoeff
virtual InternalCF * modcoeff(InternalCF *, bool) PVIRT_INTCF("modcoeff")
InternalCF::genOne
virtual InternalCF * genOne() PVIRT_INTCF("genOne")
InternalCF::Lc
virtual CanonicalForm Lc()
Definition: int_cf.cc:40
OSTREAM
#define OSTREAM
Definition: int_cf.h:16
InternalCF::tryDivcoeff
virtual InternalCF * tryDivcoeff(InternalCF *, bool, const CanonicalForm &, bool &)
Definition: int_cf.cc:214
InternalCF::variable
virtual Variable variable() const
Definition: int_cf.h:70
InternalCF::dividecoeff
virtual InternalCF * dividecoeff(InternalCF *, bool) PVIRT_INTCF("dividecoeff")
variable.h
InternalCF::comparecoeff
virtual int comparecoeff(InternalCF *) PVIRT_INT("comparecoeff")
InternalCF::den
virtual InternalCF * den()
Definition: int_cf.cc:91
omallocClass
Definition: omallocClass.h:18
InternalCF::divremsame
virtual void divremsame(InternalCF *, InternalCF *&, InternalCF *&) PVIRT_VOID("divremsame")
InternalCF::deleteObject
int deleteObject()
Definition: int_cf.h:61
InternalCF::tryMulsame
virtual InternalCF * tryMulsame(InternalCF *, const CanonicalForm &)
Definition: int_cf.cc:179
LEVELBASE
#define LEVELBASE
Definition: cf_defs.h:16
InternalCF::tryDivremsamet
virtual bool tryDivremsamet(InternalCF *, InternalCF *&, InternalCF *&, const CanonicalForm &, bool &)
Definition: int_cf.cc:193
InternalCF::dividesame
virtual InternalCF * dividesame(InternalCF *) PVIRT_INTCF("dividesame")
InternalCF::bgcdsame
virtual InternalCF * bgcdsame(const InternalCF *const) const
InternalCF * InternalCF::bgcdsame, bgcdcoeff ( const InternalCF * const )
Definition: int_cf.cc:132
InternalCF::divremsamet
virtual bool divremsamet(InternalCF *, InternalCF *&, InternalCF *&) PVIRT_BOOL("divremsamet")
InternalCF::decRefCount
int decRefCount()
Definition: int_cf.h:53
const
#define const
Definition: fegetopt.c:41
InternalCF::tryDivsame
virtual InternalCF * tryDivsame(InternalCF *, const CanonicalForm &, bool &)
Definition: int_cf.cc:207
Variable
factory's class for variables
Definition: factory.h:118
InternalCF::inQuotDomain
virtual bool inQuotDomain() const
Definition: int_cf.h:78
InternalCF::modulocoeff
virtual InternalCF * modulocoeff(InternalCF *, bool) PVIRT_INTCF("dividecoeff")
InternalCF::inExtension
virtual bool inExtension() const
Definition: int_cf.h:75
InternalCF::divcoeff
virtual InternalCF * divcoeff(InternalCF *, bool) PVIRT_INTCF("divcoeff")
InternalCF::InternalCF
InternalCF()
Definition: int_cf.h:55
UndefinedDomain
#define UndefinedDomain
Definition: cf_defs.h:21
InternalCF::inPolyDomain
virtual bool inPolyDomain() const
Definition: int_cf.h:77
InternalCF::ilog2
virtual int ilog2()
int InternalCF::ilog2 ()
Definition: int_cf.cc:110
InternalCF::num
virtual InternalCF * num()
InternalCF * InternalCF::num (), den ()
Definition: int_cf.cc:85
InternalCF::mulcoeff
virtual InternalCF * mulcoeff(InternalCF *) PVIRT_INTCF("mulcoeff")
cf_assert.h
InternalCF::InternalCF
InternalCF(const InternalCF &)
Definition: int_cf.h:56
InternalCF::tryInvert
virtual InternalCF * tryInvert(const CanonicalForm &, bool &)
Definition: int_cf.cc:186
InternalCF::deepCopyObject
virtual InternalCF * deepCopyObject() const PVIRT_INTCF("deepCopyObject")
InternalCF::~InternalCF
virtual ~InternalCF()
Definition: int_cf.h:60
InternalCF::modsame
virtual InternalCF * modsame(InternalCF *) PVIRT_INTCF("modsame")
InternalCF::classname
virtual const char * classname() const PVIRT_CHARCC("classname")
PVIRT_BOOL
#define PVIRT_BOOL(msg)
Definition: cf_assert.h:121
InternalCF::getRefCount
int getRefCount()
Definition: int_cf.h:51
InternalCF::sign
virtual int sign() const PVIRT_INT("sign")
InternalCF::lc
virtual CanonicalForm lc()
CanonicalForm InternalCF::lc (), Lc (), LC ()
Definition: int_cf.cc:34