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,