-- -*- M2-comint -*- {* hash: -1120293866 *}

i1 : R = ZZ/5[x_1..x_4];

i2 : I = ideal(x_2^2+x_1*x_2+1, x_1*x_2*x_3*x_4+1);

o2 : Ideal of R

i3 : p = rationalPoints I

o3 = {{-2, 1, 1, 3}, {2, 4, 1, 3}, {-2, 1, 3, 1}, {2, 4, 3, 1}, {-2, 1, 2,
     ------------------------------------------------------------------------
     4}, {2, 4, 2, 4}, {-2, 1, 4, 2}, {2, 4, 4, 2}}

o3 : List

i4 :