1 | initial version |

since you `assume(k>°)`

, which is meaningless if `k`

is not real, you implicitly assume that it is real:

```
sage: x, c, k = var('x, c, k')
....: assume(k > 0)
....:
sage: k.is_real()
True
```

the following failure of Maxima's solver is unrelated to this assumption. This weakness of Maxima's solver has been known for a long time.

This equation can nevertheless be solved with a little help from the user:

```
sage: (x**k==k/c).log().log_expand().solve(x)
[x == e^(-log(c)/k + log(k)/k)]
```

And further tidied:

```
sage: (x**k==k/c).log().log_expand().solve(x)[0].canonicalize_radical()
x == k^(1/k)/c^(1/k)
```

2 | No.2 Revision |

since you

, which is meaningless if ~~assume(k>°)~~assume(k>0)`k`

is not real, you implicitly assume that it is real:

```
sage: x, c, k = var('x, c, k')
....: assume(k > 0)
....:
sage: k.is_real()
True
```

the following failure of Maxima's solver is unrelated to this assumption. This weakness of Maxima's solver has been known for a long time.

This equation can nevertheless be solved with a little help from the user:

```
sage: (x**k==k/c).log().log_expand().solve(x)
[x == e^(-log(c)/k + log(k)/k)]
```

And further tidied:

```
sage: (x**k==k/c).log().log_expand().solve(x)[0].canonicalize_radical()
x == k^(1/k)/c^(1/k)
```

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.