version 1.5, 2003/02/13 03:25:34 |
version 1.6, 2003/07/27 13:18:46 |
|
|
@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 |
/*&C |
@node Plucker relations,,, Top |
@node Plucker relations,,, Top |
*/ |
*/ |
|
|
* plucker:: |
* plucker:: |
* plucker_y:: |
* plucker_y:: |
* plucker_relation:: |
* plucker_relation:: |
|
* plucker_index:: |
@end menu |
@end menu |
*/ |
*/ |
|
|
|
|
$B%j%9%H(B |
$B%j%9%H(B |
@end table |
@end table |
@itemize @bullet |
@itemize @bullet |
@item @var{L} $B$K$O(B, Plucker $B4X78<0$N(B @tex $i_1, \ldots, i_m$ @end tex |
@item @var{L} $B$K$O(B, Plucker $B4X78<0$N(B |
|
@tex |
|
$i_1, \ldots, i_m$ |
|
@end tex |
$B$r(B, |
$B$r(B, |
@var{M} $B$K$O(B, Plucker $B4X78<0$N(B @tex $j_0, \ldots, j_{m+1}$ @end tex |
@var{M} $B$K$O(B, Plucker $B4X78<0$N(B |
|
@tex |
|
$j_0, \ldots, j_{m+1}$ |
|
@end tex |
$B$rM?$($k(B. |
$B$rM?$($k(B. |
@end itemize |
@end itemize |
@example |
@example |
|
|
List |
List |
@end table |
@end table |
@itemize @bullet |
@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 |
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. |
of the plucker relations. |
@end itemize |
@end itemize |
@example |
@example |