![]() |
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... | |
Typedefs | |
| typedef kBucket * | kBucket_pt |
| typedef polyrec * | poly |
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) |
| 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 | 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 177 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 174 of file kbuckets.h.
| typedef kBucket* kBucket_pt |
Definition at line 15 of file kbuckets.h.
| typedef polyrec* poly |
Definition at line 16 of file kbuckets.h.
| BOOLEAN kbTest | ( | kBucket_pt | bucket | ) |
Tests
Definition at line 181 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 628 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 978 of file kbuckets.cc.
|
inline |
Definition at line 121 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 690 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 572 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 795 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 539 of file kbuckets.cc.
| int kBucketCanonicalize | ( | kBucket_pt | bucket | ) |
| void kBucketClear | ( | kBucket_pt | bucket, |
| poly * | p, | ||
| int * | length | ||
| ) |
Definition at line 495 of file kbuckets.cc.
|
inline |
Definition at line 44 of file kbuckets.h.
| kBucket_pt kBucketCreate | ( | const ring | r | ) |
Creation/Destruction of buckets
Definition at line 193 of file kbuckets.cc.
| void kBucketDeleteAndDestroy | ( | kBucket_pt * | bucket | ) |
Definition at line 207 of file kbuckets.cc.
| void kBucketDestroy | ( | kBucket_pt * | bucket | ) |
Definition at line 200 of file kbuckets.cc.
|
inline |
Definition at line 230 of file kbuckets.h.
| poly kBucketExtractLmOfBucket | ( | kBucket_pt | bucket, |
| int | i | ||
| ) |
Definition at line 1249 of file kbuckets.cc.
|
inline |
Definition at line 207 of file kbuckets.h.
|
inline |
Definition at line 225 of file kbuckets.h.
| void kBucketInit | ( | kBucket_pt | bucket, |
| poly | p, | ||
| int | length | ||
| ) |
Definition at line 467 of file kbuckets.cc.
| BOOLEAN kBucketIsCleared | ( | kBucket_pt | bucket | ) |
| number kBucketPolyRed | ( | kBucket_pt | bucket, |
| poly | p, | ||
| int | l, | ||
| poly | spNoether | ||
| ) |
Definition at line 1053 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 509 of file kbuckets.cc.
| void kBucketSimpleContent | ( | kBucket_pt | bucket | ) |
Definition at line 1154 of file kbuckets.cc.
| void kBucketTakeOutComp | ( | kBucket_pt | bucket, |
| long | comp, | ||
| poly * | p, | ||
| int * | l | ||
| ) |
Definition at line 1012 of file kbuckets.cc.
Definition at line 1298 of file kbuckets.cc.