documentation for simplify?

[Fernando Gouvea]

I just realized that when faced with

log(a)-log(b)

Sage does not normally simplify that log(a/b), or vice-versa. I tried using f.simplify_full() and friends with no effect.

Then I tried to enter

?simplify_full

and got

Object `simplify_full` not found.

I notice that there is a simplify_log(), but that one does not do what I want either.

1) Is there a way to do it?

2) How can I find out what the various "simplify"s do?

Thanks,

Fernando

-- 
=============================================================
Fernando Q. Gouvea         http://www.colby.edu/~fqgouvea
Carter Professor of Mathematics
Dept. of Mathematics and Statistics
Colby College              
5836 Mayflower Hill        
Waterville, ME 04901       

If all you have is a hammer, everything looks like a nail.

[Emmanuel Charpentier]

What Sage are you using ?

Le vendredi 5 février 2021 à 21:41:09 UTC+1, fqgo...@colby.edu a écrit :

I just realized that when faced with

log(a)-log(b)

Sage does not normally simplify that log(a/b), or vice-versa. I tried using f.simplify_full() and friends with no effect.

Then I tried to enter

?simplify_full

and got

Object `simplify_full` not found.

I notice that there is a simplify_log(), but that one does not do what I want either.

???

```

sage: var("a,b")

(a, b)

sage: (log(a)-log(b)).log_simplify()

log(a/b)

sage: (log(a)-log(b)).simplify_log()

log(a/b)

```

but, indeed :

```

sage: (log(a)-log(b)).simplify()

log(a) - log(b)

sage: (log(a)-log(b)).simplify_full()

log(a) - log(b)

 ``` 

1) Is there a way to do it?

See above 

2) How can I find out what the various "simplify"s do?

The SR objects' methods are probably better documented than wrapper functions.