=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/plucker.oxweave,v retrieving revision 1.5 retrieving revision 1.6 diff -u -p -r1.5 -r1.6 --- 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 2003/07/27 13:18:46 1.6 @@ -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.5 2003/02/13 03:25:34 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