Take a look at
sage.rings.number_field.number_field.NumberField_absolute._coerce_non_number_field_element_in
sage.rings.number_field.number_field_element.NumberFieldElement.__init__
(under if isinstance(f, pari_gen))
sage.rings.polynomial.polynomial_integer_dense_flint.Polynomial_integer_dense_flint.__init__
(under elif isinstance(x, pari_gen))
David
On Sun, Jan 23, 2011 at 15:11, Jeroen Demeyer <jdeme...@cage.ugent.be>wrote:
> On 2011-01-23 18:18, Jeroen Demeyer wrote:
> > Hello sage-devel,
> >
> > I am lost in coercion again. Can somebody please point out to me where
> > to find the code which converts PARI objects to a NumberFieldElement.
> > In other words, what happens in the third line below?
> >
> > sage: K.<a> = NumberField(x^2 + 5)
> > sage: b = pari("Mod(x+1, x^2+5)")
> > sage: K(b)
> > a + 1
>
> Maybe I should have posed my question more precisely: suppose I want to
> implement conversion of a PARI relative number field element to a
> NumberFieldElement_relative, where do I begin?
>
>
> Jeroen.
>
> --
> To post to this group, send an email to sage-devel@googlegroups.com
> To unsubscribe from this group, send an email to
> sage-devel+unsubscr...@googlegroups.com<sage-devel%2bunsubscr...@googlegroups.com>
> For more options, visit this group at
> http://groups.google.com/group/sage-devel
> URL: http://www.sagemath.org
>
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
