If you declare a to be positive, it simplifies with me.
From: sympy@googlegroups.com <sympy@googlegroups.com> On Behalf Of Pierre H Sent: Saturday, July 27, 2024 2:38 PM To: sympy <sympy@googlegroups.com> Subject: [sympy] Simplification of a^x * (1/a)^x: not equal to 1? Hello, This is perhaps a classical question, but since I'm only using SymPy every now and then... I wonder why the expression a^x * (1/a)^x doesn't simplify to 1. See code (with SymPy 1.12) a,x = symbols('a x') simplify(a**x * (1/a)**x) (then of course the variant a**x * (1/(a**x)) does simplify to 1). So is a SymPy issue that the power of x isn't propagated inside the 1/(a) expression. Or I'm just missing a mathematical subtlety which requires adding some assertions about x and a? Pierre -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com <mailto:sympy+unsubscr...@googlegroups.com> . To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/1b37bc0c-aa69-4e89-99d0-fb5700920dccn%40googlegroups.com <https://groups.google.com/d/msgid/sympy/1b37bc0c-aa69-4e89-99d0-fb5700920dccn%40googlegroups.com?utm_medium=email&utm_source=footer> . -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/003401dae023%246da70330%2448f50990%24%40gmail.com.