#21054: Transition between bases is incorrect for Moebius algebras
-------------------------------------+-------------------------------------
       Reporter:  jmantysalo         |        Owner:
           Type:  defect             |       Status:  needs_review
       Priority:  critical           |    Milestone:  sage-7.3
      Component:  combinatorics      |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Travis Scrimshaw   |    Reviewers:  Darij Grinberg
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  public/combinat/fix_moebius_algebra_multiplication-21054|  
e5e590392fcd641b3aa7946c63bc27a6ed5fbfd9
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by tscrim):

 * priority:  major => critical


Comment:

 They are indirectly exposed to the user through `coerce_map_from`.
 However, it is (mathematically) correct that they are triangular wrt the
 poset order. It just might happen that someone gives a very horrible poset
 that is a facade. However, that is an independent issue than what is fixed
 here, which really should get into 7.3 because it gives wrong answers, so
 it belongs on a separate ticket.

--
Ticket URL: <https://trac.sagemath.org/ticket/21054#comment:14>
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 sage-trac+unsubscr...@googlegroups.com.
To post to this group, send email to sage-trac@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to