Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from http://reference.wolfram.com/language/ref/GeometricTest.html below:

GeometricTest—Wolfram Language Documentation

We deliver solutions for the AI era—combining symbolic computation, data-driven insights and deep technology expertise.

• Data & Computational Intelligence
• Model-Based Design
• Algorithm Development
• Wolfram|Alpha for Business
• Blockchain Technology
• Education Technology
• Quantum Computation

WolframConsulting.com

• See Also
  • GeometricAssertion
  • GeometricScene
  • GeometricSolveValues
  • GeometricStep
  • RandomInstance
  • FindGeometricConjectures
  • RegionMember
  • Equal
  • Element
  • ConvexPolygonQ
  • SimplePolygonQ
• Related Guides
  • Plane Geometry
  • Synthetic Geometry
• Tech Notes
  • Synthetic Geometry

GeometricTest[obj,prop]

tests whether the geometric object obj satisfies prop.

GeometricTest[{obj₁,obj₂,…},prop]

tests whether the obj_i satisfy prop.

GeometricTest[objs,prop₁,prop₂,…]

tests whether objs satisfy each of the prop_i.

• When possible, GeometricTest gives conditions for objects containing variables to satisfy the given property.
• GeometricTest attempts to evaluate a condition to True or False, whereas GeometricAssertion is an inert representation of the condition. »
• The prop_i can either be predicates that apply to individual geometric objects or relations that hold between geometric objects.
• If prop is a predicate, then GeometricTest[{obj₁,obj₂,…},prop] is equivalent to GeometricTest[obj₁,prop]&&GeometricTest[obj₂,prop]&&….
• GeometricTest[objs,prop₁,prop₂,…] is equivalent to GeometricTest[objs,prop₁]&&GeometricTest[objs,prop₂]&&….
• The following predicates for polygons can be used:
• "Clockwise" the vertices are in clockwise order "Convex" the polygon is convex "Counterclockwise" the vertices are in counterclockwise order "Cyclic" the vertices lie on a circle "Equiangular" the interior angles are all equal "Equilateral" the side lengths are all equal "Parallelogram" the polygon is a parallelogram "Rectangle" the polygon is a rectangle "Regular" the polygon is regular "Simple" the polygon is simple
• The following predicates for lines can be used:
• "Horizontal" the line is horizontal "Vertical" the line is vertical "Leftward" the line is oriented to the left "Rightward" the line is oriented to the right "Upward" the line is oriented upward "Downward" the line is oriented downward
• The following predicates for geometric objects can be used:
• {"Inside",circle} the object is inside the circle {"Outside",circle} the object is outside the circle
• The following relations between points can be used:
• "Clockwise" the points are in clockwise order if successively joined "Collinear" the points lie on a line "Counterclockwise" the points are in counterclockwise order if successively joined "CyclicallyOrdered" the points are in either clockwise or counterclockwise order "Distinct" the points are distinct {"EqualAngles",pt} successive angles subtended at pt are equal
• The following relations between lines can be used:
• "Antiparallel" the lines are parallel but in opposite directions "Concurrent" the lines intersect at a common point {"Concurrent",pt} the lines intersect at the point pt "MatchingParallel" the lines are parallel and in the same direction "Nondegenerate" the lines lie on distinct infinite lines "Parallel" the lines are parallel (with any relative orientation) "Perpendicular" the lines are perpendicular
• The following relations between geometric objects can be used:
• "Congruent" the objects are congruent "PairwiseTangent" the objects are tangent to each other, in pairs {"SameSide",line} the objects are on the same side of the line "Similar" the objects are similar "Tangent" the objects are all tangent to each other at a common point {"Tangent",pt} the objects are all tangent at the point pt
• The following relation between two lists of geometric objects can be used:
• {"OppositeSides",line} the two lists of objects are on opposite sides of the line

Determine if three points are collinear:

Find conditions for three abstract points to be collinear:

Find conditions for a triangle to be equilateral:

Find conditions for two lines to be perpendicular:

Find conditions for a predicate to hold for a geometric object:

Find conditions for multiple predicates to hold for a single object:

Some predicates require a parameter, here Circle[{c,d},r]:

Find conditions for one predicate to hold for multiple objects:

Find conditions for a relation to hold between geometric objects:

Combine predicates and relations:

Find conditions for two lists of objects to lie on opposite sides of a line:

Specify one object on each side:

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4