added things in an attempt to get closer to proving vecRepWorks
Merge branch 'master' of github.com:zsparks/pi-dual