49 int n =
rVar(sAdjusted);
51 sAdjusted->order = (
int*)
omAlloc0(4*
sizeof(
int));
52 sAdjusted->block0 = (
int*)
omAlloc0(4*
sizeof(
int));
53 sAdjusted->block1 = (
int*)
omAlloc0(4*
sizeof(
int));
54 sAdjusted->wvhdl = (
int**)
omAlloc0(4*
sizeof(
int**));
56 sAdjusted->block0[0] = 1;
57 sAdjusted->block1[0] = n;
60 sAdjusted->block0[1] = 1;
61 sAdjusted->block1[1] = n;
69 ideal inIr =
initial(I,
r,interiorPoint);
71 for (
int i=0;
i<
k;
i++)
85 ideal IsAdjustedGB =
lift(I,
r,inIsAdjustedGB,sAdjusted);
92 s->order = (
int*)
omAlloc0(5*
sizeof(
int));
93 s->block0 = (
int*)
omAlloc0(5*
sizeof(
int));
94 s->block1 = (
int*)
omAlloc0(5*
sizeof(
int));
95 s->wvhdl = (
int**)
omAlloc0(5*
sizeof(
int**));
110 identity =
n_SetMap(sAdjusted->cf,s->cf);
112 for (
int i=0;
i<
k;
i++)
114 if (IsAdjustedGB->m[
i]!=
NULL)
127 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)
poly initial(const poly p, const ring r, const gfan::ZVector w)
Returns the initial form of p with respect to w.
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
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
static void deleteOrdering(ring r)