[BACK]Return to complex.texi CVS log [TXT][DIR] 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 
 %% $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  /*&C
 \input texinfo  \input texinfo
 @iftex  @iftex
Line 1167  In(17)= Firstn(mm,2):
Line 1167  In(17)= Firstn(mm,2):
   
 @end table  @end table
 @c  %%%%%%%%%%%%%%%%%%%%  end of Firstn %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  @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  /*&ja

Legend:
Removed from v.1.3  
changed lines
  Added in v.1.4

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