| Singular https://www.singular.uni-kl.de/forum/ |
|
| facstd() https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2804 |
Page 1 of 1 |
| Author: | IliaToli [ Thu Nov 22, 2018 6:43 pm ] |
| Post subject: | facstd() |
When writing facstd() output directly to a file, there is no way to distinguish the various ideals. Also, I thought that the number of ideals produced by facstd() does not depend on the monomial order. Apparently it does. |
|
| Author: | hannes [ Sun Nov 25, 2018 4:22 pm ] |
| Post subject: | Re: facstd() |
As facstd is a Groebner base computation, it depends on the monomial ordering. On its way it factorizes (and split) all new elements it came across, so it also depends on the implemented algorithm. One only knows: the intersection of the ideals is between the radical of the input and the input itself. |
|
| Author: | hannes [ Sun Nov 25, 2018 4:31 pm ] |
| Post subject: | Re: facstd() |
To distinguish the ideals in the list of ideal, use Code: write(l,print(list_of_ideals,"%l"));
|
|
| Author: | IliaToli [ Wed Nov 28, 2018 11:04 am ] |
| Post subject: | Re: facstd() |
Danke schön. Until now I could tell from the order of variables. Sometimes it is clear from that where one ideal ends and the other begins. Alternatively, I have been printing the output in the shell, where it is obvious. Best regards. |
|
| Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|