=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave,v retrieving revision 1.5 retrieving revision 1.7 diff -u -p -r1.5 -r1.7 --- OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave 2003/02/13 03:25:34 1.5 +++ OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave 2004/03/05 19:05:11 1.7 @@ -1,4 +1,4 @@ -@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/plucker.oxweave,v 1.4 2002/08/23 08:16:13 takayama Exp $ +@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/plucker.oxweave,v 1.6 2003/07/27 13:18:46 takayama Exp $ /*&C @node Plucker relations,,, Top */ @@ -17,6 +17,7 @@ * plucker:: * plucker_y:: * plucker_relation:: +* plucker_index:: @end menu */ @@ -73,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 @@ -106,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 @@ -181,12 +194,12 @@ y_1_2_3 /*&ja -@include plucker-auto-ja.texi +@include plucker-auto.ja */ /*&en -@include plucker-auto-en.texi +@include plucker-auto.en */