← Back to branch summary

~ubuntu-branches/debian/squeeze/maxima/squeeze

« back to all changes in this revision

Viewing changes to doc/info/maxima_11.html

  • Committer: Bazaar Package Importer
  • Author(s): Camm Maguire
  • Date: 2010-04-30 13:30:33 UTC
  • mto: This revision was merged to the branch mainline in revision 12.
  • Revision ID: james.westby@ubuntu.com-20100430133033-wtewap0zdnmsix1y
Tags: upstream-5.21.1
Import upstream version 5.21.1

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/info/maxima_11.html
1
1
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html401/loose.dtd">
2
2
<html>
3
 
<!-- Created on December, 13 2009 by texi2html 1.76 -->
 
3
<!-- Created on April, 24 2010 by texi2html 1.76 -->
4
4
<!--
5
5
Written by: Lionel Cons <Lionel.Cons@cern.ch> (original author)
6
6
            Karl Berry  <karl@freefriends.org>
11
11
 
12
12
-->
13
13
<head>
14
 
<title>Maxima 5.20.1 Manual: 11. Contexts</title>
 
14
<title>Maxima 5.21.1 Manual: 11. Contexts</title>
15
15
 
16
 
<meta name="description" content="Maxima 5.20.1 Manual: 11. Contexts">
17
 
<meta name="keywords" content="Maxima 5.20.1 Manual: 11. Contexts">
 
16
<meta name="description" content="Maxima 5.21.1 Manual: 11. Contexts">
 
17
<meta name="keywords" content="Maxima 5.21.1 Manual: 11. Contexts">
18
18
<meta name="resource-type" content="document">
19
19
<meta name="distribution" content="global">
20
20
<meta name="Generator" content="texi2html 1.76">
142
142
<body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
143
143
 
144
144
<a name="Contexts"></a>
145
 
<a name="SEC42"></a>
 
145
<a name="SEC44"></a>
146
146
<table cellpadding="1" cellspacing="1" border="0">
147
 
<tr><td valign="middle" align="left">[<a href="maxima_10.html#SEC41" title="Previous section in reading order"> &lt; </a>]</td>
148
 
<td valign="middle" align="left">[<a href="#SEC43" title="Next section in reading order"> &gt; </a>]</td>
 
147
<tr><td valign="middle" align="left">[<a href="maxima_10.html#SEC43" title="Previous section in reading order"> &lt; </a>]</td>
 
148
<td valign="middle" align="left">[<a href="#SEC45" title="Next section in reading order"> &gt; </a>]</td>
149
149
<td valign="middle" align="left"> &nbsp; </td>
150
 
