Size(...) doesn't seem to work for dictionaries. Is there a way to return its size? (or do we have to track it separately as we add to it?)
-- William Chen NSF Postdoctoral Fellow, Department of Mathematics Columbia University, New York, NY, 10025 [email protected] _______________________________________________ Forum mailing list [email protected] https://mail.gap-system.org/mailman/listinfo/forum
