Equal length of segments

Load Eos

In[]:=

<<EosLoader`

Eos3.7.1.1 (March 21,2023) running under Mathematica 13.2.0 for Mac OS X ARM (64-bit) (November 18, 2022) on Mon 27 Mar 2023 18:05:53.

In[]:=

EosSession["Equal test"];

In[]:=

NewOrigami[]

Equal test: Step 1

Out[]=

In[]:=

HO["A","D"]

Equal test: Step 2

Out[]=

In[]:=

Unfold[]

Equal test: Step 3

Out[]=

In[]:=

Prove["Equal Test",GoalSquaredDistance["D","E"]==SquaredDistance["F","B"]]

Proof is successful.

Equal test: Step 3

Out[]=

{Success,0.001722,

}

In[]:=

EndSession[];