1.2.19 `sm1.slope'
------------------

sm1.slope(II,V,F_FILTRATION,V_FILTRATION|proc=P)
     ::  微分方程式系 II の slope を戻す.

RETURN
     数

P
     数

II
     リスト  (方程式)

V
     リスト (変数)

F_FILTRATION
     リスト  (weight vector)

V_FILTRATION
     リスト (weight vector)

   * `sm1.slope' は 微分方程式系 II の V filtration  V_FILTRATION
     で指定する超平面に沿っての (geomeric) slope を計算する.

   * V は変数のリスト.

   * 戻り値は, リストを成分とするリストである.  成分リストの第 1 要素が
     slope, 第 2 要素は, その weight vector に対応する
     microcharacteristic variety が bihomogeneous でない.

Algorithm: "A.Assi, F.J.Castro-Jimenez and J.M.Granger, How to
calculate the slopes of a D-module, Compositio Math, 104, 1-17, 1996"
をみよ.  Slope の本来の定義では, 符号が負となるが, このプログラムは,
Slope の絶対値を戻す.


     [284] A= sm1.gkz([  [[1,2,3]],  [-3] ]);


     [285] sm1.slope(A[0],A[1],[0,0,0,1,1,1],[0,0,-1,0,0,1]);

     [286] A2 = sm1.gkz([ [[1,1,1,0],[2,-3,1,-3]], [1,0]]);
          (* This is an interesting example given by Laura Matusevich,
             June 9, 2001 *)

     [287] sm1.slope(A2[0],A2[1],[0,0,0,0,1,1,1,1],[0,0,0,-1,0,0,0,1]);

参照
     `sm.gb'

* Menu:

* sm1.ahg::
* sm1.bfunction::
* sm1.call_sm1::
* sm1.ecart_homogenize01Ideal::
* sm1.ecartd_gb::
* sm1.ecartd_gb_oxRingStructure::
* sm1.ecartd_isSameIdeal_h::
* sm1.ecartd_reduction::
* sm1.ecartd_reduction_noh::
* sm1.ecartd_syz::
* sm1.gb_oxRingStructure::
* sm1.gb_reduction::
* sm1.gb_reduction_noh::
* sm1.generalized_bfunction::
* sm1.isSameIdeal_in_Dalg::
* sm1.restriction::
* sm1.saturation::

