Public Member Functions | Data Fields
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_algc
 
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.

365  {
366  this->p=pp;
367  this->reducer_deg=pp_reducer_deg;
368  assume(pp_len==pLength(pp));
369  this->p_len=pp_len;
370  this->c=pp_c;
371  }
slimgb_alg * c
Definition: tgb_internal.h:354
static int pLength(poly a)
Definition: p_polys.h:189
poly pp
Definition: myNF.cc:296
#define assume(x)
Definition: mod2.h:405
simple_reducer::~simple_reducer ( )

Definition at line 4919 of file tgb.cc.

4920 {
4921  if(fill_back != NULL)
4922  {
4924  }
4925  fill_back = NULL;
4926 }
void kBucketInit(kBucket_pt bucket, poly lm, int length)
Definition: kbuckets.cc:471
kBucket_pt fill_back
Definition: tgb_internal.h:361
#define NULL
Definition: omList.c:10

Member Function Documentation

void simple_reducer::do_reduce ( red_object ro)
virtual

Definition at line 4877 of file tgb.cc.

4878 {
4879  number coef;
4880 #ifdef HAVE_PLURAL
4881  if(c->nc)
4882  nc_BucketPolyRed_Z (ro.bucket, p, &coef);
4883  else
4884 #endif
4885  coef = kBucketPolyRed (ro.bucket, p, p_len, c->strat->kNoether);
4886  nDelete (&coef);
4887 }
number kBucketPolyRed(kBucket_pt bucket, poly p1, int l1, poly spNoether)
Definition: kbuckets.cc:1061
kBucket_pt bucket
Definition: tgb_internal.h:309
poly kNoether
Definition: kutil.h:326
slimgb_alg * c
Definition: tgb_internal.h:354
BOOLEAN nc
Definition: tgb_internal.h:282
kStrategy strat
Definition: tgb_internal.h:232
#define nDelete(n)
Definition: numbers.h:16
static void nc_BucketPolyRed_Z(kBucket_pt b, poly p, number *c)
Definition: nc.h:303
void simple_reducer::pre_reduce ( red_object r,
int  l,
int  u 
)
virtual

Definition at line 5040 of file tgb.cc.

5041 {
5042 }
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 4889 of file tgb.cc.

4890 {
4891  this->pre_reduce (r, l, u);
4892  int i;
4893 //debug start
4894 
4895  if(c->eliminationProblem)
4896  {
4897  assume (p_LmEqual (r[l].p, r[u].p, c->r));
4898  /*int lm_deg=pTotaldegree(r[l].p);
4899  reducer_deg=lm_deg+pTotaldegree_full(p)-pTotaldegree(p); */
4900  }
4901 
4902  for(i = l; i <= u; i++)
4903  {
4904  this->do_reduce (r[i]);
4905  }
4906  for(i = l; i <= u; i++)
4907  {
4909  r[i].validate ();
4910 #ifdef TGB_DEBUG
4911 #endif
4912  }
4913 }
slimgb_alg * c
Definition: tgb_internal.h:354
virtual void do_reduce(red_object &ro)
Definition: tgb.cc:4877
#define assume(x)
Definition: mod2.h:405
P bucket
Definition: myNF.cc:79
void kBucketSimpleContent(kBucket_pt)
Definition: kbuckets.cc:1162
int i
Definition: cfEzgcd.cc:123
#define p_LmEqual(p1, p2, r)
Definition: p_polys.h:1520
virtual void pre_reduce(red_object *r, int l, int u)
Definition: tgb.cc:5040
BOOLEAN eliminationProblem
Definition: tgb_internal.h:280
int l
Definition: cfEzgcd.cc:94
void validate()
Definition: tgb.cc:4858

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: