Apart from small tweaks this branch updates wrt TaylorModels#master and the idea of returning the TMs in the solution (before box o.a.). Note, however, that in a follow-up PR we should fully "branch" it to the cont post perhaps adding a new option to choose the type of the solution. Note also that ReachSolution takes arguments of type LazySet but TaylorModel is not of that type (we could add this in the future..).
Apart from small tweaks this branch updates wrt TaylorModels#master and the idea of returning the TMs in the solution (before box o.a.). Note, however, that in a follow-up PR we should fully "branch" it to the cont post perhaps adding a new option to choose the type of the solution. Note also that
ReachSolution
takes arguments of typeLazySet
butTaylorModel
is not of that type (we could add this in the future..).