sage

e6036e83 - Merge remote-tracking branch 'upstream/develop' into is_QuotientRing_deprecation