Changes between Version 3 and Version 4 of Ticket #20330, comment 6
 Timestamp:
 04/27/16 16:36:09 (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #20330, comment 6
v3 v4 1 1 I had tried {{{simplify_full}}} (although I hadn't thought of applying it multiple times) but I am somehow disappointed with the solution even that it gets since the result is still too complicated (in the motivating example should have Re(z)=1/2 instead of the monster that it shows. 2 2 I am trying to understand the code to see how to get a simpler expression, if possible without resorting to {{{simplify_full}}} the result. 3 The transformation S it uses to carry the geodesic to the imaginary axis it is not even recognized as an isometry by the model, fails the test {{{self._model.isometry_in_model(S)}}} (although the 'full_simplified' expression successes)3 The transformation S it uses to carry the geodesic to the imaginary axis it is not even recognized as an isometry by the model, fails the test {{{self._model.isometry_in_model(S)}}} (although the double 'full_simplified' expression successes) 4 4 Obviously works flawlessly with 5 5 {{{