=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave,v retrieving revision 1.2 retrieving revision 1.3 diff -u -p -r1.2 -r1.3 --- OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave 2001/12/13 09:27:44 1.2 +++ OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave 2002/08/11 08:39:47 1.3 @@ -1,4 +1,4 @@ -@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/plucker.oxweave,v 1.1 2001/12/02 07:43:04 takayama Exp $ +@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/plucker.oxweave,v 1.2 2001/12/13 09:27:44 takayama Exp $ /*&ja @node Plucker relations,,, Top @@ -78,8 +78,36 @@ 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_ /*&en -Not yet written. +@node plucker_relation,,, Plucker relation +@subsection @code{plucker_relation} +@findex plucker_relation +@table @t +@item plucker_relation(@var{L},@var{M}) +:: Returns the plucker relation defined by the index sets @var{L} + and @var{M}. +@end table +@table @var +@item return +quote +@item L +List +@item M +List +@end table +@itemize @bullet +@item @var{L} is the index set @tex $i_1, \ldots, i_m$ @end tex +of the plucker relations and +@var{M} is the index set @tex $j_0, \ldots, j_{m+1}$ @end tex +of the plucker relations. +@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 + */ /*&ja @@ -112,7 +140,42 @@ y_1_2_3 /*&en -Not yet written +@node plucker_y,,, Plucker relation +@subsection @code{plucker_y} +@findex plucker_y +@table @t +@item plucker_y(@var{L}) +:: Returns the variable standing for the index @var{L}. +@end table +@table @var +@item return +Variable +@item L +List +@end table +@itemize @bullet +@item Index set @var{L} is sorted and the sign is evaluated +by the sorting. +@end itemize +@example +[297] plucker_y([1,2,3]); +y_1_2_3 +[298] plucker_y([2,1,3]); +-y_1_2_3 + +@end example + */ +/*&ja + +@include plucker-auto-ja.texi + +*/ + +/*&en + +@include plucker-auto-en.texi + +*/