Add Mathematica notebook to check the dual bases of the appendices