My Project
Loading...
Searching...
No Matches
lift.h File Reference

Go to the source code of this file.

Functions

ideal lift (const ideal I, const ring r, const ideal inI, const ring s)
 

Function Documentation

◆ lift()

ideal lift ( const ideal I,
const ring r,
const ideal inI,
const ring s )

Definition at line 26 of file lift.cc.

27{
28 nMapFunc identity = n_SetMap(s->cf,r->cf);
29 int k = IDELEMS(inI); ideal inIr = idInit(k);
30 for (int i=0; i<k; i++)
31 {
32 if(inI->m[i]!=NULL)
33 {
34 inIr->m[i] = p_PermPoly(inI->m[i],NULL,s,r,identity,NULL,0);
35 }
36 }
37 ideal Ir = witness(inIr,J,r);
38
39 identity = n_SetMap(r->cf,s->cf);
40 ideal Is = idInit(k);
41 for (int i=0; i<k; i++)
42 {
43 if(Ir->m[i]!=NULL)
44 {
45 Is->m[i] = p_PermPoly(Ir->m[i],NULL,r,s,identity,NULL,0);
46 }
47 }
48
49 id_Delete(&inIr,r);
50 id_Delete(&Ir,r);
51 return Is;
52}
int i
Definition cfEzgcd.cc:132
int k
Definition cfEzgcd.cc:99
static FORCE_INLINE nMapFunc n_SetMap(const coeffs src, const coeffs dst)
set the mapping function pointers for translating numbers from src to dst
Definition coeffs.h:701
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
Definition coeffs.h:80
const CanonicalForm int s
Definition facAbsFact.cc:51
#define NULL
Definition omList.c:12
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)
Definition p_polys.cc:4211
ideal idInit(int idsize, int rank)
initialise an ideal / module
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
#define IDELEMS(i)
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.
Definition witness.cc:34