Closed johnlees closed 8 years ago
Based on comments from users, I think having these options by default seems sensible. Without them, in some cases the computation appears never to terminate.
I've also tidied some of the rest of the file
Based on comments from users, I think having these options by default seems sensible. Without them, in some cases the computation appears never to terminate.
I've also tidied some of the rest of the file