version 1.4, 2002/08/23 08:16:13 |
version 1.5, 2003/02/13 03:25:34 |
|
|
@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/plucker.oxweave,v 1.3 2002/08/11 08:39:47 takayama Exp $ |
@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/plucker.oxweave,v 1.4 2002/08/23 08:16:13 takayama Exp $ |
/*&C |
/*&C |
@node Plucker relations,,, Top |
@node Plucker relations,,, Top |
*/ |
*/ |
Line 40 $$ \sum_{k=0}^{m+1} (-1)^k |
|
Line 40 $$ \sum_{k=0}^{m+1} (-1)^k |
|
|
|
|
|
/*&en |
/*&en |
|
@node plucker,,, Plucker relations |
Not yet written |
@subsection plucker |
|
@findex plucker |
|
@tex |
|
Consider $(m+1) \times n$ matrix. |
|
The subsquare matrix consisting of $i_1, \ldots, i_m, j_k$ |
|
columns is denoted by |
|
$p_{i_1 \cdots i_m j_k}$. |
|
The Plucker relation is |
|
$$ \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.$$ |
|
This package provides functions for Plucker relations. |
|
@end tex |
*/ |
*/ |
|
|
/*&ja |
/*&ja |