radius ( circle ) → double precisionComputes radius of circle.
radius(circle '<(0,0),2>') → 2
Computes radius of circle.
radius ( circle ) → double precisionComputes radius of circle.
radius(circle '<(0,0),2>') → 2
Definition snapshot: 2026-09-14T13:14:25.684213+00:00@99e6866c · English manual source