How to handle objects with memory

gap-packages / recog

The GAP package recog to collect methods for constructive recognition

https://gap-packages.github.io/recog/

GNU General Public License v3.0

6 stars 14 forks source link

How to handle objects with memory #267

Open ssiccha opened 3 years ago

ssiccha commented 3 years ago

@FriedrichRober and I have found out, that one should never do GroupWithMemory(Grp(ri)) in the middle of the recognition, because many functions for objects with memory assume that, if the elements live in the same group, then their !.slp components are identical. Thus one has to always use ri!.gensHmem.

This should be documented somewhere, especially in the "how to write a recog method chapter".

ssiccha commented 3 years ago

I've opened gap-system/gap#4399 to discuss how to improve this situation.