Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail From: Lew Newsgroups: comp.lang.java.programmer Subject: Re: Quick n-th Root of BigInteger Date: Fri, 8 Jun 2012 14:43:56 -0700 (PDT) Organization: http://groups.google.com Lines: 24 Message-ID: <0966306a-0c4e-4fde-b452-32125a16bbe1@googlegroups.com> References: NNTP-Posting-Host: 69.28.149.29 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: posting.google.com 1339191837 2942 127.0.0.1 (8 Jun 2012 21:43:57 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Fri, 8 Jun 2012 21:43:57 +0000 (UTC) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=69.28.149.29; posting-account=CP-lKQoAAAAGtB5diOuGlDQk0jIwmH0T User-Agent: G2/1.0 Xref: csiph.com comp.lang.java.programmer:15117 On Friday, June 8, 2012 2:34:40 PM UTC-7, Jan Burse wrote: > markspace schrieb: > > I'm confused about the max, the z |, and the =< x. > > For those who don't know, there exists a set builder notation: > > http://en.wikipedia.org/wiki/Set-builder_notation#Z_notation > > max is then a higher order function from a set to an element. > > Forgot where this is taught, in elementary school? Riiiight. As nations and smaller school districts remove evolution from their textbooks, they're going to teach mathematical logic and set theory in elementary school? In any event, this being a Java forum, the notation '=<' (shown nowhere in your reference link, BTW) is rather odd, as we are used to '<='. Given that '=<' apparently is not part of the "Set Builder" notation, how about we stick with the Java (also C, Fortran, C++, C#, Javascript, BASIC, SQL, Python, shell, ...) idiom? -- Lew