My Project
|
Go to the source code of this file.
Data Structures | |
class | kBucket |
Macros | |
#define | MAX_BUCKET 14 |
Bucket definition (should be no one elses business, though) More... | |
Functions | |
kBucket_pt | kBucketCreate (const ring r) |
Creation/Destruction of buckets. More... | |
void | kBucketDestroy (kBucket_pt *bucket) |
void | kBucketDeleteAndDestroy (kBucket_pt *bucket) |
void | kBucketInit (kBucket_pt bucket, poly p, int length) |
void | kBucketClear (kBucket_pt bucket, poly *p, int *length) |
poly | kBucketClear (kBucket_pt bucket) |
int | kBucketCanonicalize (kBucket_pt bucket) |
Canonicalizes Bpoly, i.e. converts polys of buckets into one poly in one bucket: Returns number of bucket into which it is canonicalized. More... | |
void | kBucketNormalize (kBucket_pt bucket) |
apply n_Normalize to all coefficients More... | |
poly | kBucketExtractLm (kBucket_pt bucket) |
void | kBucketSetLm (kBucket_pt bucket, poly lm) |
void | kBucketAdjust (kBucket_pt bucket, int i) |
Bucket number i from bucket is out of length sync, resync. More... | |
number | kBucketPolyRed (kBucket_pt bucket, poly p, int l, poly spNoether) |
void | kBucketPolyRedNF (kBucket_pt bucket, poly p1, int l1, poly spNoether) |
void | kBucketTakeOutComp (kBucket_pt bucket, long comp, poly *p, int *l) |
void | kBucket_Mult_n (kBucket_pt bucket, number n) |
Multiply Bucket by number ,i.e. Bpoly == n*Bpoly. More... | |
poly | kBucket_ExtractLarger (kBucket_pt bucket, poly q, poly append) |
Extract all monomials of bucket which are larger than q Append those to append, and return last monomial of append. More... | |
void | kBucket_Add_q (kBucket_pt bucket, poly q, int *lq) |
Add to Bucket a poly ,i.e. Bpoly == Bpoly + q. More... | |
poly | kBucket_ExtractLarger_Add_q (kBucket_pt bucket, poly append, poly q, int *lq) |
void | kBucket_Minus_m_Mult_p (kBucket_pt bucket, poly m, poly p, int *l, poly spNother=NULL) |
Bpoly == Bpoly - m*p; where m is a monom Does not destroy p and m (TODO: rename into kBucket_Minus_mm_Mult_pp!?) assume (*l <= 0 || pLength(p) == *l) More... | |
void | kBucket_Plus_mm_Mult_pp (kBucket_pt bucket, poly m, poly p, int l) |
Bpoly == Bpoly + m*p; where m is a monom Does not destroy p and m assume (l <= 0 || pLength(p) == l) More... | |
void | kBucketShallowCopyDelete (kBucket_pt bucket, ring new_tailRing, omBin new_tailBin, pShallowCopyDeleteProc p_shallow_copy_delete) |
For changing the ring of the Bpoly to new_tailBin. More... | |
BOOLEAN | kbTest (kBucket_pt bucket) |
Tests. More... | |
poly | kBucketGetLm (kBucket_pt bucket, p_kBucketSetLm_Proc_Ptr _p_kBucketSetLm) |
poly | kBucketGetLm (kBucket_pt bucket) |
poly | kBucketExtractLmOfBucket (kBucket_pt bucket, int i) |
void | kBucketSimpleContent (kBucket_pt bucket) |
BOOLEAN | kBucketIsCleared (kBucket_pt bucket) |
int | ksCheckCoeff (number *a, number *b, const coeffs r) |
class kBucket |
Definition at line 182 of file kbuckets.h.
Data Fields | ||
---|---|---|
ring | bucket_ring | |
int | l | |
poly | p |
#define MAX_BUCKET 14 |
Bucket definition (should be no one elses business, though)
Definition at line 179 of file kbuckets.h.
BOOLEAN kbTest | ( | kBucket_pt | bucket | ) |
Tests.
Definition at line 197 of file kbuckets.cc.
void kBucket_Add_q | ( | kBucket_pt | bucket, |
poly | q, | ||
int * | l | ||
) |
Add to Bucket a poly ,i.e. Bpoly == Bpoly + q.
Add to Bucket a poly ,i.e. Bpoly == Bpoly + q.
Definition at line 660 of file kbuckets.cc.
poly kBucket_ExtractLarger | ( | kBucket_pt | bucket, |
poly | q, | ||
poly | append | ||
) |
Extract all monomials of bucket which are larger than q Append those to append, and return last monomial of append.
Definition at line 998 of file kbuckets.cc.
|
inline |
Definition at line 126 of file kbuckets.h.
void kBucket_Minus_m_Mult_p | ( | kBucket_pt | bucket, |
poly | m, | ||
poly | p, | ||
int * | l, | ||
poly | spNoether | ||
) |
Bpoly == Bpoly - m*p; where m is a monom Does not destroy p and m (TODO: rename into kBucket_Minus_mm_Mult_pp!?) assume (*l <= 0 || pLength(p) == *l)
Bpoly == Bpoly - m*p; where m is a monom Does not destroy p and m (TODO: rename into kBucket_Minus_mm_Mult_pp!?) assume (*l <= 0 || pLength(p) == *l)
Definition at line 722 of file kbuckets.cc.
void kBucket_Mult_n | ( | kBucket_pt | bucket, |
number | n | ||
) |
Multiply Bucket by number ,i.e. Bpoly == n*Bpoly.
Definition at line 598 of file kbuckets.cc.
void kBucket_Plus_mm_Mult_pp | ( | kBucket_pt | bucket, |
poly | m, | ||
poly | p, | ||
int | l | ||
) |
Bpoly == Bpoly + m*p; where m is a monom Does not destroy p and m assume (l <= 0 || pLength(p) == l)
Definition at line 815 of file kbuckets.cc.
void kBucketAdjust | ( | kBucket_pt | bucket, |
int | i | ||
) |
Bucket number i from bucket is out of length sync, resync.
Definition at line 565 of file kbuckets.cc.
int kBucketCanonicalize | ( | kBucket_pt | bucket | ) |
Canonicalizes Bpoly, i.e. converts polys of buckets into one poly in one bucket: Returns number of bucket into which it is canonicalized.
|
inline |
Definition at line 42 of file kbuckets.h.
void kBucketClear | ( | kBucket_pt | bucket, |
poly * | p, | ||
int * | length | ||
) |
kBucket_pt kBucketCreate | ( | const ring | r | ) |
Creation/Destruction of buckets.
Definition at line 209 of file kbuckets.cc.
void kBucketDeleteAndDestroy | ( | kBucket_pt * | bucket | ) |
Definition at line 223 of file kbuckets.cc.
void kBucketDestroy | ( | kBucket_pt * | bucket | ) |
Definition at line 216 of file kbuckets.cc.
|
inline |
Definition at line 235 of file kbuckets.h.
poly kBucketExtractLmOfBucket | ( | kBucket_pt | bucket, |
int | i | ||
) |
Definition at line 1455 of file kbuckets.cc.
|
inline |
Definition at line 230 of file kbuckets.h.
|
inline |
Definition at line 212 of file kbuckets.h.
void kBucketInit | ( | kBucket_pt | bucket, |
poly | p, | ||
int | length | ||
) |
BOOLEAN kBucketIsCleared | ( | kBucket_pt | bucket | ) |
void kBucketNormalize | ( | kBucket_pt | bucket | ) |
apply n_Normalize to all coefficients
number kBucketPolyRed | ( | kBucket_pt | bucket, |
poly | p, | ||
int | l, | ||
poly | spNoether | ||
) |
Definition at line 1071 of file kbuckets.cc.
void kBucketPolyRedNF | ( | kBucket_pt | bucket, |
poly | p1, | ||
int | l1, | ||
poly | spNoether | ||
) |
Definition at line 1188 of file kbuckets.cc.
void kBucketSetLm | ( | kBucket_pt | bucket, |
poly | lm | ||
) |
void kBucketShallowCopyDelete | ( | kBucket_pt | bucket, |
ring | new_tailRing, | ||
omBin | new_tailBin, | ||
pShallowCopyDeleteProc | p_shallow_copy_delete | ||
) |
For changing the ring of the Bpoly to new_tailBin.
Definition at line 535 of file kbuckets.cc.
void kBucketSimpleContent | ( | kBucket_pt | bucket | ) |
Definition at line 1283 of file kbuckets.cc.
void kBucketTakeOutComp | ( | kBucket_pt | bucket, |
long | comp, | ||
poly * | p, | ||
int * | l | ||
) |
Definition at line 1032 of file kbuckets.cc.
Definition at line 1504 of file kbuckets.cc.