On 13 Jul 2012, at 08:33, Richard Gildea wrote: > Maybe it would be best just to add a comment to the complete_array and complete_set functions to make clear that the implementation assumes that map_to_asu has been called previously? +1