symbolic algebra updated
2.88 updated
2.90 with coercion absent