[BACK]Return to misc.oxw CVS log [TXT][DIR] Up to [local] / OpenXM / src / asir-contrib / packages / doc / top

Annotation of OpenXM/src/asir-contrib/packages/doc/top/misc.oxw, Revision 1.21

1.21    ! takayama    1: @c $OpenXM: OpenXM/src/asir-contrib/packages/doc/top/misc.oxw,v 1.20 2021/06/08 01:42:28 takayama Exp $
1.1       takayama    2: /*&C
                      3: @node Misc,,, Top
                      4: */
                      5: /*&ja
                      6:
                      7: @chapter $B$=$NB>$N%^%K%e%"%k(B
                      8:
                      9: $B$3$N@a$G$O(B asir-contrib $B$N$=$NB>$N%^%K%e%"%k$r>R2p$9$k(B.
                     10:
                     11: $B$=$l$+$i$^$@J,N`$,$*$o$C$F$$$J$$4X?t$r2r@b$9$k(B.
                     12: $B$3$l$i$N4X?t$O>-Mh$OJL$NFHN)$7$?@a$X0\$9M=Dj$G$"$k(B.
                     13:
                     14:
                     15: */
                     16:
                     17: /*&en
                     18:
                     19: @chapter Other Manuals
                     20: This section introduces other manuals in the asir-contrib project.
                     21:
                     22: This section also describes functions that have not yet been classifed.
                     23: These will be moved to independent sections in a future.
                     24:
                     25: */
                     26:
                     27:
