Skip to content

Commit

Permalink
Fixing links to notebooks (#615)
Browse files Browse the repository at this point in the history
* Create L_intersect.md

* Create apart.md

* Create participants.md

* Create party.md

* Create parts.md

* Create together.md

* Update apart.md fixed demonstrated links

* Update participants.md fixed demonstrated links

* Update parts.md fixed demonstrated links

* Update party.md fixed demonstrated links

* Update together.md fixed demonstrated link

---------

Co-authored-by: N-J-Martin <146941515+N-J-Martin@users.noreply.github.com>
  • Loading branch information
hz66-404 and N-J-Martin committed Nov 15, 2023
1 parent 05c5443 commit 89e2395
Show file tree
Hide file tree
Showing 5 changed files with 8 additions and 5 deletions.
3 changes: 2 additions & 1 deletion docs/bits/function/apart.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,4 +8,5 @@ find a: bool such that a = apart({3,5},P) $true
```
The result of these syntaxes is true, because elements 3 and 5 ({3,5}) are not all contained in one part of the partition ({1,2},{3},{4,5,6})

See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/Partition_operators.ipynb).
See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/Partition_operators.ipynb).

2 changes: 1 addition & 1 deletion docs/bits/function/participants.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,4 +8,4 @@ find b : set of int(1..6) such that b = participants(P) ${1,2,3,4,5,6}
```
This result is getting all parts of the partition

See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/Partition_operators.ipynb).
See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/Partition_operators.ipynb).
2 changes: 1 addition & 1 deletion docs/bits/function/parts.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,4 +8,4 @@ find d : bool such that d = ({{1,2},{3},{4,5,6}} = parts(P)) $true
```
This syntax is checking if {{1,2},{3},{4,5,6}} equals to partition P

See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/Partition_operators.ipynb).
See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/Partition_operators.ipynb).
3 changes: 2 additions & 1 deletion docs/bits/function/party.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,4 +8,5 @@ find c : set of int(1..6) such that c = party(4,P) ${4,5,6}
```
This syntax is finding the part of the partition that contains 4. So the result is {4,5,6} because 4 is in the {4,5,6}.

See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/Partition_operators.ipynb).

See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/Partition_operators.ipynb).
3 changes: 2 additions & 1 deletion docs/bits/function/together.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,4 +8,5 @@ find e : bool such that e = together({1,2},P) $true
```
This syntax is checking if {1,2} is in the part of the partition P

See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/Partition_operators.ipynb).
See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/Partition_operators.ipynb).

0 comments on commit 89e2395

Please sign in to comment.