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 #include <omalloc/omallocClass.h>
30 #endif
31 
32 class CanonicalForm;
33 
34 /**
35  * virtual class for internal CanonicalForm's
36  *
37  * InternalCF will become an InternalPoly, InternalInteger, InternalRational
38 **/
40 #ifdef HAVE_OMALLOC
41  : public omallocClass
42 #endif
43 {
44 private:
45  int refCount;
46 protected:
47  int getRefCount() { return refCount; };
48  void incRefCount() { refCount++; };
49  int decRefCount() { return --refCount; };
50 public:
51  InternalCF() { refCount = 1; };
53  {
54  ASSERT( 0, "ups there is something wrong in your code");
55  };
56  virtual ~InternalCF() {};
57  int deleteObject() { return decRefCount() == 0; }
58  InternalCF* copyObject() { incRefCount(); return this; }
60  virtual const char * classname() const PVIRT_CHARCC("classname");
61  virtual InternalCF* genZero() PVIRT_INTCF("genZero");
62  virtual InternalCF* genOne() PVIRT_INTCF("genOne");
63  virtual int level() const { return LEVELBASE; }
64  virtual int levelcoeff() const { return UndefinedDomain; }
65  virtual int type() const { return UndefinedDomain; }
66  virtual Variable variable() const { return Variable(); }
67 #ifndef NOSTREAMIO
68  virtual void print( OSTREAM&, char* ) PVIRT_VOID("print");
69 #endif /* NOSTREAMIO */
70  virtual bool inBaseDomain() const { return true; }
71  virtual bool inExtension() const { return false; }
72  virtual bool inCoeffDomain() const { return true; }
73  virtual bool inPolyDomain() const { return false; }
74  virtual bool inQuotDomain() const { return false; }
75  virtual bool isZero() const;
76  virtual bool isOne() const;
77  virtual bool isUnivariate() const { return false; }
78  virtual long intval() const;
79  virtual int intmod( int ) const { return 0; }
80  virtual int sign() const PVIRT_INT("sign");
81 
82  virtual InternalCF* num();
83  virtual InternalCF* den();
84 
85  virtual InternalCF* neg() PVIRT_INTCF("neg");
86  virtual InternalCF* invert(); // semantically const, changes refCount
87  virtual InternalCF* tryInvert( const CanonicalForm&, bool& );
88  virtual int comparesame ( InternalCF * ) PVIRT_INT("comparesame");
89  virtual int comparecoeff ( InternalCF * ) PVIRT_INT("comparecoeff");
90 
98  virtual InternalCF* tryDivsame ( InternalCF* , const CanonicalForm&, bool& );
102  virtual bool tryDivremsamet ( InternalCF*, InternalCF*&, InternalCF*&, const CanonicalForm&, bool& );
103 
105  virtual InternalCF* subcoeff( InternalCF*, bool ) PVIRT_INTCF("subcoeff");
108  virtual InternalCF* tryDividecoeff ( InternalCF*, bool, const CanonicalForm&, bool& );
110  virtual InternalCF* divcoeff( InternalCF*, bool ) PVIRT_INTCF("divcoeff");
111  virtual InternalCF* tryDivcoeff ( InternalCF*, bool, const CanonicalForm&, bool& );
112  virtual InternalCF* modcoeff( InternalCF*, bool ) PVIRT_INTCF("modcoeff");
113  virtual void divremcoeff( InternalCF*, InternalCF*&, InternalCF*&, bool ) PVIRT_VOID("divremcoeff");
114  virtual bool divremcoefft( InternalCF*, InternalCF*&, InternalCF*&, bool ) PVIRT_BOOL("divremcoefft");
115  virtual bool tryDivremcoefft( InternalCF*, InternalCF*&, InternalCF*&, bool, const CanonicalForm&, bool& );
116 
117  virtual InternalCF * bgcdsame ( const InternalCF * const ) const;
118  virtual InternalCF * bgcdcoeff ( const InternalCF * const ); // semantically const, changes refcount
119 
120  virtual InternalCF * bextgcdsame ( InternalCF *, CanonicalForm &, CanonicalForm & ); // semantically const, changes refcount
121  virtual InternalCF * bextgcdcoeff ( InternalCF *, CanonicalForm &, CanonicalForm & ); // semantically const, changes refcount
122 
123  virtual InternalCF* sqrt();
124  virtual int ilog2();
125  virtual CanonicalForm lc();
126  virtual CanonicalForm Lc();
127  virtual CanonicalForm LC();
128  virtual CanonicalForm coeff( int i );
129  virtual int degree();
130  virtual int taildegree();
131  virtual CanonicalForm tailcoeff();
132 };
133 
134 #endif /* ! INCL_INT_CF_H */
int deleteObject()
Definition: int_cf.h:57
virtual bool isOne() const
bool InternalCF::isOne, isZero () const
Definition: int_cf.cc:18
int decRefCount()
Definition: int_cf.h:49
#define LEVELBASE
Definition: cf_defs.h:16
virtual void divremcoeff(InternalCF *, InternalCF *&, InternalCF *&, bool) PVIRT_VOID("divremcoeff")
virtual int degree()
int InternalCF::degree ()
Definition: int_cf.cc:55
#define PVIRT_VOID(msg)
Definition: cf_assert.h:117
factory&#39;s class for variables
Definition: factory.h:115
virtual InternalCF * tryInvert(const CanonicalForm &, bool &)
Definition: int_cf.cc:186
int refCount
Definition: int_cf.h:45
virtual int type() const
Definition: int_cf.h:65
virtual CanonicalForm LC()
Definition: int_cf.cc:46
virtual bool inCoeffDomain() const
Definition: int_cf.h:72
InternalCF * copyObject()
Definition: int_cf.h:58
factory&#39;s main class
Definition: canonicalform.h:75
virtual InternalCF * bextgcdsame(InternalCF *, CanonicalForm &, CanonicalForm &)
InternalCF * InternalCF::bextgcdsame ( InternalCF *, CanonicalForm & a, CanonicalForm & b ) ...
Definition: int_cf.cc:149
assertions for Factory
virtual InternalCF * divsame(InternalCF *) PVIRT_INTCF("divsame")
#define UndefinedDomain
Definition: cf_defs.h:21
virtual ~InternalCF()
Definition: int_cf.h:56
virtual InternalCF * bgcdcoeff(const InternalCF *const)
Definition: int_cf.cc:139
virtual bool isUnivariate() const
Definition: int_cf.h:77
virtual InternalCF * addsame(InternalCF *) PVIRT_INTCF("addsame")
virtual int comparesame(InternalCF *) PVIRT_INT("comparesame")
virtual bool isZero() const
Definition: int_cf.cc:24
virtual InternalCF * tryDivsame(InternalCF *, const CanonicalForm &, bool &)
Definition: int_cf.cc:207
virtual long intval() const
Definition: int_cf.cc:165
virtual class for internal CanonicalForm&#39;s
Definition: int_cf.h:39
virtual int comparecoeff(InternalCF *) PVIRT_INT("comparecoeff")
virtual int levelcoeff() const
Definition: int_cf.h:64
virtual InternalCF * subsame(InternalCF *) PVIRT_INTCF("subsame")
virtual int taildegree()
Definition: int_cf.cc:73
virtual InternalCF * modulosame(InternalCF *) PVIRT_INTCF("modulosame")
virtual int level() const
Definition: int_cf.h:63
virtual InternalCF * genOne() PVIRT_INTCF("genOne")
virtual InternalCF * subcoeff(InternalCF *, bool) PVIRT_INTCF("subcoeff")
virtual bool tryDivremcoefft(InternalCF *, InternalCF *&, InternalCF *&, bool, const CanonicalForm &, bool &)
Definition: int_cf.cc:200
virtual InternalCF * divcoeff(InternalCF *, bool) PVIRT_INTCF("divcoeff")
virtual InternalCF * sqrt()
InternalCF * InternalCF::sqrt ()
Definition: int_cf.cc:100
virtual void print(OSTREAM &, char *) PVIRT_VOID("print")
InternalCF()
Definition: int_cf.h:51
#define PVIRT_INT(msg)
Definition: cf_assert.h:123
virtual CanonicalForm coeff(int i)
CanonicalForm InternalCF::coeff ( int i )
Definition: int_cf.cc:120
virtual CanonicalForm Lc()
Definition: int_cf.cc:40
virtual InternalCF * dividesame(InternalCF *) PVIRT_INTCF("dividesame")
int i
Definition: cfEzgcd.cc:123
virtual CanonicalForm tailcoeff()
CanonicalForm InternalCF::tailcoeff (), int InternalCF::taildegree ()
Definition: int_cf.cc:67
virtual InternalCF * dividecoeff(InternalCF *, bool) PVIRT_INTCF("dividecoeff")
factory switches.
#define OSTREAM
Definition: int_cf.h:16
virtual InternalCF * tryDivcoeff(InternalCF *, bool, const CanonicalForm &, bool &)
Definition: int_cf.cc:214
virtual InternalCF * tryMulsame(InternalCF *, const CanonicalForm &)
Definition: int_cf.cc:179
virtual int sign() const PVIRT_INT("sign")
virtual int intmod(int) const
Definition: int_cf.h:79
virtual bool divremcoefft(InternalCF *, InternalCF *&, InternalCF *&, bool) PVIRT_BOOL("divremcoefft")
virtual InternalCF * modsame(InternalCF *) PVIRT_INTCF("modsame")
virtual InternalCF * den()
Definition: int_cf.cc:91
virtual InternalCF * deepCopyObject() const PVIRT_INTCF("deepCopyObject")
operations on variables
virtual InternalCF * num()
InternalCF * InternalCF::num (), den ()
Definition: int_cf.cc:85
virtual InternalCF * bextgcdcoeff(InternalCF *, CanonicalForm &, CanonicalForm &)
Definition: int_cf.cc:157
virtual bool inExtension() const
Definition: int_cf.h:71
virtual const char * classname() const PVIRT_CHARCC("classname")
virtual InternalCF * invert()
Definition: int_cf.cc:172
#define PVIRT_BOOL(msg)
Definition: cf_assert.h:121
#define PVIRT_CHARCC(msg)
Definition: cf_assert.h:125
virtual bool inPolyDomain() const
Definition: int_cf.h:73
#define PVIRT_INTCF(msg)
Definition: cf_assert.h:119
void incRefCount()
Definition: int_cf.h:48
virtual InternalCF * addcoeff(InternalCF *) PVIRT_INTCF("addcoeff")
virtual int ilog2()
int InternalCF::ilog2 ()
Definition: int_cf.cc:110
virtual InternalCF * bgcdsame(const InternalCF *const) const
InternalCF * InternalCF::bgcdsame, bgcdcoeff ( const InternalCF * const )
Definition: int_cf.cc:132
virtual bool divremsamet(InternalCF *, InternalCF *&, InternalCF *&) PVIRT_BOOL("divremsamet")
#define const
Definition: fegetopt.c:41
virtual InternalCF * mulcoeff(InternalCF *) PVIRT_INTCF("mulcoeff")
virtual InternalCF * modulocoeff(InternalCF *, bool) PVIRT_INTCF("dividecoeff")
#define ASSERT(expression, message)
Definition: cf_assert.h:99
virtual CanonicalForm lc()
CanonicalForm InternalCF::lc (), Lc (), LC ()
Definition: int_cf.cc:34
virtual InternalCF * tryDividecoeff(InternalCF *, bool, const CanonicalForm &, bool &)
Definition: int_cf.cc:221
virtual InternalCF * modcoeff(InternalCF *, bool) PVIRT_INTCF("modcoeff")
virtual InternalCF * mulsame(InternalCF *) PVIRT_INTCF("mulsame")
virtual void divremsame(InternalCF *, InternalCF *&, InternalCF *&) PVIRT_VOID("divremsame")
virtual InternalCF * neg() PVIRT_INTCF("neg")
virtual bool tryDivremsamet(InternalCF *, InternalCF *&, InternalCF *&, const CanonicalForm &, bool &)
Definition: int_cf.cc:193
virtual InternalCF * genZero() PVIRT_INTCF("genZero")
virtual bool inBaseDomain() const
Definition: int_cf.h:70
virtual Variable variable() const
Definition: int_cf.h:66
InternalCF(const InternalCF &)
Definition: int_cf.h:52
virtual bool inQuotDomain() const
Definition: int_cf.h:74
int getRefCount()
Definition: int_cf.h:47