26.13.9 Radius of a circle
The
radius
command finds the radius of a circle.
radius
takes
C
, a circle.
radius(
C
)
returns the radius of
C
.
Example
radius
(
circle
(-1,
point
(
i
)))
1
√
2
