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,{{p₁,p₂,…},{k₁,k₂,…}}] assumes the parameters p_i are points and the parameters k_i are quantities:

In[11]:=

Out[11]=