42 for (
int i=1;
i<
k;
i++)
52 ideal
witness(
const ideal inI,
const ideal J,
const ring
r)
57 ideal NFinI =
kNF(J,r->qideal,inI);
63 for (
int i=0;
i<
k;
i++)
77 ideal F = (ideal) u->
CopyD();
78 ideal
G = (ideal) v->
CopyD();
85 res->
data = (
char*) Q;
99 ideal inI = (ideal) u->
CopyD();
100 ideal J = (ideal) v->
CopyD();
105 res->
data = (
char*) I;
implementation of the class tropicalStrategy
BOOLEAN witnessDebug(leftv res, leftv args)
matrix divisionDiscardingRemainder(const poly f, const ideal G, const ring r)
Computes a division discarding remainder of f with respect to G.
Class used for (list of) interpreter objects.
poly kNF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
static poly p_Copy(poly p, const ring r)
returns a copy of p
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void mp_Delete(matrix *a, const ring r)
BOOLEAN dwrDebug(leftv res, leftv args)
void rChangeCurrRing(ring r)
ideal idInit(int idsize, int rank)
initialise an ideal / module
const Variable & v
< [in] a sqrfree bivariate poly
poly witness(const poly m, const ideal I, const ideal inI, const ring r)
Let w be the uppermost weight vector in the matrix defining the ordering on r.
matrix id_Module2formatedMatrix(ideal mod, int rows, int cols, const ring R)
ideal idLift(ideal mod, ideal submod, ideal *rest, BOOLEAN goodShape, BOOLEAN isSB, BOOLEAN divide, matrix *unit)
static poly p_Neg(poly p, const ring r)
static poly p_Add_q(poly p, poly q, const ring r)
static poly p_Mult_q(poly p, poly q, const ring r)