[FTheoryTools] More on Chern classes and topological invariants

[HereAround]

cc @apturner @emikelsons

[codecov]

Codecov Report

Attention: Patch coverage is 95.16129% with 3 lines in your changes missing coverage. Please review.

Project coverage is 84.63%. Comparing base (5edd2b0) to head (da292a7).
Report is 4 commits behind head on master.

Files with missing lines	Patch %	Lines
...heoryTools/src/AbstractFTheoryModels/attributes.jl	94.28%	2 Missing ⚠️
...heoryTools/src/AbstractFTheoryModels/properties.jl	95.65%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #3979      +/-   ##
==========================================
+ Coverage   84.62%   84.63%   +0.01%     
==========================================
  Files         600      600              
  Lines       82590    82609      +19     
==========================================
+ Hits        69894    69920      +26     
+ Misses      12696    12689       -7     

Files with missing lines	Coverage Δ
...perimental/FTheoryTools/src/G4Fluxes/properties.jl	100.00% <100.00%> (+9.52%)	⬆️
...rimental/FTheoryTools/src/TateModels/attributes.jl	86.58% <100.00%> (+0.16%)	⬆️
...l/FTheoryTools/src/WeierstrassModels/attributes.jl	86.53% <100.00%> (+0.26%)	⬆️
...heoryTools/src/AbstractFTheoryModels/properties.jl	98.33% <95.65%> (-1.67%)	⬇️
...heoryTools/src/AbstractFTheoryModels/attributes.jl	97.99% <94.28%> (+1.60%)	⬆️

... and 1 file with indirect coverage changes

[lgoettgens]

See #3985 for the reason of the proposed changes

[HereAround]

Thank you @lgoettgens for pointing this out. Since I care about the history of this PR (do not want the changes squashed), I will rebase and add the suggested change.

UPDATE: Just fixed, and rebase to the master branch.

[HereAround]

I have refactored and worked-over this PR. In particular, this requires the Chern classes of (the tangent bundle of) toric varieties, which begs for a separate PR. This separate PR is open here #3996 and should be discussed/merged first. For my convenience, I have included the current state of this other PR here.

[emikelsons]

Looks good and most of the tests pass. At this point this has already been tested quite extensively as well.