![]() |
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 46 of file int_poly.cc.
InternalPoly::InternalPoly | ( | ) |
Definition at line 53 of file int_poly.cc.
InternalPoly::InternalPoly | ( | const Variable & | v, |
const int | e, | ||
const CanonicalForm & | c | ||
) |
Definition at line 58 of file int_poly.cc.
InternalPoly::InternalPoly | ( | const InternalPoly & | ) |
Definition at line 65 of file int_poly.cc.
InternalPoly::~InternalPoly | ( | ) |
Definition at line 70 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1038 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 286 of file int_poly.cc.
|
staticprivate |
Definition at line 1922 of file int_poly.cc.
|
staticprivate |
Definition at line 2133 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 162 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 1032 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 990 of file int_poly.cc.
|
staticprivate |
Definition at line 1830 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 76 of file int_poly.cc.
|
staticprivate |
Definition at line 1873 of file int_poly.cc.
|
virtual |
int InternalPoly::degree ()
Reimplemented from InternalCF.
Definition at line 100 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1399 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1217 of file int_poly.cc.
|
virtual |
|
staticprivate |
Definition at line 2015 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1652 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1689 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 765 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 817 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 498 of file int_poly.cc.
|
staticprivate |
Definition at line 2044 of file int_poly.cc.
|
staticprivate |
Definition at line 1898 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 247 of file int_poly.cc.
|
virtual |
|
virtual |
Reimplemented from InternalCF.
Definition at line 120 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 129 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 138 of file int_poly.cc.
|
inlinevirtual |
|
virtual |
Reimplemented from InternalCF.
Definition at line 1588 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 693 of file int_poly.cc.
|
staticprivate |
Definition at line 2104 of file int_poly.cc.
|
virtual |
|
virtual |
|
staticprivate |
Definition at line 2148 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1181 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 366 of file int_poly.cc.
|
staticprivate |
Definition at line 2004 of file int_poly.cc.
|
virtual |
InternalCF * InternalPoly::neg ()
Reimplemented from InternalCF.
Definition at line 231 of file int_poly.cc.
|
staticprivate |
Definition at line 1911 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 179 of file int_poly.cc.
|
staticprivate |
Definition at line 2232 of file int_poly.cc.
|
virtual |
int InternalPoly::sign () const
Reimplemented from InternalCF.
Definition at line 110 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1095 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 326 of file int_poly.cc.
|
virtual |
CanonicalForm InternalPoly::tailcoeff (), int InternalPoly::taildegree ()
Reimplemented from InternalCF.
Definition at line 147 of file int_poly.cc.
|
virtual |
|
virtual |
Reimplemented from InternalCF.
Definition at line 1475 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1303 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 1755 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 883 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 584 of file int_poly.cc.
|
staticprivate |
Definition at line 2073 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 264 of file int_poly.cc.
|
virtual |
Reimplemented from InternalCF.
Definition at line 428 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.