Ask Your Question

Revision history [back]

Using the "solve" function in a field extension

Hello, this is my code :

K0.<j> = NumberField(x^2+x+1)
K1.<k> = K0.extension(2*x^2 + 3*x + 3)
var("a,b,c")
u = Matrix(1,3,[a,b,c]).transpose()

A2 = Matrix(3,3,[[1,0,0],[0,j,0],[0,0,j^2]])
A3 = Matrix(3,3,[[1,k*j,k*j^2],[k*j,j^2,k],[k*j^2,k,j]])

And I would like this line of code :

solve([(u.transpose()*A2*u)[0][0] == 0, (u.transpose()*A3*u)[0][0] == 0, a==1],[a,b,c])

to work and give me the 4 solutions (I need to do that for a lot of pair of matrices). What should I do ? Thank you ^^

click to hide/show revision 2
retagged

Using the "solve" function in a field extension

Hello, this is my code :

K0.<j> = NumberField(x^2+x+1)
K1.<k> = K0.extension(2*x^2 + 3*x + 3)
var("a,b,c")
u = Matrix(1,3,[a,b,c]).transpose()

A2 = Matrix(3,3,[[1,0,0],[0,j,0],[0,0,j^2]])
A3 = Matrix(3,3,[[1,k*j,k*j^2],[k*j,j^2,k],[k*j^2,k,j]])

And I would like this line of code :

solve([(u.transpose()*A2*u)[0][0] == 0, (u.transpose()*A3*u)[0][0] == 0, a==1],[a,b,c])

to work and give me the 4 solutions (I need to do that for a lot of pair of matrices). What should I do ? Thank you ^^