Jeroen Demeyer on Tue, 09 Jun 2015 17:33:38 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: qfisom over Q

I wasn't talking about binary quadratic forms, but I'll think about your answer. 

On 2015-06-09 17:29, Denis Simon wrote:

Dear Jeroen,

You can use qfsolve() in the following way:

Let q1(x,y)=a1*x^2+b1*x*y+c1*y^2 and q2(x,y)=a2*x^2+b2*x*y+c2*y^2 be the quadratic forms.
Solve q1(x1,y1) = a2 over Q using qfsolve([a1,b1/2,0;b1/2,c1,0;0,0,-a2])
Then complete the 2x2 matrix T=[x1,...;y1,...] to have det=1.
Then T(q1) and q2 have the same 1st coeff and same det.
It should then be easy to finish the job.