Bijectivity verification of 2D digitized rigid motions of finite sets – Forward algorithm

Description: Wolfram Language implementation of Forward algorithm introduced in DGCI16.

License: BSDv3 (or/and Coffeeware)