この節では sm1 の ox サーバ ox_sm1_forAsir
とのインタフェース関数を解説する.
これらの関数はファイル `sm1' で定義されている.
`sm1' は `$(OpenXM_HOME)/lib/asir-contrib' にある.
システム sm1 は微分作用素環で計算するためのシステムである.
計算代数幾何のいろいろな不変量の計算が微分作用素の計算に帰着する.
sm1 についての文書は OpenXM/doc/kan96xx にある.
とこに断りがないかぎりこの節のすべての関数は, 有理数係数の式を入力としてうけつけない. すべての多項式の係数は整数でないといけない.
This is Risa/Asir, Version 20000126.
Copyright (C) FUJITSU LABORATORIES LIMITED.
1994-1999. All rights reserved.
xm version 20000202. Copyright (C) OpenXM Developing Team. 2000.
ox_help(0); ox_help("keyword"); ox_grep("keyword"); for help message
Loading ~/.asirrc
[283] sm1_deRham([x*(x-1),[x]]);
[1,2]
The author of sm1 : Nobuki Takayama, takayama@math.sci.kobe-u.ac.jp
The author of sm1 packages : Toshinori Oaku, oaku@twcu.ac.jp
Reference: [SST] Saito, M., Sturmfels, B., Takayama, N.,
Grobner Deformations of Hypergeometric Differential Equations,
1999, Springer.
See the appendix.
ox_sm1_forAsir サーバGo to the first, previous, next, last section, table of contents.