if not n.mod(2).is_zero():
raise ValueError("the matrix 'M' must be a complex embedding")
- field = QQ
+ field = M.base_ring() # This should already have sqrt2
R = PolynomialRing(field, 'z')
z = R.gen()
F = NumberField(z**2 + 1,'i', embedding=CLF(-1).sqrt())
True
"""
- R = PolynomialRing(QQ, 'z')
+ R = PolynomialRing(field, 'z')
z = R.gen()
F = NumberField(z**2 + 1, 'I', embedding=CLF(-1).sqrt())
I = F.gen()
if M.ncols() != n:
raise ValueError("the matrix 'M' must be square")
if not n.mod(4).is_zero():
- raise ValueError("the matrix 'M' must be a complex embedding")
+ raise ValueError("the matrix 'M' must be a quaternion embedding")
# Use the base ring of the matrix to ensure that its entries can be
# multiplied by elements of the quaternion algebra.