oscar-system / GenericCharacterTables.jl

Generic character tables for julia
https://oscar-system.github.io/GenericCharacterTables.jl/
GNU General Public License v3.0
1 stars 4 forks source link

Add a generic class type #168

Closed SoongNoonien closed 1 month ago

SoongNoonien commented 1 month ago

As discussed in #162 a new type modelling "generic classes" (or "class types") could help to remove specclassparam! and to streamline the user experience with all the ortho2* methods.

As far as I can tell whenever a generic class is used as an input for a function only the values of the irreducible generic characters on the respective generic class are of interest. So one could implement the generic class type by just referencing the parent table and the index of the class. Only when specclassparam (or better specialize) is called on a class we would need to actually save the new values outside of the parent table and within the generic class object.

fingolfin commented 1 month ago

Sounds good to me. This could also be used to convert a bunch of other functions dealing with classes in Ortho.jl and Show.jl.

SoongNoonien commented 1 month ago

Maybe getting the first class type of table g could be done like this g[:,1]. Similarly g[1,:] could be an alias for g[1].