std_wrapper.h File Reference

#include "polys/simpleideals.h"
#include "kernel/structs.h"

Go to the source code of this file.

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

Function Documentation

gfanlib_kStd_wrapper()

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

Definition at line 6 of file std_wrapper.cc.

{
  ring origin = currRing;
  if (origin != r)
    rChangeCurrRing(r);
 
  intvec* nullVector = NULL;
  ideal stdI = kStd(I,currRing->qideal,h,&nullVector); // there is still a memory leak here!!!
  id_DelDiv(stdI,currRing);
  idSkipZeroes(stdI);
  if (nullVector!=NULL) delete nullVector;
 
  if (origin != r)
    rChangeCurrRing(origin);
 
  return stdI;
}

gfanlib_monomialabortStd_wrapper()

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

Definition at line 172 of file std_wrapper.cc.

{
  ring origin = currRing;
  if (origin != r)
    rChangeCurrRing(r);
 
  ideal stdI = kStd(I,currRing->qideal,h,NULL,NULL,0,0,NULL,abort_if_monomial_sp);
  id_DelDiv(stdI,currRing);
  idSkipZeroes(stdI);
 
  if (origin != r)
    rChangeCurrRing(origin);
 
  return stdI;
}

gfanlib_satStd_wrapper()

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

Definition at line 124 of file std_wrapper.cc.

{
  ring origin = currRing;
  if (origin != r)
    rChangeCurrRing(r);
 
  int n = rVar(currRing);
  gitfan_satstdSaturatingVariables = std::vector<int>(n);
  for (int i=n-1; i>=0; i--)
    gitfan_satstdSaturatingVariables[i] = i+1;
 
  ideal stdI = kStd(I,currRing->qideal,h,NULL,NULL,0,0,NULL,sat_vars_sp);
  id_DelDiv(stdI,currRing);
  idSkipZeroes(stdI);
 
  if (origin != r)
    rChangeCurrRing(origin);
 
  return stdI;
}