CoCalc -- bug10312.input

build open-axiom

⁵⁴⁴⁷¹ views

)cl all
p:=(1/2+n)::UTS(FRAC INT, 'n, 0)
(p**(-1))$UTS(FRAC INT, 'n, 0)