-- -*- M2-comint -*- hash: 10169061778770422620

i1 : Phi = 1_(PP_QQ^2);

o1 : MultirationalMap (automorphism of PP^2)

i2 : Psi = clean Phi;

o2 : MultirationalMap (rational map from PP^2 to PP^2)

i3 : Phi == Psi

o3 = true

i4 : Phi === Psi

o4 = false

i5 : 
