File: maxima_192.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 (171 lines) | stat: -rw-r--r-- 9,596 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
 
<!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: Введение в пакет grobner</title>

<meta name="description" content="Maxima Manual: Введение в пакет grobner">
<meta name="keywords" content="Maxima Manual: Введение в пакет grobner">
<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_toc.html#Top" rel="up" title="Top">
<link href="maxima_193.html#g_t_0424_0443_043d_043a_0446_0438_0438-_0438-_043f_0435_0440_0435_043c_0435_043d_043d_044b_0435-_043f_0430_043a_0435_0442_0430-grobner" rel="next" title="Функции и переменные пакета grobner">
<link href="maxima_191.html#g_t_041f_0430_043a_0435_0442-grobner" rel="previous" title="Пакет grobner">
<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_0412_0432_0435_0434_0435_043d_0438_0435-_0432-_043f_0430_043a_0435_0442-grobner"></a>
<div class="header">
<p>
Next: <a href="maxima_193.html#g_t_0424_0443_043d_043a_0446_0438_0438-_0438-_043f_0435_0440_0435_043c_0435_043d_043d_044b_0435-_043f_0430_043a_0435_0442_0430-grobner" accesskey="n" rel="next">Функции и переменные пакета grobner</a>, Previous: <a href="maxima_toc.html#Top" accesskey="p" rel="previous">Top</a>, Up: <a href="maxima_toc.html#Top" accesskey="u" rel="up">Top</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="Vvedenie-v-paket-grobner"></a>
<h3 class="section">51.1 Введение в пакет grobner</h3>

<p>Пакет <code>grobner</code> предназначен для работы с базисами Гребнера в Maxima.
</p>
<p>Учебные материалы по <em>базисам Гребнера</em> могут быть найдены по адресу 
</p>
<p><a href="http://www.geocities.com/CapeCanaveral/Hall/3131/">http://www.geocities.com/CapeCanaveral/Hall/3131/</a>
</p>
<p>Для использования, описанных ниже функций, необходимо загрузить пакет <samp>grobner.lisp</samp>.
</p>
<div class="example">
<pre class="example">load(&quot;grobner&quot;);
</pre></div>

<p>Демонстрация может быть запущена так
</p><div class="example">
<pre class="example">demo(&quot;grobner.demo&quot;);
</pre></div>

<p>или так
</p><div class="example">
<pre class="example">batch(&quot;grobner.demo&quot;)
</pre></div>

<p>Некоторые вычисления в данной демонстрации занимают длительное время, 
поэтому вывод демонстрации, записанный в файл <samp>grobner-demo.output</samp>,
может быть обнаружен в той же директории, где расположена демонстрация.
</p>
<a name="O-pakete-grobner"></a>
<h4 class="subsection">51.1.1 О пакете grobner</h4>
<p>Пакет написан
</p>
<p>Marek Rychlik 
</p>
<p><a href="http://alamos.math.arizona.edu">http://alamos.math.arizona.edu</a>
</p>
<p>и выпущен 2002-05-24 под лицензией General Public License (GPL) (см. файл <samp>grobner.lisp</samp>.
Эта документация извлечена из файлов 
</p><p align="left"><samp>README</samp>, <samp>grobner.lisp</samp>, <samp>grobner.demo</samp>, <samp>grobner-demo.output</samp>
</p>
<p>G&uuml;nter Nowak. Предложения по усовершенствованию документации можно обсудить в списке 
рассылки <em>maxima</em>-mailing-list <a href="mailto:maxima@math.utexas.edu">maxima@math.utexas.edu</a>.
Код несколько устарел. Современные реализации используют быстрый алгоритм <em>F4</em>, описанный в 
</p><div class="smallformat">
<pre class="smallformat">A new efficient algorithm for computing Gr&ouml;bner bases (F4) 
Jean-Charles Faug&egrave;re
LIP6/CNRS Universit&eacute; Paris VI 
January 20, 1999
</pre></div>







<a name="Realizacii-i-dopustimye-sposoby-uporyadochivaniya-odnochlenov-v-pakete-grobner"></a>
<h4 class="subsection">51.1.2 Реализации и допустимые способы упорядочивания одночленов в пакете grobner</h4>

<ul>
<li> <code>lex</code>

<p>чисто лексикографический,
используется по умолчанию для сравнения порядка одночленов
</p></li><li> <code>grlex</code>

<p>порядок общей степени, совпадения разрешаются лексикографическим упорядочиванием
</p>
</li><li> <code>grevlex</code>

<p>общая степень, совпадения разрешаются обратным лексикографическим упорядочиванием
</p>
</li><li> <code>invlex</code>

<p>обратный лексикографический порядок
</p>
</li></ul>

<a name="Item_003a-grobner_002fnode_002f_0424_0443_043d_043a_0446_0438_0438-_0438-_043f_0435_0440_0435_043c_0435_043d_043d_044b_0435-_043f_0430_043a_0435_0442_0430-grobner"></a><hr>
<div class="header">
<p>
Next: <a href="maxima_193.html#g_t_0424_0443_043d_043a_0446_0438_0438-_0438-_043f_0435_0440_0435_043c_0435_043d_043d_044b_0435-_043f_0430_043a_0435_0442_0430-grobner" accesskey="n" rel="next">Функции и переменные пакета grobner</a>, Previous: <a href="maxima_toc.html#Top" accesskey="p" rel="previous">Top</a>, Up: <a href="maxima_toc.html#Top" accesskey="u" rel="up">Top</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>