... is no standard basis but I'm sure it is

Hi,

I've got a few mononomial in a list (actually it's a list(list())) and I'm checking if another polynomial is dividable by one of them. Right now im using reduce, but Singular complains that "_ is no standardbasis", but I'm shure it is, because it's a monomial. Any workaround/other way to check dividability.

Regards

email: glowwormy@web.de
Posted in old Singular Forum on: 2004-03-23 10:36:38+01

Hi, Stefan,


Assume you have the ideal I= <xy^2, x^2y> in the ring K[x,y].

When you compute I=std(I), the attribute "IsSB" of the ideal I will be set to 1. (You can check it executing "attrib(I);")

Otherwise, even is it is a standard basis, you will get such warning.

The right solution would be to gather monomials you need in the ideal, compute its standard basis and then perform reductions.


Depending on what you need, you can use functions "simplify", division "/" or "coef". Please consult the Singular manual for details.


Have fun,