Simplification fails

Cyrille
1409 ●35 ●77 ●140

1) I have tried nearly all simplification methods, expansion, factorization, collect... on the following code for Ra1

var("x,a")
Ra1 = -diff(x^a, x,2)/diff(x^a, x)
show(Ra1)

but the self-evident simplification doesn't work. I wonder why. I also have tried to add assumption even I do not see why since it's only algebra

2) Is there a way to ask SM to factor on a variable ?

The first question is about simplyfing a symbolic expression.

The method simplify_log seems to do the trick.

sage: x, a = SR.var('x a')
sage: Ra1 = -diff(x^a, x,2)/diff(x^a, x)
sage: Ra1
-(a - 1)*x^(a - 2)/x^(a - 1)
sage: Ra1.simplify_log()
-(a - 1)/x

I suppose the second question is about SageManifolds, but I'm not sure exactly what the question is.

Maybe this can help:

Apply a function to all components of a tensor field https://trac.sagemath.org/ticket/29244

Comments

when I apply simplify_log() I have the following error

ECL says: Error executing code in Maxima:

Cyrille ( 2020-04-27 16:46:27 +0100 )edit

@Cyrille I have no error, maybe you forget to change the code from var to SR.var

Masacroso ( 2020-04-27 21:25:29 +0100 )edit

@Masacroso -- No, var vs SR.var is not it, you can test that you would get the same either way.

@Cyrille -- what operating system, what version of Sage, how it was installed, whether is it based on Python 2 or Python 3.

slelievre ( 2020-04-27 22:51:07 +0100 )edit

Your Answer

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