ECMAScript modules for exactly manipulating set algebra of polytopes on the basis of @kkitahara/linear-algebra.