Fix the inefficient evaluation of translated predicates
[maxima.git] / archive / info / maxima.texi-prev
blob8622119d0ed1587ac80df2b39a47927b7d8e1446
1 \input texinfo
2 @c -*-texinfo-*-
3 @c %**start of header
4 @setfilename  maxima.info
5 @synindex vr fn
6 @settitle Maxima Manual
7 @c %**end of header
8 @setchapternewpage odd
9 @ifinfo
10 This is a Texinfo Maxima Manual
12 Copyright 1994 William F. Schelter
13 @end ifinfo
15 @titlepage
16 @sp 10
17 @comment The title is printed in a large font.
18 @center @titlefont{Maxima Manual}
19 @end titlepage
22 @node Top, Lists, (dir), (dir)
24 @menu
25 * Lists::                       
26 * Differentiation::             
27 * Integration::                 
28 * Polynomials::                 
29 * Simplification::              
30 * Expressions::                 
31 * Function Definition::         
32 * Input and Output::            
33 * Program Flow::                
34 * Plotting::                    
35 * Floating Point::              
36 * Numerical::                   
37 * Trigonometric::               
38 * Equations::                   
39 * Arrays and Tables::           
40 * Series::                      
41 * Symmetries::                  
42 * Groups::                      
43 * Operators::                   
44 * Constants::                   
45 * Special Functions::           
46 * Command Line::                
47 * Contexts::                    
48 * Matrices and Linear Algebra::  
49 * Runtime Environment::         
50 * Miscellaneous Options::       
51 * Rules and Patterns::          
52 * Number Theory::               
53 * Help::                        
54 * Differential Equations::      
55 * Statistics::                  
56 * Limits::                      
57 * Logarithms::                  
58 * Debugging::                   
59 * Affine::                      
60 * Tensor::                      
61 * Ctensor::                     
62 * None::                        
64  --- The Detailed Node Listing ---
66 Lists
68 * Definitions for Lists::       
70 Definitions for Lists
72 * APPEND::                      
73 * ATOM::                        
74 * CONS::                        
75 * COPYLIST::                    
76 * DELETE::                      
77 * ENDCONS::                     
78 * FIRST::                       
79 * GET::                         
80 * LAST::                        
81 * LENGTH::                      
82 * LISTARITH::                   
83 * LISTP::                       
84 * MAKELIST::                    
85 * MEMBER::                      
86 * REST::                        
87 * REVERSE::                     
89 Differentiation
91 * Definitions for Differentiation::  
93 Definitions for Differentiation
95 * ANTID::                       
96 * ANTIDIFF::                    
97 * property::                    
98 * ATVALUE::                     
99 * CARTAN::                      
100 * DELTA::                       
101 * DEPENDENCIES::                
102 * DEPENDS::                     
103 * DERIVABBREV::                 
104 * DERIVDEGREE::                 
105 * DERIVLIST::                   
106 * DERIVSUBST::                  
107 * {special symbol}::            
108 * DIFF::                        
109 * DSCALAR::                     
110 * EXPRESS::                     
111 * GENDIFF::                     
112 * GRADEF::                      
113 * GRADEFS::                     
114 * LAPLACE::                     
115 * UNDIFF::                      
117 Integration
119 * Introduction to Integration::  
120 * INTEGRALS::                   
121 * Definitions for Integration::  
123 Introduction to Integration
125 * INTEGRALS::                   
126 * CHANGEVAR::                   
127 * DBLINT::                      
128 * DEFINT::                      
129 * ERF::                         
130 * ERFFLAG::                     
131 * ERRINTSCE::                   
132 * ILT::                         
133 * INTEGRATE::                   
134 * INTEGRATION_CONSTANT_COUNTER::  
135 * INTSCE::                      
136 * LDEFINT::                     
137 * POTENTIAL::                   
138 * QQ::                          
139 * QUANC8::                      
140 * RESIDUE::                     
141 * RISCH::                       
142 * ROMBERG::                     
143 * ROMBERGABS::                  
144 * ROMBERGIT::                   
145 * ROMBERGMIN::                  
146 * ROMBERGTOL::                  
147 * TLDEFINT::                    
149 Polynomials
151 * Introduction to Polynomials::  
152 * CRE::                         
153 * Definitions for Polynomials::  
155 Introduction to Polynomials
157 * CRE::                         
158 * ALGEBRAIC::                   
159 * BERLEFACT::                   
160 * BEZOUT::                      
161 * BOTHCOEF::                    
162 * COEFF::                       
163 * COMBINE::                     
164 * CONTENT::                     
165 * DENOM::                       
166 * DIVIDE::                      
167 * ELIMINATE::                   
168 * EZGCD::                       
169 * FACEXPAND::                   
170 * FACTCOMB::                    
171 * FACTOR::                      
172 * FACTORFLAG::                  
173 * FACTOROUT::                   
174 * FACTORSUM::                   
175 * FASTTIMES::                   
176 * FULLRATSIMP::                 
177 * FULLRATSUBST::                
178 * GCD::                         
179 * GCFACTOR::                    
180 * GFACTOR::                     
181 * GFACTORSUM::                  
182 * HIPOW::                       
183 * INTFACLIM::                   
184 * KEEPFLOAT::                   
185 * LRATSUBST::                   
186 * MODULUS::                     
187 * NEWFAC::                      
188 * NUM::                         
189 * QUOTIENT::                    
190 * RAT::                         
191 * RATALGDENOM::                 
192 * RATCOEF::                     
193 * RATDENOM::                    
194 * RATDENOMDIVIDE::              
195 * RATDIFF::                     
196 * RATDISREP::                   
197 * RATEPSILON::                  
198 * RATEXPAND::                   
199 * RATFAC::                      
200 * RATNUMER::                    
201 * RATNUMP::                     
202 * RATP::                        
203 * RATPRINT::                    
204 * RATSIMP::                     
205 * RATSIMPEXPONS::               
206 * RATSUBST::                    
207 * RATVARS::                     
208 * RATWEIGHT::                   
209 * RATWEIGHTS::                  
210 * RATWEYL::                     
211 * RATWTLVL::                    
212 * REMAINDER::                   
213 * RESULTANT::                   
214 * SAVEFACTORS::                 
215 * SQFR::                        
216 * TELLRAT::                     
217 * TOTALDISREP::                 
218 * UNTELLRAT::                   
220 Simplification
222 * Definitions for Simplification::  
224 Definitions for Simplification
226 * APPLY_NOUNS::                 
227 * ASKEXP::                      
228 * ASKINTEGER::                  
229 * ASKSIGN::                     
230 * DEMOIVRE::                    
231 * DOMAIN::                      
232 * EXPAND::                      
233 * EXPANDWRT::                   
234 * EXPANDWRT_DENOM::             
235 * EXPANDWRT_FACTORED::          
236 * EXPON::                       
237 * EXPONENTIALIZE::              
238 * EXPOP::                       
239 * FACTLIM::                     
240 * INTOSUM::                     
241 * declaration::                 
242 * declaration::                 
243 * declaration::                 
244 * MAXAPPLYDEPTH::               
245 * MAXAPPLYHEIGHT::              
246 * MAXNEGEX::                    
247 * MAXPOSEX::                    
248 * declaration::                 
249 * NEGDISTRIB::                  
250 * NEGSUMDISPFLAG::              
251 * {special symbol}::            
252 * declaration::                 
253 * NOUNDISP::                    
254 * {special symbol}::            
255 * {special symbol}::            
256 * NUMERVAL::                    
257 * OPPROPERTIES::                
258 * OPSUBST::                     
259 * declaration::                 
260 * declaration::                 
261 * PRODHACK::                    
262 * RADCAN::                      
263 * RADEXPAND::                   
264 * RADPRODEXPAND::               
265 * RADSUBSTFLAG::                
266 * declaration::                 
267 * SCSIMP::                      
268 * SIMP::                        
269 * SIMPSUM::                     
270 * SUMCONTRACT::                 
271 * SUMEXPAND::                   
272 * SUMHACK::                     
273 * SUMSPLITFACT::                
274 * declaration::                 
275 * UNKNOWN::                     
277 Expressions
279 * Introduction to Expressions::  
280 * ASSIGNMENT::                  
281 * COMPLEX::                     
282 * INEQUALITY::                  
283 * SYNTAX::                      
284 * Definitions for Expressions::  
286 Introduction to Expressions
288 * ASSIGNMENT::                  
289 * COMPLEX::                     
290 * INEQUALITY::                  
291 * SYNTAX::                      
292 * AT::                          
293 * BOX::                         
294 * BOXCHAR::                     
295 * {special operator}::          
296 * CONSTANTP::                   
297 * CONTRACT::                    
298 * DECLARE::                     
299 * DISOLATE::                    
300 * DISPFORM::                    
301 * DISTRIB::                     
302 * DPART::                       
303 * EXP::                         
304 * EXPTISOLATE::                 
305 * EXPTSUBST::                   
306 * FREEOF::                      
307 * GENFACT::                     
308 * IMAGPART::                    
309 * INDICES::                     
310 * INFIX::                       
311 * INFLAG::                      
312 * INPART::                      
313 * ISOLATE::                     
314 * ISOLATE_WRT_TIMES::           
315 * LISTCONSTVARS::               
316 * LISTDUMMYVARS::               
317 * LISTOFVARS::                  
318 * LOPOW::                       
319 * LPART::                       
320 * MULTTHRU::                    
321 * NOUNIFY::                     
322 * NTERMS::                      
323 * OPTIMIZE::                    
324 * OPTIMPREFIX::                 
325 * ORDERGREAT::                  
326 * ORDERGREATP::                 
327 * ORDERLESS::                   
328 * ORDERLESSP::                  
329 * PART::                        
330 * PARTITION::                   
331 * PARTSWITCH::                  
332 * PICKAPART::                   
333 * PIECE::                       
334 * POWERS::                      
335 * PRODUCT::                     
336 * REALPART::                    
337 * RECTFORM::                    
338 * REMBOX::                      
339 * SUM::                         
340 * {special symbol}::            
341 * VERBIFY::                     
343 Function Definition
345 * Introduction to Function Definition::  
346 * FUNCTION::                    
347 * MACROS::                      
348 * OPTIMIZATION::                
349 * Definitions for Function Definition::  
351 Introduction to Function Definition
353 * FUNCTION::                    
354 * MACROS::                      
355 * OPTIMIZATION::                
356 * APPLY::                       
357 * BINDTEST::                    
358 * BLOCK::                       
359 * BREAK::                       
360 * BUILDQ::                      
361 * CATCH::                       
362 * COMPFILE::                    
363 * COMPGRIND::                   
364 * COMPILE::                     
365 * COMPILE_LISP_FILE::           
366 * DEFINE::                      
367 * DEFINE_VARIABLE::             
368 * DISPFUN::                     
369 * FUNCTIONS::                   
370 * FUNDEF::                      
371 * FUNMAKE::                     
372 * LOCAL::                       
373 * MACROEXPANSION::              
374 * MODE_CHECKP::                 
375 * MODE_CHECK_ERRORP::           
376 * MODE_CHECK_WARNP::            
377 * MODE_DECLARE::                
378 * MODE_IDENTITY::               
379 * TRANSBIND::                   
380 * TRANSCOMPILE::                
381 * TRANSLATE::                   
382 * TRANSLATE_FILE::              
383 * TRANSRUN::                    
384 * TR_ARRAY_AS_REF::             
385 * TR_BOUND_FUNCTION_APPLYP::    
386 * TR_FILE_TTY_MESSAGESP::       
387 * TR_FLOAT_CAN_BRANCH_COMPLEX::  
388 * TR_FUNCTION_CALL_DEFAULT::    
389 * TR_GEN_TAGS::                 
390 * TR_NUMER::                    
391 * TR_OPTIMIZE_MAX_LOOP::        
392 * TR_OUTPUT_FILE_DEFAULT::      
393 * TR_PREDICATE_BRAIN_DAMAGE::   
394 * TR_SEMICOMPILE::              
395 * TR_STATE_VARS::               
396 * TR_TRUE_NAME_OF_FILE_BEING_TRANSLATED::  
397 * TR_VERSION::                  
398 * TR_WARNINGS_GET::             
399 * TR_WARN_BAD_FUNCTION_CALLS::  
400 * TR_WARN_FEXPR::               
401 * TR_WARN_MEVAL::               
402 * TR_WARN_MODE::                
403 * TR_WARN_UNDECLARED::          
404 * TR_WARN_UNDEFINED_VARIABLE::  
405 * TR_WINDY::                    
406 * UNDECLAREDWARN::              
407 * COMPILE_FILE::                
408 * DECLARE_TRANSLATED::          
410 Input and Output
412 * Introduction to Input and Output::  
413 * FILES::                       
414 * PLAYBACK::                    
415 * Definitions for Input and Output::  
417 Introduction to Input and Output
419 * FILES::                       
420 * PLAYBACK::                    
421 * %::                           
422 * %%::                          
423 * %EDISPFLAG::                  
424 * %TH::                         
425 * {special symbol}::            
426 * ABSBOXCHAR::                  
427 * APPENDFILE::                  
428 * BACKUP::                      
429 * BATCH::                       
430 * BATCHKILL::                   
431 * BATCHLOAD::                   
432 * BATCON::                      
433 * BATCOUNT::                    
434 * BOTHCASES::                   
435 * CHANGE_FILEDEFAULTS::         
436 * CLOSEFILE::                   
437 * COLLAPSE::                    
438 * CONCAT::                      
439 * CURSORDISP::                  
440 * DIREC::                       
441 * DISP::                        
442 * DISPCON::                     
443 * DISPLAY::                     
444 * DISPLAY2D::                   
445 * DISPLAY_FORMAT_INTERNAL::     
446 * DISPTERMS::                   
447 * DSKALL::                      
448 * ERROR_SIZE::                  
449 * ERROR_SYMS::                  
450 * EXPT::                        
451 * EXPTDISPFLAG::                
452 * FASSAVE::                     
453 * FILEDEFAULTS::                
454 * FILENAME::                    
455 * FILENAME_MERGE::              
456 * FILENUM::                     
457 * FILE_SEARCH::                 
458 * FILE_STRING_PRINT::           
459 * FILE_TYPE::                   
460 * GRIND::                       
461 * IBASE::                       
462 * INCHAR::                      
463 * LDISP::                       
464 * LDISPLAY::                    
465 * LINECHAR::                    
466 * LINEDISP::                    
467 * LINEL::                       
468 * LOAD::                        
469 * LOADFILE::                    
470 * LOADPRINT::                   
471 * NOSTRING::                    
472 * OBASE::                       
473 * OUTCHAR::                     
474 * PACKAGEFILE::                 
475 * PARSEWINDOW::                 
476 * PFEFORMAT::                   
477 * PRINT::                       
478 * READ::                        
479 * READONLY::                    
480 * REVEAL::                      
481 * RMXCHAR::                     
482 * SAVE::                        
483 * SAVEDEF::                     
484 * SHOW::                        
485 * SHOWRATVARS::                 
486 * STARDISP::                    
487 * STRING::                      
488 * STRINGOUT::                   
489 * TTYOFF::                      
490 * WRITEFILE::                   
492 Program Flow
494 * Introduction to Program Flow::  
495 * ITERATION::                   
496 * Definitions for Program Flow::  
498 Introduction to Program Flow
500 * ITERATION::                   
501 * BACKTRACE::                   
502 * {special operator}::          
503 * ERRCATCH::                    
504 * ERREXP::                      
505 * ERROR::                       
506 * ERRORFUN::                    
507 * ERRORMSG::                    
508 * {special operator}::          
509 * GO::                          
510 * {special operator}::          
511 * LISPDEBUGMODE::               
512 * MAP::                         
513 * MAPATOM::                     
514 * MAPERROR::                    
515 * MAPLIST::                     
516 * PREDERROR::                   
517 * RETURN::                      
518 * SCANMAP::                     
519 * THROW::                       
521 Plotting
523 * Introduction to Plotting::    
524 * PLOTTING-LISPM::              
525 * Definitions for Plotting::    
527 Floating Point
529 * Definitions for Floating Point::  
531 Numerical
533 * Introduction to Numerical::   
534 * DCADRE::                      
535 * ELLIPT::                      
536 * FOURIER::                     
537 * NDIFFQ::                      
538 * Definitions for Numerical::   
540 Trigonometric
542 * Introduction to Trigonometric::  
543 * TRIG::                        
544 * TRIGONOMETRY::                
545 * Definitions for Trigonometric::  
547 Equations
549 * Definitions for Equations::   
551 Arrays and Tables
553 * Definitions for Arrays and Tables::  
555 Series
557 * Introduction to Series::      
558 * Definitions for Series::      
560 Symmetries
562 * Definitions for Symmetries::  
564 Groups
566 * Definitions for Groups::      
568 Operators
570 * Introduction to Operators::   
571 * NARY::                        
572 * NOFIX::                       
573 * OPERATOR::                    
574 * POSTFIX::                     
575 * PREFIX::                      
576 * Definitions for Operators::   
578 Constants
580 * Definitions for Constants::   
582 Special Functions
584 * Introduction to Special Functions::  
585 * GAMALG::                      
586 * SPECINT::                     
587 * Definitions for Special Functions::  
589 Command Line
591 * Introduction to Command Line::  
592 * Definitions for Command Line::  
594 Contexts
596 * Definitions for Contexts::    
598 Matrices and Linear Algebra
600 * Introduction to Matrices and Linear Algebra::  
601 * DOT::                         
602 * VECTORS::                     
603 * Definitions for Matrices and Linear Algebra::  
605 Runtime Environment
607 * Introduction to Runtime Environment::  
608 * CONTROL::                     
609 * INIT::                        
610 * INTERRUPTS::                  
611 * Definitions for Runtime Environment::  
613 Miscellaneous Options
615 * Introduction to Miscellaneous Options::  
616 * SETS::                        
617 * SHARE::                       
618 * Definitions for Miscellaneous Options::  
620 Rules and Patterns
622 * Introduction to Rules and Patterns::  
623 * RULES::                       
624 * Definitions for Rules and Patterns::  
626 Number Theory
628 * Definitions for Number Theory::  
630 Help
632 * Introduction to Help::        
633 * CMD::                         
634 * COMMAND::                     
635 * CPU::                         
636 * HELP::                        
637 * LISP-AND-MACSYMA::            
638 * GARBAGE_COLLECTION::          
639 * DOCUMENTATION::               
640 * MAXIMA::                      
641 * Definitions for Help::        
643 Differential Equations
645 * Definitions for Differential Equations::  
647 Statistics
649 * Definitions for Statistics::  
651 Limits
653 * Definitions for Limits::      
655 Logarithms
657 * Definitions for Logarithms::  
659 Debugging
661 * Definitions for Debugging::   
663 Affine
665 * Definitions for Affine::      
667 Tensor
669 * Introduction to Tensor::      
670 * ITENSR::                      
671 * TENSORS::                     
672 * Definitions for Tensor::      
674 Ctensor
676 * Introduction to Ctensor::     
677 * CTENSR::                      
678 * Definitions for Ctensor::     
680 None
682 * Introduction to None::        
683 * Definitions for None::        
684 @end menu
686 @c includes
688 @include Lists.texi
690 @include Differentiation.texi
692 @include Integration.texi
694 @include Polynomials.texi
696 @include Simplification.texi
698 @include Expressions.texi
700 @include Function.texi
702 @include Input.texi
704 @include Program.texi
706 @include Plotting.texi
708 @c @include NonCommutative.texi
710 @include Floating.texi
712 @include Numerical.texi
714 @include Trigonometric.texi
716 @include Equations.texi
718 @include Arrays.texi
720 @include Series.texi
722 @include Symmetries.texi
724 @include Groups.texi
726 @include Operators.texi
728 @include Constants.texi
730 @include Special.texi
732 @include Command.texi
734 @include Contexts.texi
736 @include Matrices.texi
738 @include Runtime.texi
740 @include Miscellaneous.texi
742 @include Rules.texi
744 @include Number.texi
746 @include Help.texi
748 @include Differential.texi
750 @c @include xrefs.texi
752 @include Statistics.texi
754 @include Limits.texi
756 @include Logarithms.texi
758 @include Debugging.texi
760 @include Affine.texi
762 @include Tensor.texi
764 @include Ctensor.texi
766 @include None.texi
768 @c end includes
770 @node Function and Variable Index
771 @unnumbered Function Index
772 @printindex fn
775 @bye