Functions
tgb.h File Reference
#include <polys/monomials/ring.h>
#include <kernel/structs.h>

Go to the source code of this file.

Functions

ideal t_rep_gb (ring r, ideal arg_I, int syz_comp, BOOLEAN F4_mode=FALSE)
 

Function Documentation

ideal t_rep_gb ( ring  r,
ideal  arg_I,
int  syz_comp,
BOOLEAN  F4_mode = FALSE 
)

Definition at line 3558 of file tgb.cc.

3559 {
3560  assume (r == currRing);
3561  ring orig_ring = r;
3562  int pos;
3563  ring new_ring = rAssure_TDeg (orig_ring, 1, rVar (orig_ring), pos);
3564  ideal s_h;
3565  if(orig_ring != new_ring)
3566  {
3567  rChangeCurrRing (new_ring);
3568  s_h = idrCopyR_NoSort (arg_I, orig_ring, new_ring);
3569  idTest (s_h);
3570  /*int i;
3571  for(i=0;i<IDELEMS(s_h);i++)
3572  {
3573  poly p=s_h->m[i];
3574  while(p)
3575  {
3576  p_Setm(p,new_ring);
3577  pIter(p);
3578  }
3579  } */
3580  }
3581  else
3582  {
3583  s_h = id_Copy (arg_I, orig_ring);
3584  }
3585 
3586  ideal s_result = do_t_rep_gb (new_ring, s_h, syz_comp, F4_mode, pos);
3587  ideal result;
3588  if(orig_ring != new_ring)
3589  {
3590  idTest (s_result);
3591  rChangeCurrRing (orig_ring);
3592  result = idrMoveR_NoSort (s_result, new_ring, orig_ring);
3593 
3594  idTest (result);
3595  //rChangeCurrRing(new_ring);
3596  rDelete(new_ring);
3597  //rChangeCurrRing(orig_ring);
3598  }
3599  else
3600  result = s_result;
3601  idTest (result);
3602  return result;
3603 }
ideal id_Copy(ideal h1, const ring r)
copy an ideal
static short rVar(const ring r)
#define rVar(r) (r->N)
Definition: ring.h:540
ring rAssure_TDeg(ring r, int start_var, int end_var, int &pos)
Definition: ring.cc:4467
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:12
ideal do_t_rep_gb(ring, ideal arg_I, int syz_comp, BOOLEAN F4_mode, int deg_pos)
Definition: tgb.cc:3606
const ring r
Definition: syzextra.cc:208
#define assume(x)
Definition: mod2.h:405
void rChangeCurrRing(ring r)
Definition: polys.cc:14
void rDelete(ring r)
unconditionally deletes fields in r
Definition: ring.cc:448
ideal idrCopyR_NoSort(ideal id, ring src_r, ring dest_r)
Definition: prCopy.cc:206
return result
Definition: facAbsBiFact.cc:76
ideal idrMoveR_NoSort(ideal &id, ring src_r, ring dest_r)
Definition: prCopy.cc:262
#define idTest(id)
Definition: ideals.h:60