@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/top/misc.oxw,v 1.6 2008/03/14 02:59:49 takayama Exp $
/*&C
@node Misc,,, Top
*/
/*&ja
@chapter $B$=$NB>$N%^%K%e%"%k(B
$B$3$N@a$G$O(B asir-contrib $B$N$=$NB>$N%^%K%e%"%k$r>R2p$9$k(B.
$B$=$l$+$i$^$@J,N`$,$*$o$C$F$$$J$$4X?t$r2r@b$9$k(B.
$B$3$l$i$N4X?t$O>-Mh$OJL$NFHN)$7$?@a$X0\$9M=Dj$G$"$k(B.
*/
/*&en
@chapter 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.
*/
fix-link.sh $B$r=q$-49$($k$3$H(B.
/*&C
@subsection [[dsolv]] (Solving the initial ideal for holonomic systems)
dsolv
@subsection [[ok_diff]] (Okutani's library for differential operators)
ok_diff
@subsection [[ok_dmodule]] (Okutani's library for D-modules)
ok_dmodule
@subsection [[plucker]] (Plucker relations)
plucker
@subsection [[pfpcoh]] (Ohara's library for homology/cohomology groups for p F q )
pfpcoh
@subsection [[gnuplot]] (gnuplot ox server for graphics)
gnuplot
@subsection [[mathematica]] (Mathematica (TM) ox server)
mathematica
@subsection [[om]] (om (java) ox server for translating CMO and OpenMath)
om
@subsection [[phc]] (PHC ox server for solving systems of algebraic equations by the homotopy method)
phc
@subsection [[sm1]] (Kan/sm1 ox server for the ring of differential operators)
sm1
@subsection [[tigers]] (tigers ox server for toric universal Grobner bases)
tigers
*/
/*&ja
@subsection [[todo_parametrize]]
todo_parametrize
$B%Q%C%1!<%8(B @code{todo_parametrize/todo_parametrize.rr} $B$r%m!<%I$9$k$3$H$K$h$j(B,
$BM-M}6J@~$N%Q%i%a!<%?I=<($r8+IU$1$k4X?t$G$"$k(B,
@code{paramerize} $B$,MxMQ$G$-$k$h$&$K$J$k(B.
$B>\$7$/$O(B @xref{$B4X?t4J0W%^%K%e%"%k(B,$B35MW(B,$B35MW(B,todo_parametrize_ja.texi,Risa/Asir $BBe?t6J@~O@MQ%Q%C%1!<%8@bL@=q(B} $B$r8+$h(B
(@uref{http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/asir-contrib/html-ja/todo_parametrize/todo_parametrize_ja_toc.html, Web $BHG(B Risa/Asir $BBe?t6J@~O@MQ%Q%C%1!<%8@bL@=q(B}).
$B$3$N%Q%C%1!<%8$N%^%K%e%"%k$X$NE}9g$O$^$@$G$-$F$$$J$$(B.
$B$3$N%Q%C%1!<%8$O$^$@(B module $B9=B$$rMxMQ$7$F$$$J$$$N$G(B, $B4{B8$N%i%$%V%i%j$H(B
$BL>A0$N>WFM$N2DG=@-$,$"$k(B.
*/
/*&en
@subsection [[todo_parametrize]]
todo_parametrize/todo_parametrize_toc
With loading the file @code{todo_parametrize/todo_parametrize.rr}
the function @code{paramerize} is installed.
The function finds a parametric expression of a given rational curve.
As to details, see
@xref{,,,todo_parametrize_ja, A package for algebraic curves} (in Japanese).
*/
/*&C
@example
[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)]
@end example
*/
/*&ja
@subsection [[taji_alc]]
taji_alc
$B%Q%C%1!<%8(B @code{taji_alc.rr} $B$r%m!<%I$9$k$3$H$K$h$j(B,
$B0lJQ?tBe?tE*%3%[%b%m%872$K4XO"$9$k4X?t$r%m!<%I$G$-$k(B.
(@uref{http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/asir-contrib/ja/taji_alc-html/taji_alc-ja_toc.html, Web $BHG(B Risa/Asir $B0lJQ?tBe?tE*6I=j%3%[%b%m%8!<N`$K4X$9$k(B Risa/Aisr $B%Q%C%1!<%8@bL@=q(B}).
$B$3$N%Q%C%1!<%8$N(B asir-contrib $B%^%K%e%"%k$X$NE}9g$O$^$@$G$-$F$$$J$$(B.
*/
/*&en
@subsection [[taji_alc]]
taji_alc
With loading the file @code{taji_alc.rr}
functions for algebraic local cohomology groups in one variable are imported.
*/
/*&C
@example
import("taji_alc.rr");
taji_alc.laurent_expansion(x,(x-1)^3);
@end example
*/
/*&ja
@subsection Texinifo $B$G$J$$%^%K%e%"%k(B, $BO@J8Ey(B.
@uref{http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/index-doc-ja.html, OpenXM documents}.
$B$K$O(B texinfo $B$G=q$+$l$F$$$J$$(B asir-contrib $B$N%U%!%$%k$d4X?t$N%^%K%e%"%k(B, $B$*$h$S(B
$B4XO"O@J8$X$N%j%s%/$,$"$k(B.
(yang, fj_curve, nk_mora $BEy(B)
*/
/*&en
@subsection Manual and papers which are not written in texinfo.
Links to manuals and papers related to files and commands in asir-contrib are
at
@uref{http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/index-doc-en.html, OpenXM documents}.
*/