My Project
Loading...
Searching...
No Matches
tgb.h File Reference

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 3581 of file tgb.cc.

3582{
3583 assume (r == currRing);
3584 ring orig_ring = r;
3585 int pos;
3586 ring new_ring = rAssure_TDeg (orig_ring, pos);
3587 ideal s_h;
3588 if(orig_ring != new_ring)
3589 {
3590 rChangeCurrRing (new_ring);
3591 s_h = idrCopyR_NoSort (arg_I, orig_ring, new_ring);
3592 /*int i;
3593 for(i=0;i<IDELEMS(s_h);i++)
3594 {
3595 poly p=s_h->m[i];
3596 while(p)
3597 {
3598 p_Setm(p,new_ring);
3599 pIter(p);
3600 }
3601 } */
3602 }
3603 else
3604 {
3605 s_h = id_Copy (arg_I, orig_ring);
3606 }
3607 idTest (s_h);
3608
3609 ideal s_result = do_t_rep_gb (new_ring, s_h, syz_comp, F4_mode, pos);
3610 ideal result;
3611 if(orig_ring != new_ring)
3612 {
3613 idTest (s_result);
3614 rChangeCurrRing (orig_ring);
3615 result = idrMoveR_NoSort (s_result, new_ring, orig_ring);
3616
3617 idTest (result);
3618 //rChangeCurrRing(new_ring);
3619 rDelete(new_ring);
3620 //rChangeCurrRing(orig_ring);
3621 }
3622 else
3623 result = s_result;
3624 idTest (result);
3625 return result;
3626}
return result
ideal id_Copy(ideal h1, const ring r)
copy an ideal
#define idTest(id)
Definition ideals.h:47
#define assume(x)
Definition mod2.h:389
void rChangeCurrRing(ring r)
Definition polys.cc:16
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition polys.cc:13
ideal idrMoveR_NoSort(ideal &id, ring src_r, ring dest_r)
Definition prCopy.cc:261
ideal idrCopyR_NoSort(ideal id, ring src_r, ring dest_r)
Definition prCopy.cc:205
ring rAssure_TDeg(ring r, int &pos)
Definition ring.cc:4619
void rDelete(ring r)
unconditionally deletes fields in r
Definition ring.cc:454
ideal do_t_rep_gb(ring, ideal arg_I, int syz_comp, BOOLEAN F4_mode, int deg_pos)
Definition tgb.cc:3629