Functions
std_wrapper.cc File Reference
#include <kernel/GBEngine/kstd1.h>
#include <kernel/polys.h>
#include <kernel/ideals.h>

Go to the source code of this file.

Functions

ideal gfanlib_kStd_wrapper (ideal I, ring r, tHomog h=testHomog)
 

Function Documentation

ideal gfanlib_kStd_wrapper ( ideal  I,
ring  r,
tHomog  h = testHomog 
)

Definition at line 5 of file std_wrapper.cc.

6 {
7  ring origin = currRing;
8  if (origin != r)
10 
11  intvec* nullVector = NULL;
12  ideal stdI = kStd(I,currRing->qideal,h,&nullVector); // there is still a memory leak here!!!
13  id_DelDiv(stdI,currRing);
14  idSkipZeroes(stdI);
15 
16  if (origin != r)
17  rChangeCurrRing(origin);
18 
19  return stdI;
20 }
void id_DelDiv(ideal id, const ring r)
delete id[j], if LT(j) == coeff*mon*LT(i) and vice versa, i.e., delete id[i], if LT(i) == coeff*mon*L...
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
Definition: kstd1.cc:2225
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:12
const ring r
Definition: syzextra.cc:208
Definition: intvec.h:14
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
void rChangeCurrRing(ring r)
Definition: polys.cc:14
#define NULL
Definition: omList.c:10
static Poly * h
Definition: janet.cc:978