Sophie
-- -*- M2-comint -*- {* hash: 318267821 *} i1 : sec(pi/3) o1 = 2 o1 : RR (of precision 53) i2 :