Jori Mäntysalo wrote: > On Sat, 30 Jul 2016, leif wrote: > >> Well, in addition a (boolean) 'certify' (or 'certificate', more >> misleading here) parameter/keyword could just mean that you don't want a >> /probabilistic/ result, as in for example is_prime(), where it's called >> 'proof' (not even 'prove' or 'provably'). > > True. So we should use only "certificate" and "proof", I guess.
So e.g. is_prime() could return a URL as well when 'proof=True' (depending on the number)... ;-) -leif -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
