On Thursday, 4 December 2025 at 01:58:41 UTC-8 vdelecroix wrote: My concrete proposal is
def eivenvalues(self, ring=None, extends=False): if ring is None: ring = self.base_ring() if extends: ring = ring.algebraic_closure() # or possibly something smarter? return self.charpoly().roots(ring) I think you'd end up a little more backwards compatible by making the default for base ring QQ to be "extends=True". Otherwise that seems like a flexible solution to me. In fact, there is already an extend option to the command! Adding the "ring" parameter would be a change. The default is "extend=True", so Martin's request is really just to return results in QQbar always when "extend=True". That's OK, I think. We should check that with "extend=False" we do return the roots just in the base ring. The keyword argument is already documented ... -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/c873ef6f-9b52-4173-a5da-4e54b9bbdb32n%40googlegroups.com.
