On 18/02/2010 18:28, Joe Collins wrote: > Dear James, > > The list constructor "suchthat" > takes a set as input and a boolean indicator function over the set. > > There is no defined order so the result cannot be well defined if order is an > essential property of lists.
I believe that is a typo (cut and paste error) in the CD. the list version of suchthat is supposed to take a list as first argument. David _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
