2020-02-15 12:48:12 +0200 | received badge | ● Nice Question (source) |
2020-02-15 11:08:13 +0200 | received badge | ● Student (source) |
2020-02-15 11:01:53 +0200 | asked a question | Will graph_editor() ever be supported in Jupyter, or will it eventually be deprecated? . I ask because I use it a lot to try out conjectures on small examples of graphs. |
2016-07-13 21:07:04 +0200 | received badge | ● Famous Question (source) |
2016-07-13 21:07:04 +0200 | received badge | ● Popular Question (source) |
2016-07-13 21:07:04 +0200 | received badge | ● Notable Question (source) |
2015-04-03 12:04:52 +0200 | asked a question | How do you save a graph in eps? I get a file filename.eps.sobj. How do I transform it into eps? |