Overview of the geometry Package

geometry[ command ]( arguments )

command ( arguments )

• The commands in this package enable you to work in two-dimensional Euclidean geometry. Note that the package does not support the extended plane, that is, it does not handle points at infinity and the line at infinity.
• Each commands in the geometry  package can be accessed by using either the long form  or the short form  of the command name in the command calling sequence.
• The geometric objects  supported in this package are: point, segment, directed segment, line, triangle, square, circle, ellipse, parabola, hyperbola, and conic (including the degenerate cases). To create these geometric objects, use the following commands.
• Triangle geometry ranks among the most enduring topics in all of mathematics. The following commands relating to a triangle are supported.

+ Points of interest:

+ Lines of interest:

+ Circles of interest:

+ Others:

• For other geometric objects, the following commands are supported.
• Point:
• Segment/Directed Segment:
• Square:
• Line:
• Circle:
• Ellipse:
• Parabola:
• Hyperbola:
• Polygon:
• Various transformations  are supported.
• Graphics: the draw  command provides the graphical visualization of all objects supported in the package.
• Other routines: various other commands are also implemented.
• To display the help page for a particular geometry  command, see Getting Help with a Command in a Package .
• When an object is defined through its algebraic representation (an equation or a polynomial), you can use any name for the horizontal axis and vertical axis. In general, the names of the axes must be included when you define an object. A simple way to set the names without being prompted is to set the environment variables _EnvHorizontalName  and _EnvVerticalName  to the axes names that you prefer; otherwise, Maple will prompt you to input of the name of the axes. In this case, simply types a name and  a semicolon (or colon) for each query.
• For commands in the package that create a geometric object, or a list of geometric objects, the calling sequence is of the form command_call(obj,...); , where obj  is either a name of the geometric object to be created, or a list of geometric objects to be created.
• Note that you must make explicit assumptions for the symbolic names in an object (for example, real, positive, ...) when you want to apply a test (for example, IsOnLine) to an object. In this case, the power of this package is dependent on the power of the Maple assume  command.
• For commands where output is a Boolean value ( true , false , FAIL ), the calling sequence is of the form command_call(..., cond); , where cond  is a an optional name. If the output is FAIL , and this optional argument is given, then the condition that makes the output be true  is assigned to cond . cond  might be a Maple expression (use assume(cond); ), or of the form cond = &or(expr_1,..., expr_n)  or cond = &and(expr_1,..., expr_n)  (use assume(op(i, cond));  for the former case where i  is from 1 to n ; and assume(op(cond));  for the latter case.

More examples can be found in examples,geometry .

examples,geometry , geometry[draw] , geometry[objects] , geometry[transformation] , UsingPackages