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

Lee Martin CCNP tesleft at hotmail.com
Thu Sep 25 08:22:51 BST 2014


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> ) called 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_FOUND">( <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: tesleft at hotmail.com
> To: degraaf at science.unitn.it
> Date: Thu, 25 Sep 2014 00:42:14 +0800
> CC: forum at 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: degraaf at science.unitn.it
> To: tesleft at hotmail.com
> CC: forum at 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 <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
> 
> 
>  		 	   		  
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum
 		 	   		  


More information about the Forum mailing list