geometry - Maple Programming Help

Home : Support : Online Help : Mathematics : Geometry : 2-D Euclidean : Line Segments : geometry/AreParallel

geometry

 AreParallel
 test if two lines are parallel to each other

 Calling Sequence AreParallel(l1, l2, cond)

Parameters

 l1, l2 - two lines cond - (optional) name

Description

 • The routine returns true if l1 and l2 are parallel to each other; false if they are not; and FAIL if it is unable to determine if l1 and l2 are parallel to each other.
 • In case of FAIL, if the third optional argument is given, the condition that makes l1 and l2 parallel to each other is assigned to this argument.
 • The command with(geometry,AreParallel) allows the use of the abbreviated form of this command.

Examples

 > $\mathrm{with}\left(\mathrm{geometry}\right):$
 > $\mathrm{line}\left(\mathrm{l1},2x+3y+1=0,\left[x,y\right]\right):$
 > $\mathrm{line}\left(\mathrm{l2},4\sqrt{2}x+6\sqrt{2}y-1=0,\left[x,y\right]\right):$
 > $\mathrm{AreParallel}\left(\mathrm{l1},\mathrm{l2}\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{line}\left(\mathrm{l3},x=0,\left[x,y\right]\right):$
 > $\mathrm{AreParallel}\left(\mathrm{l1},\mathrm{l3}\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{line}\left(\mathrm{l4},ax+6y+1=0,\left[x,y\right]\right):$
 > $\mathrm{AreParallel}\left(\mathrm{l1},\mathrm{l4},'\mathrm{cond}'\right)$
 AreParallel:   "hint: cannot determine if 12-3*a is zero"
 ${\mathrm{FAIL}}$ (3)
 > $\mathrm{cond}$
 ${12}{-}{3}{}{a}{=}{0}$ (4)
 > $\mathrm{assume}\left(\mathrm{cond}\right)$
 > $\mathrm{AreParallel}\left(\mathrm{l1},\mathrm{l4}\right)$
 ${\mathrm{true}}$ (5)