# equality with integer exponents

n = var("n",domain = ZZ) assume(n>0) bool(3^(2*n) == (3^2)^n )

reply: False

Why?

Big thangs

equality with integer exponents

n = var("n",domain = ZZ) assume(n>0) bool(3^(2*n) == (3^2)^n )

reply: False

Why?

Big thangs

add a comment

0

When asked for a Boolean expression, SageMath returns `False`

if it is not capable to evaluate the expression to either true or false (a real false). This is what is happening in the present case; SageMath does not detect the identity:

```
sage: (3^(2*n) - (3^2)^n).simplify_full()
-9^n + 3^(2*n)
```

SymPy is more clever:

```
sage: (3^(2*n) - (3^2)^n)._sympy_().simplify()
0
```

Well, SageMath can get it with `canonicalize_radical()`

:

```
sage: (3^(2*n) - (3^2)^n).canonicalize_radical()
0
```

Please start posting anonymously - your entry will be published after you log in or create a new account.

Asked: ** 2019-12-23 17:22:48 +0200 **

Seen: **48 times**

Last updated: **Dec 23 '19**

The difference between f(x=3) and f(3) of callable symbolic expression 'f'

Solving simultaneous boolean algebraic equations

How to get a Boolean from the type of an object?

Using sage to derive symbolic finite difference approximations to differential equations.

A combination of commands partial_fraction(x) and coefficient(x,n)

Sage cannot simplify arccos, but can simplify arcsin?

Conversion of Differential Forms to a manipulable symbolic expression

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.