# solvable polynomials, Weyl algebra A_3,9: (a,b,e1,e2,e3) G RelationTable ( ( e3 ), ( e1 ), ( e1 e3 - e3 ), ( e3 ), ( e2 ), ( e2 e3 - e1 ), ( e3 ), ( e1 ), ( e1 e3 + e2 ) ) ( ( e1 e3^3 + e2^2 - a ), ( e1^3 e2^2 + e3 ), ( e3^3 + e3^2 - b ) )