![]() |
#include <omalloc/omalloc.h>#include <misc/auxiliary.h>#include <polys/monomials/p_polys.h>#include <coeffs/coeffs.h>#include <polys/monomials/ring.h>#include <polys/kbuckets.h>Go to the source code of this file.
Macros | |
| #define | MULTIPLY_BUCKET(B, I) |
Functions | |
| unsigned int | pLogLength (unsigned int l) |
Some internal stuff More... | |
| unsigned int | pLogLength (poly p) |
| BOOLEAN | kbTest (kBucket_pt bucket) |
Tests More... | |
| kBucket_pt | kBucketCreate (const ring bucket_ring) |
Creation/Destruction of buckets More... | |
| void | kBucketDestroy (kBucket_pt *bucket_pt) |
| void | kBucketDeleteAndDestroy (kBucket_pt *bucket_pt) |
| void | kBucketInit (kBucket_pt bucket, poly lm, int length) |
| const poly | kBucketGetLm (kBucket_pt bucket) |
| poly | kBucketExtractLm (kBucket_pt bucket) |
| void | kBucketClear (kBucket_pt bucket, poly *p, int *length) |
| 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... | |
| void | kBucketAdjust (kBucket_pt bucket, int i) |
Bucket number i from bucket is out of length sync, resync More... | |
| void | kBucket_Mult_n (kBucket_pt bucket, number n) |
Multiply Bucket by number ,i.e. Bpoly == n*Bpoly More... | |
| void | kBucket_Add_q (kBucket_pt bucket, poly q, int *l) |
Add to Bucket a poly ,i.e. Bpoly == q+Bpoly More... | |
| 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 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... | |
| 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 | p_TakeOutComp (poly *p, long comp, poly *q, int *lq, const ring r) |
| void | kBucketTakeOutComp (kBucket_pt bucket, long comp, poly *r_p, int *l) |
| int | ksCheckCoeff (number *a, number *b) |
| number | kBucketPolyRed (kBucket_pt bucket, poly p1, int l1, poly spNoether) |
| void | kBucketSimpleContent (kBucket_pt) |
| poly | kBucketExtractLmOfBucket (kBucket_pt bucket, int i) |
| int | ksCheckCoeff (number *a, number *b, const coeffs r) |
Variables | |
| static omBin | kBucket_bin = omGetSpecBin(sizeof(kBucket)) |
| #define MULTIPLY_BUCKET | ( | B, | |
| I | |||
| ) |
Definition at line 43 of file kbuckets.cc.
| 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 == q+Bpoly
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.
| 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 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.
| void kBucketClear | ( | kBucket_pt | bucket, |
| poly * | p, | ||
| int * | length | ||
| ) |
Definition at line 495 of file kbuckets.cc.
| kBucket_pt kBucketCreate | ( | const ring | bucket_ring | ) |
Creation/Destruction of buckets
Definition at line 193 of file kbuckets.cc.
| void kBucketDeleteAndDestroy | ( | kBucket_pt * | bucket_pt | ) |
Definition at line 207 of file kbuckets.cc.
| void kBucketDestroy | ( | kBucket_pt * | bucket_pt | ) |
Definition at line 200 of file kbuckets.cc.
|
inline |
Definition at line 485 of file kbuckets.cc.
| poly kBucketExtractLmOfBucket | ( | kBucket_pt | bucket, |
| int | i | ||
| ) |
Definition at line 1249 of file kbuckets.cc.
| const poly kBucketGetLm | ( | kBucket_pt | bucket | ) |
Definition at line 480 of file kbuckets.cc.
| void kBucketInit | ( | kBucket_pt | bucket, |
| poly | lm, | ||
| int | length | ||
| ) |
Definition at line 467 of file kbuckets.cc.
| number kBucketPolyRed | ( | kBucket_pt | bucket, |
| poly | p1, | ||
| int | l1, | ||
| poly | spNoether | ||
| ) |
Definition at line 1053 of file kbuckets.cc.
| 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 | ) |
Definition at line 1154 of file kbuckets.cc.
| void kBucketTakeOutComp | ( | kBucket_pt | bucket, |
| long | comp, | ||
| poly * | r_p, | ||
| int * | l | ||
| ) |
Definition at line 1012 of file kbuckets.cc.
| int ksCheckCoeff | ( | number * | a, |
| number * | b | ||
| ) |
Definition at line 1298 of file kbuckets.cc.
Definition at line 3440 of file p_polys.cc.
|
inline |
Some internal stuff
Definition at line 55 of file kbuckets.cc.
|
inline |
Definition at line 70 of file kbuckets.cc.
|
static |
Definition at line 45 of file kbuckets.cc.