 |
My Project
debian-1:4.1.1-p2+ds-4build1
|
Go to the documentation of this file.
132 poly spNother =
NULL);
146 ring new_tailRing,
omBin new_tailBin,
157 #define kbTest(bucket) do {} while (0)
169 #ifdef BUCKET_TWO_BASE
170 #define MAX_BUCKET 28
172 #define MAX_BUCKET 14 // suitable for polys up to a length of 4^14 = 2^28
178 #ifdef HAVE_PSEUDO_BUCKETS
183 #ifdef HAVE_COEF_BUCKETS
192 #ifndef HAVE_PSEUDO_BUCKETS
193 static inline void kBucketAdjustBucketsUsed(
kBucket_pt bucket)
195 while ( bucket->buckets_used > 0 &&
196 bucket->buckets[bucket->buckets_used] ==
NULL)
197 (bucket->buckets_used)--;
207 #ifdef HAVE_COEF_BUCKETS
211 poly& lead = bucket->buckets[0];
214 _p_kBucketSetLm(bucket);
216 #ifdef HAVE_COEF_BUCKETS
231 #ifdef HAVE_COEF_BUCKETS
234 bucket->buckets[0] =
NULL;
235 bucket->buckets_length[0] = 0;
void kBucketSetLm(kBucket_pt bucket, poly lm)
void kBucketDestroy(kBucket_pt *bucket)
int kBucketCanonicalize(kBucket_pt bucket)
poly kBucketExtractLmOfBucket(kBucket_pt bucket, int i)
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 monom...
void kBucket_Mult_n(kBucket_pt bucket, number n)
Multiply Bucket by number ,i.e. Bpoly == n*Bpoly.
void kBucketDeleteAndDestroy(kBucket_pt *bucket)
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)
void kBucketInit(kBucket_pt bucket, poly p, int length)
void kBucketAdjust(kBucket_pt bucket, int i)
Bucket number i from bucket is out of length sync, resync.
void kBucketTakeOutComp(kBucket_pt bucket, long comp, poly *p, int *l)
#define MAX_BUCKET
Bucket definition (should be no one elses business, though)
static BOOLEAN length(leftv result, leftv arg)
void kBucketClear(kBucket_pt bucket, poly *p, int *length)
kBucket_pt kBucketCreate(const ring r)
Creation/Destruction of buckets.
int ksCheckCoeff(number *a, number *b, const coeffs r)
void(* p_kBucketSetLm_Proc_Ptr)(kBucket_pt bucket)
number kBucketPolyRed(kBucket_pt bucket, poly p, int l, poly spNoether)
CFFList append(const CFFList &Inputlist, const CFFactor &TheFactor)
poly kBucketGetLm(kBucket_pt bucket, p_kBucketSetLm_Proc_Ptr _p_kBucketSetLm)
poly kBucket_ExtractLarger_Add_q(kBucket_pt bucket, poly append, poly q, int *lq)
void kBucket_Add_q(kBucket_pt bucket, poly q, int *lq)
Add to Bucket a poly ,i.e. Bpoly == Bpoly + q.
poly kBucketExtractLm(kBucket_pt bucket)
void kBucketSimpleContent(kBucket_pt bucket)
BOOLEAN kBucketIsCleared(kBucket_pt bucket)
BOOLEAN kbTest(kBucket_pt bucket)
Tests.
poly(* pShallowCopyDeleteProc)(poly s_p, ring source_r, ring dest_r, omBin dest_bin)
returns a poly from dest_r which is a ShallowCopy of s_p from source_r assumes that source_r->N == de...
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...
int comp(const CanonicalForm &A, const CanonicalForm &B)
compare polynomials
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.