20190712 12:37:43 0500  received badge  ● Good Question (source) 
20190712 10:57:20 0500  received badge  ● Supporter (source) 
20190712 10:57:11 0500  commented answer  Constructing a number field with complex embedding Thanks! I am a bit confused though: Why can we not choose the solution with positive imaginary part for 
20190712 05:59:18 0500  received badge  ● Nice Question (source) 
20190712 01:19:05 0500  received badge  ● Student (source) 
20190712 01:05:18 0500  asked a question  Constructing a number field with complex embedding I am using the function sage: number_field_elements_from_algebraics([1 + sqrt(7)], embedded=True) (Number Field in a with defining polynomial y^2  7 with a = 2.645751311064591?, [a + 1], Ring morphism: From: Number Field in a with defining polynomial y^2  7 with a = 2.645751311064591? To: Algebraic Real Field Defn: a > 2.645751311064591?) sage: number_field_elements_from_algebraics([1 + sqrt(7)], embedded=True)  NotImplementedError Traceback (most recent call last) <ipythoninput1ac220615ad5b> in <module>() > 1 number_field_elements_from_algebraics([Integer(1) + sqrt(Integer(7))], embedded=True) /usr/lib/python2.7/sitepackages/sage/rings/qqbar.pyc in number_field_elements_from_algebraics( numbers, minimal, same_field, embedded, prec) 2242 real_case = False 2243 if embedded: > 2244 raise NotImplementedError 2245 # Make the numbers algebraic 2246 numbers = [mk_algebraic(_) for _ in numbers] NotImplementedError: What is the reason for why only embeddings of real numbers are supported? I modified the code in The relevant code in
