File: maxima_10.html

package info (click to toggle)
maxima 5.47.0-9
links: PTS
area: main
in suites: forky, sid
size: 193,104 kB
sloc: lisp: 434,678; fortran: 14,665; tcl: 10,990; sh: 4,577; makefile: 2,763; ansic: 447; java: 328; python: 262; perl: 201; xml: 60; awk: 28; sed: 15; javascript: 2
file content (931 lines) | stat: -rw-r--r-- 52,524 bytes
parent folder | download | duplicates (2)
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<!-- Created by GNU Texinfo 5.1, http://www.gnu.org/software/texinfo/ -->
<head>
<title>Maxima Manual: Функции и переменные для работы в командной строке</title>

<meta name="description" content="Maxima Manual: Функции и переменные для работы в командной строке">
<meta name="keywords" content="Maxima Manual: Функции и переменные для работы в командной строке">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="makeinfo">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<link href="maxima_toc.html#Top" rel="start" title="Top">
<link href="maxima_264.html#g_t_0423_043a_0430_0437_0430_0442_0435_043b_044c-_0444_0443_043d_043a_0446_0438_0439-_0438-_043f_0435_0440_0435_043c_0435_043d_043d_044b_0445" rel="index" title="Указатель функций и переменных">
<link href="maxima_toc.html#SEC_Contents" rel="contents" title="Table of Contents">
<link href="maxima_8.html#g_t_041a_043e_043c_0430_043d_0434_043d_0430_044f-_0441_0442_0440_043e_043a_0430" rel="up" title="Командная строка">
<link href="maxima_11.html#g_t_041e_043f_0435_0440_0430_0442_043e_0440_044b" rel="next" title="Операторы">
<link href="maxima_9.html#g_t_0412_0432_0435_0434_0435_043d_0438_0435-_0432-_043a_043e_043c_0430_043d_0434_043d_0443_044e-_0441_0442_0440_043e_043a_0443" rel="previous" title="Введение в командную строку">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
blockquote.smallquotation {font-size: smaller}
div.display {margin-left: 3.2em}
div.example {margin-left: 3.2em}
div.indentedblock {margin-left: 3.2em}
div.lisp {margin-left: 3.2em}
div.smalldisplay {margin-left: 3.2em}
div.smallexample {margin-left: 3.2em}
div.smallindentedblock {margin-left: 3.2em; font-size: smaller}
div.smalllisp {margin-left: 3.2em}
kbd {font-style:oblique}
pre.display {font-family: inherit}
pre.format {font-family: inherit}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: inherit; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: inherit; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.nocodebreak {white-space:nowrap}
span.nolinebreak {white-space:nowrap}
span.roman {font-family:serif; font-weight:normal}
span.sansserif {font-family:sans-serif; font-weight:normal}
ul.no-bullet {list-style: none}
body {color: black; background: white;  margin-left: 8%; margin-right: 13%;
      font-family: "FreeSans", sans-serif}
h1 {font-size: 150%; font-family: "FreeSans", sans-serif}
h2 {font-size: 125%; font-family: "FreeSans", sans-serif}
h3 {font-size: 100%; font-family: "FreeSans", sans-serif}
a[href] {color: rgb(0,0,255); text-decoration: none;}
a[href]:hover {background: rgb(220,220,220);}
div.textbox {border: solid; border-width: thin; padding-top: 1em;
    padding-bottom: 1em; padding-left: 2em; padding-right: 2em}
div.titlebox {border: none; padding-top: 1em; padding-bottom: 1em;
    padding-left: 2em; padding-right: 2em; background: rgb(200,255,255);
    font-family: sans-serif}
div.synopsisbox {
    border: none; padding-top: 1em; padding-bottom: 1em; padding-left: 2em;
    padding-right: 2em; background: rgb(255,220,255);}
pre.example {border: 1px solid rgb(180,180,180); padding-top: 1em;
    padding-bottom: 1em; padding-left: 1em; padding-right: 1em;
    background-color: rgb(238,238,255)}
div.spacerbox {border: none; padding-top: 2em; padding-bottom: 2em}
div.image {margin: 0; padding: 1em; text-align: center}
div.categorybox {border: 1px solid gray; padding-top: 1em; padding-bottom: 1em;
    padding-left: 1em; padding-right: 1em; background: rgb(247,242,220)}
img {max-width:80%; max-height: 80%; display: block; margin-left: auto; margin-right: auto}

-->
</style>

<link rel="icon" href="figures/favicon.ico">
<script src="https://polyfill.io/v3/polyfill.min.js?features=es6>"></script>
<script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
</head>

