Return to plucker.oxweave CVS log

Up to [local] / OpenXM / src / asir-contrib / packages / doc

taka_plucker_relation(L1,L2) returns the Plucker relation
associated to the index sets L1 and L2.
As to details, see plucker.oxweave.

@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 $B4X78<0(B($BI8=`?t3XH!?t(B)

*/

/*&en
@node Plucker relations,,, Top
@chapter Plucker Relations (Standard Mathematical Functions)

*/

/*&C
@menu
* plucker::
* plucker_y::
@end menu
*/

/*&ja
@node plucker,,, Plucker relations 
@subsection plucker
@findex plucker
@tex
$(m+1) \times n$ $B9TNs$r9M$($k(B.
$i_1, \ldots, i_m, j_k$ $BNs$r$J$i$Y$F$D$/$C$?@5J}9TNs<0$r(B
$p_{i_1 \cdots i_m j_k}$ $B$H=q$/$H$-(B, 
Pl\"ucker $B$N4X78<0$O(B
$$ \sum_{k=0}^{m+1} (-1)^k
  p_{i_1 \cdots i_m j_k}
  p_{j_0 \cdots {\hat j}_k \cdots j_{m+1}} = 0$$
$B$H=q$1$k(B.
$B$3$N%Q%C%1!<%8$G$O(B, $B$3$N(B Pl\"ucker $B$N4X78<0$r07$&$?$a$N(B
$B4X?t$rDs6!$9$k(B.
@end tex
*/


/*&en

Not yet written

*/

/*&ja
@node plucker_y,,, Plucker relation
@subsection @code{plucker_y}
@findex plucker_y
@table @t
@item plucker_y(@var{L})
::  Index $B=89g(B @var{L} $B$KBP1~$9$kJQ?t$rLa$9(B.
@end table
@table @var
@item return
$BJQ?t(B
@item L
$B%j%9%H(B
@end table
@itemize @bullet
@item  Index $B=89g(B @var{L} $B$O>.$5$$=g$K%=!<%H$5$l$k(B.
$B$3$N$H$-Id9f$b$H$b$K7W;;$5$l$k(B.
@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
*/