Edit your proc name_group to obtain a new proc group_table which will define the same names G, o, e, i as name_group, but where o and i will be maps rather than funcs. For example, o will be the set of all pairs of the form [[x, y], x. o y]. Note that expressions like a.o b and i (g) should evaluate to the same group elements as with name_group. Evaluating group_tab1e on a particular group may take much longer than name_group, but once completed, investigations with that group will be much faster.
Unable to display preview. Download preview PDF.