equality with integer exponents
n = var("n",domain = ZZ) assume(n>0) bool(3^(2*n) == (3^2)^n )
reply: False
Why?
Big thangs
n = var("n",domain = ZZ) assume(n>0) bool(3^(2*n) == (3^2)^n )
reply: False
Why?
Big thangs
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: 175 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