Back to Forum | View unanswered posts | View active topics
Topic review - facstd() |
Author |
Message |
|
|
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.
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.
|
|
|
|
Posted: Wed Nov 28, 2018 11:04 am |
|
|
|
|
|
Post subject: |
Re: facstd() |
|
|
To distinguish the ideals in the list of ideal, use Code: write(l,print(list_of_ideals,"%l"));
To distinguish the ideals in the list of ideal, use [code] write(l,print(list_of_ideals,"%l")); [/code]
|
|
|
|
Posted: Sun Nov 25, 2018 4:31 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.
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.
|
|
|
|
Posted: Sun Nov 25, 2018 4:22 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.
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.
|
|
|
|
Posted: Thu Nov 22, 2018 6:43 pm |
|
|
|
|
|
It is currently Fri May 13, 2022 10:56 am
|
|