File: maxima_17.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 (165 lines) | stat: -rw-r--r-- 10,902 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_11.html#g_t_041e_043f_0435_0440_0430_0442_043e_0440_044b" rel="up" title="Операторы">
<link href="maxima_18.html#g_t_041e_0431_0449_0438_0435-_043e_043f_0435_0440_0430_0442_043e_0440_044b" rel="next" title="Общие операторы">
<link href="maxima_16.html#g_t_0410_0440_0438_0444_043c_0435_0442_0438_0447_0435_0441_043a_0438_0435-_043e_043f_0435_0440_0430_0442_043e_0440_044b" 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_041e_043f_0435_0440_0430_0442_043e_0440_044b-_043e_0442_043d_043e_0448_0435_043d_0438_044f"></a>
<div class="header">
<p>
Next: <a href="maxima_18.html#g_t_041e_0431_0449_0438_0435-_043e_043f_0435_0440_0430_0442_043e_0440_044b" accesskey="n" rel="next">Общие операторы</a>, Previous: <a href="maxima_16.html#g_t_0410_0440_0438_0444_043c_0435_0442_0438_0447_0435_0441_043a_0438_0435-_043e_043f_0435_0440_0430_0442_043e_0440_044b" accesskey="p" rel="previous">Арифметические операторы</a>, Up: <a href="maxima_11.html#g_t_041e_043f_0435_0440_0430_0442_043e_0440_044b" 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="Operatory-otnosheniya"></a>
<h3 class="section">5.6 Операторы отношения</h3>

<a name="Item_003a-Operators_002fdeffn_002f_003c"></a><dl>
<dt><a name="index-_003c"></a>Оператор: <strong>&lt;</strong></dt>
<dd><a name="Item_003a-Operators_002fdeffn_002f_003c_003d"></a></dd><dt><a name="index-_003c_003d"></a>Оператор: <strong>&lt;=</strong></dt>
<dd><a name="Item_003a-Operators_002fdeffn_002f_003e_003d"></a></dd><dt><a name="index-_003e_003d"></a>Оператор: <strong>&gt;=</strong></dt>
<dd><a name="Item_003a-Operators_002fdeffn_002f_003e"></a></dd><dt><a name="index-_003e"></a>Оператор: <strong>&gt;</strong></dt>
<dd>
<p>Символы <code>&lt;</code> , <code>&lt;=</code> , <code>&gt;=</code> и <code>&gt;</code> представляют отношения
меньше, меньше или равно, больше или равно и больше, соответственно.
Имена этих операторов есть <code>&quot;&lt;&quot;</code> , <code>&quot;&lt;=&quot;</code> , <code>&quot;&gt;=&quot;</code> и <code>&quot;&gt;&quot;</code>.
Эти имена могут применяться в случае, если требуется имя функции или оператора.
</p>
<p>Данные операторы отношения являются бинарными. 
Конструкции типа <code>a &lt; b &lt; c</code> недопустимы в Maxima.
</p>
<p>Операторы отношения вычисляются до логических значений функциями <code>is</code> и <code>maybe</code>,
и программными конструкциями <code>if</code>, <code>while</code> и <code>unless</code>.
В других случаях операторы отношения не вычисляются или упрощаются до логических значений,
хотя аргументы операторов отношения вычисляются
(если вычисление не блокировано при помощи оператора кавычка).
</p>
<p>Если выражение отношения не может быть вычислено до логического значения <code>true</code> или <code>false</code>,
то поведение <code>is</code> и <code>if</code> управляется глобальным флагом <code>prederror</code>.
Если значение <code>prederror</code> равно <code>true</code>,
то <code>is</code> и <code>if</code> вызывает ошибку.
Если значение <code>prederror</code> равно <code>false</code>,
то <code>is</code> возвращает <code>unknown</code> 
а <code>if</code> возвращает частично-вычисленное условное выражение.
</p>
<p><code>maybe</code> всегда ведет себя так, если бы <code>prederror</code> равнялось <code>false</code>,
а <code>while</code> и <code>unless</code> всегда ведут себя так, если бы <code>prederror</code> равнялось <code>true</code>.
</p>
<p>Операторы отношения не дистрибутивны по отношению к спискам и другим конструкциям.
</p>
<p>См. также <code>=</code> , <code>#</code> , <code>equal</code> и <code>notequal</code>.
</p>
<p>Примеры:
</p>
<p>Операторы отношения вычисляются до логических значений некоторыми функциями 
и программными конструкциями.
</p>
<div class="example">
<pre class="example">(%i1) [x, y, z] : [123, 456, 789];
(%o1)                    [123, 456, 789]
(%i2) is (x &lt; y);
(%o2)                         true
(%i3) maybe (y &gt; z);
(%o3)                         false
(%i4) if x &gt;= z then 1 else 0;
(%o4)                           0
(%i5) block ([S], S : 0, for i:1 while i &lt;= 100 do S : S + i, return (S));
(%o5)                         5050
</pre></div>

<p>Во всех других случаях операторы отношения не вычисляются или упрощаются до логических
значений, хотя их аргументы вычисляются.
</p>
<div class="example">
<pre class="example">(%o1)                    [123, 456, 789]
(%i2) [x &lt; y, y &lt;= z, z &gt;= y, y &gt; z];
(%o2)    [123 &lt; 456, 456 &lt;= 789, 789 &gt;= 456, 456 &gt; 789]
(%i3) map (is, %);
(%o3)               [true, true, true, false]
</pre></div>





</dd></dl>

<a name="Item_003a-Operators_002fnode_002f_041e_0431_0449_0438_0435-_043e_043f_0435_0440_0430_0442_043e_0440_044b"></a><hr>
<div class="header">
<p>
Next: <a href="maxima_18.html#g_t_041e_0431_0449_0438_0435-_043e_043f_0435_0440_0430_0442_043e_0440_044b" accesskey="n" rel="next">Общие операторы</a>, Previous: <a href="maxima_16.html#g_t_0410_0440_0438_0444_043c_0435_0442_0438_0447_0435_0441_043a_0438_0435-_043e_043f_0435_0440_0430_0442_043e_0440_044b" accesskey="p" rel="previous">Арифметические операторы</a>, Up: <a href="maxima_11.html#g_t_041e_043f_0435_0440_0430_0442_043e_0440_044b" 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>