2019-12-05 23:50:40 +0100 asked a question Equation in complex numbers I need to solve the following equation. solve(z^2 == (1-sqrt(3)*I)*z.conjugate(), z)  Sage says [z == -sqrt((-I*sqrt(3) + 1)*conjugate(z)), z == sqrt((-I*sqrt(3) + 1)*conjugate(z))]  I'd like to get solutions in polar form, something like [z == 0, z == 2*e^(pi*I/9), z == 2*e^(7*pi*I/9), z == 2*e^(13*pi*I/9)]  Or I'd like to get the absolute values and arguments of the solutions. Is it possible in Sage? 2019-01-25 20:03:29 +0100 commented answer Binary relations I accepted your answer to this question, but I cannot believe something studied in every first year Discrete Math course is not a part of Sage. 2019-01-21 10:13:42 +0100 received badge ● Good Question (source) 2019-01-17 15:35:16 +0100 received badge ● Nice Question (source) 2019-01-17 13:24:56 +0100 asked a question Binary relations Are finite binary relations as subsets of Cartesian product implemented in Sage? I am interested in taking set-theoretic operations, finding composition and inverse, checking properties such as reflexivity and antisymmetry. I found a report here, but I am not sure if it made its way into version 8.5. If so, is there documentation and examples? By doing search_src("binaryrelation") I also found functions IsBinaryRelation, IsReflexiveBinaryRelation, etc. in libs/gap/gap_functions.py, but I am not sure how to use them. 2019-01-09 21:06:51 +0100 received badge ● Scholar (source) 2019-01-09 21:04:40 +0100 commented answer How to format posts on this forum? Thanks. Is there a way to see how other people typed their posts? For now at least I don't have the "edit" button under your post, for example. 2019-01-09 21:00:02 +0100 received badge ● Supporter (source) 2019-01-08 23:10:24 +0100 received badge ● Student (source) 2019-01-08 23:05:50 +0100 asked a question How to format posts on this forum? Is there a description of features used to format posts on this forum? Does it use Markdown? In particular, I am interested in rules for typing logs of interaction with Sage. 2019-01-08 23:05:49 +0100 asked a question Quadratic equation with complex coefficients How can I solve x^2 - (1 + I)*x + 6 + 3*I == 0 to get answers z = 3*I and z = 1 - 2*I ? When I enter solve(x^2 - (1 + I)*x + 6 + 3*I == 0, x)  I get [x == -1/2*sqrt(-10*I - 24) + 1/2*I + 1/2, x == 1/2*sqrt(-10*I - 24) + 1/2*I + 1/2]