Schemes Meta Issue

[simonbrandhorst]

This is a todo list for the schemes part of OSCAR

• 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) Remove ambient closure ideal #3205
• rename Spec to AffineScheme Rename Spec to AffineScheme #3345
• change one line printing of closed subschemes of AA^n from V(...) to scheme(...)
• 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
• implement normalisation for affine schemes
• 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.