[GAP Forum] how to use the hilbert function after loadpackage singular

[Willem de Graaf]

Dear Martin, Forum,


The "singular" package provides direct access to only few functions of
Singular.
The main function is GroebnerBasis, for computing Groebner bases.
One can try using other functions by using SingularInterface of the
singular package.
The manual of the singular package explains how to use it.

Best wishes,

Willem de Graaf



On Wed, Sep 24, 2014 at 2:01 PM, Lee Martin CCNP <tesleft at hotmail.com>
wrote:

> Hi
>
> http://www.gap-system.org/Manuals/pkg/singular/doc/chap1.html#X795A815178AA90C7
> in manual of singular interface in gap system
> i can not find the function name for hilbert function
> it seems can use function with singular package, what is the function name
> of hilbert function in gap system? and how to use to use it?
> Regards,
> Martin
>
> > Subject: Re: [GAP Forum] how to use the hilbert function after
> loadpackage singular
> > From: alexk at mcs.st-andrews.ac.uk
> > Date: Wed, 24 Sep 2014 11:13:32 +0100
> > CC: forum at gap-system.org
> > To: tesleft at hotmail.com
> >
> > Hi Martin,
> >
> > It's always useful to include the error messages in such reports.
> > What is the error message that is displayed? What is 'stdhilb' -
> > there is no such function in GAP and packages redistributed with it.
> >
> > HTH
> > Alexander
> >
> >
> > On 24 Sep 2014, at 11:06, Lee Martin CCNP <tesleft at hotmail.com> wrote:
> >
> > > Hi
> > >
> > > LoadPackage("singular");onelist := Tuples([0,1,0,1,0,1],3);onelist2 :=
> [];Append( onelist2, onelist );Append( onelist2, onelist );Append(
> onelist2, onelist );matrixlist := Tuples(onelist2,3);
> > >
> > > ring  r = 0,(x,y,z),lp;ideal i = y3+x2,x2y+x2z2,x3-z9,z4-y2-xz;ideal j
> = stdhilb(i); j;
> > > R1:= PolynomialRing( Rationals, ["x","y","z"] : new
> );;x:=IndeterminatesOfPolynomialRing(R1)[1];y:=IndeterminatesOfPolynomialRing(R1)[2];z:=IndeterminatesOfPolynomialRing(R1)[3];f1:=y^3+x^2;f2:=x^2*y+x^2*z^2;f3:=x^3-z^9;f4:=z^4-y^2-xz;stdhilb([f1,f2,f3,f4]);
> <- got error at here
> > > Regards,
> > > Martin
> > > _______________________________________________
> > > Forum mailing list
> > > Forum at mail.gap-system.org
> > > http://mail.gap-system.org/mailman/listinfo/forum
> >
>
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum
>