<td valign="middle" align="left">[<a href="maxima_10.html#SEC40" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
 
150
<td valign="middle" align="left">[<a href="maxima_10.html#SEC42" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
151
151
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Up section"> Up </a>]</td>
152
 
<td valign="middle" align="left">[<a href="maxima_12.html#SEC44" title="Next chapter"> &gt;&gt; </a>]</td>
 
152
<td valign="middle" align="left">[<a href="maxima_12.html#SEC46" title="Next chapter"> &gt;&gt; </a>]</td>
153
153
<td valign="middle" align="left"> &nbsp; </td>
154
154
<td valign="middle" align="left"> &nbsp; </td>
155
155
<td valign="middle" align="left"> &nbsp; </td>
156
156
<td valign="middle" align="left"> &nbsp; </td>
157
157
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
158
158
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
159
 
<td valign="middle" align="left">[<a href="maxima_79.html#SEC329" title="Index">Index</a>]</td>
 
159
<td valign="middle" align="left">[<a href="maxima_79.html#SEC331" title="Index">Index</a>]</td>
160
160
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
161
161
</tr></table>
162
162
<h1 class="chapter"> 11. Contexts </h1>
163
163
 
164
164
<table class="menu" border="0" cellspacing="0">
165
 
<tr><td align="left" valign="top"><a href="#SEC43">11.1 Functions and Variables for Contexts</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">
 
165
<tr><td align="left" valign="top"><a href="#SEC45">11.1 Functions and Variables for Contexts</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">
166
166
</td></tr>
167
167
</table>
168
168
 
169
169
<p><a name="Item_003a-Functions-and-Variables-for-Contexts"></a>
170
170
</p><hr size="6">
171
171
<a name="Functions-and-Variables-for-Contexts"></a>
172
 
<a name="SEC43"></a>
 
172
<a name="SEC45"></a>
173
173
<table cellpadding="1" cellspacing="1" border="0">
174
 
<tr><td valign="middle" align="left">[<a href="#SEC42" title="Previous section in reading order"> &lt; </a>]</td>
175
 
<td valign="middle" align="left">[<a href="maxima_12.html#SEC44" title="Next section in reading order"> &gt; </a>]</td>
 
174
<tr><td valign="middle" align="left">[<a href="#SEC44" title="Previous section in reading order"> &lt; </a>]</td>
 
175
<td valign="middle" align="left">[<a href="maxima_12.html#SEC46" title="Next section in reading order"> &gt; </a>]</td>
176
176
<td valign="middle" align="left"> &nbsp; </td>
177
 
<td valign="middle" align="left">[<a href="#SEC42" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
178
 
<td valign="middle" align="left">[<a href="#SEC42" title="Up section"> Up </a>]</td>
179
 
<td valign="middle" align="left">[<a href="maxima_12.html#SEC44" title="Next chapter"> &gt;&gt; </a>]</td>
 
177
<td valign="middle" align="left">[<a href="#SEC44" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
 
178
<td valign="middle" align="left">[<a href="#SEC44" title="Up section"> Up </a>]</td>
 
179
<td valign="middle" align="left">[<a href="maxima_12.html#SEC46" title="Next chapter"> &gt;&gt; </a>]</td>
180
180
<td valign="middle" align="left"> &nbsp; </td>
181
181
<td valign="middle" align="left"> &nbsp; </td>
182
182
<td valign="middle" align="left"> &nbsp; </td>
183
183
<td valign="middle" align="left"> &nbsp; </td>
184
184
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
185
185
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
186
 
<td valign="middle" align="left">[<a href="maxima_79.html#SEC329" title="Index">Index</a>]</td>
 
186
<td valign="middle" align="left">[<a href="maxima_79.html#SEC331" title="Index">Index</a>]</td>
187
187
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
188
188
</tr></table>
189
189
<h2 class="section"> 11.1 Functions and Variables for Contexts </h2>
191
191
<p><a name="Item_003a-activate"></a>
192
192
</p><dl>
193
193
<dt><u>Function:</u> <b>activate</b><i> (<var>context_1</var>, ..., <var>context_n</var>)</i>
194
 
<a name="IDX381"></a>
 
194
<a name="IDX421"></a>
195
195
</dt>
196
196
<dd><p>Activates the contexts <var>context_1</var>, ..., <var>context_n</var>.
197
197
The facts in these contexts are then available to
213
213
<p><a name="Item_003a-activecontexts"></a>
214
214
</p><dl>
215
215
<dt><u>System variable:</u> <b>activecontexts</b>
216
 
<a name="IDX382"></a>
 
216
<a name="IDX422"></a>
217
217
</dt>
218
218
<dd><p>Default value: <code>[]</code>
219
219
</p>
235
235
<p><a name="Item_003a-assume"></a>
236
236
</p><dl>
237
237
<dt><u>Function:</u> <b>assume</b><i> (<var>pred_1</var>, ..., <var>pred_n</var>)</i>
238
 
<a name="IDX383"></a>
 
238
<a name="IDX423"></a>
239
239
</dt>
240
240
<dd><p>Adds predicates <var>pred_1</var>, ..., <var>pred_n</var> to the current context.
241
241
If a predicate is inconsistent or redundant 
263
263
there are many obvious consequences which cannot be determined by <code>is</code>.
264
264
This is a known weakness.
265
265
</p>
 
266
<p><code>assume</code> does not handle predicates with complex numbers. If a predicate
 
267
contains a complex number <code>assume</code> returns <code>inconsistent</code> or 
 
268
<code>redunant</code>.
 
269
</p>
266
270
<p><code>assume</code> evaluates its arguments.
267
271
</p>
268
272
<p>See also <code>is</code>, <code>facts</code>, <code>forget</code>, <code>context</code>, and <code>declare</code>.
303
307
<p><a name="Item_003a-assumescalar"></a>
304
308
</p><dl>
305
309
<dt><u>Option variable:</u> <b>assumescalar</b>
306
 
<a name="IDX384"></a>
 
310
<a name="IDX424"></a>
307
311
</dt>
308
312
<dd><p>Default value: <code>true</code>
309
313
</p>
343
347
<p><a name="Item_003a-assume_005fpos"></a>
344
348
</p><dl>
345
349
<dt><u>Option variable:</u> <b>assume_pos</b>
346
 
<a name="IDX385"></a>
 
350
<a name="IDX425"></a>
347
351
</dt>
348
352
<dd><p>Default value: <code>false</code>
349
353
</p>
385
389
<p><a name="Item_003a-assume_005fpos_005fpred"></a>
386
390
</p><dl>
387
391
<dt><u>Option variable:</u> <b>assume_pos_pred</b>
388
 
<a name="IDX386"></a>
 
392
<a name="IDX426"></a>
389
393
</dt>
390
394
<dd><p>Default value: <code>false</code>
391
395
</p>
469
473
<p><a name="Item_003a-context"></a>
470
474
</p><dl>
471
475
<dt><u>Option variable:</u> <b>context</b>
472
 
<a name="IDX387"></a>
 
476
<a name="IDX427"></a>
473
477
</dt>
474
478
<dd><p>Default value: <code>initial</code>
475
479
</p>
497
501
<p><a name="Item_003a-contexts"></a>
498
502
</p><dl>
499
503
<dt><u>Option variable:</u> <b>contexts</b>
500
 
<a name="IDX388"></a>
 
504
<a name="IDX428"></a>
501
505
</dt>
502
506
<dd><p>Default value: <code>[initial, global]</code>
503
507
</p>
540
544
<p><a name="Item_003a-deactivate"></a>
541
545
</p><dl>
542
546
<dt><u>Function:</u> <b>deactivate</b><i> (<var>context_1</var>, ..., <var>context_n</var>)</i>
543
 
<a name="IDX389"></a>
 
547
<a name="IDX429"></a>
544
548
</dt>
545
549
<dd><p>Deactivates the specified contexts <var>context_1</var>, ..., <var>context_n</var>.
546
550
</p>
556
560
<p><a name="Item_003a-facts"></a>
557
561
</p><dl>
558
562
<dt><u>Function:</u> <b>facts</b><i> (<var>item</var>)</i>
559
 
<a name="IDX390"></a>
 
563
<a name="IDX430"></a>
560
564
</dt>
561
565
<dt><u>Function:</u> <b>facts</b><i> ()</i>
562
 
<a name="IDX391"></a>
 
566
<a name="IDX431"></a>
563
567
</dt>
564
568
<dd><p>If <var>item</var> is the name of a context,
565
569
<code>facts (<var>item</var>)</code> returns a list
583
587
<p><a name="Item_003a-features"></a>
584
588
</p><dl>
585
589
<dt><u>Declaration:</u> <b>features</b>
586
 
<a name="IDX392"></a>
 
590
<a name="IDX432"></a>
587
591
</dt>
588
592
<dd><p>Maxima recognizes certain mathematical properties of functions and variables.
589
593
These are called &quot;features&quot;.
625
629
<p><a name="Item_003a-forget"></a>
626
630
</p><dl>
627
631
<dt><u>Function:</u> <b>forget</b><i> (<var>pred_1</var>, ..., <var>pred_n</var>)</i>
628
 
<a name="IDX393"></a>
 
632
<a name="IDX433"></a>
629
633
</dt>
630
634
<dt><u>Function:</u> <b>forget</b><i> (<var>L</var>)</i>
631
 
<a name="IDX394"></a>
 
635
<a name="IDX434"></a>
632
636
</dt>
633
637
<dd><p>Removes predicates established by <code>assume</code>.
634
638
The predicates may be expressions equivalent to (but not necessarily identical to)
649
653
<p><a name="Item_003a-killcontext"></a>
650
654
</p><dl>
651
655
<dt><u>Function:</u> <b>killcontext</b><i> (<var>context_1</var>, ..., <var>context_n</var>)</i>
652
 
<a name="IDX395"></a>
 
656
<a name="IDX435"></a>
653
657
</dt>
654
658
<dd><p>Kills the contexts <var>context_1</var>, ..., <var>context_n</var>.
655
659
</p>
678
682
<p><a name="Item_003a-newcontext"></a>
679
683
</p><dl>
680
684
<dt><u>Function:</u> <b>newcontext</b><i> (<var>name</var>)</i>
681
 
<a name="IDX396"></a>
 
685
<a name="IDX436"></a>
682
686
</dt>
683
687
<dd><p>Creates a new, empty context, called <var>name</var>, which
684
688
has <code>global</code> as its only subcontext.  The newly-created context
699
703
<p><a name="Item_003a-supcontext"></a>
700
704
</p><dl>
701
705
<dt><u>Function:</u> <b>supcontext</b><i> (<var>name</var>, <var>context</var>)</i>
702
 
<a name="IDX397"></a>
 
706
<a name="IDX437"></a>
703
707
</dt>
704
708
<dt><u>Function:</u> <b>supcontext</b><i> (<var>name</var>)</i>
705
 
<a name="IDX398"></a>
 
709
<a name="IDX438"></a>
706
710
</dt>
707
711
<dd><p>Creates a new context, called <var>name</var>,
708
712
which has <var>context</var> as a subcontext.
722
726
<p><a name="Item_003a-Polynomials"></a>
723
727
</p><hr size="6">
724
728
<table cellpadding="1" cellspacing="1" border="0">
725
 
<tr><td valign="middle" align="left">[<a href="#SEC42" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
726
 
<td valign="middle" align="left">[<a href="maxima_12.html#SEC44" title="Next chapter"> &gt;&gt; </a>]</td>
 
729
<tr><td valign="middle" align="left">[<a href="#SEC44" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
 
730
<td valign="middle" align="left">[<a href="maxima_12.html#SEC46" title="Next chapter"> &gt;&gt; </a>]</td>
727
731
<td valign="middle" align="left"> &nbsp; </td>
728
732
<td valign="middle" align="left"> &nbsp; </td>
729
733
<td valign="middle" align="left"> &nbsp; </td>
731
735
<td valign="middle" align="left"> &nbsp; </td>
732
736
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
733
737
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
734
 
<td valign="middle" align="left">[<a href="maxima_79.html#SEC329" title="Index">Index</a>]</td>
 
738
<td valign="middle" align="left">[<a href="maxima_79.html#SEC331" title="Index">Index</a>]</td>
735
739
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
736
740
</tr></table>
737
741
<p>
738
742
 <font size="-1">
739
 
  This document was generated by <em>Robert Dodier</em> on <em>December, 13 2009</em> using <a href="http://texi2html.cvshome.org/"><em>texi2html 1.76</em></a>.
 
743
  This document was generated by <em>Robert Dodier</em> on <em>April, 24 2010</em> using <a href="http://texi2html.cvshome.org/"><em>texi2html 1.76</em></a>.
740
744
 </font>
741
745
 <br>
742
746