x_o := EquationOrder(X^2 + 5); x_b := Ideal(x_o,Matrix(Z,2,2,[1,1,0,2]))^5; x_q := Quotient(x_o,x_b); Modulus(x_q);