CoCoA:EvalHilbertFn

From ApCoCoAWiki
Revision as of 10:02, 24 October 2007 by XMLBot (talk | contribs) (pushing XML rev. 1.46, again)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

EvalHilbertFn

evaluate the Hilbert function

Description

This function evaluates the Hilbert function H at N. If H is the

Hilbert function of a quotient R/I, then the value returned is the

same as that returned by Hilbert(R/I,N) but time is saved since the Hilbert function does not need to be recalculated at each call.

Example

  Use R ::= Q[w,x,y,z];
  I := Ideal(z^2-xy,xz^2+w^3);
  H := Hilbert(R/I);
  H;
H(0) = 1
H(1) = 4
H(t) = 6t - 3   for t >= 2
-------------------------------
  EvalHilbertFn(H,1);
4
-------------------------------
  EvalHilbertFn(H,2);
9
-------------------------------

Syntax

EvalHilbertFn(H:TAGGED(<quotes>$hp.Hilbert</quotes>),N:INT):INT

Hilbert

HilbertFn

HilbertPoly

   <type>hilbert</type>
   <type>integer</type>