Hi Willem, got error after a series of trial of hilbert function R1:= PolynomialRing( Rationals, ["x","y","z"] : new );;SingularSetBaseRing(R1);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-x*z; gap> I:= Ideal( R1, [f1,f2,f3,f4] );<two-sided ideal in Rationals[x,y,z], (4 generators)>gap> SingularInterface( "stdhilb", I, "ideal");Error, no method found! For debugging hints type ?Recovery from NoMethodFoundError, no 1st choice method found for `Length' on 1 arguments called fromLength( arguments ) called from<function "SingularInterface">( <arguments> ) called from read-eval loop at line 49 of *stdin*you can 'quit;' to quit to outer loop, oryou can 'return;' to continuebrk> quit;gap> SingularInterface( "stdhilb", [ f1,f2,f3,f4 ], "def"); ? `poly`(Id(1)) = `ideal` is not supported ? expected `poly` = `poly` ? expected `poly` = `matrix` ? error occurred in or before standard.lib::stdhilb line 304: ` return(slimgb(i));` ? leaving standard.lib::stdhilb#I Singular output of type "none"No output from Singular""gap> gap> SingularInterface( "stdhilb", [ f1,f2,f3,f4 ], "poly"); ? `poly`(Id(1)) = `ideal` is not supported ? expected `poly` = `poly` ? expected `poly` = `matrix` ? error occurred in or before standard.lib::stdhilb line 304: ` return(slimgb(i));` ? leaving standard.lib::stdhilb0gap> SingularInterface( "stdhilb", [ f1,f2,f3,f4 ], "poly"); ? `poly`(Id(1)) = `ideal` is not supported ? expected `poly` = `poly` ? expected `poly` = `matrix` ? error occurred in or before standard.lib::stdhilb line 304: ` return(slimgb(i));` ? leaving standard.lib::stdhilb0gap> SingularInterface( "stdhilb", [ f1,f2,f3,f4 ], "matrix"); ? `poly`(Id(1)) = `ideal` is not supported ? expected `poly` = `poly` ? expected `poly` = `matrix` ? error occurred in or before standard.lib::stdhilb line 304: ` return(slimgb(i));` ? leaving standard.lib::stdhilb[ [ 0 ] ]gap> SingularInterface( "stdhilb", f1, "def");Error, no method found! For debugging hints type ?Recovery from NoMethodFoundError, no 1st choice method found for `Length' on 1 arguments called fromLength( arguments ) called from<function "SingularInterface">( <arguments> ) cal led from read-eval loop at line 54 of *stdin*you can 'quit;' to quit to outer loop, oryou can 'return;' to continuebrk> quit;gap> stdhilb([f1,f2,f3,f4]);Error, Variable: 'stdhilb' must have a valuenot in any function at line 55 of *stdin*gap> stdhilb(I);Error, Variable: 'stdhilb' must have a valuenot in any function at line 56 of *stdin*gap> SingularInterface( "stdhilb", Matrix([[ f1, f2, f3, f4 ]]), "matrix");Error, no method found! For debugging hints type ?Recovery from NoMethodFoundError, no 1st choice method found for `Matrix' on 1 arguments called from<function "HANDLE_METHOD_NOT_FOUND">( <arguments> ) called from read-eval loop at line 59 of *stdin*you can 'quit;' to quit to outer loop, oryou can 'return;' to continuebrk> quit;gap> SingularInterface( "stdhilb", Matrix([ f1, f2, f3, f4 ]), "matrix");Error, no method found! For debugging hints type ?Recovery from NoMethodFoundError, no 1st choice method found for `Matrix' on 1 arguments called from<function "HANDLE_METHOD_NOT_F OUND">( <arguments> ) called from read-eval loop at line 59 of *stdin*you can 'quit;' to quit to outer loop, oryou can 'return;' to continue
Regards, Martin > From: tesl...@hotmail.com > To: degr...@science.unitn.it > Date: Thu, 25 Sep 2014 00:42:14 +0800 > CC: fo...@gap-system.org > Subject: Re: [GAP Forum] how to use the hilbert function after loadpackage > singular > > 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 _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
