|
D.10.1.10 closed_points
Procedure from library brnoeth.lib (see brnoeth_lib).
- Usage:
- closed_points(I); I an ideal
- Return:
- list of prime ideals (each a Groebner basis), corresponding to
the (distinct affine closed) points of V(I)
- Note:
- The ideal must have dimension 0, the basering must have 2
variables, the ordering must be lp, and the base field must
be finite and prime.
It might be convenient to set the option(redSB) in advance.
Example:
See also:
triang_lib.
|