btquotients: make local splitting optimal.#40212

Eloitor wants to merge 3 commits intosagemath:developsagemath/sage:developfrom

Eloitor:btquotient_splitting_fixEloitor/sagemath:btquotient_splitting_fixCopy head branch name to clipboard