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 that all occurring 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 void	reduce (red_object *r, int l, int u)
	we assume that all occurring red_objects have same lm, and all occ. lm's in r[l...u] are the same, only reductor does not occur More...
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 342 of file tgb_internal.h.

Constructor & Destructor Documentation

simple_reducer()

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

inline

Definition at line 349 of file tgb_internal.h.

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

~simple_reducer()

simple_reducer::~simple_reducer

(

)

Definition at line 4927 of file tgb.cc.

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

Member Function Documentation

do_reduce()

void simple_reducer::do_reduce ( red_object &  ro )

virtual

Definition at line 4887 of file tgb.cc.

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

pre_reduce()

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

virtual

Definition at line 5048 of file tgb.cc.

{
}

reduce()

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

virtual

we assume that all occurring 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 4899 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 ();
  }
}

Field Documentation

fill_back

kBucket_pt simple_reducer::fill_back

Definition at line 346 of file tgb_internal.h.

p

poly simple_reducer::p

Definition at line 345 of file tgb_internal.h.

p_len

int simple_reducer::p_len

Definition at line 347 of file tgb_internal.h.

reducer_deg

int simple_reducer::reducer_deg

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