When I was drawing a plane graph, I found that the labels  of vertices were not displayed  and some edges even overlap when drawing because they were too close due to embedding.

So I thought that  option  Interactive  can adjust the position manually, but  at the same time I found that the style of  edges, such as the color and thickness, etc., is lost.  How to handle it? Is this a bug?

I wanted to define a set of all positive integer powers of 2, and I could determine whether a number is contained in the set.

When a set is a finite set and there are not many elements, it's not hard to do. We can form the set first and then determine whether the elements are included or not.

true

false

Because the set of all positive integer powers of 2 is an infinite set, or rather a countable set. I thought of using the positive type to define it.

[false, true, false]

Interestingly, we find that the type of judgment condition is a function, whereas positive(or integer) are symbols.

function

symbol

symbol

So my question is how does Maple define integer types or positive integers or even real numbers? In other words if I don't use the positive integer type for the above question, can I define the set of all positive integer powers of 2.

We know that the  showstat()  function can provide some available source codes, but it also provides line numbers.  I need to delete one by one to use it, which is not efficient when I want to copy and modify codes. Is there any way to directly remove those line numbers.

for exampe:

PlaneDual returns the plane dual of a planar graph G, that is, a graph with faces of G as its vertices in which two vertices are adjacent if and only if they share an edge as faces of G. Of course, this is a little different from the standard definition of plane dual. (Interlude: I estimate that the two definitions are equivalent in the case that the planar graph is 3-connected simple graph)

It's not hard to find a plane dual of a planar graph in Maple. 

Since all labels of the dual graph are used numbers 1..n in maple, I cannot see how its vertices correspond to the face of the original graph.  And further, I want to know one edge of the dual graph corresponds to which edge (should be the boundary on two faces) of the original planar graph.

Maybe input {1,4} of the dual graph and output {2,4} of the original graph.

For example, Input {1} that is a vertex of  dual graph  to get the original face {2,3,4} and if we input {1,4} of the dual graph, we will output edge {2,4} of the original graph.

I don't know if there's a good way to do that.

In general, the Graph6 format is a graph format supported by major math software, so I used it as a transitional format.

When I try to read this graph6 string with Mathematica or Sagemath, unfortunately there are unrecognized problems.  Later, I found that when copying, there would be missing the backslash . 

I'm trying to figure out this problem of copying strings.