Is there a better name for Rat.normalize?
IMHO, in most contexts, Rat.normalize is a more descriptive name than
normalize. If I had to invent a base name, it would probably be
normalize_rat or rat_normalize... So I would suggest hide (open).
I support this.
Florian
--
Home:
For the upcoming Isabelle release there will be a repackaged version of
Poly/ML 5.3.0, see the current setup in
http://www4.in.tum.de/~wenzelm/test/polyml-5.3.0.tar.gz
The same is already installed at /home/polyml/polyml-5.3.0 locally.
There are two notable changes for improved performance: