Go to the first, previous, next, last section, table of contents.


その他のマニュアル

この節では asir-contrib のその他のマニュアルを紹介する.

それからまだ分類がおわっていない関数を解説する. これらの関数は将来は別の独立した節へ移す予定である.

[[dsolv]] (Solving the initial ideal for holonomic systems)

dsolv

[[ok_diff]] (Okutani's library for differential operators)

ok_diff

[[ok_dmodule]] (Okutani's library for D-modules)

ok_dmodule

[[plucker]] (Plucker relations)

plucker

[[pfpcoh]] (Ohara's library for homology/cohomology groups for p F q )

pfpcoh

[[gnuplot]] (gnuplot ox server for graphics)

gnuplot

[[mathematica]] (Mathematica (TM) ox server)

mathematica

[[om]] (om (java) ox server for translating CMO and OpenMath)

om

[[phc]] (PHC ox server for solving systems of algebraic equations by the homotopy method)

phc

[[sm1]] (Kan/sm1 ox server for the ring of differential operators)

sm1

[[tigers]] (tigers ox server for toric universal Grobner bases)

tigers

[[todo_parametrize]]

todo_parametrize

パッケージ todo_parametrize/todo_parametrize.rr をロードすることにより, 有理曲線のパラメータ表示を見付ける関数である, paramerize が利用できるようになる. 詳しくは See section `概要' in Risa/Asir 代数曲線論用パッケージ説明書 を見よ (Web 版 Risa/Asir 代数曲線論用パッケージ説明書). このパッケージのマニュアルへの統合はまだできていない. このパッケージはまだ module 構造を利用していないので, 既存のライブラリと 名前の衝突の可能性がある.

[1205] load("todo_parametrize/todo_parametrize.rr");
1
[1425] parametrize(y^2-x^3);
[155*t^2+20*t+1,720*t^4+1044*t^3+580*t^2,155*t^4+20*t^3+t^2,(-x)/(y)]
[1426] parametrize(y^2+x^3);
[-t,1,t^3,(-x)/(y)]

[[taji_alc]]

taji_alc

パッケージ taji_alc.rr をロードすることにより, 一変数代数的コホモロジ群に関連する関数をロードできる. (Web 版 Risa/Asir 一変数代数的局所コホモロジー類に関する Risa/Aisr パッケージ説明書). このパッケージの asir-contrib マニュアルへの統合はまだできていない.

import("taji_alc.rr");
taji_alc.laurent_expansion(x,(x-1)^3);

Texinifo でないマニュアル, 論文等.

OpenXM documents. には texinfo で書かれていない asir-contrib のファイルや関数のマニュアル, および 関連論文へのリンクがある.

(yang, fj_curve, nk_mora 等)


Go to the first, previous, next, last section, table of contents.