===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave,v
retrieving revision 1.3
retrieving revision 1.6
diff -u -p -r1.3 -r1.6
--- OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave	2002/08/11 08:39:47	1.3
+++ OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave	2003/07/27 13:18:46	1.6
@@ -1,13 +1,13 @@
-@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/plucker.oxweave,v 1.2 2001/12/13 09:27:44 takayama Exp $
-
-/*&ja
+@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/plucker.oxweave,v 1.5 2003/02/13 03:25:34 takayama Exp $
+/*&C
 @node Plucker relations,,, Top
+*/
+/*&ja
 @chapter Plucker 関係式 
 
 */
 
 /*&en
-@node Plucker relations,,, Top
 @chapter Plucker Relations 
 
 */
@@ -17,6 +17,7 @@
 * plucker::
 * plucker_y::
 * plucker_relation::
+* plucker_index::
 @end menu
 */
 
@@ -40,13 +41,24 @@ $$ \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
-@node plucker_relation,,, Plucker relation
+@node plucker_relation,,, Plucker relations
 @subsection @code{plucker_relation}
 @findex plucker_relation
 @table @t
@@ -62,9 +74,15 @@ quote
 リスト
 @end table
 @itemize @bullet
-@item  @var{L} には, Plucker 関係式の @tex $i_1, \ldots, i_m$ @end tex
+@item  @var{L} には, Plucker 関係式の 
+@tex 
+$i_1, \ldots, i_m$ 
+@end tex
 を, 
-@var{M} には, Plucker 関係式の @tex $j_0, \ldots, j_{m+1}$ @end tex
+@var{M} には, Plucker 関係式の 
+@tex 
+$j_0, \ldots, j_{m+1}$ 
+@end tex
 を与える.
 @end itemize
 @example
@@ -78,7 +96,7 @@ 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_
 
 /*&en
 
-@node plucker_relation,,, Plucker relation
+@node plucker_relation,,, Plucker relations
 @subsection @code{plucker_relation}
 @findex plucker_relation
 @table @t
@@ -95,9 +113,15 @@ List
 List
 @end table
 @itemize @bullet
-@item  @var{L} is the index set @tex $i_1, \ldots, i_m$ @end tex
+@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
+@var{M} is the index set 
+@tex 
+$j_0, \ldots, j_{m+1}$ 
+@end tex
 of the plucker relations.
 @end itemize
 @example
@@ -111,7 +135,7 @@ 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_
 */
 
 /*&ja
-@node plucker_y,,, Plucker relation
+@node plucker_y,,, Plucker relations
 @subsection @code{plucker_y}
 @findex plucker_y
 @table @t
@@ -140,7 +164,7 @@ y_1_2_3
 
 /*&en
 
-@node plucker_y,,, Plucker relation
+@node plucker_y,,, Plucker relations
 @subsection @code{plucker_y}
 @findex plucker_y
 @table @t