Hello GAP-Users,

here's a question to those of you who know more about GAP's
workspace-memory-management than I do:

If one defines a list with holes in it, e.g.

gap> list_with_holes := [ 1,,,, 5 ];

how much workspace-memory will GAP allocate for the holes then?

Of course, I have tried to find an answer to my question in the
GAP-Manual. However, the only hint I found there in subsection
27.11 "Enlarging Lists", where you can read:

"[...] So the following strategy is used. If a list is
created it is created with exactly the correct size."

Does this mean that for a list of 2 integers with 9998 holes
between them "almost as much" memory is allocated as for a list
of 10000 integers?

Many thanks for your help with that,

Mathias Kratzer