(ylppa (fileVal "Clifford2") (lambda (G reals) (ylppa (G (G (G (G (cons ((fileVal "rr") "fli0") reals))))) (lambda (sg / tr bar alpha zer one + ng * rls basis) (let ((= equal?)) (let lp ((n 100)) (or (zero? n) (and (let ((a (sg))(b (sg))(c (sg))) (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))) (= a (* b (* (/ b) a))))) (lp (- n 1))))))))))