geom3d - Maple Programming Help

Home : Support : Online Help : Mathematics : Geometry : 3-D Euclidean : geom3d/AreDistinct

geom3d

 AreDistinct
 test if given objects are distinct

 Calling Sequence AreDistinct({A, B, C, ...})

Parameters

 A, B, C, ... - points, lines, planes, ...

Description

 • The routine returns true if the given objects are distinct ; false if they are not; and FAIL if it is unable to reach a conclusion.
 • The command with(geom3d,AreDistinct) allows the use of the abbreviated form of this command.

Examples

 > $\mathrm{with}\left(\mathrm{geom3d}\right):$
 > $\mathrm{sphere}\left(\mathrm{s1},\left[\mathrm{point}\left(\mathrm{o1},\left[0,0,0\right]\right),1\right]\right)$
 ${\mathrm{s1}}$ (1)
 > $\mathrm{line}\left(l,\left[\mathrm{o1},\mathrm{point}\left(\mathrm{o2},0,0,1\right)\right]\right)$
 ${l}$ (2)
 > $\mathrm{rotation}\left(\mathrm{s2},\mathrm{s1},\frac{\mathrm{Pi}}{4},l\right)$
 ${\mathrm{s2}}$ (3)
 > $\mathrm{rotation}\left(\mathrm{s3},\mathrm{s2},\frac{7\mathrm{Pi}}{4},l\right)$
 ${\mathrm{s3}}$ (4)
 > $\mathrm{AreDistinct}\left(\mathrm{s1},\mathrm{s3}\right)$
 ${\mathrm{false}}$ (5)