ports/math/hoc
