Changes between Version 118 and Version 125 of Ticket #14711


Ignore:
Timestamp:
10/07/13 21:54:19 (6 years ago)
Author:
SimonKing
Comment:

With the new commit I have pushed today, all doctest should pass.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14711

    • Property Status changed from needs_work to needs_review
    • Property Work issues changed from String repr. of weakened maps; copying/pickling of maps to
    • Property Commit changed from 5168cfd15d4cdbaa3ffdbd4be0f7d783f77257c7 to 364b9856b28d7060e3ea9825144de66c8f11ca2a
  • Ticket #14711 – Description

    v118 v125  
    6969`Morphism`. This transition is prepared here.
    7070
     71Weakened maps should only be used in the coercion system: A weakened map can become invalid by garbage collection, and the coercion system has the job to remove a map from the coercion cache as soon as it becomes invalid.
     72
     73Maps outside of the coercion system should be safe against invalidation. Hence, when we take a coerce map, then we should better create a non-weakened copy. The branch also provides copying (and pickling) for ''all'' kinds of maps and morphisms (hopefully no map/morphism class went unnoticed).
     74
    7175In any case, the commit messages should give a concise description of what has
    7276been done.
    73 
    74 '''__Still TODO__'''
    75 
    76 - Let the string representation of weakened maps point the user to the need of
    77 creating a copy.
    78 - Provide copying for ''all'' kinds of maps.
    7977
    8078'''__TODO in future tickets__'''