-- -*- M2-comint -*- hash: 943335801729120264

i1 : f = toMap vars(QQ[x_0..x_2]);

o1 : RingMap QQ[x ..x ] <-- QQ[x ..x ]
                 0   2          0   2

i2 : isBirational(f,Certify=>true)
Certify: output certified!

o2 = true

i3 : isBirational(f,Certify=>true,Verbose=>false)

o3 = true

i4 : 
