Singular
https://www.singular.uni-kl.de/forum/

groebner
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1664
Page 1 of 1

Author:  DZDjokovic [ Wed Mar 05, 2008 6:30 am ]
Post subject:  groebner

Hello all,

I define an ideal "jed" in the ring R=(0,a,b,c,d),(x,y,z,u,v),dp
I compute ideal gb=groebner(jed) and save it in a file.
I start another session and read "gb".
When I try to use it to reduce a poly mod gb, I get the message

// ** gb is no standard basis

What is wrong?

Thanks in advance for any explanation.

DZ Djokovic

Author:  hannes [ Mon Mar 17, 2008 11:40 am ]
Post subject:  Re: groebner

This warning appears for all generating sets which are used
where a groebner basis is required, but which are
not a result of groebner/std/fglm.
This applyes also to your case: jed is (in the second run) a result
of a read statement.
If you are sure that your generating set is indeed a groebner basis,
you may set the corresponding attribute:
attrib(jed,"isSB",1);

Page 1 of 1 All times are UTC + 1 hour [ DST ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/