Cat1Name( C )
Whenever the names of the source or the range of C
are changed, this
function may be used to produce the new standard form
[<C.source.name> ==> <C.range.name>]
for the name of C
. This
function is called automatically by Cat1Print
. Note the use of =
,
rather than -
in the arrow shaft, to indicate the pair of maps.
gap> C.range.name := "c4";; Cat1Name( C ); "[h20 ==> c4]"
GAP 3.4.4