[BACK]Return to sm1.oxweave CVS log [TXT][DIR] Up to [local] / OpenXM / src / asir-contrib / packages / doc

Diff for /OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave between version 1.5 and 1.6

version 1.5, 2002/08/11 08:39:47 version 1.6, 2002/08/23 08:16:13
Line 1 
Line 1 
 /*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.4 2002/07/14 13:14:37 takayama Exp $ */  /*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.5 2002/08/11 08:39:47 takayama Exp $ */
   
 /*&C-texi  /*&C-texi
 @c DO NOT EDIT THIS FILE   oxphc.texi  @c DO NOT EDIT THIS FILE   oxphc.texi
 */  */
   /*&C-texi
   @node SM1 Functions,,, Top
   */
 /*&jp-texi  /*&jp-texi
 @node SM1 $BH!?t(B,,, Top  
 @chapter SM1 $BH!?t(B  @chapter SM1 $BH!?t(B
   
 $B$3$N@a$G$O(B sm1 $B$N(B ox $B%5!<%P(B @code{ox_sm1_forAsir}  $B$3$N@a$G$O(B sm1 $B$N(B ox $B%5!<%P(B @code{ox_sm1_forAsir}
Line 31  $X$ $B$OJ?LL$KFs$D$N7j$r$"$1$?6u4V$G$"$k$N$G(B, $BE
Line 33  $X$ $B$OJ?LL$KFs$D$N7j$r$"$1$?6u4V$G$"$k$N$G(B, $BE
 @end tex  @end tex
 */  */
 /*&eg-texi  /*&eg-texi
 @node SM1 Functions,,, Top  
 @chapter SM1 Functions  @chapter SM1 Functions
   
 This chapter describes  interface functions for  This chapter describes  interface functions for
Line 84  Grobner Deformations of Hypergeometric Differential Eq
Line 85  Grobner Deformations of Hypergeometric Differential Eq
 1999, Springer.  1999, Springer.
 See the appendix.  See the appendix.
 */  */
   
   /*
   @menu
   * ox_sm1_forAsir::
   * sm1_start::
   * sm1::
   * sm1_push_int0::
   * sm1_gb::
   * sm1_deRham::
   * sm1_hilbert::
   * hilbert_polynomial::
   * sm1_genericAnn::
   * sm1_wTensor0::
   * sm1_reduction::
   * sm1_xml_tree_to_prefix_string::
   * sm1_syz::
   * sm1_mul::
   * sm1_distraction::
   * sm1_gkz::
   * sm1_appell1::
   * sm1_appell4::
   * sm1_rank::
   * sm1_auto_reduce::
   * sm1_slope::
   @end menu
   */
   
 /*&jp-texi  /*&jp-texi
 @section @code{ox_sm1_forAsir} $B%5!<%P(B  @section @code{ox_sm1_forAsir} $B%5!<%P(B
 */  */
