gap icon indicating copy to clipboard operation
gap copied to clipboard

modifying Dictionary value for a key

Open dimpase opened this issue 2 years ago • 5 comments
trafficstars

There appears to be no way to modify the value pointed to by a Dictionary() key. Is it a documentation bug, or really not implemented?

dimpase avatar Mar 02 '23 14:03 dimpase

I think you can use AddDictionary.

fingolfin avatar Mar 03 '23 23:03 fingolfin

@roed314

dimpase avatar Mar 05 '23 13:03 dimpase

It is really not implemented.

hulpke avatar Mar 06 '23 20:03 hulpke

it's a general feature, very useful for programming of anything interface-related in GAP. Any interest in having it implemented?

dimpase avatar Mar 06 '23 20:03 dimpase

If someone wants to implement it, go ahead -- just remember that there are multiple representations that all need to be updated.

hulpke avatar Mar 06 '23 21:03 hulpke