Hi Willem, i find it. I will try them tomorrow since i am not sure whether parameter is "poly".
SingularLibrary( "standard.lib" );I:= Ideal( R, [f1,f2,f3,f4] );;SingularInterface( "stdhilb", [ f1,f2,f3,f4 ], "def");SingularInterface( "stdhilb", [ f1,f2,f3,f4 ], "poly"); Regards, Martin Date: Wed, 24 Sep 2014 18:34:34 +0200 Subject: Re: [GAP Forum] how to use the hilbert function after loadpackage singular From: degr...@science.unitn.it To: tesl...@hotmail.com CC: fo...@gap-system.org 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 <tesl...@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: al...@mcs.st-andrews.ac.uk > Date: Wed, 24 Sep 2014 11:13:32 +0100 > CC: fo...@gap-system.org > To: tesl...@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 <tesl...@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@mail.gap-system.org > > http://mail.gap-system.org/mailman/listinfo/forum > _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
