If this option is set true and the computation of rParametrizePlaneCurve or parametrize leads to a conic (even degree case) and this conic has a rational point then this conic is also parametrized. So the final result will be a parametrization over \mathbb{P}^{1}. If the conic does not have a rational point a warning is displayed and the parametrization over the conic is returned.
|
|
|
|
|
If rParametrizeConic is changed such that it passes to a degree 2 field extension if the degree of C is even and the conic does not have a rational point, then the result will have entries in the homogeneous coordinate ring of \mathbb{P}^{1} over this extension.
The object parametrizeConic is a symbol.