Computes a rational parametrization of a conic or returns the 0-matrix if the conic does not have a rational point.
-- -*- M2-comint -*- {* hash: 1883920410 *} |
i1 : K=QQ; |
i2 : R=K[y_0..y_2]; |
i3 : I=ideal(y_0*y_2-y_1^2+y_2^2); o3 : Ideal of R |
If the conic does not have a rational point the field extension of degree 2 should be implemented.
The object rParametrizeConic is a method function.