=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave,v retrieving revision 1.1 retrieving revision 1.2 diff -u -p -r1.1 -r1.2 --- OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave 2001/12/02 07:43:04 1.1 +++ OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave 2001/12/13 09:27:44 1.2 @@ -1,14 +1,14 @@ -@c $OpenXM$ +@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/plucker.oxweave,v 1.1 2001/12/02 07:43:04 takayama Exp $ /*&ja @node Plucker relations,,, Top -@chapter Plucker 関係式(標準数学函数) +@chapter Plucker 関係式 */ /*&en @node Plucker relations,,, Top -@chapter Plucker Relations (Standard Mathematical Functions) +@chapter Plucker Relations */ @@ -16,6 +16,7 @@ @menu * plucker:: * plucker_y:: +* plucker_relation:: @end menu */ @@ -45,6 +46,43 @@ Not yet written */ /*&ja +@node plucker_relation,,, Plucker relation +@subsection @code{plucker_relation} +@findex plucker_relation +@table @t +@item plucker_relation(@var{L},@var{M}) +:: Index 集合 @var{L}, @var{M} に対応する Plucker 関係式を戻す. +@end table +@table @var +@item return +quote +@item L +リスト +@item M +リスト +@end table +@itemize @bullet +@item @var{L} には, Plucker 関係式の @tex $i_1, \ldots, i_m$ @end tex +を, +@var{M} には, Plucker 関係式の @tex $j_0, \ldots, j_{m+1}$ @end tex +を与える. +@end itemize +@example +[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 + +@end example +*/ + +/*&en + +Not yet written. + +*/ + +/*&ja @node plucker_y,,, Plucker relation @subsection @code{plucker_y} @findex plucker_y @@ -70,4 +108,11 @@ y_1_2_3 -y_1_2_3 @end example -*/ \ No newline at end of file +*/ + +/*&en + +Not yet written + +*/ +