Origami Cicada has been uploaded.
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.
News: 2022 December: Eos3.7 has been released. We restore the rules of using this site and Eos software to those before April 15, 2022. Anyone can register now. Please read Supplement for Math 13 (new).
10分間という短い時間ですので，私たちの開発しているE origami system 略してEos，の機能のいくつかを紹介します．
- We have made numerous changes in the visualization package to visualize origami artworks that use classical folds.
- 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.
The following news was removed.
News: Email communication between this site and you have become more secure. We now use OAuth2. See this post.
So far, our test showed the following incompatibility wi 13.0:
- FoldLine specification may have to change since the solution order may be changed.
- 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.