#8327: Implement the universal cyclotomic field, using Zumbroich basis
-----------------------------+----------------------------------------------
Reporter: nthiery | Owner: davidloeffler
Type: enhancement | Status: new
Priority: major | Milestone:
Component: number fields | Keywords: Cyclotomic field, Zumbroich basis
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
Comment(by nthiery):
Replying to [comment:2 craigcitro]:
> So this seems interesting (I'd never heard of the Zumbrioch basis
before). I don't have anything useful to say about the utility of this, or
implementing it.
>
> However, I'd like to suggest we might want to use a different convention
for the constructor -- I don't like the idea of `CyclotomicField()`
working. That seems like something that's too easy for a user to
accidentally do (leave out the `n` they intended to use), and I'd much
rather they see an error than have it quietly succeed, only to discover
that their cyclotomic field isn't quite what they expected (and likely
slower to boot). Maybe something like `F = CyclotomicField(n=Infinity)`?
I indeed take any better suggestion! In Gap that would be Cyclotomics, but
it does sound good in Field in the name. n=infinity might be misleading,
since it's not about infinite roots of unity.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8327#comment:3>
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 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.