1.9       takayama   28: /*&en
                     29:
                     30: @subsection dsolv (Solving the initial ideal for holonomic systems)
                     31:   @uref{../dsolv-html/dsolv-en.html}
1.17      takayama   32: @subsection gtt_ekn (Two way contingency tables by HGM)
                     33:   @uref{../gtt_ekn-html/gtt_ekn-en.html}
                     34: @subsection f_res (Comuting resultant)
                     35:   @uref{../f_res-html/f_res-en.html}
                     36: @subsection  (gnuplot ox server for graphics)
                     37:   @uref{../gnuplot-html/gnuplot-en.html}
                     38: @subsection mathematica (Mathematica (TM) ox server)
                     39:   @uref{../mathematica-html/mathematica-en.html}
                     40: @subsection mt_graph (3D grapher)
                     41:   @uref{../mk_graph-html/mk_graph-en.html}
1.18      takayama   42: @subsection mt_gkz (Intersection matrix of GKZ systems)
                     43:   @uref{../mt_gkz-html/mt_gkz-en.html}
1.17      takayama   44: @subsection n_wishartd  (restriction of matrix 1F1)
                     45:   @uref{../n_wishartd-html/n_wishartd-en.html}
                     46: @subsection nn_ndbf (local b-function)
                     47:   @uref{../nn_ndbf-html/nn_ndbf-en.html}
                     48: @subsection noro_mwl (Mordel Weil Lattice)
                     49:   @uref{../noro_mwl-html/noro_mwl-en.html}
                     50: @subsection noro_module_syz (syzygies for modules)
                     51:   @uref{../noro_module_syz-html/noro_module_syz-en.html}
                     52: @subsection ns_twistedlog (twisted logarithmic cohomology group)
                     53:   @uref{../ns_twistedlog-html/ns_twistedlog-en.html}
                     54: @subsection nk_fb_gen_c (Fisher Bingham MLE)
                     55:   @uref{../nk_fb_gen_c-html/nk_fb_gen_c-en.html}
1.9       takayama   56: @subsection ok_diff (Okutani's library for differential operators)
                     57:   @uref{../ok_diff-html/ok_diff-en.html}
                     58: @subsection ok_dmodule (Okutani's library for D-modules)
                     59:   @uref{../ok_dmodule-html/ok_dmodule-en.html}
1.17      takayama   60: @subsection om (om (java) ox server for translating CMO and OpenMath)
                     61:   @uref{../om-html/om-en.html}
                     62: @subsection ox_pari (OpenXM pari server)
                     63:   @uref{../ox_pari-html/ox_pari-en.html}
1.9       takayama   64: @subsection  (Plucker relations)
                     65:   @uref{../plucker-html/plucker-en.html}
                     66: @subsection  pfpcoh (Ohara's library for homology/cohomology groups for p F q )
                     67:   @uref{../pfpcoh-html/pfpcoh-en.html}
                     68: @subsection phc (PHC ox server for solving systems of algebraic equations by the homotopy method)
                     69:   @uref{../phc-html/phc-en.html}
                     70: @subsection sm1 (Kan/sm1 ox server for the ring of differential operators)
                     71:   @uref{../sm1-html/sm1-en.html}
                     72: @subsection tigers (tigers ox server for toric universal Grobner bases)
                     73:   @uref{../tigers-html/tigers-en.html}
1.21    ! takayama   74: @subsection tk_ode_by_mpfr (Generating C codes for numerical analysis of ODE by MPFR, document in Japanese)
        !            75:   @uref{../tk_ode_by_mpfr-html/tk_ode_by_mpfr-ja.html}
1.9       takayama   76: */
                     77:
                     78: /*&ja
1.1       takayama   79:
1.9       takayama   80: @subsection dsolv (Solving the initial ideal for holonomic systems)
                     81:   @uref{../dsolv-html/dsolv-ja.html}
1.17      takayama   82: @subsection gtt_ekn (Two way contingency tables by HGM)
                     83:   @uref{../gtt_ekn-html/gtt_ekn-ja.html}
                     84: @subsection f_res (Comuting resultant)
                     85:   @uref{../f_res-html/f_res-ja.html}
1.9       takayama   86: @subsection  (gnuplot ox server for graphics)
                     87:   @uref{../gnuplot-html/gnuplot-ja.html}
                     88: @subsection mathematica (Mathematica (TM) ox server)
                     89:   @uref{../mathematica-html/mathematica-ja.html}
                     90: @subsection mt_graph (3D grapher)
                     91:   @uref{../mk_graph-html/mk_graph-ja.html}
1.18      takayama   92: @subsection mt_gkz (Intersection matrix of GKZ systems, English)
1.19      takayama   93:   @uref{../mt_gkz-html/mt_gkz-ja.html}
1.17      takayama   94: @subsection n_wishartd (restriction of matrix 1F1)
                     95:   @uref{../n_wishartd-html/n_wishartd-ja.html}
                     96: @subsection nn_ndbf (local b-function)
                     97:   @uref{../nn_ndbf-html/nn_ndbf-ja.html}
1.10      takayama   98: @subsection noro_mwl (Mordel Weil Lattice)
                     99:   @uref{../noro_mwl-html/noro_mwl-ja.html}
1.11      takayama  100: @subsection noro_pd (New Primary Ideal Decomposition)
                    101:   @uref{../noro_pd-html/noro_pd-ja.html}
1.17      takayama  102: @subsection noro_module_syz (syzygies for modules)
                    103:   @uref{../noro_module_syz-html/noro_module_syz-ja.html}
1.12      takayama  104: @subsection ns_twistedlog (twisted logarithmic cohomology group)
                    105:   @uref{../ns_twistedlog-html/ns_twistedlog-ja.html}
1.13      takayama  106: @subsection nk_fb_gen_c (Fisher Bingham MLE)
                    107:   @uref{../nk_fb_gen_c-html/nk_fb_gen_c-ja.html}
1.17      takayama  108: @subsection ok_diff (Okutani's library for differential operators)
                    109:   @uref{../ok_diff-html/ok_diff-ja.html}
                    110: @subsection ok_dmodule (Okutani's library for D-modules)
                    111:   @uref{../ok_dmodule-html/ok_dmodule-ja.html}
                    112: @subsection om (om (java) ox server for translating CMO and OpenMath)
                    113:   @uref{../om-html/om-ja.html}
1.16      takayama  114: @subsection ox_pari (OpenXM pari server)
                    115:   @uref{../ox_pari-html/ox_pari-ja.html}
1.17      takayama  116: @subsection  (Plucker relations)
                    117:   @uref{../plucker-html/plucker-ja.html}
                    118: @subsection  pfpcoh (Ohara's library for homology/cohomology groups for p F q )
                    119:   @uref{../pfpcoh-html/pfpcoh-ja.html}
                    120: @subsection phc (PHC ox server for solving systems of algebraic equations by the homotopy method)
                    121:   @uref{../phc-html/phc-ja.html}
                    122: @subsection sm1 (Kan/sm1 ox server for the ring of differential operators)
                    123:   @uref{../sm1-html/sm1-ja.html}
                    124: @subsection tigers (tigers ox server for toric universal Grobner bases)
                    125:   @uref{../tigers-html/tigers-ja.html}
1.20      takayama  126: @subsection tk_ode_by_mpfr (Generating C codes for numerical analysis of ODE by MPFR)
1.21    ! takayama  127:   @uref{../tk_ode_by_mpfr-html/tk_ode_by_mpfr-ja.html}
1.1       takayama  128: */
                    129:
                    130: /*&ja
                    131:
1.9       takayama  132: @subsection todo_parametrize
                    133:   @uref{../todo_parametrize-html/todo_parametrize-ja.html}
1.1       takayama  134:
                    135: $B%Q%C%1!<%8(B @code{todo_parametrize/todo_parametrize.rr} $B$r%m!<%I$9$k$3$H$K$h$j(B,
                    136: $BM-M}6J@~$N%Q%i%a!<%?I=<($r8+IU$1$k4X?t$G$"$k(B,
                    137: @code{paramerize} $B$,MxMQ$G$-$k$h$&$K$J$k(B.
                    138: $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
                    139: (@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}).
                    140: $B$3$N%Q%C%1!<%8$N%^%K%e%"%k$X$NE}9g$O$^$@$G$-$F$$$J$$(B.
                    141: $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
                    142: $BL>A0$N>WFM$N2DG=@-$,$"$k(B.
                    143: */
                    144:
                    145: /*&en
                    146:
1.2       takayama  147: @subsection [[todo_parametrize]]
1.1       takayama  148:    todo_parametrize/todo_parametrize_toc
                    149:
                    150: With loading the file @code{todo_parametrize/todo_parametrize.rr}
                    151: the function @code{paramerize} is installed.
                    152: The function finds a parametric expression of a given rational curve.
                    153: As to details, see
                    154: @xref{,,,todo_parametrize_ja, A package for algebraic curves} (in Japanese).
                    155:
                    156: */
                    157:
                    158: /*&C
                    159: @example
                    160: [1205] load("todo_parametrize/todo_parametrize.rr");
                    161: 1
                    162: [1425] parametrize(y^2-x^3);
                    163: [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)]
                    164: [1426] parametrize(y^2+x^3);
                    165: [-t,1,t^3,(-x)/(y)]
                    166: @end example
                    167: */
