My Project  debian-1:4.1.1-p2+ds-4
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 (const ring r, ideal arg_I, int syz_comp, BOOLEAN F4_mode=FALSE)
 

Function Documentation

◆ t_rep_gb()

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

Definition at line 3520 of file tgb.cc.

3521 {
3522  assume (r == currRing);
3523  ring orig_ring = r;
3524  int pos;
3525  ring new_ring = rAssure_TDeg (orig_ring, pos);
3526  ideal s_h;
3527  if(orig_ring != new_ring)
3528  {
3529  rChangeCurrRing (new_ring);
3530  s_h = idrCopyR_NoSort (arg_I, orig_ring, new_ring);
3531  /*int i;
3532  for(i=0;i<IDELEMS(s_h);i++)
3533  {
3534  poly p=s_h->m[i];
3535  while(p)
3536  {
3537  p_Setm(p,new_ring);
3538  pIter(p);
3539  }
3540  } */
3541  }
3542  else
3543  {
3544  s_h = id_Copy (arg_I, orig_ring);
3545  }
3546  idTest (s_h);
3547 
3548  ideal s_result = do_t_rep_gb (new_ring, s_h, syz_comp, F4_mode, pos);
3549  ideal result;
3550  if(orig_ring != new_ring)
3551  {
3552  idTest (s_result);
3553  rChangeCurrRing (orig_ring);
3554  result = idrMoveR_NoSort (s_result, new_ring, orig_ring);
3555 
3556  idTest (result);
3557  //rChangeCurrRing(new_ring);
3558  rDelete(new_ring);
3559  //rChangeCurrRing(orig_ring);
3560  }
3561  else
3562  result = s_result;
3563  idTest (result);
3564  return result;
3565 }
idrCopyR_NoSort
ideal idrCopyR_NoSort(ideal id, ring src_r, ring dest_r)
Definition: prCopy.cc:205
rChangeCurrRing
void rChangeCurrRing(ring r)
Definition: polys.cc:15
result
return result
Definition: facAbsBiFact.cc:76
idrMoveR_NoSort
ideal idrMoveR_NoSort(ideal &id, ring src_r, ring dest_r)
Definition: prCopy.cc:261
idTest
#define idTest(id)
Definition: ideals.h:46
do_t_rep_gb
ideal do_t_rep_gb(ring, ideal arg_I, int syz_comp, BOOLEAN F4_mode, int deg_pos)
Definition: tgb.cc:3568
currRing
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:13
rAssure_TDeg
ring rAssure_TDeg(ring r, int &pos)
Definition: ring.cc:4444
rDelete
void rDelete(ring r)
unconditionally deletes fields in r
Definition: ring.cc:438
assume
#define assume(x)
Definition: mod2.h:384
id_Copy
ideal id_Copy(ideal h1, const ring r)
copy an ideal
Definition: simpleideals.cc:403