Document that non-commutative operators are okay

ocaml-multicore / domainslib

Parallel Programming over Domains

ISC License

172 stars 30 forks source link

Document that non-commutative operators are okay #81

Closed favonia closed 2 years ago

favonia commented 2 years ago

I really could not find any reason why the current code would fail for non-commutative (but associative) operators. So, here's my PR to update the documentation. The more complicated case is parallel_scan which deserves extra checking.

This would close #79.

Sudha247 commented 2 years ago

You're right. A quick pen-and-paper checking made me conclude it's the case for parallel scan as well, but I could be wrong. Thanks for the edits!