Annotation of OpenXM/src/asir-contrib/packages/doc/top/misc.oxw, Revision 1.18
1.18 ! takayama 1: @c $OpenXM: OpenXM/src/asir-contrib/packages/doc/top/misc.oxw,v 1.17 2020/08/28 00:39:45 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}
74: */
75:
76: /*&ja
1.1 takayama 77:
1.9 takayama 78: @subsection dsolv (Solving the initial ideal for holonomic systems)
79: @uref{../dsolv-html/dsolv-ja.html}
1.17 takayama 80: @subsection gtt_ekn (Two way contingency tables by HGM)
81: @uref{../gtt_ekn-html/gtt_ekn-ja.html}
82: @subsection f_res (Comuting resultant)
83: @uref{../f_res-html/f_res-ja.html}
1.9 takayama 84: @subsection (gnuplot ox server for graphics)
85: @uref{../gnuplot-html/gnuplot-ja.html}
86: @subsection mathematica (Mathematica (TM) ox server)
87: @uref{../mathematica-html/mathematica-ja.html}
88: @subsection mt_graph (3D grapher)
89: @uref{../mk_graph-html/mk_graph-ja.html}
1.18 ! takayama 90: @subsection mt_gkz (Intersection matrix of GKZ systems, English)
! 91: @uref{../mt_gkz-html/mt_gkz-en.html}
1.17 takayama 92: @subsection n_wishartd (restriction of matrix 1F1)
93: @uref{../n_wishartd-html/n_wishartd-ja.html}
94: @subsection nn_ndbf (local b-function)
95: @uref{../nn_ndbf-html/nn_ndbf-ja.html}
1.10 takayama 96: @subsection noro_mwl (Mordel Weil Lattice)
97: @uref{../noro_mwl-html/noro_mwl-ja.html}
1.11 takayama 98: @subsection noro_pd (New Primary Ideal Decomposition)
99: @uref{../noro_pd-html/noro_pd-ja.html}
1.17 takayama 100: @subsection noro_module_syz (syzygies for modules)
101: @uref{../noro_module_syz-html/noro_module_syz-ja.html}
1.12 takayama 102: @subsection ns_twistedlog (twisted logarithmic cohomology group)
103: @uref{../ns_twistedlog-html/ns_twistedlog-ja.html}
1.13 takayama 104: @subsection nk_fb_gen_c (Fisher Bingham MLE)
105: @uref{../nk_fb_gen_c-html/nk_fb_gen_c-ja.html}
1.17 takayama 106: @subsection ok_diff (Okutani's library for differential operators)
107: @uref{../ok_diff-html/ok_diff-ja.html}
108: @subsection ok_dmodule (Okutani's library for D-modules)
109: @uref{../ok_dmodule-html/ok_dmodule-ja.html}
110: @subsection om (om (java) ox server for translating CMO and OpenMath)
111: @uref{../om-html/om-ja.html}
1.16 takayama 112: @subsection ox_pari (OpenXM pari server)
113: @uref{../ox_pari-html/ox_pari-ja.html}
1.17 takayama 114: @subsection (Plucker relations)
115: @uref{../plucker-html/plucker-ja.html}
116: @subsection pfpcoh (Ohara's library for homology/cohomology groups for p F q )
117: @uref{../pfpcoh-html/pfpcoh-ja.html}
118: @subsection phc (PHC ox server for solving systems of algebraic equations by the homotopy method)
119: @uref{../phc-html/phc-ja.html}
120: @subsection sm1 (Kan/sm1 ox server for the ring of differential operators)
121: @uref{../sm1-html/sm1-ja.html}
122: @subsection tigers (tigers ox server for toric universal Grobner bases)
123: @uref{../tigers-html/tigers-ja.html}
1.1 takayama 124: */
125:
126: /*&ja
127:
1.9 takayama 128: @subsection todo_parametrize
129: @uref{../todo_parametrize-html/todo_parametrize-ja.html}
1.1 takayama 130:
131: $B%Q%C%1!<%8(B @code{todo_parametrize/todo_parametrize.rr} $B$r%m!<%I$9$k$3$H$K$h$j(B,
132: $BM-M}6J@~$N%Q%i%a!<%?I=<($r8+IU$1$k4X?t$G$"$k(B,
133: @code{paramerize} $B$,MxMQ$G$-$k$h$&$K$J$k(B.
134: $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
135: (@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}).
136: $B$3$N%Q%C%1!<%8$N%^%K%e%"%k$X$NE}9g$O$^$@$G$-$F$$$J$$(B.
137: $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
138: $BL>A0$N>WFM$N2DG=@-$,$"$k(B.
139: */
140:
141: /*&en
142:
1.2 takayama 143: @subsection [[todo_parametrize]]
1.1 takayama 144: todo_parametrize/todo_parametrize_toc
145:
146: With loading the file @code{todo_parametrize/todo_parametrize.rr}
147: the function @code{paramerize} is installed.
148: The function finds a parametric expression of a given rational curve.
149: As to details, see
150: @xref{,,,todo_parametrize_ja, A package for algebraic curves} (in Japanese).
151:
152: */
153:
154: /*&C
155: @example
156: [1205] load("todo_parametrize/todo_parametrize.rr");
157: 1
158: [1425] parametrize(y^2-x^3);
159: [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)]
160: [1426] parametrize(y^2+x^3);
161: [-t,1,t^3,(-x)/(y)]
162: @end example
163: */
1.3 takayama 164:
1.4 takayama 165: /*&ja
166:
1.9 takayama 167: @subsection taji_alc
168: @uref{../taji_alc-html/taji_alc-ja.html}
1.4 takayama 169:
170: $B%Q%C%1!<%8(B @code{taji_alc.rr} $B$r%m!<%I$9$k$3$H$K$h$j(B,
171: $B0lJQ?tBe?tE*%3%[%b%m%872$K4XO"$9$k4X?t$r%m!<%I$G$-$k(B.
1.6 takayama 172: (@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 173:
1.4 takayama 174:
175: */
176:
177: /*&en
178:
1.9 takayama 179: @subsection taji_alc
180:
1.4 takayama 181:
182: With loading the file @code{taji_alc.rr}
183: functions for algebraic local cohomology groups in one variable are imported.
184:
185: */
186:
187: /*&C
188: @example
189: import("taji_alc.rr");
190: taji_alc.laurent_expansion(x,(x-1)^3);
191: @end example
192: */
193:
194:
1.3 takayama 195:
196: /*&ja
197:
198: @subsection Texinifo $B$G$J$$%^%K%e%"%k(B, $BO@J8Ey(B.
199:
200: @uref{http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/index-doc-ja.html, OpenXM documents}.
201: $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
202: $B4XO"O@J8$X$N%j%s%/$,$"$k(B.
203:
1.4 takayama 204: (yang, fj_curve, nk_mora $BEy(B)
205:
1.3 takayama 206: */
207:
208: /*&en
209:
210: @subsection Manual and papers which are not written in texinfo.
211:
212: Links to manuals and papers related to files and commands in asir-contrib are
213: at
214: @uref{http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/index-doc-en.html, OpenXM documents}.
215:
216: */
217:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>