Hey Andrew, I'm always for including things into Sage. We need to refactor symmetric group representations to not use CombinatorialClass (and the seminormal form for the SGA), and we can factor out common functionality at that point. However that's for later.
Now looking at what you're doing (somewhat quickly), since you're going to take a fraction field at the end, I would work over ZZ['q'] rather than the Laurent polynomial ring since the usual polynomial rings over ZZ typically behave better for reduction in the fraction fields. Also are you doing any division with the roots? If not, I think you can just work with the fraction field of ZZ['q'] and then work with the extension of that. If you are, then perhaps consider refining the category of the final extension using ``_refine_category_`` to a domain (field?). Unfortunately I don't know of a way to add all roots of a polynomial simultaneously, perhaps ask on sage-devel. Best, Travis -- 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 sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-combinat-devel. For more options, visit https://groups.google.com/d/optout.