units.h File Reference

Go to the source code of this file.

Functions
ideal	redNF (ideal N, ideal M, matrix U=NULL, int d=-1, intvec *w=NULL)
poly	redNF (ideal N, poly p, poly u=NULL, int d=-1, intvec *w=NULL)

Function Documentation

ideal redNF	(	ideal	N,
		ideal	M,
		matrix	U = NULL,
		int	d = -1,
		intvec *	w = NULL
	)

Definition at line 21 of file units.cc.

{
  matrix U0=NULL;
  if(U!=NULL)
  {
    U0=mp_Copy(U,currRing);
    number u0;
    for(int i=IDELEMS(M)-1;i>=0;i--)
    {
      u0=nInvers(pGetCoeff(MATELEM(U0,i+1,i+1)));
      MATELEM(U0,i+1,i+1)=pMult_nn(MATELEM(U0,i+1,i+1),u0);
      M->m[i]=pMult_nn(M->m[i],u0);
    }
  }
  ideal M0=idInit(IDELEMS(M),M->rank);
  ideal M1=kNF(N,currRing->qideal,M,0,KSTD_NF_ECART);
  while(idElem(M1)>0&&(d==-1||id_MinDegW(M1,w,currRing)<=d))
  {
    for(int i=IDELEMS(M)-1;i>=0;i--)
    {
      M0->m[i]=pAdd(M0->m[i],pHead(pCopy(M1->m[i])));
      if(U0!=NULL)
        M->m[i]=pSub(M->m[i],pMult(pHead(pCopy(M1->m[i])),
                                   pCopy(MATELEM(U0,i+1,i+1))));
      else
        M->m[i]=pSub(M->m[i],pHead(pCopy(M1->m[i])));
    }
    idDelete(&M1);
    M1=kNF(N,currRing->qideal,M,0,KSTD_NF_ECART);
  }
  idDelete(&M1);
  idDelete(&N);
  idDelete(&M);
  if(U0!=NULL)
    idDelete((ideal*)&U0);
  return M0;
}

poly redNF	(	ideal	N,
		poly	p,
		poly	u = NULL,
		int	d = -1,
		intvec *	w = NULL
	)

Definition at line 59 of file units.cc.

{
  ideal M=idInit(1,pGetComp(p));
  M->m[0]=p;
  ideal M0;
  if(u==NULL)
    M0=redNF(N,M,NULL,d,w);
  else
  {
    matrix U=mpNew(1,1);
    MATELEM(U,1,1)=u;
    M0=redNF(N,M,U,d,w);
    idDelete((ideal*)&U);
  }
  poly p0=M0->m[0];
  M0->m[0]=NULL;
  idDelete(&M0);
  return p0;
}