Вопросы по теме '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 просмотров
schedule
14.10.2022
Есть ли в 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