Merge pull request #585 from N-J-Martin/main

added n-fractions notebook
conjure-cp · Oct 10, 2023 · 8b05a29 · 8b05a29
2 parents 42f37ab + cc7c765
commit 8b05a29
Show file tree

Hide file tree

Showing 3 changed files with 669 additions and 2 deletions.
diff --git a/docs/bits/operator/L_Div.md b/docs/bits/operator/L_Div.md
@@ -2,7 +2,12 @@
 This is the integer division operator.
 
 The result is rounded down to the nearest integer.
+This is meant to ensure that for integers x and y, y!=0
+```
+(x % y) + y * (x / y) = x
+```
+holds 
 
-See a worked example [here](....)
+See a worked example [here](https://github.com/conjure-cp/conjure/tree/main/docs/notebooks/division_and_mod_demonstration.ipynb)
 
-And a slightly more complex example using an instance of the n-fractions puzzle [here](...)
+And a slightly more complex example using an instance of the n-fractions puzzle [here](https://github.com/conjure-cp/conjure/tree/main/docs/notebooks/division_n_fractions.ipynb)