f x where x is an array of all values of interest. For (countably) infinite sets you have to express x in terms of i._ . For example, to express the Euler product formula for the Riemann zeta function,
+/(1+i._)^-s ←→ */%1-(p:i._)^-s On Fri, Dec 26, 2014 at 8:04 AM, Jon Hough <[email protected]> wrote: > > In Haskell (and other languages I'm sure) one can express the idea of > "such that" to denote one expression depending on another. In Haskell we > can use the syntax: > > [ f x | x <- xs ] > > which means > "the list of all f x > such that x is drawn from xs." > > So | is syntactically similar to the English "such that". (and very much > like | in mathematical sets) > > I would like to know if J has a construct to express the above Haskell > code. > > Thanks, > Jon. > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
