red_object Class Reference

#include <tgb_internal.h>

Public Member Functions
void	flatten ()
void	validate ()
void	adjust_coefs (number c_r, number c_ac_r)
wlen_type	guess_quality (slimgb_alg *c)
int	clear_to_poly ()
void	canonicalize ()

Data Fields
kBucket_pt	bucket
poly	p
unsigned long	sev
wlen_type	initial_quality

Detailed Description

Definition at line 291 of file tgb_internal.h.

Member Function Documentation

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.

{
  kBucketCanonicalize (bucket);
}

clear_to_poly()

int red_object::clear_to_poly

(

)

Definition at line 4885 of file tgb.cc.

{
  flatten ();
  int l;
  kBucketClear (bucket, &p, &l);
  return l;
}

flatten()

void red_object::flatten

(

)

Definition at line 4873 of file tgb.cc.

{
  assume (p == kBucketGetLm (bucket));
}

guess_quality()

wlen_type red_object::guess_quality

(

slimgb_alg *

c

)

Definition at line 556 of file tgb.cc.

{
  //works at the moment only for lenvar 1, because in different
  //case, you have to look on coefs
  wlen_type s = 0;
  if(c->isDifficultField)
  {
    //s=kSBucketLength(bucket,this->p);
    if(c->eliminationProblem)
    {
      wlen_type cs;
      number coef;
 
      coef = pGetCoeff (kBucketGetLm (bucket));
      //c=nSize(pGetCoeff(kBucketGetLm(b)));
 
      //c=nSize(pGetCoeff(lm));
      if(rField_is_Q (currRing))
      {
        cs = nlQlogSize (coef, currRing->cf);
      }
      else
        cs = nSize (coef);
#ifdef HAVE_COEF_BUCKETS
      if(bucket->coef[0] != NULL)
      {
        if(rField_is_Q (currRing))
        {
          int modifier = nlQlogSize (pGetCoeff (bucket->coef[0]), currRing->cf);
          cs += modifier;
        }
        else
        {
          int modifier = nSize (pGetCoeff (bucket->coef[0]));
          cs *= modifier;
        }
      }
#endif
      //FIXME:not quadratic
      wlen_type erg = kEBucketLength (this->bucket, this->p, c);
      //erg*=cs;//for quadratic
      erg *= cs;
      if(TEST_V_COEFSTRAT)
        erg *= cs;
      //return cs*kEBucketLength(this->bucket,this->p,c);
      return erg;
    }
    s = kSBucketLength (bucket, NULL);
  }
  else
  {
    if(c->eliminationProblem)
      //if (false)
      s = kEBucketLength (this->bucket, this->p, c);
    else
      s = bucket_guess (bucket);
  }
  return s;
}

validate()

void red_object::validate

(

)

Definition at line 4878 of file tgb.cc.

{
  p = kBucketGetLm (bucket);
  if(p)
    sev = pGetShortExpVector (p);
}

Field Documentation

bucket

kBucket_pt red_object::bucket

Definition at line 294 of file tgb_internal.h.

initial_quality

wlen_type red_object::initial_quality

Definition at line 299 of file tgb_internal.h.

p

poly red_object::p

Definition at line 295 of file tgb_internal.h.

sev

unsigned long red_object::sev

Definition at line 296 of file tgb_internal.h.

---

The documentation for this class was generated from the following files:

• kernel/GBEngine/tgb_internal.h
• kernel/GBEngine/tgb.cc