Available versions of Eos

Dear Members,
I cleaned up this site including the pages of the Eos software on December 19, to synchronize the release of Eos3.7. We also started to use the online version of Mathematica.
We recommend Eos 3,7. For compatibility reasons, we keep Wos3.3 and Eos 3.3.2 since my Springer book makes use of examples that are runnable with Eos3 versions.
Best Regards,

バーチャル 折紙 

この草稿は2022年12月6日に行われた”WolframバーチャルコンファレンスJapan 2022″での講演の為に準備されたものです.スライドの開設としてお読みください

筑波大学名誉教授の井田哲雄です.今日はVirtual Origamiというタイトルで発表します.
10分間という短い時間ですので,私たちの開発しているE origami system 略してEos,の機能のいくつかを紹介します.

今回,Virtual origamiという用語を用いました.折紙をシミュレートするのではなく,数学のベースをもつ折紙のモデルを考え,その上で,新たな機能を実現するという私たちのアプローチをこの言葉に込めました.

Improvements of “Eos3.7” over “Eos3.6” .

  1. We have made numerous changes in the visualization package to visualize origami artworks that use classical folds.
  2. Functions SquashFold, InsideReverseFold, OutsideReverseFold, RabbitEarFold, SwivelFold, InsideCrimpPleatFold, and OutsideCrimpPleatFold in ClassicalFold have a mode to display the result of each fold performed in during the executions of each function. Each displayed origami is more refined. Parameter specifications are changed in those functions. Check classical-fold-example.nb for details.

Eos3.6 on Mathematica 13.1: problems and tentative solution

So far, our test showed  the following incompatibility wi 13.0:

  1. FoldLine specification may have to change since the solution order may be changed.
  2. During the writing of ProofDoc, Mathematica system 13.1 may clash.

In the case of 1, change  FoldLine in the HO  to the appropriate case number.

In the case of 2,  the best solution is to split the goal into smaller ones and try each with Prove command.