1.2.6 `restriction'
-------------------

    restriction(A,LIST)
          ::
          特定の点を通る随伴曲線の定義多項式を計算したいときに用いる。

    RETURN
          線形のパラメーターを含むx,y,zの斉次多項式

    A
          `adjoint1,adjoint2'から返される形と同様の、線形パラメーター
          つきの変数x,y,zの斉次多項式

    LIST
          点`[x,y,z]'からなるリスト

        * `adjoint1,adjoint2'から返される線形パラメーター付の
          斉次多項式が、LISTに含まれる各点を零点にもつためには、
          線形パラメーターの間にいくつかの（Q上の）一次関係式が成り立て
          ばよい。この条件を加味して、新たな線形パラメーター付の斉次
          多項式を作る。

        * LISTに含まれる点は、`intersect'や`sing'
          から返される点を使うことを想定している。


    参照
          *Note adjoint2: adjoint1.

