aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorArnaud Spiwack2015-06-22 18:28:53 +0200
committerArnaud Spiwack2015-06-23 14:13:42 +0200
commit19fed6f504eb8450dee34faa8e84a6d4071131dc (patch)
tree77baf5c5c3293b98f86aea6d37239ad86c1b9bcc /dev
parent29fcfc4f8bc1bfbdfbae0c07850aed65f6c3eb04 (diff)
Document the positivity checker.
This is my attempt at understanding each case and subfunction of the positivity check and document each of them to the best of my capacity.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions