# solvable polynomials, Ore extension Q[x,y][z;d][t,e]:
Rat(x,y,z,t) L
RelationTable
(
 ( z ), ( y ), ( y z + x ),
 ( t ), ( y ), ( y t + y ),
 ( t ), ( z ), ( z t - z )
)

(
 ( x^2 + y^2 + z^2 + t^2 + 1 )
)
