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

... is no standard basis but I'm sure it is
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1384		 Page 1 of 1
Author:  Stefan Wolf [ Thu Aug 11, 2005 5:32 pm ]
Post subject:  ... 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
Author:  levandov [ Thu Aug 11, 2005 8:48 pm ]
Post subject:  Re: ... is no standard basis but I'm sure it is
Hi, Stefan,
Quote:
> 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.


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.

Quote:
> Any workaround/other way to check dividability.

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


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