Support for computing automorphism groups of Enriques surfaces

[simonbrandhorst]

First version for the computation of automorphism groups of Enriques surfaces

[codecov]

Codecov Report

Attention: Patch coverage is 85.91224% with 61 lines in your changes missing coverage. Please review.

Project coverage is 84.42%. Comparing base (a6b2c73) to head (a8562a6).
Report is 78 commits behind head on master.

Files with missing lines	Patch %	Lines
src/AlgebraicGeometry/Surfaces/EnriquesAut.jl	85.74%	61 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff            @@
##           master    #4540    +/-   ##
========================================
  Coverage   84.42%   84.42%            
========================================
  Files         672      673     +1     
  Lines       89193    89624   +431     
========================================
+ Hits        75304    75668   +364     
- Misses      13889    13956    +67     

Files with missing lines	Coverage Δ
src/AlgebraicGeometry/Surfaces/K3Auto.jl	93.31% <100.00%> (+<0.01%)	⬆️
src/Groups/matrices/form_group.jl	97.56% <ø> (ø)
src/Groups/spinor_norms.jl	82.91% <100.00%> (ø)
src/Oscar.jl	65.33% <100.00%> (+0.94%)	⬆️
src/AlgebraicGeometry/Surfaces/EnriquesAut.jl	85.74% <85.74%> (ø)

... and 2 files with indirect coverage changes

[HechtiDerLachs]

Can't say much about the mathematics, but it looks rather fine.

I left some comments. Since there is a paper related to this: Is there maybe some example from the paper one could explicitly reproduce in the tests? Just to make the ties to the actual mathematics easier to get for the reader of the code.

[simonbrandhorst]

O.K. I will add a database of Enriques surfaces ... but in another pull request.

[lgoettgens]

some random comments. I have no knowledge at all about the mathematics involved, these are just some minor style things and performance improvements.

[simonbrandhorst]

I think I have addressed all comments. Please merge. And thanks for all the feedback!