Changes between Initial Version and Version 1 of Ticket #5139, comment 25


Ignore:
Timestamp:
2019-10-14T11:20:21Z (5 years ago)
Author:
Francesco Casella

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #5139, comment 25

    initial v1  
    22> Maybe I have a better idea: why not re-tring without homotopy if the solution with homotopy failed? That would solve our problem nicely.
    33
    4 This proposal remains valid
     4This proposal remains valid, and it applies to the case {{{-noHomotopyOnFirstTry}}} is set.