corrections

experimental/IntersectionTheory/docs/src/AbstractVarieties.md

@@ -32,10 +32,6 @@ abstract_grassmannian(k::Int, n::Int; bott::Bool = false, weights = :int, base::
 abstract_flag_variety(dims::Int...; bott::Bool = false)
 ```
 
-For examples of constructors starting from already given abstract varieties, vector bundles, or homomorphisms
-between vector bundles see  [`product`](@ref), [`complete_intersection`](@ref), [`abstract_projective_bundle`](@ref), 
-[`section_zero_locus`](@ref), and [`degeneracy_locus`](@ref).
-
 ## Underlying Data of an Abstract Variety
 
 An abstract variety is made up from (a selection of) the data discussed here:

experimental/IntersectionTheory/src/Main.jl

@@ -1478,9 +1478,7 @@ AbstractVariety of dim 4
 julia> chow_ring(G)
 Quotient
   of multivariate polynomial ring in 2 variables over QQ graded by
-    c₁ -> [1]
-    c₂ -> [2]
-  by ideal (-c₁^3 + 2*c₁*c₂, c₁^4 - 3*c₁^2*c₂ + c₂^2)    c[1] -> [1]
+    c[1] -> [1]
     c[2] -> [2]
   by ideal (-c[1]^3 + 2*c[1]*c[2], c[1]^4 - 3*c[1]^2*c[2] + c[2]^2)