partialgb.cc File Reference

#include "kernel/mod2.h"
#include "polys/prCopy.h"
#include "kernel/ideals.h"
#include "kernel/GBEngine/kstd1.h"
#include "Singular/ipshell.h"
#include "Singular/mod_lib.h"
#include "Singular/ipid.h"

Go to the source code of this file.

Functions
static ideal	idPartialGB (ideal h1, int k)
static BOOLEAN	partialStd (leftv res, leftv h)
int SI_MOD_INIT()	partialgb (SModulFunctions *p)

Function Documentation

idPartialGB()

static ideal idPartialGB ( ideal  h1, int  k  )

static

Definition at line 8 of file partialgb.cc.

{
  ideal s_h1;
  intvec *w=NULL;
 
  assume(currRing != NULL);
  ring orig_ring=currRing;
  ring syz_ring=rAssure_SyzComp(orig_ring,TRUE);
  rSetSyzComp(k,syz_ring);
  rChangeCurrRing(syz_ring);
 
  if (orig_ring != syz_ring)
  {
    s_h1=idrCopyR_NoSort(h1,orig_ring, syz_ring);
  }
  else
  {
    s_h1 = h1;
  }
 
  ideal s_h3=kStd(s_h1,NULL,testHomog,&w,NULL,k);
 
  if (s_h3==NULL)
  {
    return idFreeModule(IDELEMS(h1));
  }
 
  if (orig_ring != syz_ring)
  {
    idDelete(&s_h1);
    idSkipZeroes(s_h3);
    rChangeCurrRing(orig_ring);
    s_h3 = idrMoveR_NoSort(s_h3, syz_ring, orig_ring);
    rDelete(syz_ring);
    idTest(s_h3);
    return s_h3;
  }
 
  idSkipZeroes(s_h3);
  idTest(s_h3);
  return s_h3;
}

partialgb()

int SI_MOD_INIT() partialgb

(

SModulFunctions *

p

)

Definition at line 66 of file partialgb.cc.

{
  p->iiAddCproc("partialgb.so","partialStd",FALSE,partialStd);
  return (MAX_TOK);
}

partialStd()

static BOOLEAN partialStd ( leftv  res, leftv  h  )

static

Definition at line 51 of file partialgb.cc.

{
  const short t[]={2,MODUL_CMD,INT_CMD};
  if (iiCheckTypes(h,t,1))
  {
    ideal  i1=(ideal)h->CopyD();
    int  i2=(int)((long)h->next->Data());
    res->rtyp=MODUL_CMD;
    res->data=idPartialGB(i1,i2);
    return FALSE;
  }
  return TRUE;
}