My Project
Loading...
Searching...
No Matches
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 3585 of file tgb.cc.

3586{
3587 assume (r == currRing);
3588 ring orig_ring = r;
3589 int pos;
3590 ring new_ring = rAssure_TDeg (orig_ring, pos);
3591 ideal s_h;
3592 if(orig_ring != new_ring)
3593 {
3594 rChangeCurrRing (new_ring);
3595 s_h = idrCopyR_NoSort (arg_I, orig_ring, new_ring);
3596 /*int i;
3597 for(i=0;i<IDELEMS(s_h);i++)
3598 {
3599 poly p=s_h->m[i];
3600 while(p)
3601 {
3602 p_Setm(p,new_ring);
3603 pIter(p);
3604 }
3605 } */
3606 }
3607 else
3608 {
3609 s_h = id_Copy (arg_I, orig_ring);
3610 }
3611 idTest (s_h);
3612
3613 ideal s_result = do_t_rep_gb (new_ring, s_h, syz_comp, F4_mode, pos);
3614 ideal result;
3615 if(orig_ring != new_ring)
3616 {
3617 idTest (s_result);
3618 rChangeCurrRing (orig_ring);
3619 result = idrMoveR_NoSort (s_result, new_ring, orig_ring);
3620
3621 idTest (result);
3622 //rChangeCurrRing(new_ring);
3623 rDelete(new_ring);
3624 //rChangeCurrRing(orig_ring);
3625 }
3626 else
3627 result = s_result;
3628 idTest (result);
3629 return result;
3630}
return result
Definition: facAbsBiFact.cc:75
ideal id_Copy(ideal h1, const ring r)
copy an ideal
#define idTest(id)
Definition: ideals.h:47
#define assume(x)
Definition: mod2.h:387
void rChangeCurrRing(ring r)
Definition: polys.cc:15
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:260
ideal idrCopyR_NoSort(ideal id, ring src_r, ring dest_r)
Definition: prCopy.cc:204
ring rAssure_TDeg(ring r, int &pos)
Definition: ring.cc:4496
void rDelete(ring r)
unconditionally deletes fields in r
Definition: ring.cc:449
ideal do_t_rep_gb(ring, ideal arg_I, int syz_comp, BOOLEAN F4_mode, int deg_pos)
Definition: tgb.cc:3633