(ylppa (fileVal "Clifford1") (lambda (G reals) (ylppa (G (G (G (G (cons ((fileVal "rr") "fli0") reals))))) (lambda (sg tr bar alpha zer one + - * rls basis) (let ((a (sg))(b (sg))(c (sg))(= equal?)) (and (= (+ a b)(+ b a)) (= (+ a (+ b c)) (+ (+ a b) c)) (= (* a (* b c)) (* (* a b) c)) (equal? zer (* a zer)) (= (* a one) a) (= (* (+ a b) c) (+ (* a c) (* b c))) (= (* (tr a)(tr b))(tr (* b a))) (= (+ (tr a)(tr b))(tr (+ a b))) (= (* (alpha a)(alpha b))(alpha (* a b))) (= (+ (alpha a)(alpha b))(alpha (+ a b))) (= (* (bar a)(bar b))(bar (* b a))) (= (+ (bar a)(bar b))(bar (+ a b)))))))))