Character tables which are pushed onto the table stack using
PUSHCHARTABLE()
are restored (popped) using POPCHARTABLE()
. For a
description of this mechanism please refer to section ??.
Please send Yodl questions and comments to yodl@icce.rug.nl.
Please send comments on these web pages to (address unknown)
Copyright (c) 1997, 1998, 1999 Karel Kubat and Jan Nieuwenhuizen.
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.