===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave,v
retrieving revision 1.1
retrieving revision 1.6
diff -u -p -r1.1 -r1.6
--- OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave	2001/12/02 07:43:04	1.1
+++ OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave	2003/07/27 13:18:46	1.6
@@ -1,14 +1,14 @@
-@c $OpenXM$
-
-/*&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
-@chapter Plucker 関係式(標準数学函数)
+*/
+/*&ja
+@chapter Plucker 関係式 
 
 */
 
 /*&en
-@node Plucker relations,,, Top
-@chapter Plucker Relations (Standard Mathematical Functions)
+@chapter Plucker Relations 
 
 */
 
@@ -16,6 +16,8 @@
 @menu
 * plucker::
 * plucker_y::
+* plucker_relation::
+* plucker_index::
 @end menu
 */
 
@@ -39,13 +41,101 @@ $$ \sum_{k=0}^{m+1} (-1)^k
 
 
 /*&en
+@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
+*/
 
-Not yet written
+/*&ja
+@node plucker_relation,,, Plucker relations
+@subsection @code{plucker_relation}
+@findex plucker_relation
+@table @t
+@item plucker_relation(@var{L},@var{M})
+::  Index 集合 @var{L}, @var{M} に対応する Plucker 関係式を戻す.
+@end table
+@table @var
+@item return
+quote
+@item L
+リスト
+@item M
+リスト
+@end table
+@itemize @bullet
+@item  @var{L} には, Plucker 関係式の 
+@tex 
+$i_1, \ldots, i_m$ 
+@end tex
+を, 
+@var{M} には, Plucker 関係式の 
+@tex 
+$j_0, \ldots, j_{m+1}$ 
+@end tex
+を与える.
+@end itemize
+@example
+[297] A = plucker_relation([1,2],[3,4,5,6]);
+quote(y_1_2_3*y_4_5_6-y_1_2_4*y_3_5_6+y_1_2_5*y_3_4_6-y_1_2_6*y_3_4_5)
+[298] eval_str(print_terminal_form(A));
+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_5*y_1_2_6
 
+@end example
 */
 
+/*&en
+
+@node plucker_relation,,, Plucker relations
+@subsection @code{plucker_relation}
+@findex plucker_relation
+@table @t
+@item plucker_relation(@var{L},@var{M})
+::  Returns the plucker relation defined by the index sets @var{L} 
+    and @var{M}.
+@end table
+@table @var
+@item return
+quote
+@item L
+List
+@item M
+List
+@end table
+@itemize @bullet
+@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
+of the plucker relations.
+@end itemize
+@example
+[297] A = plucker_relation([1,2],[3,4,5,6]);
+quote(y_1_2_3*y_4_5_6-y_1_2_4*y_3_5_6+y_1_2_5*y_3_4_6-y_1_2_6*y_3_4_5)
+[298] eval_str(print_terminal_form(A));
+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_5*y_1_2_6
+
+@end example
+
+*/
+
 /*&ja
-@node plucker_y,,, Plucker relation
+@node plucker_y,,, Plucker relations
 @subsection @code{plucker_y}
 @findex plucker_y
 @table @t
@@ -70,4 +160,46 @@ y_1_2_3
 -y_1_2_3
 
 @end example
-*/
\ No newline at end of file
+*/
+
+/*&en
+
+@node plucker_y,,, Plucker relations
+@subsection @code{plucker_y}
+@findex plucker_y
+@table @t
+@item plucker_y(@var{L})
+::  Returns the variable standing for the index  @var{L}.
+@end table
+@table @var
+@item return
+Variable
+@item L
+List
+@end table
+@itemize @bullet
+@item  Index set @var{L} is sorted and the sign is evaluated
+by the sorting.
+@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
+
+*/
+
+/*&ja
+
+@include plucker-auto-ja.texi
+
+*/
+
+/*&en
+
+@include plucker-auto-en.texi
+
+*/