 |
My Project
debian-1:4.1.2-p1+ds-2
|
Go to the documentation of this file.
34 poly
witness(
const poly
m,
const ideal I,
const ideal inI,
const ring r)
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++)
ideal idLift(ideal mod, ideal submod, ideal *rest, BOOLEAN goodShape, BOOLEAN isSB, BOOLEAN divide, matrix *unit, GbVariant alg)
void rChangeCurrRing(ring r)
static poly p_Neg(poly p, const ring r)
static poly p_Copy(poly p, const ring r)
returns a copy of p
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
matrix divisionDiscardingRemainder(const poly f, const ideal G, const ring r)
Computes a division discarding remainder of f with respect to G.
void mp_Delete(matrix *a, const ring r)
poly kNF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce)
static poly p_Add_q(poly p, poly q, const ring r)
ideal idInit(int idsize, int rank)
initialise an ideal / module
bool areIdealsEqual(ideal I, ring r, ideal J, ring s)
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.
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
matrix id_Module2formatedMatrix(ideal mod, int rows, int cols, const ring R)
static poly p_Mult_q(poly p, poly q, const ring r)