#8327: Implement the universal cyclotomic field, using Zumbroich basis
-----------------------------------------------------+----------------------
Reporter: nthiery | Owner:
Type: enhancement | Status:
needs_work
Priority: major | Milestone: sage-5.0
Component: number fields | Resolution:
Keywords: Cyclotomic field, Zumbroich basis | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Christian Stump, Simon King | Merged in:
Dependencies: #4539 #10771 #7980 | Stopgaps:
-----------------------------------------------------+----------------------
Comment (by stumpc5):
Replying to [comment:93 davidloeffler]:
> In fact UCF will attempt to construct an element from anything
whatsoever:
> {{{
> sage: UCF(None)
> None
> sage: UCF(QQ)
> Rational Field
> sage: UCF('hello')
> 'hello'
> }}}
I didn't implement the `__call__` method - what is the behaviour you would
expect here?
> The following are not great either:
> {{{
> sage: UCF.has_coerce_map_from(CyclotomicField(3))
> False
> }}}
how can I get a coerce from `CyclotomicField(n)` for all `n`?
> {{{
> sage: QQbar.has_coerce_map_from(UCF)
> False
> }}}
I fixed this.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8327#comment:94>
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.
