Z14762: Forskelle mellem versioner

Versionen fra 4. apr. 2024, 04:35

This page displays in a limited way without JavaScript.

@@ Linje 93: / Linje 93: @@
                     "commutative function",
                     "commutativity",
-                    "test commutativity"
+                    "test commutativity",
+                    "f(a,b) = f(b,a)"
                 ]
             }
@@ Linje 105: / Linje 106: @@
                 "Z1K1": "Z11",
                 "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)"
             }
         ]