#4276: [with patch, needs review] move number fields to new coercion, implement
embeddings
----------------------+-----------------------------------------------------
Reporter: robertwb | Owner: robertwb
Type: defect | Status: new
Priority: major | Milestone: sage-3.2.2
Component: coercion | Resolution:
Keywords: |
----------------------+-----------------------------------------------------
Comment (by robertwb):
> First, why squarefree_part bounded? This could be a separate patch.
Yes, in retrospect it could be. I moved that code out of the number field
file, and while doing so decided to optimize it.
> Second, I can specify non-embeddings that seem to be ignored:
I'm not sure what you're trying to show with your example. It picks the
closest root (so one doesn't need to specify the root to an arbitrary
precision).
> Finally, I am having lots of trouble creating non-default embeddings:
{{{sage: K2.<a> = NumberField(x^2 + 2, 'a', embedding=RR(-sqrt(2)))}}}
I agree these tracebacks are bad, but it's having trouble deciding which
of I*sqrt(2) or -I*sqrt(2) is closest to sqrt(2). I'll have it throw a
more sensible error instead.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4276#comment:13>
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
-~----------~----~----~----~------~----~------~--~---
