Maxima Function
resolvante_vierer (P, x)
computes the transformation of
P(x) by the function x_1 x_2 -x_3 x_4.
See also:
resolvante_produit_sym, resolvante_unitaire,
resolvante_alternee1, resolvante_klein, resolvante_klein3,
resolvante, resolvante_diedrale.