Sobre Q[sqrt(2),sqrt(3)]

> B:=companion((x**2-2)*(x**2-3),x):

> G:=IRREDUCIBLE(B,Q,{sqrt(2),sqrt(3)}); Ahora el polinomio caracteristico escinde

Comprobando