1.2.4 `parametrize'
-------------------

parametrize(F)
     :: 有理曲線F=0 をパラメトライズする多項式の組を返す。

RETURN
     リスト

F
     有理曲線の定義多項式（変数x,y,z の斉次多項式）

   * 有理曲線F=0（種数が0の曲線）は、変数t の多項式P(t),Q(t),R(t)
     およびx,y,zの斉次多項式S(x,y,z),T(x,y,z)を用いて(x:y:z)=(P(t):Q(t):R(t)),
     t=T(x,y,z)/S(x,y,z) とパラメーター表示される。`parametrize'(F)
     はこれらの多項式からなるリスト`[P(t),Q(t),R(t),T(x,y,z)/S(x,y,z)]'
     を返す（GCD(`P(t)',`Q(t)',`R(t)')=1
     である）。一般にはP(t),Q(t),R(t)
     は係数に有理数の平方根を含む多項式となるが、有理数係数の多項式で曲線をパラメトライズできる場合は、常に有理数係数の多項式の組を返す（例えば曲線の次数が奇数の場合）。

   * F はで既約かどうかを判定する。

    RETURN
          文字列

    F
          変数x,y,z の二次の斉次多項式

        * 三元二次形式Fが
          で既約ならば`irreducible'を、可約ならば`reducible' を返す。

          [1] irr_conic(x^2+y^2+z^2-x*y-y*z-z*x);
          reducible
          [2] fctr(x^2+y^2+z^2-x*y-y*z-z*x);
          [[1,1],[x^2+(-y-z)*x+y^2-z*y+z^2,1]]

