OpenXM/src/k097/Doc/complex.texi - diff

Return to complex.texi CVS log

Up to [local] / OpenXM / src / k097 / Doc

Diff for /OpenXM/src/k097/Doc/complex.texi between version 1.3 and 1.4

-version 1.3, 2001/01/08 05:26:50
+version 1.4, 2001/01/13 01:17:36
 Line 1
 Line 1
 Line 1
- %% $OpenXM: OpenXM/src/k097/Doc/complex.texi,v 1.2 2001/01/05 11:14:26 takayama Exp $
+ %% $OpenXM: OpenXM/src/k097/Doc/complex.texi,v 1.3 2001/01/08 05:26:50 takayama Exp $
  /*&C
  \input texinfo
  @iftex
 Line 1167  In(17)= Firstn(mm,2):
 Line 1167  In(17)= Firstn(mm,2):
 Line 1167  In(17)= Firstn(mm,2):
  @end table
  @c  %%%%%%%%%%%%%%%%%%%%  end of Firstn %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+ */
+ /*&ja
+ @c %%%%%%%%%%%%%%%%%%%%  start of GKZ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+ @menu
+ * GKZ::
+ @end menu
+ @node GKZ,,, $B4pK\(B $BH!?t(B
+ @subsection @code{GKZ}
+ @findex GKZ
+ @table @t
+ @item GKZ(@var{a},@var{b})
+ ::  $B9TNs(B @var{a} $B$H(B $B%Y%/%H%k(B @var{b} $B$GDj$^$k(B, GKZ hypergeometric system $B$rLa$9(B.
+ @end table
+ @table @var
+ @item return
+ D $B$N%$%G%"%k$N@8@.85(B
+ @item a
+ $B@0?t9TNs(B
+ @item b
+ $B@0?t%Y%/%H%k(B
+ @end table
+ @itemize @bullet
+ @item   $B9TNs(B @var{a} $B$H(B $B%Y%/%H%k(B @var{b} $B$GDj$^$k(B, GKZ hypergeometric system $B$rLa$9(B.
+ @item Gelfand, Kapranov, Zelevinski $B$ND64v2?HyJ,J}Dx<0$rLa$9(B.
+ @end itemize
+ @example
+ In(3)= GKZ([[1,1,1,1],[0,1,2,3]],[-1,-2]):
+ [    x1*Dx1+x2*Dx2+x3*Dx3+x4*Dx4+1 , x2*Dx2+2*x3*Dx3+3*x4*Dx4+2 , Dx2^2-Dx1*Dx3 , -Dx3^2+Dx2*Dx4 , Dx2*Dx3-Dx1*Dx4 ]
+ @end example
+ @table @t
+ @item $B;2>H(B
+ @item Files
+     @code{lib/restriction/demo2.k}
+ @end table
+ @c  %%%%%%%%%%%%%%%%%%%%  end of GKZ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+ */
+ /*&ja
+ @c %%%%%%%%%%%%%%%%%%%%  start of Slope %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+ @menu
+ * Slope::
+ @end menu
+ @node Slope,,, $B4pK\(B $BH!?t(B
+ @subsection @code{Slope}
+ @findex Slope
+ @table @t
+ @item Slope(@var{i},@var{v},@var{f},@var{v})
+ ::  $BHyJ,J}Dx<07O(B @var{i} $B$N(B slope $B$N=89g$r$b$H$a$k(B.
+ @end table
+ @table @var
+ @item return
+ Slope $B$N=89g$H$=$l$rM?$($k(B, weight vectors.
+ @item i
+ D $B$N%$%G%"%k$N@8@.85(B
+ @item v
+ $B6u4VJQ?t(B
+ @item f
+ F-filtration $B$rM?$($k(B weight vector (0,...,0,1,...,1).
+ @item v
+ V-filtration $B$rM?$($k(B weight vector.
+ $B$?$H$($P(B (0,...,0,-1,0,...,0,1).
+ @end table
+ @itemize @bullet
+ @item @var{i} $B$N(B x_i = 0 $B$K$=$C$?(B, $B86E@$G$N(B slope $B$NA4BN$r$b$H$a$k(B.
+ @item $B7W;;$K$O(B Assi, Castro, Granger $B$N%"%k%4%j%:%`$rMQ$$$k(B.
+ @item Geometric slope $B$r7W;;$9$k$?$a(B, radical $B$N7W;;$r$*$3$J$C$F$$$k(B.
+ $B$3$l$K$O(B ox_asir $B$rMQ$$$F$$$k(B.
+ @end itemize
+ @example
+ In(13)= a=GKZ([[1,3,7]],[-30]);
+ In(14)= a:
+ [    x1*Dx1+3*x2*Dx2+7*x3*Dx3+30 , -Dx1^3+Dx2 , -Dx1*Dx2^2+Dx3 , -Dx2^3+Dx1^2*Dx3 ]
+ In(15)= Slope(a,[x1,x2,x3],[0,0,0,1,1,1],[0,0,-1,0,0,1]):
+ [    [    (3)/(4) , [    0 , 0 , -4 , 3 , 3 , 7 ]  ]  ]
+ @end example
+ @table @t
+ @item $B;2>H(B
+ @item Files
+     @code{lib/restriction/demo2.k}
+ @end table
+ @c  %%%%%%%%%%%%%%%%%%%%  end of Slope %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  */
  /*&ja

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>