#5231: [with patch, needs review] make relative number fields lazy
---------------------------+------------------------------------------------
Reporter: ncalexan | Owner: was
Type: enhancement | Status: new
Priority: major | Milestone: sage-3.4
Component: number theory | Keywords: relative number fields lazy pari
---------------------------+------------------------------------------------
The attached patch makes relative number fields truly lazy, meaning that
they don't require PARI's nf or bnf structures for the base field nor
PARI's rnf structures for the extension. This means that arithmetic can
be done in huge extensions, ones for which there is no hope of finding
units, class groups, etc.
Along the way I cleaned some conversions to PARI and fixed a bug
relativizing absolute fields over QQ. I also added many doctests. I also
tested this with #4779's randomized testing; passed with flying colors.
This patch cannot be allowed to bitrot, it's just to much work to
understand this part of the code.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5231>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
