Max Horn

Works fine in master

I can confirm this: ``` $ ./gap -A ┌───────┐ GAP 4.12dev-1388-g3ef5404-dirty built on 2022-07-28 15:57:10+0200 │ GAP │ https://www.gap-system.org └───────┘ Architecture: aarch64-apple-darwin21-default64-kv8 Configuration: gmp 6.2.1, GASMAN, readline Loading the library...

With assertions turned up a bit: ``` gap> SetAssertionLevel(1); gap> ConjugacyClassesSubgroups(SmallGroup(1344,11293)); Error, Assertion failure in KernelOfMultiplicativeGeneralMapping( fphom ) = nts[j] at GAPROOT/lib/grplatt.gi:1192 called from LatticeSubgroups( G ) at GAPROOT/lib/grplatt.gi:208 called...

It seems this is driven by the variable `PRIMES_COMPACT_FIELDS`: ```gap InstallMethod( ZmodnZObj, "for a positive integer, and an integer -- check small primes", [ IsInt, IsPosInt ], function( residue, n...

GAP doesn't store sortedness for inhomogeneous lists, which is why it doesn't store it for `[ Z(2)^0, 1 ]`. But for strings, we *do* store sortedness, so I am not...

Ah sorry, I was simply remembering it wrong, and confused it with non-dense lists. We can in fact store both sortedness and non-sortedness in the TNUM for strings, inhomogeneous dense...

For `[ Z(2)^0, 1 ]` the problem is that GAP did not figure out this list is dense. So this happens: ``` gap> l:=[ Z(2)^0, 1 ];; gap> TNAM_OBJ(l); "plain...

I can't reproduce any issues with `"cba"`; I tried the following: ``` gap> s:="cba";; gap> TNAM_OBJ(s); "list (string)" gap> SetIsSSortedList(s,true); gap> TNAM_OBJ(s); "list (string,ssort)" gap> HasIsSSortedList(s); true ``` and ```...

Note to self: all those fix commits should also get a test case (and then they can be merged independently of the core of this PR)

Rebased, now things work a bit better. Trying @ThomasBreuer test, we still get ``` #E [ Z(2)^0, 1 ] should now store whether it is sorted! ``` The problem is...