1.3       takayama  168:
1.4       takayama  169: /*&ja
                    170:
1.9       takayama  171: @subsection taji_alc
                    172:  @uref{../taji_alc-html/taji_alc-ja.html}
1.4       takayama  173:
                    174: $B%Q%C%1!<%8(B @code{taji_alc.rr} $B$r%m!<%I$9$k$3$H$K$h$j(B,
                    175: $B0lJQ?tBe?tE*%3%[%b%m%872$K4XO"$9$k4X?t$r%m!<%I$G$-$k(B.
1.6       takayama  176: (@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}).
1.9       takayama  177:
1.4       takayama  178:
                    179: */
                    180:
                    181: /*&en
                    182:
1.9       takayama  183: @subsection taji_alc
                    184:
1.4       takayama  185:
                    186: With loading the file @code{taji_alc.rr}
                    187: functions for algebraic local cohomology groups in one variable are imported.
                    188:
                    189: */
                    190:
                    191: /*&C
                    192: @example
                    193: import("taji_alc.rr");
                    194: taji_alc.laurent_expansion(x,(x-1)^3);
                    195: @end example
                    196: */
                    197:
                    198:
1.3       takayama  199:
                    200: /*&ja
                    201:
                    202: @subsection  Texinifo $B$G$J$$%^%K%e%"%k(B, $BO@J8Ey(B.
                    203:
                    204: @uref{http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/index-doc-ja.html, OpenXM documents}.
                    205: $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
                    206: $B4XO"O@J8$X$N%j%s%/$,$"$k(B.
                    207:
1.4       takayama  208: (yang, fj_curve, nk_mora $BEy(B)
                    209:
1.3       takayama  210: */
                    211:
                    212: /*&en
                    213:
                    214: @subsection   Manual and papers which are not written in texinfo.
                    215:
                    216: Links to manuals and papers related to files and commands in asir-contrib are
                    217: at
                    218: @uref{http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/index-doc-en.html, OpenXM documents}.
                    219:
                    220: */
                    221:

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>