manip.spad line 497 [edit on github]
Package to allow simplify to be called on AlgebraicNumbers by converting to EXPR(INT)
simplify(an) applies simplifications to an
simplify(an)
an