address new review by @fingolfin

oscar-system · Feb 3, 2025 · 8ddc947 · 8ddc947
1 parent 799cfdd
commit 8ddc947
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/experimental/IntersectionTheory/docs/src/AbstractVarieties.md b/experimental/IntersectionTheory/docs/src/AbstractVarieties.md
@@ -177,8 +177,6 @@ Given an element `x` of the Chow ring of an abstract variety `X`, say, return th
 
 ###### Examples
 
-Lines on a General Cubic Hypersurface in $\mathbb P^3$
-
 ```jldoctest
 julia> G = abstract_grassmannian(2, 4)
 AbstractVariety of dim 4
@@ -189,6 +187,8 @@ AbstractBundle of rank 2 on AbstractVariety of dim 4
 julia> E = symmetric_power(Q, 3)
 AbstractBundle of rank 4 on AbstractVariety of dim 4
 
+julia> # Lines on a general cubic hypersurface in P^3:
+
 julia> integral(top_chern_class(E))
 27
 
@@ -213,8 +213,6 @@ t^2
 
 ```
 
-Lines on a General Complete Intersection Calabi-Yau Threefold of Type (2,2,2,2)
-
 ```jldoctest
 julia> G = abstract_grassmannian(2, 4+4)
 AbstractVariety of dim 12
@@ -225,6 +223,8 @@ AbstractBundle of rank 2 on AbstractVariety of dim 12
 julia> E = symmetric_power(S, 2)
 AbstractBundle of rank 3 on AbstractVariety of dim 12
 
+julia> # Lines on a general complete intersection Calabi-Yau threefold of type (2,2,2,2):
+
 julia> integral(top_chern_class(E)^4)
 512
 

diff --git a/experimental/IntersectionTheory/src/Bott.jl b/experimental/IntersectionTheory/src/Bott.jl
@@ -85,7 +85,7 @@ end
 
 Return an abstract_variety with a torus action, represented by the fixed points.
 """
-tn_variety(n::Int, points::Vector{Pair{P, Int}}) where P = TnVariety(n::Int, points::Vector{Pair{P, Int}}) where P
+tn_variety(n::Int, points::Vector{Pair{P, Int}}) where P = TnVariety(n::Int, points::Vector{Pair{P, Int}})
 
 @doc raw"""
      dim(X::TnVariety)