Hasse-Schmidt derivatives 2.0

[KilianBruns]

This is a new version of the abbandoned pull request #3912
Most comments of the last pull request have been considered.

Added

• Hasse-Schmidt derivatives for polynomials

(Implemented at the request of @afkafkafk13)

Closes #3912 .

[lgoettgens]

some comments about the bibliography. I am not familiar with the mathematics and will leave that for Anne to comment on.

[codecov]

Codecov Report

Attention: Patch coverage is 64.70588% with 6 lines in your changes missing coverage. Please review.

Project coverage is 84.52%. Comparing base (aea00d0) to head (6c93d74).
Report is 38 commits behind head on master.

Files with missing lines	Patch %	Lines
experimental/HasseSchmidt/src/HasseSchmidt.jl	64.70%	6 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #4272      +/-   ##
==========================================
+ Coverage   84.48%   84.52%   +0.04%     
==========================================
  Files         641      646       +5     
  Lines       85427    85606     +179     
==========================================
+ Hits        72170    72359     +189     
+ Misses      13257    13247      -10     

Files with missing lines	Coverage Δ
experimental/HasseSchmidt/src/HasseSchmidt.jl	64.70% <64.70%> (ø)

... and 54 files with indirect coverage changes

[afkafkafk13]

Algorithm and documentation look good now.
Did you already run bibtool to make changes such that everything complies to the Oscar-bibliography rules?

[fingolfin]

@KilianBruns I don't understand, why is #3912 "abandoned", aren't you the author as well??

But if you really want a new branch and PR, please close the old one.

[joschmitt]

@KilianBruns I just cleaned up the bibliography using bibtool and added some information from mathscinet. You seem to have added a paper by Hazewinkel both in the arxiv and the published version, I assume we can remove the arxiv one? Also, you added a paper by Hasse which you don't reference from anywhere. Or did I miss this?

[afkafkafk13]

This is good to go, as soon as the two remaining points (deleting a reference and two lines) have been treated.

@KilianBruns Thank you for doing this PR
@joschmitt Thank you for cleaning up the bibliography

[KilianBruns]

Thank you all for your help!