Skip to content

Commit

Permalink
Fixed typo, adapted description of ramification methods
Browse files Browse the repository at this point in the history
  • Loading branch information
S17A05 committed Jan 27, 2024
1 parent 97f1257 commit fcfc030
Showing 1 changed file with 7 additions and 6 deletions.
13 changes: 7 additions & 6 deletions src/sage/algebras/quatalg/quaternion_algebra.py
Original file line number Diff line number Diff line change
Expand Up @@ -1116,10 +1116,11 @@ def ramified_places(self, inf=True):
OUTPUT:
The non-Archimedean (AKA finite) places at which ``self`` ramifies (given as elements of ZZ if
``self`` is defined over the rational field QQ, respectively as fractional ideals of the number
field's ring of integers, otherwise) and, if ``inf`` is set to ``True``, also the Archimedean
(AKA infinite) places at which ``self`` ramifies (given by real embeddings of the base field).
The non-Archimedean (AKA finite) places at which ``self`` ramifies (given as elements of ZZ,
sorted small to large, if ``self`` is defined over the rational field QQ, respectively as
fractional ideals of the number field's ring of integers, otherwise) and, if ``inf`` is set
to ``True``, also the Archimedean (AKA infinite) places at which ``self`` ramifies (given
by real embeddings of the base field).
EXAMPLES::
Expand Down Expand Up @@ -1165,7 +1166,7 @@ def ramified_places(self, inf=True):
...
ValueError: base field must be rational numbers or a number field
"""
if not isinstace(inf, bool):
if not isinstance(inf, bool):
raise ValueError("inf must be a truth value")

F = self.base_ring()
Expand Down Expand Up @@ -1207,7 +1208,7 @@ def ramified_primes(self):
OUTPUT:
The list of finite primes at which ``self`` ramifies; given as integers, sorted
small-to-large, if ``self`` is defined over QQ, and as fractional ideals in the
small to large, if ``self`` is defined over QQ, and as fractional ideals in the
ring of integers of the base number field otherwise.
EXAMPLES::
Expand Down

0 comments on commit fcfc030

Please sign in to comment.