53.18 Class Function Records

Every class function has the components

isClassFunction :

always true,

source:

the underlying group (or character table),

values:

the list of values, corresponding to the conjugacyClasses component of source,

operations:

the operations record which is one of ClassFunctionOps, VirtualCharacterOps, CharacterOps.

Optional components are

isVirtualCharacter:

The class function knows to be a virtual character.

isCharacter:

The class function knows to be a character.

Previous Up Top
Index