lines field in unweighted mappings

[simonenotarnicola]

Let's suppose I define the peterson graph, then its unweighted mapping unweight_res (as in the example notebook). How should the field unweighted_res.lines be interpreted?
For example:
UnitDiskMapping.CopyLine 10: vslot → [1:1,1], hslot → [1,1:6]
10 is the label of the vertex in the original graph, but how should [1:1,1] and [1,1:6] be interpreted?

[GiggleLiu]

The meaning of CopyLine is explained here:

UnitDiskMapping.jl/src/copyline.jl

Line 1 in e5bac7d

# vslot

A copy line is not a true line, it is two segments forming the "|-" shape. So

• vslot → [1:1,1] means the vertical slot is in the first column, the segment spans rows 1 to 1.
• hslot → [1,1:6] means the horizontal slot is in the first row, the segment spans columns 1 to 6.

[simonenotarnicola]

thank you. so is there no way to connect the lines coordinates to the coordinates of the vertices in the mapped graph?

[GiggleLiu]

thank you. so is there no way to connect the lines coordinates to the coordinates of the vertices in the mapped graph?

The line has been transformed by other gadgets in the mapped graph. The vertices in the mapped graph does not correspond to any line since they may have multiple sources.

[simonenotarnicola]

there is no way to reverse the transformation via the mapping_history? what do the numbers in each element of the mapping history represent?