No matches were found for subject:"\[sage\-devel\] Difficulty with Galois group"