Inherit `vertexindices` after `deletion` for simplicial complexes, or include `VERTEX_LABELS` from Polymake

[zmberber]

After manipulating simplicial complexes, like with the deletion method, I would like to keep track of the vertex indices/labels in some way. This seems to not be easily possible. I am very new to OSCAR.

Example code

Here is some code and its output that should immediately illustrate the problem:

Input

L = simplicial_complex([[0,2,17],[2,18,90]]);
Ld = deletion(L, Set([4]));
print(facets(L),"\n")
print(vertexindices(L),"\n\n")
print(facets(Ld),"\n")
print(vertexindices(Ld))

Output

Set{Int64}[Set([2, 3, 1]), Set([4, 2, 3])]
[0, 2, 17, 90]

Set{Int64}[Set([3, 1]), Set([4, 2, 3])]
[1, 2, 3, 4]

Possibilities I explored

I looked at what happens in Polymake, and there, this information, VERTEX_INDICES, also gets lost. But what still works is VERTEX_LABELS, which does get inherited in polymake after deletion. This attribute is not accessible in OSCAR without cumbersome loading and saving.

What I want

Some way to keep vertex indices or labels so that I can keep track of vertices when I modify a simplicial complex (especially with deletion).