Changes between Initial Version and Version 1 of Ticket #31241, comment 10


Ignore:
Timestamp:
01/15/21 09:28:08 (11 months ago)
Author:
gh-mjungmath
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31241, comment 10

    initial v1  
    22> I am a little hesitant to call it a bug because it still has that structure once it goes through the functor. The problem is the mutability and that you can make it leave the corresponding category. Now you could implement something specific that handles an instance of `Manifold`. Although I feel that getting something of this level of generality would be hard. I think you are probably better off implementing a mechanism in the `Manifold` class itself.
    33
    4 Agreed. Calling that, one could make a function in `OpenInterval` returning an element of `RealSet`.
     4Agreed. Calling that, one could make a function in `OpenInterval` returning an element of `RealSet`. But wait, the forgetful functor to sets works differently, right?
    55
    66The approach I had in mind is as simple as that: new instance of the desired kind and copy charts. Where do you think may problems occour?