hilb.h File Reference

Go to the source code of this file.

Typedefs
typedef polyrec *	poly

Functions
intvec *	hHstdSeries (ideal S, intvec *modulweight, intvec *wdegree, ideal Q=NULL, ring tailRing=currRing)
intvec *	hFirstSeries (ideal S, intvec *modulweight, ideal Q=NULL, intvec *wdegree=NULL, ring tailRing=currRing)
intvec *	hSecondSeries (intvec *hseries1)
void	hLookSeries (ideal S, intvec *modulweight, ideal Q=NULL, intvec *wdegree=NULL, ring tailRing=currRing)

Variables
ring	currRing
	Widely used global variable which specifies the current polynomial ring for Singular interpreter and legacy implementatins. : one should avoid using it in newer designs, for example due to possible problems in parallelization with threads. More...

Typedef Documentation

const const intvec const intvec const ring _currRing const const intvec const intvec const ring _currRing poly

Definition at line 10 of file hilb.h.

Function Documentation

intvec* hFirstSeries	(	ideal	S,
		intvec *	modulweight,
		ideal	Q = NULL,
		intvec *	wdegree = NULL,
		ring	tailRing = currRing
	)

Definition at line 1300 of file hilb.cc.

{
  id_TestTail(S, currRing, tailRing);
  id_TestTail(Q, currRing, tailRing);
  return hSeries(S, modulweight, 1, wdegree, Q, tailRing);
}

intvec* hHstdSeries	(	ideal	S,
		intvec *	modulweight,
		intvec *	wdegree,
		ideal	Q = NULL,
		ring	tailRing = currRing
	)

Definition at line 1293 of file hilb.cc.

{
  id_TestTail(S, currRing, tailRing);
  id_TestTail(Q, currRing, tailRing);
  return hSeries(S, modulweight, 0, wdegree, Q, tailRing);
}

void hLookSeries	(	ideal	S,
		intvec *	modulweight,
		ideal	Q = NULL,
		intvec *	wdegree = NULL,
		ring	tailRing = currRing
	)

Definition at line 1378 of file hilb.cc.

{
  id_TestTail(S, currRing, tailRing);

  intvec *hseries1 = hFirstSeries(S, modulweight, Q, wdegree, tailRing);

  hPrintHilb(hseries1);

  const int l = hseries1->length()-1;

  intvec *hseries2 = (l > 1) ? hSecondSeries(hseries1) : hseries1;

  int co, mu;
  hDegreeSeries(hseries1, hseries2, &co, &mu);

  PrintLn();
  hPrintHilb(hseries2);
  if ((l == 1) &&(mu == 0))
    scPrintDegree(rVar(currRing)+1, 0);
  else
    scPrintDegree(co, mu);
  if (l>1)
    delete hseries1;
  delete hseries2;
}

intvec* hSecondSeries

(

intvec *

hseries1

)

Definition at line 1307 of file hilb.cc.

{
  intvec *work, *hseries2;
  int i, j, k, s, t, l;
  if (hseries1 == NULL)
    return NULL;
  work = new intvec(hseries1);
  k = l = work->length()-1;
  s = 0;
  for (i = k-1; i >= 0; i--)
    s += (*work)[i];
  loop
  {
    if ((s != 0) || (k == 1))
      break;
    s = 0;
    t = (*work)[k-1];
    k--;
    for (i = k-1; i >= 0; i--)
    {
      j = (*work)[i];
      (*work)[i] = -t;
      s += t;
      t += j;
    }
  }
  hseries2 = new intvec(k+1);
  for (i = k-1; i >= 0; i--)
    (*hseries2)[i] = (*work)[i];
  (*hseries2)[k] = (*work)[l];
  delete work;
  return hseries2;
}

Variable Documentation

ring currRing

Widely used global variable which specifies the current polynomial ring for Singular interpreter and legacy implementatins. : one should avoid using it in newer designs, for example due to possible problems in parallelization with threads.

Definition at line 12 of file polys.cc.