Code to symbolically check vector space axioms for a given vector space class.