Z14762: Difference between revisions
No edit summary |
No edit summary |
||
| Linie 93: | Linie 93: | ||
"commutative function", |
"commutative function", |
||
"commutativity", |
"commutativity", |
||
"test commutativity" |
"test commutativity", |
||
"f(a,b) = f(b,a)" |
|||
] |
] |
||
} |
} |
||
| Linie 105: | Linie 106: | ||
"Z1K1": "Z11", |
"Z1K1": "Z11", |
||
"Z11K1": "Z1002", |
"Z11K1": "Z1002", |
||
"Z11K2": "tests if applying the function to the arguments is independent of which order the arguments are in" |
"Z11K2": "tests if applying the function to the arguments is independent of which order the arguments are in: f(a,b) = f(b,a)" |
||
} |
} |
||
] |
] |
||
Revision as of 04:35, 4 aprile 2024
This page displays in a limited way without JavaScript.