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 から返される点を使うことを想定している。

参照

@xref{adjoint1,adjoint2}

Go to the first, previous, next, last section, table of contents.