version 0.03: removed dependency mathlib