<body lang="ru" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
<a name="g_t_0424_0443_043d_043a_0446_0438_0438-_0438-_043f_0435_0440_0435_043c_0435_043d_043d_044b_0435-_0434_043b_044f-_0440_0430_0431_043e_0442_044b-_0432-_043a_043e_043c_0430_043d_0434_043d_043e_0439-_0441_0442_0440_043e_043a_0435"></a>
<div class="header">
<p>
Previous: <a href="maxima_9.html#g_t_0412_0432_0435_0434_0435_043d_0438_0435-_0432-_043a_043e_043c_0430_043d_0434_043d_0443_044e-_0441_0442_0440_043e_043a_0443" accesskey="p" rel="previous">Введение в командную строку</a>, Up: <a href="maxima_8.html#g_t_041a_043e_043c_0430_043d_0434_043d_0430_044f-_0441_0442_0440_043e_043a_0430" accesskey="u" rel="up">Командная строка</a> &nbsp; [<a href="maxima_toc.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="maxima_264.html#g_t_0423_043a_0430_0437_0430_0442_0435_043b_044c-_0444_0443_043d_043a_0446_0438_0439-_0438-_043f_0435_0440_0435_043c_0435_043d_043d_044b_0445" title="Index" rel="index">Index</a>]</p>
</div>
<a name="Funkcii-i-peremennye-dlya-raboty-v-komandnoi-stroke"></a>
<h3 class="section">4.2 Функции и переменные для работы в командной строке</h3>

<a name="Item_003a-Command_002fdeffn_002falias"></a><dl>
<dt><a name="index-alias"></a>Функция: <strong>alias</strong> <em>(<var>new_name_1</var>, <var>old_name_1</var>, ..., <var>new_name_n</var>, <var>old_name_n</var>)</em></dt>
<dd><p>создает альтернативное имя для пользовательской или системной
функции, переменной, массива и т.п.
Данная функция может иметь любое число парных аргументов.
</p>



</dd></dl>

<a name="Item_003a-Command_002fdefvr_002fdebugmode"></a><dl>
<dt><a name="index-debugmode"></a>Управляющая переменная: <strong>debugmode</strong></dt>
<dd><p>Значение по умолчанию: <code>false</code>
</p>
<p>Если во время работы Maxima возникла ошибка, Maxima запускает отладчик
если значение переключателя <code>debugmode</code> равно <code>true</code>.
В отладчике пользователь может исследовать значения стека, установить
точки останова, просматривать код и т.д.  См.  <code>debugging</code>
для списка команд отладчика.
</p>
<p>Отладчик Maxima, включаемый с помощью <code>debugmode</code>, не
обрабатывает ошибки на уровне Lisp.
</p>




</dd></dl>

<a name="ev"></a><a name="Item_003a-Command_002fdeffn_002fev"></a><dl>
<dt><a name="index-ev"></a>Функция: <strong>ev</strong> <em>(<var>expr</var>, <var>arg_1</var>, ..., <var>arg_n</var>)</em></dt>
<dd><p>Вычисляет выражение <var>expr</var> в окружении определяемом аргументами
<var>arg_1</var>, ..., <var>arg_n</var>.  Данные аргументы могут быть
переключателями (логические флаги), присваиваниями, уравнениями и функциями.
<code>ev</code> возвращает результат вычисления (выражение).
</p>
<p>Вычисление осуществляется в несколько шагов.
</p>
<ol>
<li> Сначала окружение устанавливается в соответствии с аргументами,
которые могут быть одним из следующего:

<ul>
<li> <code>simp</code> вызывает упрощение выражения <var>expr</var> вне зависимости
от текущего значения переключателя <code>simp</code> (отключает упрощение
если равен <code>false</code>).
</li><li> <code>noeval</code> отключает вычисление для данной стадии <code>ev</code>
(см. шаг (4) ниже).  Это может быть полезно в комбинации с другими
переключателями и вызывает повторное упрощение <var>expr</var> без
перевычисления.
</li><li> <code>nouns</code> вызывает вычисление невычисляемых (noun) форм
(обычно это невычисляемые функции, такие как <code>'integrate</code>
или <code>'diff</code>) в <var>expr</var>.
</li><li> <code>expand</code> вызывает раскрытие скобок.
</li><li> <code>expand (<var>m</var>,<var>n</var>)</code> вызывает раскрытие скобок при  <code>maxposex</code> и
<code>maxnegex</code> равным  <var>m</var> и <var>n</var> соответственно.
</li><li> <code>detout</code> при вычислении обратных матриц в <var>expr</var>, сохраняет
определитель матрицы как общий множитель вместо того чтобы делить
на него каждый элемент матрицы в отдельности.
</li><li> <code>diff</code> вызывает вычисление всех производных в <var>expr</var>.
</li><li> <code>derivlist (<var>x</var>, <var>y</var>, <var>z</var>, ...)</code> вызовет вычисление
производных только относительно указанных переменных.
</li><li> <code>float</code> вызывает преобразование нецелых рациональных чисел
в числа с плавающей точкой.
</li><li> <code>numer</code> вызывает численное вычисление математических
функций (включая экспоненты), имеющих числовые аргументы.  Вызывает
замену переменных, имеющих числовые значения (см. <code>numerval</code>), этими
значениями.  Устанавливает значение переключателя <code>float</code>
равным <code>true</code>.
</li><li> <code>pred</code> вызывает вычисление предикатов (выражений, значение
которых <code>true</code> или <code>false</code>).
</li><li> <code>eval</code> вызывает дополнительное пост-вычисление <var>expr</var>
(см. шаг (5) ниже).
<code>eval</code> может встречаться несколько раз.
Для каждого <code>eval</code> выражение вычисляется еще раз.
</li><li> <code>A</code>, где <code>A</code> есть атом, являющийся флагом вычисления (см. <code>evflag</code>),
устанавливает значение <code>A</code> равным <code>true</code> в процессе
вычисления <var>expr</var>.
</li><li> <code>V: expression</code> (или альтернативно <code>V=expression</code>)
присваивает <code>V</code> значение  <code>expression</code> в процессе вычисления
<var>expr</var>.  Если <code>V</code> является управляющей переменной (опцией)
Maxima, тогда значение <code>expression</code> используется в качестве
значения опции в процессе вычисления <var>expr</var>.  Если имеется более
одного аргумента <code>ev</code> данного типа, то присваивание осуществляется
параллельно.  Если <code>V</code> является не атомарным выражением, то
вместо присваивания осуществляется подстановка.
</li><li> <code>F</code>, где <code>F</code> есть имя функции, являющейся функцией
вычисления (см. <code>evfun</code>) вызывает применение <code>F</code> к <var>expr</var>.
</li><li> Любые другие имена функций (скажем <code>sum</code>) вызывают вычисление
этих функций в <var>expr</var>, так как если бы они имели
вычисляемую форму.
</li><li> Кроме того, встречающаяся в <var>expr</var> функция (скажем <code>F(x)</code>)
может быть локально определена для вычисления <var>expr</var>, путем
задания аргумента в форме <code>F(x) := expression</code>.
</li><li> Если в качестве аргумента указан любой, не указанный выше атом, или
переменная с индексом, или выражение с индексом, то данный аргумент
вычисляется.  Если результатом вычисления является уравнение или
присваивание, то выполняется соответствующее присваивание или
подстановка.  Если результатом вычисления является список, то
элементы этого списка трактуются как дополнительные аргументы
<code>ev</code>.  Это, в частности, позволяет использовать список
уравнений (например <code>[X=1, Y=A**2]</code>), или список имен
уравнений (например <code>[%t1, %t2]</code>, где <code>%t1</code> и
<code>%t2</code> являются результатом работы функции <code>solve</code>.
</li></ul>

<p>Аргументы <code>ev</code> могут быть указаны в произвольном порядке за
исключением уравнений, которые выполняются последовательно слева
направо, и составных вычисляющих функций (например
<code>ev (<var>expr</var>, ratsimp, realpart)</code> выполняется как
<code>realpart (ratsimp (<var>expr</var>))</code>).
</p>
<p>Переключатели <code>simp</code>, <code>numer</code>, <code>float</code> и <code>pred</code>
могут быть установлены локально в блоке, или глобально.
В последнем случае они будут действовать до переопределения.
</p>
<p>Если выражение <var>expr</var> является каноническим рациональным
выражением (КРВ, canonical rational expression (CRE)), тогда
результатом <code>ev</code> тоже является КРВ, если только переключатели
<code>numer</code> и <code>float</code> оба не равны <code>true</code>.
</p>
</li><li> На шаге (1), составляется список не-индексированных
переменных входящих в левые части аргументов, являющихся уравнениями,
или в значения аргументов, если эти значения являются уравнениями.
Переменные (индексированные, которые не имеют соответствующих
функций массивов, и не-индексированные) в выражении <var>expr</var>
заменяются на свои глобальные значения, за исключением тех,
которые входят в вышеуказанный список.   Обычно, <var>expr</var> это просто
метка <code>%</code> (как <code>%i2</code> в примере ниже), так что на данном шаге
просто получается выражение, обозначаемое данной меткой.

</li><li> Если среди аргументов имеются подстановки, то они выполняются.

</li><li> Полученное выражение снова вычисляется (если одним из аргументов не
является <code>noeval</code>) и упрощается в соответствии с заданными
аргументами.  Все вызовы функций в <var>expr</var> выполняются после
вычисления переменных.  Таким образом <code>ev(F(x))</code> трактуется
как <code>F(ev(x))</code>.

</li><li> Для каждого <code>eval</code>, шаги (3) и (4) повторяются.
</li></ol>

<p>Примеры:
</p>
<div class="example">
<pre class="example">(%i1) sin(x) + cos(y) + (w+1)^2 + 'diff (sin(w), w);
                                     d                    2
(%o1)              cos(y) + sin(x) + -- (sin(w)) + (w + 1)
                                     dw
(%i2) ev (%, sin, expand, diff, x=2, y=1);
                          2
(%o2)           cos(w) + w  + 2 w + cos(1) + 1.909297426825682
</pre></div>

<p>Имеется альтернативный синтаксис функции <code>ev</code>, который может
использоваться только на верхнем уровне: аргументы <code>ev()</code>
перечисляются через запятую после выражения.  Т.е. можно просто
написать
</p>
<div class="example">
<pre class="example"><var>expr</var>, <var>arg_1</var>, ..., <var>arg_n</var>
</pre></div>

<p>Такая конструкция недопустима как часть другого выражения,
функции, блока и т.п.
</p>
<p>Обратите внимание на параллельное присваивание в следующих
примерах.
</p>
<div class="example">
<pre class="example">(%i3) programmode: false;
(%o3)                                false
(%i4) x+y, x: a+y, y: 2;
(%o4)                              y + a + 2
(%i5) 2*x - 3*y = 3$
(%i6) -3*x + 2*y = -4$
(%i7) solve ([%o5, %o6]);
Solution

                                          1
(%t7)                               y = - -
                                          5

                                         6
(%t8)                                x = -
                                         5
(%o8)                            [[%t7, %t8]]
(%i8) %o6, %o8;
(%o8)                              - 4 = - 4
(%i9) x + 1/x &gt; gamma (1/2);
                                   1
(%o9)                          x + - &gt; sqrt(%pi)
                                   x
(%i10) %, numer, x=1/2;
(%o10)                      2.5 &gt; 1.772453850905516
(%i11) %, pred;
(%o11)                               true
</pre></div>




</dd></dl>

<a name="evflag"></a><a name="Item_003a-Command_002fdefvr_002fevflag"></a><dl>
<dt><a name="index-evflag"></a>Свойство: <strong>evflag</strong></dt>
<dd><p>Если символ <var>x</var> имеет свойство <code>evflag</code>,
то выражения <code>ev(<var>expr</var>, <var>x</var>)</code> и <code><var>expr</var>, <var>x</var></code>
(в интерактивной командной строке) эквивалентны <code>ev(<var>expr</var>, <var>x</var> = true)</code>.
Т.е. <var>x</var> имеет значение <code>true</code> в процессе вычисления <var>expr</var>.
</p>
<p>Выражение <code>declare(<var>x</var>, evflag)</code>
устанавливает свойство <code>evflag</code> для переменной <var>x</var>.
</p>
<p>Следующие переключатели имеют по умолчанию свойство <code>evflag</code>:
<code>algebraic</code>,
<code>cauchysum</code>,
<code>demoivre</code>,
<code>dotscrules</code>,
<code>%emode</code>,
<code>%enumer</code>,
<code>exponentialize</code>,
<code>exptisolate</code>,
<code>factorflag</code>,
<code>float</code>,
<code>halfangles</code>,
<code>infeval</code>,
<code>isolate_wrt_times</code>,
<code>keepfloat</code>,
<code>letrat</code>,
<code>listarith</code>,
<code>logabs</code>,
<code>logarc</code>,
<code>logexpand</code>,
<code>lognegint</code>,
<code>lognumer</code>,
<code>m1pbranch</code>,
<code>numer_pbranch</code>,
<code>programmode</code>,
<code>radexpand</code>,
<code>ratalgdenom</code>,
<code>ratfac</code>,
<code>ratmx</code>,
<code>ratsimpexpons</code>,
<code>simp</code>,
<code>simpsum</code>,
<code>sumexpand</code> и
<code>trigexpand</code>.
</p>
<p>Примеры:
</p>
<div class="example">
<pre class="example">(%i1) sin (1/2);
                                 1
(%o1)                        sin(-)
                                 2
(%i2) sin (1/2), float;
(%o2)                   0.479425538604203
(%i3) sin (1/2), float=true;
(%o3)                   0.479425538604203
(%i4) simp : false;
(%o4)                         false
(%i5) 1 + 1;
(%o5)                         1 + 1
(%i6) 1 + 1, simp;
(%o6)                           2
(%i7) simp : true;
(%o7)                         true
(%i8) sum (1/k^2, k, 1, inf);
                            inf
                            ====
                            \     1
(%o8)                        &gt;    --
                            /      2
                            ====  k
                            k = 1
(%i9) sum (1/k^2, k, 1, inf), simpsum;
                                 2
                              %pi
(%o9)                         ----
                               6
(%i10) declare (aa, evflag);
(%o10)                        done
(%i11) if aa = true then YES else NO;
(%o11)                         NO
(%i12) if aa = true then YES else NO, aa;
(%o12)                         YES
</pre></div>





</dd></dl>

<a name="evfun"></a><a name="Item_003a-Command_002fdefvr_002fevfun"></a><dl>
<dt><a name="index-evfun"></a>Свойство: <strong>evfun</strong></dt>
<dd><p>Если функция <var>F</var> имеет свойство <code>evfun</code>,
то выражения <code>ev(<var>expr</var>, <var>F</var>)</code> и <code><var>expr</var>, <var>F</var></code>
(в интерактивной командной строке)
эквивалентны <code><var>F</var>(ev(<var>expr</var>))</code>.
</p>
<p>Если заданы две или более <code>evfun</code> функций <var>F</var>, <var>G</var>, то
функции применяются в порядке задания.
</p>
<p>Выражение <code>declare(<var>F</var>, evfun)</code>
устанавливает свойство <code>evfun</code> для функции <var>F</var>.
</p>
<p>Следующие функции имеют по умолчанию свойство <code>evfun</code>:
<code>bfloat</code>,
<code>factor</code>,
<code>fullratsimp</code>,
<code>logcontract</code>,
<code>polarform</code>,
<code>radcan</code>,
<code>ratexpand</code>,
<code>ratsimp</code>,
<code>rectform</code>,
<code>rootscontract</code>,
<code>trigexpand</code> и
<code>trigreduce</code>.
</p>
<p>Примеры:
</p>
<div class="example">
<pre class="example">(%i1) x^3 - 1;
                              3
(%o1)                        x  - 1
(%i2) x^3 - 1, factor;
                                2
(%o2)                 (x - 1) (x  + x + 1)
(%i3) factor (x^3 - 1);
                                2
(%o3)                 (x - 1) (x  + x + 1)
(%i4) cos(4 * x) / sin(x)^4;
                            cos(4 x)
(%o4)                       --------
                               4
                            sin (x)
(%i5) cos(4 * x) / sin(x)^4, trigexpand;
                 4           2       2         4
              sin (x) - 6 cos (x) sin (x) + cos (x)
(%o5)         -------------------------------------
                                4
                             sin (x)
(%i6) cos(4 * x) / sin(x)^4, trigexpand, ratexpand;
                           2         4
                      6 cos (x)   cos (x)
(%o6)               - --------- + ------- + 1
                          2          4
                       sin (x)    sin (x)
(%i7) ratexpand (trigexpand (cos(4 * x) / sin(x)^4));
                           2         4
                      6 cos (x)   cos (x)
(%o7)               - --------- + ------- + 1
                          2          4
                       sin (x)    sin (x)
(%i8) declare ([F, G], evfun);
(%o8)                         done
(%i9) (aa : bb, bb : cc, cc : dd);
(%o9)                          dd
(%i10) aa;
(%o10)                         bb
(%i11) aa, F;
(%o11)                        F(cc)
(%i12) F (aa);
(%o12)                        F(bb)
(%i13) F (ev (aa));
(%o13)                        F(cc)
(%i14) aa, F, G;
(%o14)                      G(F(cc))
(%i15) G (F (ev (aa)));
(%o15)                      G(F(cc))
</pre></div>




</dd></dl>
<a name="Item_003a-Command_002fdefvr_002finfeval"></a><dl>
<dt><a name="index-infeval"></a>Управляющая переменная: <strong>infeval</strong></dt>
<dd><p>Включает режим &quot;бесконечного вычисления&quot;.  <code>ev</code> вычисляет
выражение повторно до тех пор пока оно не перестает изменяться.
Чтобы предотвратить вычисление отдельной переменной, скажем <code>X</code>,
в данном режиме следует указать <code>X='X</code> в качестве
аргумента <code>ev</code>.  Разумеется, выражения вроде
<code>ev (X, X=X+1, infeval)</code> приводят к бесконечному циклу.
</p>



</dd></dl>

<a name="Item_003a-Command_002fdeffn_002fkill"></a><dl>
<dt><a name="index-kill"></a>Функция: <strong>kill</strong> <em>(<var>a_1</var>, ..., <var>a_n</var>)</em></dt>
<dt><a name="index-kill-1"></a>Функция: <strong>kill</strong> <em>(labels)</em></dt>
<dt><a name="index-kill-2"></a>Функция: <strong>kill</strong> <em>(inlabels, outlabels, linelabels)</em></dt>
<dt><a name="index-kill-3"></a>Функция: <strong>kill</strong> <em>(<var>n</var>)</em></dt>
<dt><a name="index-kill-4"></a>Функция: <strong>kill</strong> <em>([<var>m</var>, <var>n</var>])</em></dt>
<dt><a name="index-kill-5"></a>Функция: <strong>kill</strong> <em>(values, functions, arrays, ...)</em></dt>
<dt><a name="index-kill-6"></a>Функция: <strong>kill</strong> <em>(all)</em></dt>
<dt><a name="index-kill-7"></a>Функция: <strong>kill</strong> <em>(allbut (<var>a_1</var>, ..., <var>a_n</var>))</em></dt>
<dd>
<p>Удаляет все связи (значение, функцию, массив или правило) аргументов <var>a_1</var>, ..., <var>a_n</var>.
Аргумент <var>a_k</var> может быть символом или отдельным элементом массива.
Если <var>a_k</var> является отдельным элементом массива, то <code>kill</code> удаляет
значение одного этого элемента и не затрагивает другие элементы массива.
</p>
<p>Распознается несколько специальных форм аргументов.  При
этом аргументы различных типов могут быть скомбинированы,
например  <code>kill (inlabels, functions, allbut (foo, bar))</code>.
</p>
<p><code>kill (labels)</code> очищает значение меток ввода,
результата и меток промежуточных выражений, определенных на момент вызова.
<code>kill (inlabels)</code> очищает значение меток ввода, имена которых
начинаются с текущего значения <code>inchar</code>.
Аналогично,
<code>kill (outlabels)</code> очищает значение меток результата, имена которых
начинаются с текущего значения <code>outchar</code>,
и <code>kill (linelabels)</code> очищает значение меток промежуточных
выражений, имена которых начинаются с текущего значения <code>linechar</code>.
</p>
<p><code>kill (<var>n</var>)</code>, где <var>n</var> является целым числом,
очищает значение <var>n</var> первых меток ввода и результата.
</p>
<p><code>kill ([<var>m</var>, <var>n</var>])</code> очищает метки ввода и результата
с номерами от <var>m</var> до <var>n</var> включительно.
</p>
<p><code>kill (<var>infolist</var>)</code>, где <var>infolist</var> есть один из
информационных списков <code>infolists</code> (например <code>values</code>, <code>functions</code>
или <code>arrays</code>), очищает значение всех элементов в
<var>infolist</var>.  См. также <code>infolists</code>.
</p>
<p><code>kill (all)</code> очищает значения всех элементов во всех
информационных списках (infolists).
<code>kill (all)</code> не восстанавливает стандартные значения глобальных
переменных.  См. <code>reset</code> по поводу восстановления стандартных
значений глобальных переменных.
</p>
<p><code>kill (allbut (<var>a_1</var>, ..., <var>a_n</var>))</code>
очищает все элементы во всех информационных списках кроме  <var>a_1</var>, ..., <var>a_n</var>.
<code>kill (allbut (<var>infolist</var>))</code> очищает все элементы кроме тех,
которые принадлежат информационному списку <var>infolist</var>,
где <var>infolist</var> есть <code>values</code>, <code>functions</code>, <code>arrays</code>
и т.д.
</p>
<p>Отметим, что для освобождения памяти, занимаемой значением символа,
необходимо очистить все объекты ссылающиеся на это значение.
Необходимо не только очистить сам символ, но и результирующую метку
указывающую на его значение.
</p>
<p>Функция <code>kill</code> не вычисляет свои аргументы.
Для их вычисления можно использовать оператор кавычка-кавычка <code>'<!-- /@w -->'</code>.
</p>
<p><code>kill (<var>symbol</var>)</code> очищает все свойства символа <var>symbol</var> в
отличии от <code>remvalue</code>, <code>remfunction</code>, <code>remarray</code> и
<code>remrule</code>, которые очищают только определенное свойство.
</p>
<p><code>kill</code> всегда возвращает <code>done</code> даже если аргументы не имели
значения.
</p>





</dd></dl>

<a name="Item_003a-Command_002fdeffn_002flabels"></a><dl>
<dt><a name="index-labels"></a>Функция: <strong>labels</strong> <em>(<var>symbol</var>)</em></dt>
<dt><a name="index-labels-1"></a>Системная переменная: <strong>labels</strong></dt>
<dd><p>Возвращает список меток ввода, результата или меток промежуточных
выражений, имена которых начинаются с символа <var>symbol</var>.
Обычно <var>symbol</var> это значение <code>inchar</code>, <code>outchar</code> или <code>linechar</code>.
Значение <var>symbol</var> может быть указано с или без знака процента,
например <code>i</code> и <code>%i</code> дадут одинаковый результат.
</p>
<p>Если ни одна из меток не начинается с <var>symbol</var>, то возвращается
пустой список.
</p>
<p>Функция <code>labels</code> не вычисляет свои аргументы.
Для их вычисления можно использовать оператор кавычка-кавычка <code>'<!-- /@w -->'</code>.
Например, <code>labels (''inchar)</code> возвращает список меток ввода,
имена которых начинаются с текущего значения символа ввода.
</p>
<p>Переменная <code>labels</code> есть список всех меток ввода, результата и
меток промежуточных выражений, включая все предыдущие метки если
значение <code>inchar</code>, <code>outchar</code>  или <code>linechar</code>
изменялось.
</p>
<p>По умолчанию Maxima выводит результат каждого входного выражения
присваивая ему результирующую метку.  Печать результата можно подавить
используя для окончания выражения символ <code>$</code> вместо обычного
<code>;</code>.  В этом случае метка результата создается но сам
результат вычисления не печатается.  Тем не менее значение
метки результата запоминается и в дальнейшем может быть
использовано как обычно.  См. также <code>%</code>, <code>%%</code> и <code>%th</code>.
</p>
<p>Метки промежуточных выражений создаются некоторыми функциями.
Переключатель <code>programmode</code> определяет будет ли команда
<code>solve</code>, и некоторые другие функции, создавать промежуточные
метки или возвращать список выражений.  Некоторые другие функции,
такие как <code>ldisplay</code>, всегда создают метки промежуточных
выражений.
</p>
<p>См. также <code>inchar</code>, <code>outchar</code>, <code>linechar</code> и <code>infolists</code>.
</p>





</dd></dl>

<a name="Item_003a-Command_002fdefvr_002flinenum"></a><dl>
<dt><a name="index-linenum"></a>Системная переменная: <strong>linenum</strong></dt>
<dd><p>Порядковый номер текущей пары входного и результирующего выражений.
</p>





</dd></dl>

<a name="Item_003a-Command_002fdefvr_002fmyoptions"></a><dl>
<dt><a name="index-myoptions"></a>Системная переменная: <strong>myoptions</strong></dt>
<dd><p>Значение по умолчанию: <code>[]</code>
</p>
<p><code>myoptions</code> есть список всех переключателей (флагов) переопределенных
пользователем вне зависимости от того имеет ли в данный момент
переключатель значение по умолчанию или нет.
</p>





</dd></dl>

<a name="Item_003a-Command_002fdefvr_002fnolabels"></a><dl>
<dt><a name="index-nolabels"></a>Управляющая переменная: <strong>nolabels</strong></dt>
<dd><p>Значение по умолчанию: <code>false</code>
</p>
<p>Если <code>nolabels</code> равна <code>true</code>,
то метки ввода и результата
(<code>%i</code> и <code>%o</code>, соответственно)
печатаются но результирующее значение
этим меткам не присваивается а сами  метки не
добавляются к списку <code>labels</code>.
Поскольку результаты вычислений не
присваиваются меткам, то сборщик мусора
может освободить занимаемую ими память
для дальнейшего использования.
</p>
<p>В противном случае меткам ввода и меткам результата присваиваются
соответствующие значения а сами метки добавляются к списку <code>labels</code>.
</p>
<p>Флаг <code>nolabels</code> не влияет на метки промежуточных выражений (<code>%t</code>).
Независимо от значения <code>nolabels</code> равного <code>true</code> или <code>false</code>,
меткам промежуточных выражений присваиваются значение и они 
добавляются к списку <code>labels</code>.
</p>
<p>См. также <code>batch</code>, <code>load</code> и <code>labels</code>.
</p>




</dd></dl>

<a name="Item_003a-Command_002fdefvr_002foptionset"></a><dl>
<dt><a name="index-optionset"></a>Управляющая переменная: <strong>optionset</strong></dt>
<dd><p>Значение по умолчанию: <code>false</code>
</p>
<p>Если <code>optionset</code> равно <code>true</code>, Maxima печатает сообщение
при изменении значения любого переключателя (опция, флаг) Maxima.
Это может быть полезно, когда пользователь не уверен в написании
названия опции и хочет быть уверен, что он переопределил
значение правильной переменной.
</p>





</dd></dl>

<a name="Item_003a-Command_002fdeffn_002fplayback"></a><dl>
<dt><a name="index-playback"></a>Функция: <strong>playback</strong> <em>()</em></dt>
<dt><a name="index-playback-1"></a>Функция: <strong>playback</strong> <em>(<var>n</var>)</em></dt>
<dt><a name="index-playback-2"></a>Функция: <strong>playback</strong> <em>([<var>m</var>, <var>n</var>])</em></dt>
<dt><a name="index-playback-3"></a>Функция: <strong>playback</strong> <em>([<var>m</var>])</em></dt>
<dt><a name="index-playback-4"></a>Функция: <strong>playback</strong> <em>(input)</em></dt>
<dt><a name="index-playback-5"></a>Функция: <strong>playback</strong> <em>(slow)</em></dt>
<dt><a name="index-playback-6"></a>Функция: <strong>playback</strong> <em>(time)</em></dt>
<dt><a name="index-playback-7"></a>Функция: <strong>playback</strong> <em>(grind)</em></dt>
<dd><p>Выводит значения входных, результирующих и промежуточных
выражений без их перевычисления.
<code>playback</code> выводит только выражения связанные с метками &ndash;
любой другой вывод (текст выведенный <code>print</code> или <code>describe</code>,
сообщения об ошибках) не отображается.
См. также <code>labels</code>.
</p>
<p>Функция <code>playback</code> не вычисляет свои аргументы.
Для их вычисления можно использовать оператор кавычка-кавычка <code>'<!-- /@w -->'</code>.
<code>playback</code> возвращает значение <code>done</code>.
</p>
<p><code>playback ()</code> (без аргументов) печатает все входные, результирующие и
промежуточные выражения.  Результирующие выражения печатаются даже в случае,
когда во время первоначальных вычислений использовался <code>$</code> для
подавления печати результата.
</p>
<p><code>playback (<var>n</var>)</code> печатает <var>n</var> последних выражений.
Каждое входное, результирующее и промежуточное выражение
считается за одно.
</p>
<p><code>playback ([<var>m</var>, <var>n</var>])</code> печатает входные, результирующие
и промежуточные выражения с номерами от <var>m</var> до <var>n</var> включительно.
</p>
<p><code>playback ([<var>m</var>])</code> эквивалентно
<code>playback ([<var>m</var>, <var>m</var>])</code> и обычно печатает
одну пару из входного и результирующего выражений.
</p>
<p><code>playback (input)</code> печатает все входные выражения.
</p>
<p><code>playback (slow)</code> останавливается между выражениями и
ожидает пока пользователь нажмет &quot;ввод&quot; (<code>enter</code>).
Данное поведение аналогично команде <code>demo</code>.
<code>playback (slow)</code> полезно в сочетании с <code>save</code> или
<code>stringout</code> для выбора выражений, которые надо
сохранить в файле.
</p>
<p><code>playback (time)</code> показывает время вычисления для каждого выражения.
</p>
<p><code>playback (grind)</code> печатает входные выражения в
формате функции <code>grind</code>.  На результирующие выражения
данная опция не влияет.  См. <code>grind</code>.
</p>
<p>Аргументы функции <code>playback</code> могут быть скомбинированы,
например <code>playback ([5, 10], grind, time, slow)</code>.
</p>




</dd></dl>

<a name="Item_003a-Command_002fdeffn_002fprintprops"></a><dl>
<dt><a name="index-printprops"></a>Функция: <strong>printprops</strong> <em>(<var>a</var>, <var>i</var>)</em></dt>
<dt><a name="index-printprops-1"></a>Функция: <strong>printprops</strong> <em>([<var>a_1</var>, ..., <var>a_n</var>], <var>i</var>)</em></dt>
<dt><a name="index-printprops-2"></a>Функция: <strong>printprops</strong> <em>(all, <var>i</var>)</em></dt>
<dd><p>Печатает свойство с именем <var>i</var>, ассоциированное с атомом
<var>a</var>.  <var>a</var> может быть списком атомов или <code>all</code>.
В последнем случае будут использованы все атомы имеющие данное свойство.
Например, <code>printprops ([f, g], atvalue)</code>.  Функция
<code>printprops</code> предназначена для свойств, которые не могут быть
отображены другим способом, например для
<code>atvalue</code>, <code>atomgrad</code>, <code>gradef</code> и <code>matchdeclare</code>.
</p>




</dd></dl>

<a name="Item_003a-Command_002fdefvr_002fprompt"></a><dl>
<dt><a name="index-prompt"></a>Управляющая переменная: <strong>prompt</strong></dt>
<dd><p>Значение по умолчанию: <code>_</code>
</p>
<p><code>prompt</code> символ приглашения для функции <code>demo</code>,
<code>playback (slow)</code> и диалога прерывания Maxima (break loop)
(см. <code>break</code>).
</p>




</dd></dl>

<a name="Item_003a-Command_002fdeffn_002fquit"></a><dl>
<dt><a name="index-quit"></a>Функция: <strong>quit</strong> <em>()</em></dt>
<dd><p>Завершает сессию Maxima.
Команда должна быть введена именно как <code>quit();</code> или <code>quit()$</code>,
а не просто <code>quit</code>.
</p>
<p>Для прерывания длительных вычислений можно нажать <code>control-C</code>.
При этом по умолчанию Maxima возвращается на верхний уровень к
приглашению ввода следующей команды.
Если значение Lisp-переменной <code>*debugger-hook*</code> равно <code>nil</code>,
тогда нажатие <code>control-C</code> запускает Lisp отладчик.
См. также <code>debugging</code>.
</p>



</dd></dl>

<a name="Item_003a-Command_002fdeffn_002fremfunction"></a><dl>
<dt><a name="index-remfunction"></a>Функция: <strong>remfunction</strong> <em>(<var>f_1</var>, ..., <var>f_n</var>)</em></dt>
<dt><a name="index-remfunction-1"></a>Функция: <strong>remfunction</strong> <em>(all)</em></dt>
<dd><p>Удаляет определенные пользователем функции <var>f_1</var>, ..., <var>f_n</var>.
Аргументы могут быть именами обычных функций, созданных при помощи
<code>:=</code> или <code>define</code>, или макро функций, созданных при помощи
<code>::=</code>.
</p>
<p><code>remfunction (all)</code> &ndash; удаляет все определенные пользователем
функции.
</p>
<p><code>remfunction</code> не вычисляет свои аргументы.
</p>
<p><code>remfunction</code> возвращает список символов, для которых
было удалено определение функции.  Для символов, у которых
не было соответствующих определений функций, возвращается
<code>false</code>.
</p>
<p>Функция <code>remfunction</code> не применима к функциям массивам и переменным с индексом,
к этим типам функций применима <code>remarray</code>.
</p>



</dd></dl>

<a name="Item_003a-Command_002fdeffn_002freset"></a><dl>
<dt><a name="index-reset"></a>Функция: <strong>reset</strong> <em>()</em></dt>
<dd><p>Восстанавливает значения по умолчанию для глобальных переменных,
опций и некоторых других переменных.
</p>
<p><code>reset</code> восстанавливает значения переменных хранящихся в Lisp
списке <code>*variable-initial-values*</code>.
Lisp макрос <code>defmvar</code> добавляет переменные в этот список
(вместе с выполнением других действий).  Многие, но не все,
глобальные переменные и опции определены с помощью <code>defmvar</code>;
некоторые, определенные с помощью <code>defmvar</code> переменные, не
являются глобальными переменными или опциями.
</p>



</dd></dl>

<a name="Item_003a-Command_002fdefvr_002fshowtime"></a><dl>
<dt><a name="index-showtime"></a>Управляющая переменная: <strong>showtime</strong></dt>
<dd><p>Значение по умолчанию: <code>false</code>
</p>
<p>Если <code>showtime</code> равно <code>true</code> Maxima печатает время
вычисления для каждого результирующего выражения.
</p>
<p>Время вычисления всегда запоминается, так что
<code>time</code> и <code>playback</code> могут показать
это время даже если <code>showtime</code> равно <code>false</code>.
</p>
<p>См. также <code>timer</code>.
</p>




</dd></dl>

<a name="Item_003a-Command_002fdeffn_002fsstatus"></a><dl>
<dt><a name="index-sstatus"></a>Функция: <strong>sstatus</strong> <em>(<var>feature</var>, <var>package</var>)</em></dt>
<dd><p>Устанавливает статус <var>feature</var> в <var>package</var>.
После выполнения <code>sstatus (<var>feature</var>, <var>package</var>)</code>,
<code>status (<var>feature</var>, <var>package</var>)</code> возвращает <code>true</code>.
Этот механизм может быть полезен при работе с пакетами для того, чтобы
иметь возможность проверять какие опции пакета загружены.
</p>



</dd></dl>

<a name="Item_003a-Command_002fdeffn_002fto_005flisp"></a><dl>
<dt><a name="index-to_005flisp"></a>Функция: <strong>to_lisp</strong> <em>()</em></dt>
<dd><p>Запускает интерпретатор используемой Lisp системы.
Lisp функция <code>(to-maxima)</code> возвращает на уровень командной
строки Maxima.
</p>



</dd></dl>

<a name="eval_005fstring_005flisp"></a><a name="Item_003a-Command_002fdeffn_002feval_005fstring_005flisp"></a><dl>
<dt><a name="index-eval_005fstring_005flisp"></a>Function: <strong>eval_string_lisp</strong> <em>(<var>str</var>)</em></dt>
<dd>
<p>Sequentially read lisp forms from the string <var>str</var> and evaluate them.
Any values produced from the last form are returned as a Maxima list.
</p>
<p>Examples:
</p>
<div class="example">
<pre class="example">(%i1) eval_string_lisp (&quot;&quot;);
(%o1) []
</pre><pre class="example">(%i2) eval_string_lisp (&quot;(values)&quot;);
(%o2) []
</pre><pre class="example">(%i3) eval_string_lisp (&quot;69&quot;);
(%o3) [69]
</pre><pre class="example">(%i4) eval_string_lisp (&quot;1 2 3&quot;);
(%o4) [3]
</pre><pre class="example">(%i5) eval_string_lisp (&quot;(values 1 2 3)&quot;);
(%o5) [1,2,3]
</pre><pre class="example">(%i6) eval_string_lisp (&quot;(defun $foo (x) (* 2 x))&quot;);
(%o6) [foo]
</pre><pre class="example">(%i7) foo (5);
(%o7) 10
</pre></div>

<p>See also <a href="maxima_256.html#eval_005fstring">eval_string</a>.
</p>





</dd></dl>

<a name="Item_003a-Command_002fdefvr_002fvalues"></a><dl>
<dt><a name="index-values"></a>Системная переменная: <strong>values</strong></dt>
<dd><p>Начальное значение: <code>[]</code>
</p>
<p><code>values</code> содержит список всех пользовательских переменных, которым
присвоено значение (не Maxima опций и переключателей).
Этот список состоит из символов, которым было присвоено значение при
помощи операторов <code>:</code>, <code>::</code> или <code>:=</code>.
</p>


 

</dd></dl>


<hr>
<div class="header">
<p>
Previous: <a href="maxima_9.html#g_t_0412_0432_0435_0434_0435_043d_0438_0435-_0432-_043a_043e_043c_0430_043d_0434_043d_0443_044e-_0441_0442_0440_043e_043a_0443" accesskey="p" rel="previous">Введение в командную строку</a>, Up: <a href="maxima_8.html#g_t_041a_043e_043c_0430_043d_0434_043d_0430_044f-_0441_0442_0440_043e_043a_0430" accesskey="u" rel="up">Командная строка</a> &nbsp; [<a href="maxima_toc.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="maxima_264.html#g_t_0423_043a_0430_0437_0430_0442_0435_043b_044c-_0444_0443_043d_043a_0446_0438_0439-_0438-_043f_0435_0440_0435_043c_0435_043d_043d_044b_0445" title="Index" rel="index">Index</a>]</p>
</div>



</body>
</html>