| Singular https://www.singular.uni-kl.de/forum/ |
|
| ideal membership test https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1843 |
Page 1 of 1 |
| Author: | gepo [ Tue Jul 20, 2010 12:22 am ] |
| Post subject: | ideal membership test |
Hi, Currently, I am running some experiments about ideal membership test using command "reduce". For example: ring r=(2,X),(a,b,c),dp; minpoly=1+X^3+X^4; ideal I=b,c; slimgb(I); _[1]=c _[2]=b reduce(a*b+a*c,I); 0 The problem now is that how to get the quotient of the ideal division. For example, given ideal <b,c>, given polynomial "a*b+a*c", the ideal membership testing is actually polynomial division. Now I want to get the quotient, in this example, it is (a,a). Is there a command to get the quotient which is similar to the Maple command "NormalForm" in link: http://www.maplesoft.com/support/help/M ... NormalForm The 4th parameter of "NormalForm" stores the quotients. thanks. Gepo |
|
| Author: | akishi [ Tue Jul 20, 2010 11:02 am ] |
| Post subject: | Re: ideal membership test |
Probably "lift" is what you want > lift(I,a*b+a*c); _[1,1]=a _[2,1]=a > |
|
| Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|