[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