 |
My Project
debian-1:4.1.1-p2+ds-4build1
|
Go to the documentation of this file.
26 ideal
lift(
const ideal J,
const ring r,
const ideal inI,
const ring
s)
30 for (
int i=0;
i<
k;
i++)
41 for (
int i=0;
i<
k;
i++)
ideal lift(const ideal J, const ring r, const ideal inI, const ring s)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
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)
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
ideal idInit(int idsize, int rank)
initialise an ideal / module
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.
const CanonicalForm int s
static FORCE_INLINE nMapFunc n_SetMap(const coeffs src, const coeffs dst)
set the mapping function pointers for translating numbers from src to dst