blob: d9a9ea9da01d334213306f8457bd527d77613a88 [file] [log] [blame]
[p] -> { [n, m] -> (n + n^3) : n >= 1 and m >= n and m <= p }