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

ideal quotient
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2538
Page 1 of 1

Author:  gstic [ Thu Jun 09, 2016 12:40 pm ]
Post subject:  ideal quotient

Hello,

I have 3 homogeneous polynomials f, g, h and I have the ideal quotient (colon) K = I:J where I and J are ideals: I = (f, g), J=(h).
I have also the homogeneous polynomial k of minimal degree from ideal quotient K.
From the definition of the ideal quotient, there must be 2 polynomials f_1, g_1 and so we have:
h * k = f * f_1 + g * g_1.
How can I find these two polynomials f_1 and g_1 with Singular?

Thanks in advance

Author:  hannes [ Fri Jun 10, 2016 11:12 am ]
Post subject:  Re: ideal quotient

see http://www.singular.uni-kl.de/Manual/4-0-3/sing_334.htm
Code:
matrix T=lit(ideal(h*k),ideal(f,g));
// the factors are:
T[1,1]; // f_1
T[1,2]; // g_1

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