Ask Your Question

matthias's profile - activity

2024-03-16 00:05:51 +0200 commented question Can't install SageMath 10.2 with conda

That problem is also conda related but about a different package. I filed a bug about my problem here: https://github.co

2024-03-07 18:03:23 +0200 asked a question Can't install SageMath 10.2 with conda

Can't install SageMath 10.2 with conda The command conda create -n sage102-py312 sage=10.2 python==3.12 fails with th

2016-08-09 11:05:42 +0200 received badge  Notable Question (source)
2016-08-09 11:05:42 +0200 received badge  Popular Question (source)
2015-02-21 04:58:34 +0200 commented answer Number field containing real/imaginary part of algebraic number

This is insightful, but the other solution is ultimately much shorter.

2015-02-21 04:57:32 +0200 commented answer Number field containing real/imaginary part of algebraic number

Thanks so much, I got it to work with: QQbar.polynomial_root(number_field.defining_polynomial(), CIF(number_field.gen_embedding())

2015-02-13 19:47:13 +0200 asked a question Number field containing real/imaginary part of algebraic number

I have a number field N with an embedding into C (e.g., NumberField(x^3+3, 'z', 0.7+1.2j)). I would like the smallest number field N' that contains all Re(z) and Im(z) for z in N. I would also like a mapping from x in N to (Re(x), Im(x) in N'xN' - or at least know what Re(z) and Im(z) is in N' for the generator z of N.

What is a good way of doing this?

I was thinking along the lines of N.composite_fields(NumberField(N.defining_polynomial, 'z', embedding=ComplexField()(N.gen_embedding()).conjugate()),both_maps=True). But I ran into http://trac.sagemath.org/ticket/14164 with this occasionally. Is there a better way of doing it?

2014-10-16 15:50:44 +0200 received badge  Nice Question (source)
2014-10-11 23:32:47 +0200 received badge  Student (source)
2014-10-08 08:25:00 +0200 asked a question Dead link in most recent changelog