better AlgebraField
fixed quaternion fields
added inversion and negation