#15312: fix integer overflow (?) in conversion of powersums to Schur functions
-------------------------------------------------+-------------------------
Reporter: zabrocki | Owner:
Type: defect | Status: new
Priority: critical | Milestone: sage-5.13
Component: combinatorics | Resolution:
Keywords: symmetric functions, | Merged in:
symmetrica, memleak | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: |
-------------------------------------------------+-------------------------
Comment (by zabrocki):
To help identify the problem I need to know precisely what steps trigger
the error:
{{{
sage: from sage.libs.symmetrica.all import t_POWSYM_SCHUR as PS
sage: g = PS({Partition([1]*50):ZZ(1)})
sage: PS({Partition([1]*4):ZZ(1)})
s[1, 1, 1, 1] + 3*s[2, 1, 1] + 2*s[2, 2] + 3*s[3, 1] + s[4]
sage: PS({Partition([1]*4):QQ(1)})
s[1, 1, 1, 1] + 3*s[2, 1, 1] + 2*s[2, 2] + 508150636*s[3, 1] + s[4]
}}}
So it seems that POWSYM to SCHUR over the integers has no visible
problems, but POWSYM to SCHUR over the rationals is having the overflow,
but only after we've done a sufficiently large calculation (over the
integers or rationals).
I'm having a hard time identifying the problem inside of the symmetrica
package because if you create a c program with a command
`scan(POW_SYM,a);` then it allows you to enter a power symmetric function
with all kinds of coefficients, but none of them are rational.
{{{
enter kind of object
integer [1]vector [2]partition [3]bruch [4]permutation
[6]
skewpart [7]tableaux [8]polynom [9]schurfunk [10]matrix
[11]
homsym [13]schubert [14]kostka [16]symchar [18]word
[19]
list [20]longint [22]powersum [28]mon. sym. [29]groupalg.
[32]
elm. sym. [33]fin. field [35]reihe [36]cyclotomic [41]monopoly
[42]
radical [43]bitvector [44]laurent [45]barperm [46]
what kind:? 1
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/15312#comment:4>
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/groups/opt_out.
