Ask SageMath
xxxharsh