I often have a list L of Booleans and want to test whether they are all true. Writing
all (L, t -> t) seems clumsy. Why not jiust all L ? The following trivial overload makes this possible.
Should be in the core?
all BasicList := L -> all(L, t ->t)
--
David Eisenbud
Professor of Mathematics
University of California Berkeley