#include <tgb_internal.h>
Definition at line 291 of file tgb_internal.h.
◆ adjust_coefs()
void red_object::adjust_coefs |
( |
number |
c_r, |
|
|
number |
c_ac_r |
|
) |
| |
◆ canonicalize()
void red_object::canonicalize |
( |
| ) |
|
Definition at line 835 of file tgb.cc.
836{
838}
int kBucketCanonicalize(kBucket_pt bucket)
Canonicalizes Bpoly, i.e. converts polys of buckets into one poly in one bucket: Returns number of bu...
◆ clear_to_poly()
int red_object::clear_to_poly |
( |
| ) |
|
Definition at line 4875 of file tgb.cc.
4876{
4881}
void kBucketClear(kBucket_pt bucket, poly *p, int *length)
◆ flatten()
void red_object::flatten |
( |
| ) |
|
Definition at line 4863 of file tgb.cc.
4864{
4866}
const poly kBucketGetLm(kBucket_pt bucket)
◆ guess_quality()
Definition at line 556 of file tgb.cc.
557{
558
559
562 {
563
565 {
567 number coef;
568
570
571
572
574 {
576 }
577 else
579#ifdef HAVE_COEF_BUCKETS
581 {
583 {
585 cs += modifier;
586 }
587 else
588 {
590 cs *= modifier;
591 }
592 }
593#endif
594
596
597 erg *= cs;
599 erg *= cs;
600
601 return erg;
602 }
604 }
605 else
606 {
608
610 else
612 }
614}
BOOLEAN eliminationProblem
const CanonicalForm int s
static FORCE_INLINE int nlQlogSize(number n, const coeffs r)
only used by slimgb (tgb.cc)
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static BOOLEAN rField_is_Q(const ring r)
wlen_type kEBucketLength(kBucket *b, poly lm, slimgb_alg *ca)
static int bucket_guess(kBucket *bucket)
wlen_type kSBucketLength(kBucket *b, poly lm=NULL)
TODO CoefBuckets bercksichtigen.
◆ validate()
void red_object::validate |
( |
| ) |
|
Definition at line 4868 of file tgb.cc.
4869{
4873}
#define pGetShortExpVector(a)
returns the "Short Exponent Vector" – used to speed up divisibility tests (see polys-impl....
◆ bucket
◆ initial_quality
◆ sev
unsigned long red_object::sev |
The documentation for this class was generated from the following files: