digital topology, knots, equivalence, isotopy