![]() |
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 1042 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 290 of file int_poly.cc.
|
staticprivate |
Definition at line 1926 of file int_poly.cc.
|
staticprivate |
Definition at line 2137 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 166 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 1036 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 994 of file int_poly.cc.
|
staticprivate |
Definition at line 1834 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 68 of file int_poly.cc.
|
staticprivate |
Definition at line 1877 of file int_poly.cc.
|
virtual |
int InternalPoly::degree ()
Reimplemented from InternalCF.
Definition at line 104 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1403 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1221 of file int_poly.cc.
|
virtual |
|
staticprivate |
Definition at line 2019 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1656 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1693 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 769 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 821 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 502 of file int_poly.cc.
|
staticprivate |
Definition at line 2048 of file int_poly.cc.
|
staticprivate |
Definition at line 1902 of file int_poly.cc.
|
virtual |
|
virtual |
Reimplemented from InternalCF.
Definition at line 76 of file int_poly.cc.
|
inlinevirtual |
|
inlinevirtual |
|
inlinevirtual |
|
inlinevirtual |
|
inlinevirtual |
|
virtual |
Reimplemented from InternalCF.
Definition at line 251 of file int_poly.cc.
|
virtual |
|
virtual |
Reimplemented from InternalCF.
Definition at line 124 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 133 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 142 of file int_poly.cc.
|
inlinevirtual |
|
virtual |
Reimplemented from InternalCF.
Definition at line 1592 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 697 of file int_poly.cc.
|
staticprivate |
Definition at line 2108 of file int_poly.cc.
|
virtual |
|
virtual |
|
staticprivate |
Definition at line 2152 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1185 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 370 of file int_poly.cc.
|
staticprivate |
Definition at line 2008 of file int_poly.cc.
|
virtual |
InternalCF * InternalPoly::neg ()
Reimplemented from InternalCF.
Definition at line 235 of file int_poly.cc.
|
staticprivate |
Definition at line 1915 of file int_poly.cc.
|
inline |
Definition at line 162 of file int_poly.h.
|
inline |
Definition at line 156 of file int_poly.h.
|
virtual |
Reimplemented from InternalCF.
Definition at line 183 of file int_poly.cc.
|
staticprivate |
Definition at line 2236 of file int_poly.cc.
|
virtual |
int InternalPoly::sign () const
Reimplemented from InternalCF.
Definition at line 114 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1099 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 330 of file int_poly.cc.
|
virtual |
CanonicalForm InternalPoly::tailcoeff (), int InternalPoly::taildegree ()
Reimplemented from InternalCF.
Definition at line 151 of file int_poly.cc.
|
virtual |
|
virtual |
Reimplemented from InternalCF.
Definition at line 1479 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1307 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1759 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 887 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 588 of file int_poly.cc.
|
staticprivate |
Definition at line 2077 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 268 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 432 of file int_poly.cc.
|
inlinevirtual |
|
friend |
Definition at line 167 of file int_poly.h.
|
private |
Definition at line 73 of file int_poly.h.
|
static |
Definition at line 155 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.