Skip to content

Commit

Permalink
Merge pull request #596 from N-J-Martin/N-J-Martin-fixingLinks
Browse files Browse the repository at this point in the history
  • Loading branch information
ozgurakgun committed Oct 29, 2023
2 parents f63c3cf + 92dbd15 commit 4f39a3d
Show file tree
Hide file tree
Showing 13 changed files with 20 additions and 20 deletions.
4 changes: 2 additions & 2 deletions docs/bits/attribute/L_bijective.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
# bijective

When used with a function domain will restrict solutions to functions that are both [injective](https://github/conjure-cp/conjure/docs/bits/attribute/L_injective.md) and [surjective](https://github/conjure-cp/conjure/docs/bits/attribute/L_surjective.md).
When used with a function domain will restrict solutions to functions that are both [injective](https://github.com/conjure-cp/conjure/blob/main/docs/bits/attribute/L_injective.md) and [surjective](https://github.com/conjure-cp/conjure/blob/main/docs/bits/attribute/L_surjective.md).

This means that every element of the defined set has a unique mapping to a range element and every range element has a defined element that maps to it.

See it demonstrated [here](https://github/conjure-cp/conjure/docs/notebooks/functionDemonstration.ipynb).
See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/functionDemonstration.ipynb).
2 changes: 1 addition & 1 deletion docs/bits/attribute/L_injective.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@

When used with a function domain will restrict solutions to functions where elements of the defined map uniquely to elements of the range.

See it demonstrated [here](https://github/conjure-cp/conjure/docs/notebooks/functionDemonstration.ipynb).
See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/functionDemonstration.ipynb).
2 changes: 1 addition & 1 deletion docs/bits/attribute/L_maxSize.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ Takes an integer parameter, n.

When used with a function domain will limit the solutions to functions that contains at most n mappings.

See it demonstrated [here](https://github/conjure-cp/conjure/docs/notebooks/functionDemonstration.ipynb).
See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/functionDemonstration.ipynb).
2 changes: 1 addition & 1 deletion docs/bits/attribute/L_minSize.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ Takes an integer parameter, n.

When used with a function domain will limit the solutions to functions that contains at least n mappings.

See it demonstrated [here](https://github/conjure-cp/conjure/docs/notebooks/functionDemonstration.ipynb).
See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/functionDemonstration.ipynb).
2 changes: 1 addition & 1 deletion docs/bits/attribute/L_size.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ Takes an integer parameter, n.

When used with a function domain will limit the solutions to functions that contain n mappings.

See it demonstrated [here](https://github/conjure-cp/conjure/docs/notebooks/functionDemonstration.ipynb).
See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/functionDemonstration.ipynb).
2 changes: 1 addition & 1 deletion docs/bits/attribute/L_surjective.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@

When used with a function domain will restrict solutions to functions where there is a mapping to every element in the range.

See it demonstrated [here](https://github/conjure-cp/conjure/docs/notebooks/functionDemonstration.ipynb).
See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/functionDemonstration.ipynb).
2 changes: 1 addition & 1 deletion docs/bits/attribute/L_total.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@

When used with a function domain will only return solutions that have mappings for every element in the defined set.

See it demonstrated [here](https://github/conjure-cp/conjure/docs/notebooks/functionDemonstration.ipynb).
See it demonstrated [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/functionDemonstration.ipynb).
12 changes: 6 additions & 6 deletions docs/bits/type/function.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,19 +10,19 @@ the ```range``` set is the codomain of the function - the set of possible output

There are 3 groups of function attributes:

- related to cardinality = [size](https://github/conjure-cp/conjure/docs/bits/attribute/L_size.md), [minSize](https://github/conjure-cp/conjure/docs/bits/attribute/L_minSize.md), and [maxSize](https://github/conjure-cp/conjure/docs/bits/attribute/L_maxSize.md). They take arguments.
- related to cardinality = [size](https://github.com/conjure-cp/conjure/blob/main/docs/bits/attribute/L_size.md), [minSize](https://github.com/conjure-cp/conjure/blob/main/docs/bits/attribute/L_minSize.md), and [maxSize](https://github.com/conjure-cp/conjure/blob/main/docs/bits/attribute/L_maxSize.md). They take arguments.

- related to function properties = [injective](https://github/conjure-cp/conjure/docs/bits/attribute/L_injective.md), [surjective](https://github/conjure-cp/conjure/docs/bits/attribute/L_surjective.md), [bijective](https://github/conjure-cp/conjure/docs/bits/attribute/L_size.md).
- related to function properties = [injective](https://github.com/conjure-cp/conjure/blob/main/docs/bits/attribute/L_injective.md), [surjective](https://github.com/conjure-cp/conjure/blob/main/docs/bits/attribute/L_surjective.md), [bijective](https://github.com/conjure-cp/conjure/blob/main/docs/bits/attribute/L_size.md).

- related to partiality = [total](https://github/conjure-cp/conjure/docs/bits/attribute/L_total.md).
- related to partiality = [total](https://github.com/conjure-cp/conjure/blob/main/docs/bits/attribute/L_total.md).

Functions are partial by default

You can also explicity define a function as seen [here](https://github/conjure-cp/conjure/docs/notebooks/functionDemonstration.ipynb).
You can also explicity define a function as seen [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/functionDemonstration.ipynb).

See demonstrations of the function attributes [here](https://github/conjure-cp/conjure/docs/notebooks/functionDemonstration.ipynb).
See demonstrations of the function attributes [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/functionDemonstration.ipynb).

Or see functions used to solve the Magic Hexagon Problem [here](https://github.com/conjure-cp/conjure/tree/main/docs/notebooks/magicHexagon.ipynb).
Or see functions used to solve the Magic Hexagon Problem [here](https://github.com/conjure-cp/conjure/blob/main/docs/notebooks/magicHexagon.ipynb).

Much of the information about functions lifted from [the readthedocs](https://conjure.readthedocs.io/en/latest/essence.html).

Expand Down
2 changes: 1 addition & 1 deletion docs/notebooks/L_bool.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
"id": "view-in-github"
},
"source": [
"<a href=\"https://colab.research.google.com/github/conjure-cp/conjure/docs/notebooks/L_bool.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
"<a href=\"https://colab.research.google.com/github/conjure-cp/conjure/blob/main/docs/notebooks/L_bool.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
]
},
{
Expand Down
2 changes: 1 addition & 1 deletion docs/notebooks/division_and_mod_demonstration.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@
"colab_type": "text"
},
"source": [
"<a href=\"https://colab.research.google.com/github/conjure-cp/conjure/docs/notebooks/division_and_mod_demonstration.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
"<a href=\"https://colab.research.google.com/github/conjure-cp/conjure/blob/main/docs/notebooks/division_and_mod_demonstration.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
]
},
{
Expand Down
2 changes: 1 addition & 1 deletion docs/notebooks/division_n_fractions.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@
"colab_type": "text"
},
"source": [
"<a href=\"https://colab.research.google.com/github/conjure-cp/conjure/docs/notebooks/division_n_fractions.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
"<a href=\"https://colab.research.google.com/github/conjure-cp/conjure/blob/main/docs/notebooks/division_n_fractions.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
]
},
{
Expand Down
2 changes: 1 addition & 1 deletion docs/notebooks/functionDemonstration.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
"id": "view-in-github"
},
"source": [
"<a href=\"https://colab.research.google.com/github/conjure-cp/conjure/docs/notebooks/functionDemonstration.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
"<a href=\"https://colab.research.google.com/github/conjure-cp/conjure/blob/main/docs/notebooks/functionDemonstration.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
]
},
{
Expand Down
4 changes: 2 additions & 2 deletions docs/notebooks/magicHexagon.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@
"colab_type": "text"
},
"source": [
"<a href=\"https://colab.research.google.com/github/conjure-cp/conjure/docs/notebooks/magicHexagon.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
"<a href=\"https://colab.research.google.com/github/conjure-cp/conjure/blob/main/docs/notebooks/magicHexagon.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
]
},
{
Expand Down Expand Up @@ -439,4 +439,4 @@
]
}
]
}
}

0 comments on commit 4f39a3d

Please sign in to comment.