Sponsored links: Algebra eBooks ### The Maxima on-line user's manual

Algebra Calculator

#### Search: #### Reveal

Function: reveal (<expr>, <depth>) Replaces parts of <expr> at the specified integer <depth> with descriptive summaries.

* Sums and differences are replaced by `Sum(<n>)` where <n> is the number of operands of the sum.

* Products are replaced by `Product(<n>)` where <n> is the number of operands of the product.

* Exponentials are replaced by `Expt`.

* Quotients are replaced by `Quotient`.

* Unary negation is replaced by `Negterm`.

When <depth> is greater than or equal to the maximum depth of <expr>, `reveal (<expr>, <depth>)` returns <expr> unmodified.

`reveal` evaluates its arguments. `reveal` returns the summarized expression.

Example:

```          (%i1) e: expand ((a - b)^2)/expand ((exp(a) + exp(b))^2);
2            2
b  - 2 a b + a
(%o1)               -------------------------
b + a     2 b     2 a
2 %e      + %e    + %e
(%i2) reveal (e, 1);
(%o2)                       Quotient
(%i3) reveal (e, 2);
Sum(3)
(%o3)                        ------
Sum(3)
(%i4) reveal (e, 3);
Expt + Negterm + Expt
(%o4)               ------------------------
Product(2) + Expt + Expt
(%i5) reveal (e, 4);
2                 2
b  - Product(3) + a
(%o5)         ------------------------------------
Product(2)     Product(2)
2 Expt + %e           + %e
(%i6) reveal (e, 5);
2            2
b  - 2 a b + a
(%o6)              --------------------------
Sum(2)     2 b     2 a
2 %e       + %e    + %e
(%i7) reveal (e, 6);
2            2
b  - 2 a b + a
(%o7)               -------------------------
b + a     2 b     2 a
2 %e      + %e    + %e```

```(%o1)                                true
(%i2) ```

### Related Examples

##### reveal

reveal(not M(x,y,z),2);

Calculate

##### reveal-rhs

if is(atp="=") then i...

Calculate

reveal;

Calculate

##### reveal

reveal(not P(x,y) and...

Calculate

##### reveal

if is(atp="=") then 1...

Calculate

##### reveal

reveal(not M(x,y,z),2);

Calculate

eq1:[x=1,y=2];

reveal(eq1,1);

Calculate

##### reveal

reveal(P and not M,2);

Calculate

##### reveal

reveal(not P(x,y), 1)...

Calculate

##### reveal

reveal(x,1);

Calculate 