weight



[Next] [Up] [Previous]
Next: balanced-tree-p Up: Processing the quasi-prefix Previous: Processing the quasi-prefix

weight

[tex2html_wrap6062] [GENERIC FUNCTION]

Compute the weight of object object. weight is a complexity measure used to compare mathematical objects. Weight is a memoized function: it remembers its results between calls.


TV Raman
Thu Mar 9 20:10:41 EST 1995