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); Type(x_q);