Changes between Version 2 and Version 12 of Ticket #11200


Ignore:
Timestamp:
05/18/11 21:41:39 (11 years ago)
Author:
novoselt
Comment:

OK, I propose this version for inclusion. I did not add index(cone) functionality as it is not necessary for the current methods and it would make sense only for those morphisms whose vector space map is surjective (there should be perhaps another is_xxx method to test for this, but I am not sure how to call it - is_dense?). Besides, someone else is likely to work on further description of fan morphism fibers and it will be a nice exercise to add cone indices ;-)

I made a small change to free_module, but didn't yet test consequences on the whole library. I'll do it today and will fix any problems if there are any.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11200

    • Property Reviewers changed from to Volker Braun
  • Ticket #11200 – Description

    v2 v12  
    1 The main point of this ticket is to add `FanMorphism.is_fibration` method.
     1The main point of this ticket was to add `FanMorphism.is_fibration` method, but along the way injectivity, surjectivity, and splitting were added as well.
    22
    33I have also added several related methods and adjusted containment/embedding methods of fans to accommodate sublattices and make their behaviour more uniform: now cone containment check is an attempt to embed the given cone into the fan.