Mathias Bartl
Results
13
comments of
Mathias Bartl
@CarlEdman I'd curry it the other way around: Polynomial -> Integer -> List of Solutions
So I was thinking of doing the test cases using Quickcheck, but first one could use Liquid Haskell to specify the correctness properties of the function. 1. Every output pair...
Regarding property No.1: for a Thue equation of degree d=3 I believe it can be expressed such as: {-@ thue :: a : Int -> b : Int -> c...