search

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

Can the `hints` component of a `recog info` lead to duplicate methods? #183

Closed ssiccha closed 4 years ago

ssiccha commented 4 years ago

It is possible to give extra find-homomorphism methods via the hints component of a recognition info record. These are then "merged" with the methoddb and used with CallMethods. So what happens if we put a method into the hints component that already is in the methoddb we use? It is not documented whether we can do that. I don't suspect this would break anything, but I'd rather double-check that.

ssiccha commented 4 years ago

Reading this now, why should anyone even do that? I'm closing this.