26 int n =
rVar(sAdjusted);
28 sAdjusted->block0 = (
int*)
omAlloc0(5*
sizeof(
int));
29 sAdjusted->block1 = (
int*)
omAlloc0(5*
sizeof(
int));
30 sAdjusted->wvhdl = (
int**)
omAlloc0(5*
sizeof(
int**));
32 sAdjusted->block0[0] = 1;
33 sAdjusted->block1[0] = n;
36 sAdjusted->block0[1] = 1;
37 sAdjusted->block1[1] = n;
40 sAdjusted->block0[2] = 1;
41 sAdjusted->block1[2] = n;
49 ideal inIr =
initial(I,r,interiorPoint);
51 for (
int i=0;
i<
k;
i++)
65 ideal IsAdjustedGB =
lift(I,r,inIsAdjustedGB,sAdjusted);
72 s->block0 = (
int*)
omAlloc0(5*
sizeof(
int));
73 s->block1 = (
int*)
omAlloc0(5*
sizeof(
int));
74 s->wvhdl = (
int**)
omAlloc0(5*
sizeof(
int**));
89 identity =
n_SetMap(sAdjusted->cf,s->cf);
91 for (
int i=0;
i<
k;
i++)
93 if (IsAdjustedGB->m[
i]!=
NULL)
106 return std::make_pair(IsGB,s);
const CanonicalForm int s
static short rVar(const ring r)
#define rVar(r) (r->N)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
int * ZVectorToIntStar(const gfan::ZVector &v, bool &overflow)
ideal lift(const ideal J, const ring r, const ideal inI, const ring s)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
poly initial(const poly p, const ring r, const gfan::ZVector &w)
Returns the initial form of p with respect to w.
poly p_PermPoly(poly p, const int *perm, const ring oldRing, const ring dst, nMapFunc nMap, const int *par_perm, int OldPar, BOOLEAN use_mult)
BOOLEAN rComplete(ring r, int force)
this needs to be called whenever a new ring is created: new fields in ring are created (like VarOffse...
ring rCopy0(const ring r, BOOLEAN copy_qideal, BOOLEAN copy_ordering)
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
static FORCE_INLINE nMapFunc n_SetMap(const coeffs src, const coeffs dst)
set the mapping function pointers for translating numbers from src to dst
void rChangeCurrRing(ring r)
ideal idInit(int idsize, int rank)
initialise an ideal / module
void rDelete(ring r)
unconditionally deletes fields in r