Hi! I am about to fix some further issues with quivers, their representations and algebras (namely: I'd like that TestSuite(...).run() passes) at #12630.
One problem: Each quiver has an invalid path, which is currently mapped to a non-zero element in the algebra of that quiver, but this non-zero element behaves as multiplication with zero. This is a problem: If i is the element obtained from the invalid path and o is the "one" element of the algebra, then (i+o)*o != i+o. Of course, this makes the TestSuite complain. Two possible solutions come to mind: 1. The invalid path maps to the zero of the algebra, or 2. If i comes from the invalid path and x is any element, then i*x should evaluate to (a scalar multiple of) i, but it should *not* evaluate to zero. Which do you think is better? Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" 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-combinat-devel. For more options, visit https://groups.google.com/groups/opt_out.
