Confused about describe (Was: Re: [Maxima] Re: sin, cos into exponentials)



So now that I know about exponentialize, I wanted to read its
documentation.  This resulted in major confusion about what describe
actually does:

,----
| (C1) describe(exponentialize);
| 
| 
| 
| Info from file /usr/share/info/maxima.info:
|  - Variable: FALSE
|      - the Boolean constant, false. (NIL in LISP)
| 
| (D1) 				     FALSE
`----

This does not seem to describe the function, does it?
But the function is there:

,----
| (C2) exponentialize(sin(x));
| 
| 				   %I x	    - %I x
| 			     %I (%E     - %E	  )
| (D2) 			   - ----------------------
| 				       2
`----

Looking for substrings:

,----
| (C5) describe(expon);
| 
| 
|  0: DOT0NSCSIMP :(maxima.info)Definitions for Matrices and Linear Algebra.
|  1: DOT0SIMP :Definitions for Matrices and Linear Algebra.
| Enter n, all, none, or multiple choices eg 1 3 : all
| 
| Info from file /usr/share/info/maxima.info:
|  - Variable: DOT0NSCSIMP
|      default: [TRUE] Causes a non-commutative product of zero and a
|      nonscalar term to be simplified to a commutative product.
| 
| 
|  - Variable: DOT0SIMP
|      default: [TRUE] Causes a non-commutative product of zero and a
|      scalar term to be simplified to a commutative product.
| 
| (D5) 				     FALSE
`----

Neither of the DOT0*SIMP seems to mention anything containing "expon",
whereas looking for "exp" finds "exponentialize" but none of the
DOT0*SIMP variables.

,----
| (C6) describe(exp);
| 
| 
|  0: (maxima.info)Expressions.
|  1: Introduction to Expressions.
|  2: Definitions for Expressions.
|  3: ASKEXP :Definitions for Simplification.
|  4: BESSELEXPAND :Definitions for Special Functions.
|  5: CFEXPAND :Definitions for Number Theory.
|  6: DOMXEXPT :Definitions for Matrices and Linear Algebra.
|  7: DOTEXPTSIMP :Definitions for Matrices and Linear Algebra.
|  8: ERREXP :Definitions for Program Flow.
|  9: EXP :Definitions for Expressions.
|  10: EXPAND :Definitions for Simplification.
|  11: EXPANDWRT :Definitions for Simplification.
|  12: EXPANDWRT_DENOM :Definitions for Simplification.
|  13: EXPANDWRT_FACTORED :Definitions for Simplification.
|  14: EXPLOSE :Definitions for Symmetries.
|  15: EXPON :Definitions for Simplification.
|  16: EXPONENTIALIZE :Definitions for Simplification.
|  17: EXPOP :Definitions for Simplification.
|  18: EXPRESS :Definitions for Differentiation.
|  19: EXPT :Definitions for Input and Output.
|  20: EXPTDISPFLAG :Definitions for Input and Output.
|  21: EXPTISOLATE :Definitions for Expressions.
|  22: EXPTSUBST :Definitions for Expressions.
|  23: FACEXPAND :Definitions for Polynomials.
|  24: LOGEXPAND :Definitions for Logarithms.
|  25: MACROEXPANSION :Definitions for Function Definition.
|  26: NCEXPT :Definitions for Matrices and Linear Algebra.
|  27: POISEXPT :Definitions for Special Functions.
|  28: PSEXPAND :Definitions for Series.
|  29: RADEXPAND :Definitions for Simplification.
|  30: RADPRODEXPAND :Definitions for Simplification.
|  31: RATEXPAND :Definitions for Polynomials.
|  32: RATSIMPEXPONS :Definitions for Polynomials.
|  33: SOLVEEXPLICIT :Definitions for Equations.
|  34: SUMEXPAND :Definitions for Simplification.
|  35: TAYLOR_LOGEXPAND :Definitions for Series.
|  36: TR_WARN_FEXPR :Definitions for Function Definition.
|  37: TRIGEXPAND :Definitions for Trigonometric.
|  38: TRIGEXPANDPLUS :Definitions for Trigonometric.
|  39: TRIGEXPANDTIMES :Definitions for Trigonometric.
| Enter n, all, none, or multiple choices eg 1 3 : n
| 
| (D6) 				     FALSE
`----

Slightly confused,

Albert.