non-commutativity
The principle of the commutativity of evidence states that the order in which evidence is acquired should not affect the meaning of that evidence.
We found that there was no satisfactory proof of commutativity.
The commutativity of the diagram is shown.

SMART Vocabulary: related words and phrases

Calculations & calculating
algebraic
algebraically
algo
algorithmic
amount
calculate
guesstimate
interpolation
inverse function
linear equation
mathematical
matrix
miscalculate
miscalculation
miscount
operator
sum
sum total
triangulate
work something out

Examples of commutativity

commutativity
And the above bijective correspondence of cocones is also absolute, since it follows from the commutativity of diagram 3.8, which every functor preserves.
This implies the commutativity of merge, a property that we want to have in any case.
Finally, the commutativity of the outermost rhombus follows from the commutativity of the inner rhombuses.
A basic technique for checking confluence is based on the checking of commutativity for each pair of rules in the rule set.
In the first example, we lack commutativity in the second, weakening.
Thus, we just have to observe the commutativity of diagram (25).
We can find formal explanations of these phenomena, mainly based on the commutativity properties of the consecutive factors in the decompositions.
This script proves four commutativity theorems and then defines a command 'commute' which will try each of these theorems in turn until one is applicable.
Results for soundness, idempotence and commutativity for abstract unification using this abstraction function are proven.
The results for soundness, idempotence and commutativity for abstract unification using this abstraction function are proved.
All these observations also hold for rewriting modulo associativity and commutativity.
Connectives of the same polarity therefore associate, which, depending on the situation, may mean commutativity, associativity, neutrality, distributivity.
We formulate the notions of parallel and strong parallel independence and present three parallel commutativity results.
These laws follow directly from the commutativity and associativity of the union operator for bags.
We did not consider rewriting modulo some equational theories such as associativity and commutativity.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.