OpenXM/src/asir-contrib/packages/doc/plucker.oxweave - diff

Return to plucker.oxweave CVS log

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

version 1.4, 2002/08/23 08:16:13

version 1.5, 2003/02/13 03:25:34

Line 1

@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

@node Plucker relations,,, Top

Line 40 $$ \sum_{k=0}^{m+1} (-1)^k

/*&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