updated LMod definition
master as of 6-Jul-2014
more reorganization tweaks
vector basis theorem
conference additions
finalize commits
master as of 8-Jul-2014
lagrange thm and euler-mascheroni constant
master as of 11-Jul-2014
lagrange four-square thm
master as of 19-Jul-2014