x_F3:=FiniteField(3); x_F3X:=PolynomialAlgebra(x_F3); x_F3XY:=PolynomialAlgebra(x_F3X);x_f:=x_F3XY.1^2+1; x_F:=FunctionField(x_f);x_O:=MaximalOrderFinite(x_F); x_I1:=Element(x_O,[3,1])*x_O;x_I2:=Element(x_O,[0,1])*x_O; GCD(x_I1,x_I2);