Abstract bundles and more (#3917)

experimental/IntersectionTheory/docs/src/AbstractBundles.md

@@ -4,6 +4,82 @@ CurrentModule = Oscar
 
 # Abstract Bundles
 
+## Constructors
+
 ```@docs
 abstract_bundle(X::AbstractVariety, ch::Union{MPolyDecRingElem, MPolyQuoRingElem})
 ```
+
+## Underlying Data of an Abstract Bundle
+
+```@docs
+parent(F::AbstractBundle)
+```
+
+```@docs
+rank(F::AbstractBundle)
+```
+
+```@docs
+chern_character(F::AbstractBundle)
+```
+
+```@docs
+total_chern_class(F::AbstractBundle)
+```
+
+## Further Data Associated to an Abstract Bundle
+
+```@docs
+chern_class(F::AbstractBundle, k::Int)
+```
+
+```@docs
+top_chern_class(F::AbstractBundle)
+```
+
+```@docs
+segre_class(F::AbstractBundle)
+```
+
+```@docs
+segre_class(F::AbstractBundle, k::Int)
+```
+
+```@docs
+ todd_class(F::AbstractBundle)
+```
+
+```@docs
+total_pontryagin_class(F::AbstractBundle)
+```
+
+```@docs
+pontryagin_class(F::AbstractBundle, k::Int)
+```
+
+```@docs
+euler_characteristic(F::AbstractBundle)
+```
+
+## Operations on Abstract Bundles
+
+```@docs
+-(F::AbstractBundle)
+```
+
+```@docs
+dual(F::AbstractBundle)
+```
+
+```@docs
+det(F::AbstractBundle)
+```
+
+```@docs
+exterior_power(F::AbstractBundle, k::Int)
+```
+
+```@docs
+symmetric_power(F::AbstractBundle, k::Int)
+```

experimental/IntersectionTheory/docs/src/AbstractVarieties.md

@@ -32,6 +32,8 @@ abstract_grassmannian(k::Int, n::Int; bott::Bool = false, weights = :int, base::
 abstract_flag_variety(dims::Int...; base::Ring = QQ, symbol::String = "c")
 ```
 
+## New Varieties From Given Varieties/Bundles
+
 ```@docs
 complete_intersection(X::AbstractVariety, degs::Int...)
 ```
@@ -41,11 +43,15 @@ zero_locus_section(F::AbstractBundle; class::Bool = false)
 ```
 
 ```@docs
-abstract_projective_bundle(F::AbstractBundle; symbol::String = "h")
+degeneracy_locus(k::Int, F::AbstractBundle, G::AbstractBundle; class::Bool=false)
 ```
 
+```@docs
+abstract_projective_bundle(F::AbstractBundle; symbol::String = "h")
+```
 
-
+!!! note
+    Products and blowups are described elsewhere.
 
 ## Underlying Data of an Abstract Variety
 
@@ -67,10 +73,6 @@ base(X::AbstractVariety)
 point_class(X::AbstractVariety)
 ```
 
-```@docs
-trivial_line_bundle(X::AbstractVariety)
-```
-
 ```@docs
 tangent_bundle(X::AbstractVariety)
 ```
@@ -83,16 +85,21 @@ tautological_bundles(X::AbstractVariety)
 structure_map(X::AbstractVariety)
 ```
 
-## Further Data Associated to Abstract Varieties
+## Further Data Associated to an Abstract Variety
+
 
 ```@docs
-cotangent_bundle(X::AbstractVariety)
+trivial_line_bundle(X::AbstractVariety)
 ```
 
 ```@docs
 line_bundle(X::AbstractVariety, n::RingElement)
 ```
 
+```@docs
+cotangent_bundle(X::AbstractVariety)
+```
+
 ```@docs
 canonical_class(X::AbstractVariety)
 ```
@@ -105,11 +112,14 @@ canonical_bundle(X::AbstractVariety)
 degree(X::AbstractVariety)
 ```
 
-If `X` is of type `AbstractVariety` or `TnVariety`, entering `total_chern_class(X)` returns the total Chern class of the tangent bundle of `X`.
-Similarly for entering `euler(X)`, `chern_class(X, k)`,  `todd_class(X)`, `total_pontryagin_class(X)`, `pontryagin_class(X, k)`
+!!! note
+    If `X` is of type `AbstractVariety`, entering `total_chern_class(X)` returns the total Chern class of the tangent bundle of `X`. Similarly for entering `euler(X)`, `chern_class(X, k)`,  `todd_class(X)`, `total_pontryagin_class(X)`, `pontryagin_class(X, k)`
 
 ## Operations on Abstract Varieties
 
 ```@docs
 product(X::AbstractVariety, Y::AbstractVariety)
 ```
+
+!!! note
+    Blowups are described in their own section.