===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave	2002/08/23 08:16:13	1.4
+++ OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave	2003/02/13 03:25:34	1.5
@@ -1,4 +1,4 @@
-@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
 */
@@ -40,9 +40,20 @@ $$ \sum_{k=0}^{m+1} (-1)^k
 
 
 /*&en
-
-Not yet written
-
+@node plucker,,, Plucker relations 
+@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