Ask Your Question

EvgenyM's profile - activity

2019-01-25 13:03:29 -0500 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 03:13:42 -0500 received badge  Good Question (source)
2019-01-17 08:35:16 -0500 received badge  Nice Question (source)
2019-01-17 06:24:56 -0500 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 14:06:51 -0500 received badge  Scholar (source)
2019-01-09 14:04:40 -0500 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 14:00:02 -0500 received badge  Supporter (source)
2019-01-08 16:10:24 -0500 received badge  Student (source)
2019-01-08 16:05:50 -0500 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 16:05:49 -0500 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]