![]() |
factory's class for polynomials More...
#include <int_poly.h>
Static Public Attributes | |
static const omBin | InternalPoly_bin = omGetSpecBin(sizeof(InternalPoly)) |
Private Member Functions | |
InternalPoly (termList, termList, const Variable &) | |
Private Attributes | |
termList | firstTerm |
termList | lastTerm |
Variable | var |
Friends | |
class | CFIterator |
Additional Inherited Members | |
![]() | |
int | getRefCount () |
void | incRefCount () |
int | decRefCount () |
factory's class for polynomials
polynomials are represented as a linked list termList, factory uses a sparse distributive representation of polynomials, i.e. each poly is viewed as a univariate poly in its main variable CanonicalForm::mvar() over a (polynomial) ring
Definition at line 71 of file int_poly.h.
Definition at line 38 of file int_poly.cc.
InternalPoly::InternalPoly | ( | ) |
Definition at line 45 of file int_poly.cc.
InternalPoly::InternalPoly | ( | const Variable & | v, |
const int | e, | ||
const CanonicalForm & | c | ||
) |
Definition at line 50 of file int_poly.cc.
InternalPoly::InternalPoly | ( | const InternalPoly & | ) |
Definition at line 57 of file int_poly.cc.
InternalPoly::~InternalPoly | ( | ) |
Definition at line 62 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1030 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 278 of file int_poly.cc.
|
staticprivate |
Definition at line 1914 of file int_poly.cc.
|
staticprivate |
Definition at line 2125 of file int_poly.cc.
|
inlinevirtual |
Reimplemented from InternalCF.
Definition at line 96 of file int_poly.h.
|
virtual |
CanonicalForm InternalPoly::coeff ( int i )
Reimplemented from InternalCF.
Definition at line 154 of file int_poly.cc.
|
virtual |
comparecoeff() always returns 1 since CO is defined to be larger than anything which is a coefficient w.r.t.
CO.
Reimplemented from InternalCF.
Definition at line 1024 of file int_poly.cc.
|
virtual |
comparesame(), comparecoeff() - compare with an InternalPoly.
comparesame() compares the coefficient vectors of f=CO and g=acoeff w.r.t to a lexicographic order in the following way: f < g iff there exists an 0 <= i <= max(deg(f),deg(g)) s.t. i) f[j] = g[j] for all i < j <= max(deg(f),deg(g)) and ii) g[i] occurs in g (i.e. is not equal to zero) and f[i] does not occur in f or f[i] < g[i] if f[i] occurs where f[i] denotes the coefficient to the power x^i of f.
As usual, comparesame() returns 1 if CO is larger than c, 0 if CO equals c, and -1 if CO is less than c. However, this function is optimized to test on equality since this is its most important and frequent usage.
See the respective `CanonicalForm'-methods for an explanation why we define such a strange (but total) ordering on polynomials.
Reimplemented from InternalCF.
Definition at line 982 of file int_poly.cc.
|
staticprivate |
Definition at line 1822 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 68 of file int_poly.cc.
|
staticprivate |
Definition at line 1865 of file int_poly.cc.
|
virtual |
int InternalPoly::degree ()
Reimplemented from InternalCF.
Definition at line 92 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1391 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1209 of file int_poly.cc.
|
virtual |
|
staticprivate |
Definition at line 2007 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1644 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1681 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 757 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 809 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 490 of file int_poly.cc.
|
staticprivate |
Definition at line 2036 of file int_poly.cc.
|
staticprivate |
Definition at line 1890 of file int_poly.cc.
|
inlinevirtual |
|
inlinevirtual |
Reimplemented from InternalCF.
Definition at line 115 of file int_poly.h.
|
inlinevirtual |
|
inlinevirtual |
|
inlinevirtual |
|
inlinevirtual |
|
inlinevirtual |
|
virtual |
Reimplemented from InternalCF.
Definition at line 239 of file int_poly.cc.
|
virtual |
|
virtual |
Reimplemented from InternalCF.
Definition at line 112 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 121 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 130 of file int_poly.cc.
|
inlinevirtual |
|
virtual |
Reimplemented from InternalCF.
Definition at line 1580 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 685 of file int_poly.cc.
|
staticprivate |
Definition at line 2096 of file int_poly.cc.
|
virtual |
|
virtual |
|
staticprivate |
Definition at line 2140 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1173 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 358 of file int_poly.cc.
|
staticprivate |
Definition at line 1996 of file int_poly.cc.
|
virtual |
InternalCF * InternalPoly::neg ()
Reimplemented from InternalCF.
Definition at line 223 of file int_poly.cc.
|
staticprivate |
Definition at line 1903 of file int_poly.cc.
|
inline |
Definition at line 166 of file int_poly.h.
|
inline |
Definition at line 160 of file int_poly.h.
|
virtual |
Reimplemented from InternalCF.
Definition at line 171 of file int_poly.cc.
|
staticprivate |
Definition at line 2224 of file int_poly.cc.
|
virtual |
int InternalPoly::sign () const
Reimplemented from InternalCF.
Definition at line 102 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1087 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 318 of file int_poly.cc.
|
virtual |
CanonicalForm InternalPoly::tailcoeff (), int InternalPoly::taildegree ()
Reimplemented from InternalCF.
Definition at line 139 of file int_poly.cc.
|
virtual |
|
virtual |
Reimplemented from InternalCF.
Definition at line 1467 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1295 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1747 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 875 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 576 of file int_poly.cc.
|
staticprivate |
Definition at line 2065 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 256 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 420 of file int_poly.cc.
|
inlinevirtual |
|
friend |
Definition at line 171 of file int_poly.h.
|
private |
Definition at line 73 of file int_poly.h.
|
static |
Definition at line 159 of file int_poly.h.
|
private |
Definition at line 73 of file int_poly.h.
|
private |
Definition at line 74 of file int_poly.h.