VasCalc Documentation - An example

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

The Reidemeister 3 Move

We want to use VasCalc to verify the third Reidemeister move. This is meant as a small example of how to use the VasCalc package.

The first couple of steps are to load up VasCalc.

In[1]:=

<<CDinterface.m

In[2]:=

SetVasCalcPath["/home/zavosh/vc"];