p = z**2 - 2
if p.is_irreducible():
field = NumberField(p, 'sqrt2', embedding=RLF(2).sqrt())
- S = [ s.change_ring(field) for s in S ]
+ S = [ s.change_ring(field) for s in S ]
self._basis_normalizers = tuple(
~(self.__class__.natural_inner_product(s,s).sqrt())
for s in S )
p = z**2 - 2
if p.is_irreducible():
field = NumberField(p, 'sqrt2', embedding=RLF(2).sqrt())
- S = [ s.change_ring(field) for s in S ]
+ S = [ s.change_ring(field) for s in S ]
self._basis_normalizers = tuple(
~(self.__class__.natural_inner_product(s,s).sqrt())
for s in S )