Function Repository Resource:

# GeometricAssertionForm

Print a human-readable form of a hypothesis in an abstract 2D geometric scene

Contributed by: Ian Ford (Wolfram Research)
 ResourceFunction["GeometricAssertionForm"][hyp] formats as a human-readable form of the abstract 2D geometric hypothesis hyp expressed in terms of symbolic points and scalar quantities. ResourceFunction["GeometricAssertionForm"][hyp,params] specifies the lists of points and quantities params.

## Details

In ResourceFunction["GeometricAssertionForm"][hyp,], the points and scalar quantities can be strings, symbols or other symbolic expressions.
The hyp can be any GeometricAssertion object or any other hypothesis supported by GeometricScene.

## Examples

### Basic Examples (1)

Print a human-readable form of an abstract 2D geometric hypothesis:

 In[1]:=
 Out[1]=

### Scope (4)

Use any objects supported by GeometricScene:

 In[2]:=
 Out[2]=

Use any constructions supported by GeometricScene:

 In[3]:=
 Out[3]=

Use any measurements supported by GeometricScene:

 In[4]:=
 Out[4]=

Use any predicates or relations supported by GeometricAssertion:

 In[5]:=
 Out[5]=

### Properties and Relations (3)

GeometricAssertionForm supports Row objects:

 In[6]:=
 Out[6]=

GeometricAssertionForm supports relational operators and heads with the NumericFunction attribute:

 In[7]:=
 Out[7]=

GeometricAssertionForm uses special formatting for equations and certain logical operators:

 In[8]:=
 Out[8]=
 In[9]:=
 Out[9]=

### Possible Issues (2)

GeometricAssertionForm[hyp] assumes parameters are quantities in some cases of ambiguity:

 In[10]:=
 Out[10]=

GeometricAssertionForm[hyp,{{p1,p2,},{k1,k2,}}] assumes the parameters pi are points and the parameters ki are quantities:

 In[11]:=
 Out[11]=

## Version History

• 1.0.0 – 25 May 2023

## Author Notes

GeometricAssertionForm works transparently with the heads Unequal, Less, LessEqual, Greater, GreaterEqual, BracketingBar, Perpendicular, Tilde, and TildeFullEqual.

GeometricAssertionFrom has limited support for Infix and Overscript objects.