#17010: Random failure in diagram algebras
---------------------------------+------------------------
Reporter: vbraun | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.4
Component: combinatorics | Resolution:
Keywords: random_fail | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
---------------------------------+------------------------
Comment (by tscrim):
I'm thinking the problem is coming from line 700-1:
{{{
self.module_morphism(self.lift, codomain=amb,
category=self.category()).register_as_coercion()
}}}
and is similar to what I posted on #16532, as a reference to the ambient
partition algebra is not held by the subpartition algebra.
I'm thinking the easiest fix would be to actually just store a reference
to the ambient algebra in the subpartition algebra. The best fix would
probably be to add a `_coerce_map_from_` in `PartitionAlgebra` which
checks if the parent is an instance of `SubPartitionAlgebra` and returns
the lift module morphism. Both fixes are easy, which do you think we
should do?
--
Ticket URL: <http://trac.sagemath.org/ticket/17010#comment:5>
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.
