next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
RationalPoints :: rationalPoints

rationalPoints -- Compute all of the rational points of an affine variety

Synopsis

Description

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.

Ways to use rationalPoints :