Changes between Version 3 and Version 4 of Ticket #20330, comment 6


Ignore:
Timestamp:
04/27/16 16:36:09 (5 years ago)
Author:
jhonrubia6
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #20330, comment 6

    v3 v4  
    11I 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.
    22I 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)
     3The 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)
    44Obviously works flawlessly with
    55{{{