up previous next
RationalSolveHomog    --    Rational solutions for 0-dim polynomial system


Syntax 
RationalSolveHomog(L: LIST of RINGELEM): RECORD

Description
This function computes all rational solutions (aka. projective points) of a 1-dimensional homogeneous polynomial system L. See also RationalSolve for solving 0-dimensional systems.

Result is a record saying which indeterminates are "active", and list of the solution points.

Example 
/**/  use QQ[x,y,z];
/**/  L := [x^3-y^2*x, x-2*z];
/**/  RationalSolveHomog(L);
record[ProjectivePts := [[0, 1, 0],  [1, -1, 1/2],  [1, 1, 1/2]],  indets := [x, y, z]]

See Also