Z14762: Difference between revisions

Affegged am 04:35, 4 Abril 2024

This page displays in a limited way without JavaScript.

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