This is an example of how to use VasCalc. We check the third Reidemeister move against an almost-invariant (not a technical term).
