f_res.dixonpolynomial
[ (Dixon polynomial), (新しい変数の配列) ]
というリストを返す.
新しい変数は関数 uc
によって生成された不定元である.
多項式の数は変数の数よりも一つ多い必要がある.
[0] F0 = a1*x + a2*y + a3$ [1] F1 = b1*x + b2*y + b3$ [2] F2 = c1*x^2 + c2*y^2 + c3 + c4*x*y + c5*x + c6*y$ [3] f_res.dixonpolynomial( [F0,F1,F2], [x,y] ); [(-_0*c1*b2*a1+(_0*c1*b1+c1*b3)*a2-c1*b2*a3)*x+(((-_1*c2-_0*c4)*b2-c2*b3)*a1+(( _1*c2+_0*c4)*b1+c4*b3)*a2+(c2*b1-c4*b2)*a3)*y+(c3*b2+(-_1*c2-_0*c4-c6)*b3)*a1+( -c3*b1+(_0*c1+c5)*b3)*a2+((_1*c2+_0*c4+c6)*b1+(-_0*c1-c5)*b2)*a3,[ _0 _1 ]]
Go to the first, previous, next, last section, table of contents.