Changes between Version 118 and Version 125 of Ticket #14711
- Timestamp:
- 10/07/13 21:54:19 (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #14711
-
Property
Status
changed from
needs_work
toneeds_review
-
Property
Work issues
changed from
String repr. of weakened maps; copying/pickling of maps
to -
Property
Commit
changed from
5168cfd15d4cdbaa3ffdbd4be0f7d783f77257c7
to364b9856b28d7060e3ea9825144de66c8f11ca2a
-
Property
Status
changed from
-
Ticket #14711 – Description
v118 v125 69 69 `Morphism`. This transition is prepared here. 70 70 71 Weakened 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 73 Maps 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 71 75 In any case, the commit messages should give a concise description of what has 72 76 been done. 73 74 '''__Still TODO__'''75 76 - Let the string representation of weakened maps point the user to the need of77 creating a copy.78 - Provide copying for ''all'' kinds of maps.79 77 80 78 '''__TODO in future tickets__'''