Plucker 関係式
***********

plucker
-------

plucker_relation
----------------

plucker_relation(L,M)
     ::  Index 集合 L, M に対応する Plucker 関係式を戻す.

return
     quote

L
     リスト

M
     リスト

  * L には, Plucker 関係式のを, M には, Plucker 関係式のを与える.

     [297] A = plucker_relation([1,2],[3,4,5,6]);
     quote(y_1_2_3*y_4_5_6-y_1_2_4*y_3_5_6+y_1_2_5*y_3_4_6-y_1_2_6*y_3_4_5)
     [298] eval_str(print_terminal_form(A));
     y_4_5_6*y_1_2_3-y_3_5_6*y_1_2_4+y_3_4_6*y_1_2_5-y_3_4_5*y_1_2_6

plucker_y
---------

plucker_y(L)
     ::  Index 集合 L に対応する変数を戻す.

return
     変数

L
     リスト

  * Index 集合 L は小さい順にソートされる. このとき符号もともに計算される.

     [297] plucker_y([1,2,3]);
     y_1_2_3

     [298] plucker_y([2,1,3]);
     -y_1_2_3

     [file plucker-auto-ja.texi not included]