add shortname to IsomorphismTypeInfoFiniteSimpleGroup value

[ThomasBreuer]

The record returned by IsomorphismTypeInfoFiniteSimpleGroup
contains a name component that is not suitable for
programmatic access.

The new component shortname fits to the names that are used in
CTblLib and AtlasRep.
It will simplify some of my example sessions.
In particular I will be able to get rid of some calls to
StructureDescription; I think it is not appropriate to advertise
that function by applying it to simple groups.

TB

[hulpke]

Let me just note that there also is now DataAboutSimpleGroup which includes the IsomorphismType record, but also easier parseable information about the group. It is used currently in subgroup lattice and automorphism group calculations for almost simple groups, and has a component tomName which seems to be the same as shortname.

[ThomasBreuer]

@hulpke: Interesting, thanks for the hint.
DataAboutSimpleGroup seems to be undocumented.
I think IsomorphismTypeInfoFiniteSimpleGroup is a more suitable place for what I call shortname,
this function is applicable also to character tables and positive integers (documented).

[hulpke]

This is useful functionality that should have been available long ago.

[olexandr-konovalov]

Thanks - should this be mentioned in GAP 4.10 release notes then?

[ThomasBreuer]

@alex-konovalov:
I am not sure about the release notes.
On the one hand, I hope that this small change does not belong to the "most important" ones.
On the other hand, where would someone find a remark about the new record component?