1 | initial version |
You can define Q
over polynomial ring in a
and b
:
R.<a,b> = PolynomialRing(ZZ)
Q = QuadraticForm(R,2,[1,1,1])
Cl.<x,y> = CliffordAlgebra(Q)