1 コマンド"maxima"でMaximaを起動してください。
2 Maximaがバージョン情報とプロンプトを表示します。
3 それぞれのMaximaコマンドにはセミコロンを終わりに付けてください。
4 コマンド"quit();"でセッションが終了します。
8 [wfs@@chromium]$ maxima
9 Maxima 5.9.1 http://maxima.sourceforge.net
10 Using Lisp CMU Common Lisp 19a
11 Distributed under the GNU Public License. See the file COPYING.
12 Dedicated to the memory of William Schelter.
13 This is a development version of Maxima. The function bug_report()
14 provides bug reporting information.
18 (%i2) expand ((x + y)^6);
20 (%o2) y + 6 x y + 15 x y + 20 x y + 15 x y + 6 x y + x
21 (%i3) factor (x^6 - 1);
23 (%o3) (x - 1) (x + 1) (x - x + 1) (x + x + 1)
28 Maximaはインフォページを検索できます。
29 コマンドの情報や、文字列を含むコマンドや変数すべてを表示させるには、
30 @mref{describe}コマンドを使ってください。
31 クエスチョンマーク@mref{?} (完全一致検索)と
32 二重クエスチョンマーク@mref{??}(部分一致検索)は@code{describe}の省略形です:
36 0: Functions and Variables for Elliptic Integrals
37 1: Functions and Variables for Integration
38 2: Introduction to Elliptic Functions and Integrals
39 3: Introduction to Integration
40 4: askinteger (Functions and Variables for Simplification)
41 5: integerp (Functions and Variables for Miscellaneous Options)
42 6: integer_partitions (Functions and Variables for Sets)
43 7: integrate (Functions and Variables for Integration)
44 8: integrate_use_rootsof (Functions and Variables for Integration)
45 9: integration_constant_counter (Functions and Variables for
47 10: nonnegintegerp (Functions and Variables for linearalgebra)
48 Enter space-separated numbers, `all' or `none': 5 4
50 -- Function: integerp (<expr>)
51 Returns `true' if <expr> is a literal numeric integer, otherwise
54 `integerp' returns false if its argument is a symbol, even if the
55 argument is declared integer.
73 (%i8) declare (n, integer);
78 -- Function: askinteger (<expr>, integer)
79 -- Function: askinteger (<expr>)
80 -- Function: askinteger (<expr>, even)
81 -- Function: askinteger (<expr>, odd)
82 `askinteger (<expr>, integer)' attempts to determine from the
83 `assume' database whether <expr> is an integer. `askinteger'
84 prompts the user if it cannot tell otherwise, and attempt to
85 install the information in the database if possible. `askinteger
86 (<expr>)' is equivalent to `askinteger (<expr>, integer)'.
88 `askinteger (<expr>, even)' and `askinteger (<expr>, odd)'
89 likewise attempt to determine if <expr> is an even integer or odd
90 integer, respectively.
95 結果を後で使うには、結果を変数に割り当てるか、
96 自動的に供給されるラベルで参照することができます。
97 加えて、@mref{%}は直前の計算結果を示します:
100 (%i1) u: expand ((x + y)^6);
102 (%o1) y + 6 x y + 15 x y + 20 x y + 15 x y + 6 x y + x
105 (%o2) 6 y + 30 x y + 60 x y + 60 x y + 30 x y + 6 x
111 Maximaは複素数や数値定数について知っています:
123 (%i1) u: expand ((x + y)^6);
125 (%o1) y + 6 x y + 15 x y + 20 x y + 15 x y + 6 x y + x
128 (%o2) 6 y + 30 x y + 60 x y + 60 x y + 30 x y + 6 x
129 (%i3) integrate (1/(1 + x^3), x);
132 log(x - x + 1) sqrt(3) log(x + 1)
133 (%o3) - --------------- + ------------- + ----------
137 Maximaは1次方程式系や3次方程式を解くことができます:
140 (%i1) linsolve ([3*x + 4*y = 7, 2*x + a*y = 13], [x, y]);
142 (%o1) [x = --------, y = -------]
144 (%i2) solve (x^3 - 3*x^2 + 5*x = 15, x);
145 (%o2) [x = - sqrt(5) %i, x = sqrt(5) %i, x = 3]
148 Maximaは非線形方程式系を解くことができます。
149 もし結果を表示させたくなければ、コマンドの終わりに@kbd{;}の代わりに@kbd{$}をつければよいことに注意してください:
152 (%i1) eq_1: x^2 + 3*x*y + y^2 = 0$
153 (%i2) eq_2: 3*x + y = 1$
154 (%i3) solve ([eq_1, eq_2]);
155 3 sqrt(5) + 7 sqrt(5) + 3
156 (%o3) [[y = - -------------, x = -----------],
159 3 sqrt(5) - 7 sqrt(5) - 3
160 [y = -------------, x = - -----------]]
164 Maximaは関数のプロットが生成できます:
167 (%i1) plot2d (sin(x)/x, [x, -20, 20])$
170 @image{@value{figuresfolder}/introduction1, 10cm}
173 (%i2) plot2d ([atan(x), erf(x), tanh(x)], [x, -5, 5], [y, -1.5, 2])$
176 @image{@value{figuresfolder}/introduction2, 10cm}
180 (%i3) plot3d (sin(sqrt(x^2 + y^2))/sqrt(x^2 + y^2),
181 [x, -12, 12], [y, -12, 12])$
185 @image{@value{figuresfolder}/introduction3, 12cm}
188 @c FOLLOWING TEXT DESCRIBES THE TCL/TK PLOT WINDOW WHICH IS NO LONGER THE DEFAULT
189 @c Moving the cursor to the top left corner of the plot window will pop up
190 @c a menu that will, among other things, let you generate a PostScript file
191 @c of the plot. (By default, the file is placed in your home directory.)
192 @c You can rotate a 3D plot.