; Explore what values leave V invariant. (Clifford Group) (ylppa ((fileVal "IndCliff") (list - - - -) = ((fileVal "rr") "Ss")) (lambda (C+ C- C* C0 C1 C/ C= Cr Ca bar tr rp sm Q basis Creal? V? Rr Vr V2C) (let ((turn (lambda (trn x) (C* (C* trn x) (Ca (C/ trn))))) (L (lambda l (write l) (display "\n"))) (do (fileVal "Do"))) (let ((det (caddr (cdddr ((fileVal "Matrix") '() 0 zero? 1 + - * /)))) (Do (do 'DoL)) (Om (lambda (e) (map (lambda (i) (V? (turn e i))) basis)))) (L (Do 6 (λ (_) (det (Om (Rr))))) (Do 8 (λ (_) (det (Om (Vr))))) (Do 6 (λ (_) (det (Om (C* (Vr) (Vr)))))))) ((do 'Do) 1000 (λ (_) (let* ((x (Vr)) (y (C+ C1 (C* (Vr) (Vr)))) (z (turn y x))) (if (not (V? z)) (L x y z)))))))) ; Bad (C+ C1 (car basis)); (C+ (C* (Vr) (Vr)) (Vr)); (C+ (C* (Vr) (Vr)) (C* (Vr) (Vr))) ; Good C1; (sm 2 C1); (Vr); (C* (Vr) (Vr)); (C+ (Vr) (Vr)); (C* (Vr) (C* (Vr) (Vr))) ; (C+ C1 (C* (car basis) (cadr basis))); (C+ C1 (C* (Vr) (Vr)))