For floating point values, is it guaranteed that a + b is the same as1 b + a? I believe this is guaranteed in IEEE754, however the C++ standard does not specify that IEEE754 must be used. The only ...

I am investigating corner cases of numeric operations in R. I came across the following particular case involving zero divided by zero: (0/0)+NA #> [1] NaN NA+(0/0) #> [1] NA Created on 2021...

I have 2 classes which represent a matrix: 1. RegularMatrix - O(n^2) representation 2. SparseMatrix - a matrix that is represented as linked list (without zeros). lets say i have: RegularMatrix a...

I would like to know if the rows selected by: groupby(['a', 'b']) are the same as the rows selected by: groupby(['b', 'a']) In this case the order of the rows doesn't matter. Is there any c...

Say you have a number of non commutative symbols within a sympy expression, something like a, c = sympy.symbols('a c', commutative=False) b = sympy.Symbol('b') expr = a * c + b * c What is the p...

The following two C# functions differ only in swapping the left/right order of arguments to the equals operator, ==. (The type of IsInitialized is bool). Using C# 7.1 and .NET 4.7. static void A(IS...

Is there a way to state that an operator is commutative, so that I don't have to give identical definitions for both directions? For instance: data Nat = Zero | Succ Nat (+) :: Nat -> Nat -&gt...

TL;DR: Is there a way how to specify the order in which the Babel plugins are supposed to be run? How does Babel determine this order? Is there any spec how this works apart from diving into Babel ...

I would like to be able to simplify mathematical expressions from a string in Python. There are several "commutative" ways of doing it. Is there a non-commutative function for that? I know that ...

For an associative operation f over the elements of array a, the following relation should hold true: a.reduce(f) should be equivalent to a.reduceRight(f). Indeed, it does hold true for operations ...

Im trying to prove commutativity in Isabelle/HOL for a self-defined add function. I managed to prove associativity but I'm stuck on this. The definition of add: fun add :: "nat ⇒ nat ⇒ nat" wher...

I want a Bag container which hides its 'real' order from its clients. It also must be fully polymorphic, that is shouldn't require any constraints over its element type. I found at least three im...

as a beginner to Prolog, I found the commutative expression in Prolog are quite not intuitive. for example if I want to express X and Y are in one family, like: family(X,Y) :- married(X,Y); rel...

Is it possible to construct a higher order function isAssociative that takes another function of two arguments and determines whether that function is associative? Similar question but for other p...

The documentation for Control.Monad.List.ListT states that it "does not yield a monad unless the argument monad is commutative." How do I find out whether a monad is commutative? Is there a Commu...

here is some food for thought. When I write monadic code, the monad imposes ordering on the operations done. For example, If I write in the IO monad: do a <- doSomething b <- doSomethingEl...

In Ruby Integer === 5 returns true. Similarly String === "karthik" returns true. However, 5 === Integer returns false. And "karthik" === String. Why is the operator not commutative?

I started reading this paper on CRDTs, which is a way of sharing modifiable data concurrently by ensuring that the operations that modify the data are commutative. It seemed to me that this would b...