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

What does facstd(ideal) actually do?
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2919
Page 1 of 1

Author:  rambiz [ Sun Aug 09, 2020 7:44 pm ]
Post subject:  What does facstd(ideal) actually do?

Hi all,

a) I am looking for reference(s) elaborating on the factorizing Groebner basis algorithm.
I want to know what it exactly does and how to possibly have a look at the code to see how it is implemented.

b) I had a look at https://www.singular.uni-kl.de/Manual/4 ... htm#SEC282.
Do I understand it correctly that if facstd(ideal_1, ideal_2) is called with two arguments, then the union of the solutions to the output ideals contains all solutions of ideal_1 for which all members of ideal_2! are strictly non-zero?!

Let's have a look at the example provided in the link above:
Code:
ring r=32003,(x,y,z),(c,dp);
  ideal I=xyz,x2z;
  facstd(I);
==> [1]:
==>    _[1]=z
==> [2]:
==>    _[1]=x


So far,so good. I can see that the variety of I is the union of the x-y-plane and the y-z-plane.
But now:
Code:
facstd(I,x);
==> [1]:
==>    _[1]=z

The answer is the x-y-plane which obviously contains (x=0, y, z=0). So it includes the whole y-axis for which x=0!
So am I right or wrong or am I?!

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