\text{addcomm=No. Addition is not commutative}
\text{nozero=No. Element 0 does not exist}
\text{addasso=No. Addition is not associative}
\text{adddef=No. Addition is not well defined}
\text{addneg=No. Certain elements do not have negatives}
\text{multdef=No. Multiplication by scalar is not well defined}
\text{multasso=No. Multiplication by scalar is not associative}
\text{multone=No. Multiply by 1 changes the vector}
\text{distrib=No. Distributivity is not verified}
\text{yes=Yes. It is really a vector space}
\text{choices=\yes,\addcomm,\addasso,\nozero,\adddef,\addneg,\multdef,\multasso,\multone,\distrib}
