Warnings when loading RCWA after Semigroups

[fingolfin]

When loading first the semigroups package, then RCWA, one gets this:

  #I  method installed for Factorization matches more than one declaration in /home/runner/work/gap/gap/pkg/rcwa/lib/rcwagrp.gi:1042
  #I  method installed for Factorization matches more than one declaration in /home/runner/work/gap/gap/pkg/rcwa/lib/rcwagrp.gi:1055
  #I  method installed for WreathProduct matches more than one declaration in /home/runner/work/gap/gap/pkg/rcwa/lib/rcwagrp.gi:2667
  #I  method installed for WreathProduct matches more than one declaration in /home/runner/work/gap/gap/pkg/rcwa/lib/rcwagrp.gi:2697
  #I  method installed for WreathProduct matches more than one declaration in /home/runner/work/gap/gap/pkg/rcwa/lib/rcwagrp.gi:2739
  #I  method installed for Factorization matches more than one declaration in /home/runner/work/gap/gap/pkg/rcwa/lib/rcwagrp.gi:6835
  #I  method installed for StructureDescription matches more than one declaration in /home/runner/work/gap/gap/pkg/rcwa/lib/rcwagrp.gi:7684
  #I  method installed for StructureDescription matches more than one declaration in /home/runner/work/gap/gap/pkg/rcwa/lib/rcwagrp.gi:7699

Now I am not saying either package is doing something wrong, but this is not nice.

What happens is that Semigroups has some Declare* calls for Factorization, WreathProduct, StructureDescription and RCWA has Install* calls for these; and the filters for the RCWA methods fit for both GAP's built-in versions and that of semigroups.

To fix this, one could sharpen the filter requirements in either package, or even in GAP (at least in principle -- I am not claiming that all of these are equally good, and I did not actually look at the code in question concretely; so some more thinking and research is probably warranted).

CC @Stefan-Kohl @james-d-mitchell

[james-d-mitchell]

Thanks for the report @fingolfin, I'm happy to adjust Semigroups to narrow the declarations if that'll do it?