Вопросы по теме 'commutativity'

Сделайте все символы коммутативными в симпозиумном выражении
Допустим, у вас есть несколько некоммутативных символов в симпозиумном выражении, например a, c = sympy.symbols('a c', commutative=False) b = sympy.Symbol('b') expr = a * c + b * c Каков предпочтительный способ сделать все символы в выражении...
422 просмотров
schedule 01.04.2022

Автоматическое и детерминированное тестирование функции на ассоциативность, коммутативность и т. д.
Можно ли построить функцию более высокого порядка isAssociative , которая принимает другую функцию с двумя аргументами и определяет, является ли эта функция ассоциативной? Аналогичный вопрос, но и для других свойств, таких как коммутативность....
457 просмотров

Есть ли в Z3 функция, облегчающая сопоставление подформул в цепочках ассоциативных/коммутативных операторов?
Допустим, у меня есть определяемый пользователем коммутативный и ассоциативный оператор op. Приведенный ниже код недействителен, так как я использую op с более чем двумя аргументами. Давайте на мгновение предположим, что это действительно и...
105 просмотров
schedule 08.11.2022

Есть ли лучший способ написать коммутативную функцию на F#/OCaml?
Есть ли более элегантный или лучший способ написать коммутативную функцию на F#/OCaml вместо перечисления всех возможных случаев? let commutative x y = match x,y with a, _ -> val1 |_, a -> val1 |b, _ -> val2...
125 просмотров
schedule 10.03.2023

Почему умножение не всегда коммутативно в Ruby?
Если x не является целым числом, я получаю такой результат: x = "a" x * 6 #=> aaaaaa 6 * x #=> TypeError: String can't be coerced into Fixnum тогда как если x является целым числом: x = 6 x * 6 #=> 36 6 * x #=> 36...
120 просмотров
schedule 03.04.2024