exploring computational geometry of folding