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

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);