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 |
This symbol is provided by the package RationalPoints.
The object rationalPoints is a method function with options.