Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Fix documentation build issues
Browse files Browse the repository at this point in the history
when building PDF manuals. I am not sure why I need to protect ≤ in a math
environment but I checked that this looks good in the PDF output like that.
  • Loading branch information
saraedum committed Jan 14, 2018
1 parent 6892bdd commit e781742
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
6 changes: 3 additions & 3 deletions src/doc/en/reference/valuations/index.rst
Original file line number Diff line number Diff line change
Expand Up @@ -81,9 +81,9 @@ Internally, all the above is backed by the algorithms described in
``K.valuation(x - 4)`` to the field `L` above to outline how this works
internally.

First, the valuation on `K` is induced by a valuation on `\Q[x]`. To construct
this valuation, we start from the trivial valuation on `\Q` and consider its
induced Gauss valuation on `\Q[x]`, i.e., the valuation that assigns to a
First, the valuation on `K` is induced by a valuation on `\QQ[x]`. To construct
this valuation, we start from the trivial valuation on `\\Q` and consider its
induced Gauss valuation on `\\Q[x]`, i.e., the valuation that assigns to a
polynomial the minimum of the coefficient valuations::

sage: R.<x> = QQ[]
Expand Down
2 changes: 1 addition & 1 deletion src/sage/rings/valuation/valuation.py
Original file line number Diff line number Diff line change
Expand Up @@ -1052,7 +1052,7 @@ class MacLaneApproximantNode(object):
relevant, everything else are caches/debug info.) The boolean ``ef``
denotes whether ``v`` already has the final ramification index E and
residue degree F of this approximant. An edge V -- P represents the
relation ``P.vV.v`` (pointwise on the polynomial ring K[x]) between the
relation ``P.v`` `≤` ``V.v`` (pointwise on the polynomial ring K[x]) between the
valuations.
TESTS::
Expand Down

0 comments on commit e781742

Please sign in to comment.