version 1.1, 2001/12/02 07:43:04 |
version 1.3, 2002/08/11 08:39:47 |
|
|
@c $OpenXM$ |
@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/plucker.oxweave,v 1.2 2001/12/13 09:27:44 takayama Exp $ |
|
|
/*&ja |
/*&ja |
@node Plucker relations,,, Top |
@node Plucker relations,,, Top |
@chapter Plucker $B4X78<0(B($BI8=`?t3XH!?t(B) |
@chapter Plucker $B4X78<0(B |
|
|
*/ |
*/ |
|
|
/*&en |
/*&en |
@node Plucker relations,,, Top |
@node Plucker relations,,, Top |
@chapter Plucker Relations (Standard Mathematical Functions) |
@chapter Plucker Relations |
|
|
*/ |
*/ |
|
|
|
|
@menu |
@menu |
* plucker:: |
* plucker:: |
* plucker_y:: |
* plucker_y:: |
|
* plucker_relation:: |
@end menu |
@end menu |
*/ |
*/ |
|
|
|
|
*/ |
*/ |
|
|
/*&ja |
/*&ja |
|
@node plucker_relation,,, Plucker relation |
|
@subsection @code{plucker_relation} |
|
@findex plucker_relation |
|
@table @t |
|
@item plucker_relation(@var{L},@var{M}) |
|
:: Index $B=89g(B @var{L}, @var{M} $B$KBP1~$9$k(B Plucker $B4X78<0$rLa$9(B. |
|
@end table |
|
@table @var |
|
@item return |
|
quote |
|
@item L |
|
$B%j%9%H(B |
|
@item M |
|
$B%j%9%H(B |
|
@end table |
|
@itemize @bullet |
|
@item @var{L} $B$K$O(B, Plucker $B4X78<0$N(B @tex $i_1, \ldots, i_m$ @end tex |
|
$B$r(B, |
|
@var{M} $B$K$O(B, Plucker $B4X78<0$N(B @tex $j_0, \ldots, j_{m+1}$ @end tex |
|
$B$rM?$($k(B. |
|
@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 |
|
|
|
@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 |
@node plucker_y,,, Plucker relation |
@node plucker_y,,, Plucker relation |
@subsection @code{plucker_y} |
@subsection @code{plucker_y} |
@findex plucker_y |
@findex plucker_y |
|
|
-y_1_2_3 |
-y_1_2_3 |
|
|
@end example |
@end example |
*/ |
|
|
|
|
*/ |
|
|
|
/*&en |
|
|
|
@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 |
|
|
|
*/ |