Oscar.jl icon indicating copy to clipboard operation
Oscar.jl copied to clipboard

Published 20 hours ago • verified publisher icon oscar-system

Ideal sheaves

Open HechtiDerLachs opened this issue 2 years ago • 1 comments

This is the smaller brother of https://github.com/oscar-system/Oscar.jl/pull/1585 as requested by @simonbrandhorst : Only ideal sheaves for the time being.

I will add some more tests eventually, when the code coverage is revealed. In the meantime, comments are welcome.

Edit: For internal reasons, I merged the fix https://github.com/oscar-system/Oscar.jl/pull/1586 already. I just see now how this is messing up the files. Essentially, this PR is really only about IdealSheaves.jl. Let me know if you have problems maintaining the overview, then I can try do to it again, once https://github.com/oscar-system/Oscar.jl/pull/1586 is merged.

HechtiDerLachs avatar Oct 04 '22 15:10 HechtiDerLachs

Tests fail.

simonbrandhorst avatar Oct 05 '22 08:10 simonbrandhorst