Line 92  See the appendix.
Line 120  See the appendix.
 */  */
   
 /*&eg-texi  /*&eg-texi
 @menu  
 * ox_sm1_forAsir::  
 @end menu  
 @node ox_sm1_forAsir,,, Top  @node ox_sm1_forAsir,,, Top
 @subsection @code{ox_sm1_forAsir}  @subsection @code{ox_sm1_forAsir}
 @findex ox_sm1_forAsir  @findex ox_sm1_forAsir
Line 126  to build your own server by reading @code{sm1} macros.
Line 151  to build your own server by reading @code{sm1} macros.
 @end itemize  @end itemize
 */  */
 /*&jp-texi  /*&jp-texi
 @menu  
 * ox_sm1_forAsir::  
 @end menu  
 @node ox_sm1_forAsir,,, Top  @node ox_sm1_forAsir,,, Top
 @subsection @code{ox_sm1_forAsir}  @subsection @code{ox_sm1_forAsir}
 @findex ox_sm1_forAsir  @findex ox_sm1_forAsir
Line 185  def sm1_check_server(P) {
Line 207  def sm1_check_server(P) {
   
 /*&eg-texi  /*&eg-texi
 @c sort-sm1_start  @c sort-sm1_start
 @menu  
 * sm1_start::  
 @end menu  
 @node sm1_start,,, SM1 Functions  @node sm1_start,,, SM1 Functions
 @subsection @code{sm1_start}  @subsection @code{sm1_start}
 @findex sm1_start  @findex sm1_start
Line 228  differential operators in default. (cf. @code{Sm1_ord_
Line 247  differential operators in default. (cf. @code{Sm1_ord_
 */  */
 /*&jp-texi  /*&jp-texi
 @c sort-sm1_start  @c sort-sm1_start
 @menu  @node sm1_start,,, SM1 Functions
 * sm1_start::  
 @end menu  
 @node sm1_start,,, SM1 $BH!?t(B  
 @subsection @code{sm1_start}  @subsection @code{sm1_start}
 @findex sm1_start  @findex sm1_start
 @table @t  @table @t
Line 332  def sm1push(P,F) {
Line 348  def sm1push(P,F) {
   
 /*&eg-texi  /*&eg-texi
 @c sort-sm1  @c sort-sm1
 @menu  
 * sm1::  
 @end menu  
 @node sm1,,, SM1 Functions  @node sm1,,, SM1 Functions
 @subsection @code{sm1}  @subsection @code{sm1}
 @findex sm1  @findex sm1
Line 358  to execute the command string @var{s}.
Line 371  to execute the command string @var{s}.
 @end itemize  @end itemize
 */  */
 /*&jp-texi  /*&jp-texi
 @menu  @node sm1,,, SM1 Functions
 * sm1::  
 @end menu  
 @node sm1,,, SM1 $BH!?t(B  
 @subsection @code{sm1}  @subsection @code{sm1}
 @findex sm1  @findex sm1
 @table @t  @table @t
Line 518  def sm1_push_int0_R(A,P) {
Line 528  def sm1_push_int0_R(A,P) {
   
 /*&eg-texi  /*&eg-texi
 @c sort-sm1_push_int0  @c sort-sm1_push_int0
 @menu  
 * sm1_push_int0::  
 @end menu  
 @node sm1_push_int0,,, SM1 Functions  @node sm1_push_int0,,, SM1 Functions
 @subsection @code{sm1_push_int0}  @subsection @code{sm1_push_int0}
 @findex sm1_push_int0  @findex sm1_push_int0
Line 559  Note that @code{ox_push_cmo(@var{p},1234)} send the bi
Line 566  Note that @code{ox_push_cmo(@var{p},1234)} send the bi
 */  */
 /*&jp-texi  /*&jp-texi
 @c sort-sm1_push_int0  @c sort-sm1_push_int0
 @menu  @node sm1_push_int0,,, SM1 Functions
 * sm1_push_int0::  
 @end menu  
 @node sm1_push_int0,,, SM1 $BH!?t(B  
 @subsection @code{sm1_push_int0}  @subsection @code{sm1_push_int0}
 @findex sm1_push_int0  @findex sm1_push_int0
 @table @t  @table @t
Line 754  def sm1_isListOfVar(A) {
Line 758  def sm1_isListOfVar(A) {
   
 /*&eg-texi  /*&eg-texi
 @c sort-sm1_gb  @c sort-sm1_gb
 @menu  
 * sm1_gb::  
 @end menu  
 @node sm1_gb,,, SM1 Functions  @node sm1_gb,,, SM1 Functions
 @node sm1_gb_d,,, SM1 Functions  @node sm1_gb_d,,, SM1 Functions
 @subsection @code{sm1_gb}  @subsection @code{sm1_gb}
Line 815  List
Line 816  List
 */  */
 /*&jp-texi  /*&jp-texi
 @c sort-sm1_gb  @c sort-sm1_gb
 @menu  @node sm1_gb,,, SM1 Functions
 * sm1_gb::  @node sm1_gb_d,,, SM1 Functions
 @end menu  
 @node sm1_gb,,, SM1 $BH!?t(B  
 @node sm1_gb_d,,, SM1 $BH!?t(B  
 @subsection @code{sm1_gb}  @subsection @code{sm1_gb}
 @findex sm1_gb  @findex sm1_gb
 @findex sm1_gb_d  @findex sm1_gb_d
Line 1013  def sm1_pgb(A) {
Line 1011  def sm1_pgb(A) {
   
 /*&eg-texi  /*&eg-texi
 @c sort-sm1_deRham  @c sort-sm1_deRham
 @menu  
 * sm1_deRham::  
 @end menu  
 @node sm1_deRham,,, SM1 Functions  @node sm1_deRham,,, SM1 Functions
 @subsection @code{sm1_deRham}  @subsection @code{sm1_deRham}
 @findex sm1_deRham  @findex sm1_deRham
Line 1061  mode. So, it is strongly recommended to execute the co
Line 1056  mode. So, it is strongly recommended to execute the co
 */  */
 /*&jp-texi  /*&jp-texi
 @c sort-sm1_deRham  @c sort-sm1_deRham
 @menu  @node sm1_deRham,,, SM1 Functions
 * sm1_deRham::  
 @end menu  
 @node sm1_deRham,,, SM1 $BH!?t(B  
 @subsection @code{sm1_deRham}  @subsection @code{sm1_deRham}
 @findex sm1_deRham  @findex sm1_deRham
 @table @t  @table @t
Line 1238  def sm1_reduction_noH_d(F,G) {
Line 1230  def sm1_reduction_noH_d(F,G) {
   
 /*&eg-texi  /*&eg-texi
 @c sort-sm1_hilbert  @c sort-sm1_hilbert
 @menu  
 * sm1_hilbert::  
 * hilbert_polynomial::  
 @end menu  
 @node sm1_hilbert,,, SM1 Functions  @node sm1_hilbert,,, SM1 Functions
 @subsection @code{sm1_hilbert}  @subsection @code{sm1_hilbert}
 @findex sm1_hilbert  @findex sm1_hilbert
Line 1284  List
Line 1272  List
 */  */
 /*&jp-texi  /*&jp-texi
 @c sort-sm1_hilbert  @c sort-sm1_hilbert
 @menu  @node sm1_hilbert,,, SM1 Functions
 * sm1_hilbert::  
 * hilbert_polynomial::  
 @end menu  
 @node sm1_hilbert,,, SM1 $BH!?t(B  
 @subsection @code{sm1_hilbert}  @subsection @code{sm1_hilbert}
 @findex sm1_hilbert  @findex sm1_hilbert
 @findex hilbert_polynomial  @findex hilbert_polynomial
Line 1384  def sm1_hilbert(A) {
Line 1368  def sm1_hilbert(A) {
   
 /*&eg-texi  /*&eg-texi
 @c sort-sm1_genericAnn  @c sort-sm1_genericAnn
 @menu  
 * sm1_genericAnn::  
 @end menu  
 @node sm1_genericAnn,,, SM1 Functions  @node sm1_genericAnn,,, SM1 Functions
 @subsection @code{sm1_genericAnn}  @subsection @code{sm1_genericAnn}
 @findex sm1_genericAnn  @findex sm1_genericAnn
Line 1416  List
Line 1397  List
 */  */
 /*&jp-texi  /*&jp-texi
 @c sort-sm1_genericAnn  @c sort-sm1_genericAnn
 @menu  @node sm1_genericAnn,,, SM1 Functions
 * sm1_genericAnn::  
 @end menu  
 @node sm1_genericAnn,,, SM1 $BH!?t(B  
 @subsection @code{sm1_genericAnn}  @subsection @code{sm1_genericAnn}
 @findex sm1_genericAnn  @findex sm1_genericAnn
 @table @t  @table @t
Line 1486  def sm1_tensor0(F) {
Line 1464  def sm1_tensor0(F) {
   
 /*&eg-texi  /*&eg-texi
 @c sort-sm1_wTensor0  @c sort-sm1_wTensor0
 @menu  
 * sm1_wTensor0::  
 @end menu  
 @node sm1_wTensor0,,, SM1 Functions  @node sm1_wTensor0,,, SM1 Functions
 @subsection @code{sm1_wTensor0}  @subsection @code{sm1_wTensor0}
 @findex sm1_wTensor0  @findex sm1_wTensor0
Line 1530  the inputs @var{f} and @var{g} are left ideals of D.
Line 1505  the inputs @var{f} and @var{g} are left ideals of D.
   
 /*&jp-texi  /*&jp-texi
 @c sort-sm1_wTensor0  @c sort-sm1_wTensor0
 @menu  @node sm1_wTensor0,,, SM1 Functions
 * sm1_wTensor0::  
 @end menu  
 @node sm1_wTensor0,,, SM1 $BH!?t(B  
 @subsection @code{sm1_wTensor0}  @subsection @code{sm1_wTensor0}
 @findex sm1_wTensor0  @findex sm1_wTensor0
 @table @t  @table @t
Line 1592  def sm1_wTensor0(F) {
Line 1564  def sm1_wTensor0(F) {
   
 /*&eg-texi  /*&eg-texi
 @c sort-sm1_reduction  @c sort-sm1_reduction
 @menu  
 * sm1_reduction::  
 @end menu  
 @node sm1_reduction,,, SM1 Functions  @node sm1_reduction,,, SM1 Functions
 @subsection @code{sm1_reduction}  @subsection @code{sm1_reduction}
 @findex sm1_reduction  @findex sm1_reduction
Line 1632  are for distributed polynomials.
Line 1601  are for distributed polynomials.
 @end itemize  @end itemize
 */  */
 /*&jp-texi  /*&jp-texi
 @menu  @node sm1_reduction,,, SM1 Functions
 * sm1_reduction::  
 @end menu  
 @node sm1_reduction,,, SM1 $BH!?t(B  
 @subsection @code{sm1_reduction}  @subsection @code{sm1_reduction}
 @findex sm1_reduction  @findex sm1_reduction
 @table @t  @table @t
Line 1729  def sm1_reduction_noH(A) {
Line 1695  def sm1_reduction_noH(A) {
 }  }
   
 /*&eg-texi  /*&eg-texi
 @menu  
 * sm1_xml_tree_to_prefix_string::  
 @end menu  
 @node sm1_xml_tree_to_prefix_string,,, SM1 Functions  @node sm1_xml_tree_to_prefix_string,,, SM1 Functions
 @subsection @code{sm1_xml_tree_to_prefix_string}  @subsection @code{sm1_xml_tree_to_prefix_string}
 @findex sm1_xml_tree_to_prefix_string  @findex sm1_xml_tree_to_prefix_string
Line 1760  command search path.)
Line 1723  command search path.)
 @end itemize  @end itemize
 */  */
 /*&jp-texi  /*&jp-texi
 @menu  @node sm1_xml_tree_to_prefix_string,,, SM1 Functions
 * sm1_xml_tree_to_prefix_string::  
 @end menu  
 @node sm1_xml_tree_to_prefix_string,,, SM1 $BH!?t(B  
 @subsection @code{sm1_xml_tree_to_prefix_string}  @subsection @code{sm1_xml_tree_to_prefix_string}
 @findex sm1_xml_tree_to_prefix_string  @findex sm1_xml_tree_to_prefix_string
 @table @t  @table @t
Line 1886  def sm1_res_div(A) {
Line 1846  def sm1_res_div(A) {
   
 /*&eg-texi  /*&eg-texi
 @c sort-sm1_syz  @c sort-sm1_syz
 @menu  
 * sm1_syz::  
 @end menu  
 @node sm1_syz,,, SM1 Functions  @node sm1_syz,,, SM1 Functions
 @node sm1_syz_d,,, SM1 Functions  @node sm1_syz_d,,, SM1 Functions
 @subsection @code{sm1_syz}  @subsection @code{sm1_syz}
Line 1933  In summary, @var{g} = @var{m} @var{f} and
Line 1890  In summary, @var{g} = @var{m} @var{f} and
 */  */
 /*&jp-texi  /*&jp-texi
 @c sort-sm1_syz  @c sort-sm1_syz
 @menu  @node sm1_syz,,, SM1 Functions
 * sm1_syz::  @node sm1_syz_d,,, SM1 Functions
 @end menu  
 @node sm1_syz,,, SM1 $BH!?t(B  
 @node sm1_syz_d,,, SM1 $BH!?t(B  
 @subsection @code{sm1_syz}  @subsection @code{sm1_syz}
 @findex sm1_syz  @findex sm1_syz
 @findex sm1_syz_d  @findex sm1_syz_d
Line 2032  def sm1_mul(A,B,V) {
Line 1986  def sm1_mul(A,B,V) {
 }  }
   
 /*&eg-texi  /*&eg-texi
 @menu  
 * sm1_mul::  
 @end menu  
 @node sm1_mul,,, SM1 Functions  @node sm1_mul,,, SM1 Functions
 @subsection @code{sm1_mul}  @subsection @code{sm1_mul}
 @findex sm1_mul  @findex sm1_mul
Line 2061  List
Line 2012  List
 */  */
   
 /*&jp-texi  /*&jp-texi
 @menu  @node sm1_mul,,, SM1 Functions
 * sm1_mul::  
 @end menu  
 @node sm1_mul,,, SM1 $BH!?t(B  
 @subsection @code{sm1_mul}  @subsection @code{sm1_mul}
 @findex sm1_mul  @findex sm1_mul
 @table @t  @table @t
Line 2228  def sm1_distraction(A) {
Line 2176  def sm1_distraction(A) {
 }  }
   
 /*&eg-texi  /*&eg-texi
 @menu  
 * sm1_distraction::  
 @end menu  
 @node sm1_distraction,,, SM1 Functions  @node sm1_distraction,,, SM1 Functions
 @subsection @code{sm1_distraction}  @subsection @code{sm1_distraction}
 @findex sm1_distraction  @findex sm1_distraction
Line 2262  See Saito, Sturmfels, Takayama : Grobner Deformations 
Line 2207  See Saito, Sturmfels, Takayama : Grobner Deformations 
 */  */
   
 /*&jp-texi  /*&jp-texi
 @menu  @node sm1_distraction,,, SM1 Functions
 * sm1_distraction::  
 @end menu  
 @node sm1_distraction,,, SM1 $BH!?t(B  
   
 @subsection @code{sm1_distraction}  @subsection @code{sm1_distraction}
 @findex sm1_distraction  @findex sm1_distraction
Line 2385  def sm1_gkz(S) {
Line 2327  def sm1_gkz(S) {
   
   
 /*&eg-texi  /*&eg-texi
 @menu  
 * sm1_gkz::  
 @end menu  
 @node sm1_gkz,,, SM1 Functions  @node sm1_gkz,,, SM1 Functions
 @subsection @code{sm1_gkz}  @subsection @code{sm1_gkz}
 @findex sm1_gkz  @findex sm1_gkz
Line 2413  List
Line 2352  List
 */  */
   
 /*&jp-texi  /*&jp-texi
 @menu  @node sm1_gkz,,, SM1 Functions
 * sm1_gkz::  
 @end menu  
 @node sm1_gkz,,, SM1 $BH!?t(B  
 @subsection @code{sm1_gkz}  @subsection @code{sm1_gkz}
 @findex sm1_gkz  @findex sm1_gkz
 @table @t  @table @t
Line 2498  def sm1aux_x(I) {
Line 2434  def sm1aux_x(I) {
   
   
 /*&eg-texi  /*&eg-texi
 @menu  
 * sm1_appell1::  
 @end menu  
 @node sm1_appell1,,, SM1 Functions  @node sm1_appell1,,, SM1 Functions
 @subsection @code{sm1_appell1}  @subsection @code{sm1_appell1}
 @findex sm1_appell1  @findex sm1_appell1
Line 2528  The parameters a, c, b1, ..., bn may be rational numbe
Line 2461  The parameters a, c, b1, ..., bn may be rational numbe
 */  */
   
 /*&jp-texi  /*&jp-texi
 @menu  @node sm1_appell1,,, SM1 Functions
 * sm1_appell1::  
 @end menu  
 @node sm1_appell1,,, SM1 $BH!?t(B  
 @subsection @code{sm1_appell1}  @subsection @code{sm1_appell1}
 @findex sm1_appell1  @findex sm1_appell1
 @table @t  @table @t
Line 2613  def sm1_appell4(S) {
Line 2543  def sm1_appell4(S) {
 }  }
   
 /*&eg-texi  /*&eg-texi
 @menu  
 * sm1_appell4::  
 @end menu  
 @node sm1_appell4,,, SM1 Functions  @node sm1_appell4,,, SM1 Functions
 @subsection @code{sm1_appell4}  @subsection @code{sm1_appell4}
 @findex sm1_appell4  @findex sm1_appell4
Line 2643  The parameters a, b, c1, ..., cn may be rational numbe
Line 2570  The parameters a, b, c1, ..., cn may be rational numbe
 */  */
   
 /*&jp-texi  /*&jp-texi
 @menu  @node sm1_appell4,,, SM1 Functions
 * sm1_appell4::  
 @end menu  
 @node sm1_appell4,,, SM1 $BH!?t(B  
 @subsection @code{sm1_appell4}  @subsection @code{sm1_appell4}
 @findex sm1_appell4  @findex sm1_appell4
 @table @t  @table @t
Line 2710  def sm1_rrank(A) {
Line 2634  def sm1_rrank(A) {
   
   
 /*&eg-texi  /*&eg-texi
 @menu  
 * sm1_rank::  
 @end menu  
 @node sm1_rank,,, SM1 Functions  @node sm1_rank,,, SM1 Functions
 @subsection @code{sm1_rank}  @subsection @code{sm1_rank}
 @findex sm1_rank  @findex sm1_rank
Line 2742  holonomic. It is generally faster than @code{sm1_rank}
Line 2663  holonomic. It is generally faster than @code{sm1_rank}
 */  */
   
 /*&jp-texi  /*&jp-texi
 @menu  @node sm1_rank,,, SM1 Functions
 * sm1_rank::  
 @end menu  
 @node sm1_rank,,, SM1 $BH!?t(B  
 @subsection @code{sm1_rank}  @subsection @code{sm1_rank}
 @findex sm1_rank  @findex sm1_rank
 @table @t  @table @t
Line 2803  def sm1_auto_reduce(T) {
Line 2721  def sm1_auto_reduce(T) {
 }  }
   
 /*&eg-texi  /*&eg-texi
 @menu  
 * sm1_auto_reduce::  
 @end menu  
 @node sm1_auto_reduce,,, SM1 Functions  @node sm1_auto_reduce,,, SM1 Functions
 @subsection @code{sm1_auto_reduce}  @subsection @code{sm1_auto_reduce}
 @findex sm1_auto_reduce  @findex sm1_auto_reduce
Line 2832  Grobner bases.  This is the default.
Line 2747  Grobner bases.  This is the default.
 */  */
   
 /*&jp-texi  /*&jp-texi
 @menu  @node sm1_auto_reduce,,, SM1 Functions
 * sm1_auto_reduce::  
 @end menu  
 @node sm1_auto_reduce,,, SM1 $BH!?t(B  
 @subsection @code{sm1_auto_reduce}  @subsection @code{sm1_auto_reduce}
 @findex sm1_auto_reduce  @findex sm1_auto_reduce
 @table @t  @table @t
Line 2873  def sm1_slope(II,V,FF,VF) {
Line 2785  def sm1_slope(II,V,FF,VF) {
   
   
 /*&eg-texi  /*&eg-texi
 @menu  
 * sm1_slope::  
 @end menu  
 @node sm1_slope,,, SM1 Functions  @node sm1_slope,,, SM1 Functions
 @subsection @code{sm1_slope}  @subsection @code{sm1_slope}
 @findex sm1_slope  @findex sm1_slope
Line 2921  of the slopes are returned.
Line 2830  of the slopes are returned.
 */  */
   
 /*&jp-texi  /*&jp-texi
 @menu  @node sm1_slope,,, SM1 Functions
 * sm1_slope::  
 @end menu  
 @node sm1_slope,,, SM1 $BH!?t(B  
 @subsection @code{sm1_slope}  @subsection @code{sm1_slope}
 @findex sm1_slope  @findex sm1_slope
 @table @t  @table @t
Legend:
Removed from v.1.5  
changed lines
  Added in v.1.6
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>