[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.5

version 1.3, 2001/01/08 05:26:50 version 1.5, 2001/05/27 12:48:02
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.4 2001/01/13 01:17:36 takayama Exp $
 /*&C  
 \input texinfo  
 @iftex  
 @catcode`@#=6  
 @def@b#1{{@bf@gt #1}}  
 @catcode`@#=@other  
 @end iftex  
 @overfullrule=0pt  
 @c -*-texinfo-*-  
 @comment %**start of header  
 @setfilename complex  
 @settitle complex  
 @comment %**end of header  
 @comment %@setchapternewpage odd  
   
 @iftex  
 @comment @finalout  
 @end iftex  
   
 @titlepage  
   
 */  
   
 //&C @title  Kan/k0   complex  
 //&ja @subtitle Kan/k0 complex $B%Q%C%1!<%8(B User's Manual ($BF|K\8lHG(B)  
 //&en @subtitle Kan/k0 complex Package User's Manual  
 /*&C  
 @subtitle Edition 1.1.3 for OpenXM/kan/k0  
 @subtitle December 31, 2000  
   
 @author  by Nobuki Takayama  
 @end titlepage  
   
 @synindex vr fn  
   
 @comment  node-name,  next,  previous,  up  
 @node Top,, (dir), (dir)  
   
 */  
   
 /*&ja  /*&ja
   
 @menu  
 * COMPLEX $BH!?t(B::  
 * $B4pK\(B $BH!?t(B::  
 * $B:w0z(B::  
 @end menu  
   
 */  
 /*&en  
   
 @menu  
 * COMPLEX function::  
 * Primitive function::  
 * index::  
 @end menu  
   
 */  
 /*&ja  
   
 @node COMPLEX $BH!?t(B,,, Top  @node COMPLEX $BH!?t(B,,, Top
 @chapter COMPLEX $BH!?t(B  @chapter COMPLEX $BH!?t(B
 @section $BH!?t0lMw(B  @section $BH!?t0lMw(B
Line 1170  In(17)= Firstn(mm,2):
Line 1113  In(17)= Firstn(mm,2):
 */  */
   
 /*&ja  /*&ja
 @node $B:w0z(B,,, Top  @c %%%%%%%%%%%%%%%%%%%%  start of GKZ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @unnumbered $B:w0z(B  @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 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 */  */
 /*&en  
 @node index,,, Top  /*&ja
 @unnumbered index  @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 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 */  */
 /*&C  
 @printindex fn  
 @printindex cp  
 @iftex  
 @vfill @eject  
 @end iftex  
 @summarycontents  
 @contents  
 @bye  
 */  
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.5
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>