-- -*- M2-comint -*- {* hash: 997770270 *} i1 : atan 1 o1 = .785398163397448 o1 : RR (of precision 53) i2 : abs atan 1 == pi/4 o2 = true i3 :
-- -*- M2-comint -*- {* hash: 997770270 *} i1 : atan 1 o1 = .785398163397448 o1 : RR (of precision 53) i2 : abs atan 1 == pi/4 o2 = true i3 :