Simple Pleat Folds
Simple Pleat Folds
Dan Ori
SimplePleatFold (1)
SimplePleatFold (1)
In[]:=
MarkOff[];
In[]:=
EosSession["Simple Pleat Fold"];
In[]:=
NewOrigami[10];
In[]:=
NewPoints[{"E"{0,7},"F"{8,2.5}}]
Simple Pleat Fold: Step 1
Out[]=
In[]:=
FO[-π]["EF"]
Simple Pleat Fold: Step 2
Out[]=
In[]:=
FO[-π]["BD"]
Simple Pleat Fold: Step 3
Out[]=
In[]:=
ShowLayers[Gap0.5,HingeTrue]
Simple Pleat Fold: Step 3
Out[]=
In[]:=
UnfoldAll[ShowFaceIdAll];
In[]:=
EndSession[];
SimplePleatFold (2)
SimplePleatFold (2)
This is one - line pleat fold using logical formulas .
In[]:=
EosSession["Simple Pleat Fold 2"];
In[]:=
NewOrigami[10];
In[]:=
NewPoints[{"E"{3,10}}]
Simple Pleat Fold 2: Step 1
Out[]=
In[]:=
HO(LineEqual[l,Segment[,]]∧LineEqual[m,"DB"]∧Point[10,y]==f∧ParallelQ[l,m]),Handle->{"C","C"},MarkAt->"F"
∃
m,l∈Lines,y∈Reals,f∈Points
m
"E"
m
f
Simple Pleat Fold 2: Step 3
Out[]=
,
,
In[]:=
ShowLayers[Gap0.5,HingeTrue]
Simple Pleat Fold 2: Step 3
Out[]=
In[]:=
UnfoldAll[ShowFaceIdAll];
In[]:=
EndSession[];
SimplePleatFold (3)
SimplePleatFold (3)
EosSession["Simple Pleat Fold 3"];
In[]:=
NewOrigami[10];
In[]:=
NewPoint[{"E"{0,6}}]
In[]:=
Oru["BD",-π]
In[]:=
Oru["EB",-π]
In[]:=
ShowLayers[Gap0.5,HingeTrue]
In[]:=
ShowOrigami[ShowFaceIdAll]
In[]:=
EndSession[];
Load Eos
Load Eos
EosNotations
EosNotations