Differences between revisions 6 and 7
 ⇤ ← Revision 6 as of 2007-06-12 07:53:16 → Size: 262 Editor: c-24-22-6-250 Comment: ← Revision 7 as of 2007-06-12 18:11:56 → ⇥ Size: 1018 Editor: miles Comment: Deletions are marked like this. Additions are marked like this. Line 8: Line 8: ======Concerning orders and their fraction fields: It is very much worth it to have a possibility of representing ordersin a way that is divorced from a power basis. For large degree extensions it frequently happens that working withrespect to a power basis is completely impossible for any serious computation. Yet, with respect to an LLL reducedbasis of the ring of integers, computations might still be quite doable.This is where having a number field as the field of fractions of an order comes in handy too: Going back to a powerbasis of a generating element can be really bad.I'm afraid that, in order to have the representation truly divorced from a power basis, you will need a full multiplicationtable. --Nils Bruin

I've attached a .tex file and .pdf for a Sage Enhancement Proposal for improving number fields.

Number Fields: Sage Enhancement Proposal (pdf): [attachment:NF_SEP.pdf]

Number Fields: Sage Enhancement Proposal (tex): [attachment:NF_SEP.tex]

--David Roe

======

Concerning orders and their fraction fields: It is very much worth it to have a possibility of representing orders in a way that is divorced from a power basis. For large degree extensions it frequently happens that working with respect to a power basis is completely impossible for any serious computation. Yet, with respect to an LLL reduced basis of the ring of integers, computations might still be quite doable.

This is where having a number field as the field of fractions of an order comes in handy too: Going back to a power basis of a generating element can be really bad.

I'm afraid that, in order to have the representation truly divorced from a power basis, you will need a full multiplication table.

--Nils Bruin

days4/projects/numbertheory/number_fields (last edited 2008-11-14 13:42:08 by localhost)