simple_reducer Class Reference

#include <tgb_internal.h>

Public Member Functions
	simple_reducer (poly pp, int pp_len, int pp_reducer_deg, slimgb_alg *pp_c=NULL)
virtual void	pre_reduce (red_object *r, int l, int u)
virtual void	reduce (red_object *r, int l, int u)
	we assume hat all occuring red_objects have same lm, and all occ. lm's in r[l...u] are the same, only reductor does not occur More...
	~simple_reducer ()
virtual void	do_reduce (red_object &ro)
Public Member Functions inherited from reduction_step
virtual	~reduction_step ()

Data Fields
poly	p
kBucket_pt	fill_back
int	p_len
int	reducer_deg
Data Fields inherited from reduction_step
slimgb_alg *	c
int	reduction_id

Detailed Description

Definition at line 357 of file tgb_internal.h.

Constructor & Destructor Documentation

simple_reducer::simple_reducer ( poly  pp, int  pp_len, int  pp_reducer_deg, slimgb_alg *  pp_c = NULL  )

inline

Definition at line 364 of file tgb_internal.h.

  {
    this->p=pp;
    this->reducer_deg=pp_reducer_deg;
    assume(pp_len==pLength(pp));
    this->p_len=pp_len;
    this->c=pp_c;
  }

simple_reducer::~simple_reducer

(

)

Definition at line 4923 of file tgb.cc.

{
  if(fill_back != NULL)
  {
    kBucketInit (fill_back, p, p_len);
  }
  fill_back = NULL;
}

Member Function Documentation

void simple_reducer::do_reduce ( red_object &  ro )

virtual

Definition at line 4881 of file tgb.cc.

{
  number coef;
#ifdef HAVE_PLURAL
  if(c->nc)
    nc_BucketPolyRed_Z (ro.bucket, p, &coef);
  else
#endif
    coef = kBucketPolyRed (ro.bucket, p, p_len, c->strat->kNoether);
  nDelete (&coef);
}

void simple_reducer::pre_reduce ( red_object *  r, int  l, int  u  )

virtual

Definition at line 5044 of file tgb.cc.

{
}

void simple_reducer::reduce ( red_object *  r, int  l, int  u  )

virtual

we assume hat all occuring red_objects have same lm, and all occ. lm's in r[l...u] are the same, only reductor does not occur

Reimplemented from reduction_step.

Definition at line 4893 of file tgb.cc.

{
  this->pre_reduce (r, l, u);
  int i;
//debug start

  if(c->eliminationProblem)
  {
    assume (p_LmEqual (r[l].p, r[u].p, c->r));
    /*int lm_deg=pTotaldegree(r[l].p);
       reducer_deg=lm_deg+pTotaldegree_full(p)-pTotaldegree(p); */
  }

  for(i = l; i <= u; i++)
  {
    this->do_reduce (r[i]);
  }
  for(i = l; i <= u; i++)
  {
    kBucketSimpleContent (r[i].bucket);
    r[i].validate ();
#ifdef TGB_DEBUG
#endif
  }
}

Field Documentation

kBucket_pt simple_reducer::fill_back

Definition at line 361 of file tgb_internal.h.

poly simple_reducer::p

Definition at line 360 of file tgb_internal.h.

int simple_reducer::p_len

Definition at line 362 of file tgb_internal.h.

int simple_reducer::reducer_deg

Definition at line 363 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