lift.cc File Reference

#include "polys/monomials/p_polys.h"
#include "witness.h"

Go to the source code of this file.

Functions
ideal	lift (const ideal J, const ring r, const ideal inI, const ring s)

Function Documentation

lift()

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

Definition at line 26 of file lift.cc.

{
  nMapFunc identity = n_SetMap(s->cf,r->cf);
  int k = IDELEMS(inI); ideal inIr = idInit(k);
  for (int i=0; i<k; i++)
  {
    if(inI->m[i]!=NULL)
    {
      inIr->m[i] = p_PermPoly(inI->m[i],NULL,s,r,identity,NULL,0);
    }
  }
  ideal Ir = witness(inIr,J,r);
 
  identity = n_SetMap(r->cf,s->cf);
  ideal Is = idInit(k);
  for (int i=0; i<k; i++)
  {
    if(Ir->m[i]!=NULL)
    {
      Is->m[i] = p_PermPoly(Ir->m[i],NULL,r,s,identity,NULL,0);
    }
  }
 
  id_Delete(&inIr,r);
  id_Delete(&Ir,r);
  return Is;
}