25.10.3 Cote of a three-dimensional point
The
cote
command finds the cote (
z
-coordinate) of a point.
cote
takes
P
, a point.
cote(
P
)
returns the cote of
P
.
Example
cote
(
point
(1,2,3))
3