Z14762: verschil tussen versies

Versie van 4 apr 2024 04:35

Zonder JavaScript is de weergave van deze pagina beperkt.

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