[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

20. その他のマニュアル

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

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


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

dsolv


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

ok_diff


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

ok_dmodule


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

20.0.4 [[plucker]] (Plucker relations)

plucker


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

pfpcoh


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

gnuplot


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

mathematica


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

om


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

phc


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

sm1


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

tigers


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

20.0.12 [[todo_parametrize]]

todo_parametrize

パッケージ todo_parametrize/todo_parametrize.rr をロードすることにより, 有理曲線のパラメータ表示を見付ける関数である, paramerize が利用できるようになる. 詳しくは See 概要: (todo_parametrize_ja.texi)関数簡易マニュアル 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)]

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

20.0.13 [[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);

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

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

(yang, fj_curve, nk_mora 等)


[ < ] [ > ]   [ << ] [ Up ] [ >> ]

This document was generated by Nobuki Takayama on January, 28 2008 using texi2html 1.76.