I am trying to define a new domain and one of the problems I am
having is that I don't know how to get GAP to use the new definition
of * which I have made for that domain.
Does anyone know what GAP does first when it reads the "*" symbol,
ie checking which domain the elements belong to, whether they
are records with an operations record containing a * function, etc.
I assume GAP does things like this but if anyone knows which order it
does them in, it would be very helpful.