Changes between Version 1 and Version 2 of Ticket #30181, comment 26


Ignore:
Timestamp:
Jul 31, 2020, 2:43:07 PM (2 years ago)
Author:
Michael Jung
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30181, comment 26

    v1 v2  
    1818> Yes. But actually - should an `AffineConnection` not be an element of some module too?
    1919
    20 If one likes one can see the set of connections as a vector space, yes. But this does not hold true for Levi-Civita connections as they are ''uniquely'' associated to a metric. Since `LeviCivitaConnection` inherits from `AffineConnection`, I don't think we should see it as a module but as an element of the set of connections.
     20Actually, on the second thought, I don't think that connections even constitute a vector space. There is no zero element since this would contradict the Leibniz rule.
    2121
    2222I wonder why `Mutability` does not inherit from `SageObject`. If it would, one could let connections directly inherit from `Mutability`. Is there a particular reason?