#15618: convert_map should not be a map
-------------------------------------+-------------------------------------
Reporter: pbruin | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.2
Component: coercion | Resolution:
Keywords: conversion map | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/pbruin/15618-DefaultConvertMap | e772cb79d115b7ed494fc1ac4eaff9120da37711
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by pbruin):
* commit: => e772cb79d115b7ed494fc1ac4eaff9120da37711
* branch: => u/pbruin/15618-DefaultConvertMap
Comment:
In the attached branch, I tried to make `DefaultConvertMap` return a
morphism in the category of schemes with partial maps. Unfortunately, a
recent change in #14711 (where certain references in the coercion system
were made into weak references) makes the map forget its parent `Homset`,
and hence in which category it lives.
Example (cf. the code producing the debugging output):
{{{
sage: ZZ.convert_map_from(CC)
old parent = Set of Morphisms from Complex Field with 53 bits of precision
to Integer Ring in Category of sets with partial maps
new parent = Set of Homomorphisms from Complex Field with 53 bits of
precision to Integer Ring
Conversion map:
From: Complex Field with 53 bits of precision
To: Integer Ring
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/15618#comment:3>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
