Doctest fix for: wrong symbolic comparison of log

[fchapoton]

Namely

sage: bool(log(8)- 3*log(2))
True
sage: bool(log(8)==3*log(2))
False

compared to

sage: cmp(log(8),3*log(2))
0

And cmp should be going away in python3.

In principle Maxima should simplify log(8)-3*log(2) so it's a missing enhancement there. See pynac/pynac#258 for an enhancement that can provide another solution.

Depends on #23950
Depends on #18970

CC: @rwst @mforets

Component: symbolics

Author: Ralf Stephan

Branch/Commit: 022656f

Reviewer: Marcelo Forets

Issue created by migration from https://trac.sagemath.org/ticket/23224

[fchapoton]

Description changed:

--- 
+++ 
@@ -6,4 +6,13 @@
 sage: bool(log(8)==3*log(2))
 False
 ```
-Can we hope to enhance this somehow ?
+compared to
+
+```
+sage: cmp(log(8),3*log(2))
+0
+```
+
+And cmp should be going away in python3.
+
+Can we hope to enhance this somehow ? or is this hopeless ?

[rwst]

comment:2

Factorization in GiNaC::log_eval, why not.

[rwst]

Description changed:

--- 
+++ 
@@ -15,4 +15,4 @@
 
 And cmp should be going away in python3.
 
-Can we hope to enhance this somehow ? or is this hopeless ?
+In principle Maxima should simplify `log(8)-3*log(2)` so it's a missing enhancement there. See https://github.com/pynac/pynac/issues/258 for an enhancement that can provide another solution.

[rwst]

Dependencies: #23950

[rwst]

Branch: u/rws/23224

[rwst]

New commits:

b0486c8	18970: Log function and documentation revamp
022656f	23224: doctests

[rwst]

Commit: 022656f

[rwst]

Changed dependencies from #23950 to #23950, #18970

[rwst]

Author: Ralf Stephan