#16606: Bernstein creation operators and other fixes on symmetric functions
-------------------------------------+-------------------------------------
       Reporter:  darij              |        Owner:
           Type:  defect             |       Status:  needs_info
       Priority:  major              |    Milestone:  sage-6.3
      Component:  combinatorics      |   Resolution:
       Keywords:  symmetric          |    Merged in:
  functions, sage-combinat           |    Reviewers:
        Authors:  Darij Grinberg     |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:  public/combinat    |  494cc5ce34c44c60d1691486fb1663a247ce44f2
  /witt-sf-fix                       |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by darij):

 Thanks, but this begs my question, which I guess was unclear.

 The thing that can fail is not the "change_ring"; it's the inversion
 itself. And what I am worried is that it could fail despite the matrix
 (which is actually an integer matrix with determinant -+1) having an
 inverse. The one realistic workaround for that is to do these matrix
 computations over the base ring ZZ rather than the given base ring for the
 symmetric functions. This could have the additional advantage that the
 matrices are constructed only once even if I work over different rings at
 the same time. Is it worth redesigning the Witt basis?

--
Ticket URL: <http://trac.sagemath.org/ticket/16606#comment:11>
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.

Reply via email to