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

19. Other Manuals

This section introduces other manuals in the asir-contrib project.

This section also describes functions that have not yet been classifed. These will be moved to independent sections in a future.


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

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

dsolv


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

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

ok_diff


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

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

ok_dmodule


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

19.0.4 [[plucker]] (Plucker relations)

plucker


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

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

pfpcoh


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

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

gnuplot


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

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

mathematica


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

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

om


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

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

phc


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

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

sm1


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

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

tigers


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

19.0.12 [[todo_parametrize]]

todo_parametrize/todo_parametrize_toc

With loading the file todo_parametrize/todo_parametrize.rr the function paramerize is installed. The function finds a parametric expression of a given rational curve. As to details, see See (todo_parametrize_ja) A package for algebraic curves (in Japanese).

 
[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] [ ? ]

19.0.13 [[taji_alc]]

taji_alc

With loading the file taji_alc.rr functions for algebraic local cohomology groups in one variable are imported.

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

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

19.0.14 Manual and papers which are not written in texinfo.

Links to manuals and papers related to files and commands in asir-contrib are at OpenXM documents.


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

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