There are some missing checks from #30288 and #30274. They will be added here.
CC: @tscrim @egourgoulhon
Component: manifolds
Author: Michael Jung
Branch/Commit: 5f8472e
Reviewer: Matthias Koeppe
Issue created by migration from https://trac.sagemath.org/ticket/31255