Schemes Meta Issue

[simonbrandhorst]

This is a todo list for the schemes part of OSCAR

• [x] implement defining_ideal(::AbsSpec). In case of a closed subscheme of AA^n it should return an ideal in the corresponding polynomial ring, in case of a closed subscheme of some open subscheme U of AA^n it should return an ideal in OO(U) https://github.com/oscar-system/Oscar.jl/pull/3205
• [x] rename Spec to AffineScheme https://github.com/oscar-system/Oscar.jl/issues/3345
• [x] change one line printing of closed subschemes of AA^n from V(...) to scheme(...)
• [x] rename issubset for (affine & projective) schemes to is_subscheme and implement issubset
• [ ] migrate ideal sheaves and divisors to src
• [ ] implement weighted projective space including is_quasi_smooth @jankoboehm @HechtiDerLachs @afkafkafk13 @paemurru
• [x] implement normalisation for affine schemes
• [x] implement normalisation for covered schemes
• [ ] desungularisation for (covered) surfaces via blowup and normalisation
• [ ] check if the singular code for invert_birational_map works more generally and adapt it. Remove the duplicate for plane curves.

[HechtiDerLachs]

Let me try to do the defining_ideal thing today.