Skip to content

Commit

Permalink
Fix LaTeX inline equations in toric blowups docs
Browse files Browse the repository at this point in the history
  • Loading branch information
paemurru authored and HereAround committed Jan 10, 2025
1 parent 42a33a5 commit 43499a7
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 6 deletions.
13 changes: 8 additions & 5 deletions experimental/Schemes/src/ToricBlowups/methods.jl
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,8 @@ strict transform under $f$ of the closed subscheme of $X$ defined by the
homogeneous ideal $I$ in $R$.
This is implemented under the following assumptions:
* $X$ has no torus factors (meaning the rays span $N_{\mathbb{R}}$).
* the variety $X$ has no torus factors (meaning the rays span
$N_{\mathbb{R}}$).
# Examples
```jldoctest
Expand Down Expand Up @@ -60,8 +61,9 @@ of the closed subscheme of $X$ defined by the homogeneous ideal $I$ in
$R$.
This is implemented under the following assumptions:
* $X$ has no torus factors (meaning the rays span $N_{\mathbb{R}}$), and
* $X$ is an orbifold (meaning its fan is simplicial).
* the variety $X$ has no torus factors (meaning the rays span
$N_{\mathbb{R}}$), and
* the variety $X$ is an orbifold (meaning its fan is simplicial).
# Examples
```jldoctest
Expand Down Expand Up @@ -103,8 +105,9 @@ and where $k$ is the multiplicity of the total transform along the
exceptional prime divisor.
This is implemented under the following assumptions:
* $X$ has no torus factors (meaning the rays span $N_{\mathbb{R}}$), and
* $X$ is smooth.
* the variety $X$ has no torus factors (meaning the rays span
$N_{\mathbb{R}}$), and
* the variety $X$ is smooth.
!!! note
If the multiplicity $k$ is not needed, we recommend to use
Expand Down
2 changes: 1 addition & 1 deletion src/PolyhedralGeometry/PolyhedralFan/properties.jl
Original file line number Diff line number Diff line change
Expand Up @@ -378,7 +378,7 @@ Given an point $v$ inside the support of the pointed polyhedral fan $PF$
where $u_1, \ldots u_n$ are the minimal generators of the rays of $PF$,
return a vector $(p_1, \ldots, p_n)$ of nonnegative rational numbers
such that both of the following hold:
* $p_1 u_1 + \ldots + p_n u_n = v$, and
* the vector $v$ is equal to $p_1 u_1 + \ldots + p_n u_n$, and
* if $u_i$ is not in minimal supercone containing $v$, then $p_i = 0$.
If $PF$ is simplicial, then $(p_1, \ldots, p_n)$ is unique.
Expand Down

0 comments on commit 43499a7

Please sign in to comment.