#16606: Symmetric function computations in Witt basis leak into quotient field
-------------------------------------+-------------------------------------
Reporter: darij | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.3
Component: combinatorics | Keywords: symmetric
Merged in: | functions, sage-combinat
Reviewers: | Authors: Darij Grinberg
Work issues: | Report Upstream: N/A
Commit: | Branch: public/combinat
328bd2e4682434c2fcd157c1317c5635828270f5| /witt-sf-fix
Stopgaps: | Dependencies:
-------------------------------------+-------------------------------------
{{{
Sym = SymmetricFunctions(ZZ)
w = Sym.w()
w[4].coproduct()
}}}
This would fail because {{{w[4]}}} would be transformed into the h-basis,
which would make some of its coefficients into rationals even though they
should be integers.
The cause is the fact that inverting an integer matrix can turn its
entries into rationals even if the matrix is invertible over ZZ. I have
fixed this in a way I believe to be suboptimal, but this is all I have
time for...
--
Ticket URL: <http://trac.sagemath.org/ticket/16606>
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.
