j
k
j a
j l
* Jonathan Cast wrote:
On 30 Jan 2008, at 7:19 PM, Anton van Straaten wrote: ...quickCheck $ x -> cos (x + 2*pi) == cos x Falsifiable, after 2 tests: -1.0
On 30 Jan 2008, at 7:19 PM, Anton van Straaten wrote:
quickCheck $ x -> cos (x + 2*pi) == cos x Falsifiable, after 2 tests: -1.0
Test.QuickCheck.quickCheck $ \x -> abs (cos x - cos (x + 2*pi)) < 0.00001 OK, passed 100 tests.
Back to the thread
Back to the list
