There is already some code for this in the repository, but it is incomplete.
The idea is to provide an additional ring object type, implemented as a GAP attribute storing rep, which wraps the existing IsSI_ring type. With this high level object, it is much easier to implement various things; e.g. to cache the list of ring generators, to add code which allows the user to write R.4 to access the fourth ring generator, etc.
One of the main things missing is a constructor for these objects.
There is already some code for this in the repository, but it is incomplete.
The idea is to provide an additional ring object type, implemented as a GAP attribute storing rep, which wraps the existing IsSI_ring type. With this high level object, it is much easier to implement various things; e.g. to cache the list of ring generators, to add code which allows the user to write
R.4
to access the fourth ring generator, etc.One of the main things missing is a constructor for these objects.