Описание тега commutativity
2
ответа
Как мне узнать, является ли монада коммутативной?
В документации для Control.Monad.List.ListT говорится, что он "не дает монады, если только аргументная монада коммутативна". Как мне узнать, является ли монада коммутативной? Есть ли класс типов CommulativeMonad? Должно ли быть? В частности, являетс…
22 май '11 в 18:47
2
ответа
Коммутативное свойство для операторов Haskell?
Есть ли способ заявить, что оператор является коммутативным, чтобы мне не приходилось давать одинаковые определения для обоих направлений? Например: data Nat = Zero | Succ Nat (+) :: Nat -> Nat -> Nat Zero + x = x x + Zero = x ... Здесь, есть …
19 май '16 в 18:58
1
ответ
Коммутативность объединений в SQL
Существует несколько обсуждений Stackru коммутативности объединений, таких как 1, 2, 3 и 4. Это становится довольно сложно, и я не думаю, что кто-то из них ответит на мой вопрос здесь. Я часто замечал, что когда я помещаю SQL для запроса в Access, A…
23 янв '19 в 03:17
2
ответа
Порядок аргумента для '==' с Nullable<T>
Следующие два C# функции отличаются только переключением левого / правого порядка аргументов на оператор равенства, ==, (Тип IsInitialized является bool). Использование C# 7.1 и .NET 4.7. static void A(ISupportInitialize x) { if ((x as ISupportIniti…
18 авг '17 в 08:22
1
ответ
Неверный индекс: физика и коммутаторы в maple17
Я попробовал следующее, основываясь на первом примере в справке maple 17 для "Physics[Commutator]". Кто-нибудь знает, что не так? with(Physics); Setup(mathematicalnotation = true); e1:=[Z[1],Z[2]][-]; Error, invalid subscript Typesetting:-mambiguous…
08 фев '14 в 17:39
1
ответ
Понимание законов функторов: это функтор?
Следующий код написан на JavaScript. Этот вопрос включает в себя попытку погрузиться в какую-то теорию категорий, может, мне поможет хакеллер или кто-то более знакомый с математическими аспектами этого вопроса? Я пытаюсь понять, что функтор - это от…
24 фев '18 в 02:54
1
ответ
Можно ли создать символы в SymPy, которые являются антикоммутирующими?
Мне нужно реализовать некоторые переменные Грассмана в Python (то есть, антикоммутирующие переменные). Другими словами, я хотел бы что-то с поведением следующим образом >>> from sympy import * >>> x, y = symbols('x y') >>>…
09 фев '18 в 15:31
1
ответ
Agda rewrite не меняет цели в _*_ доказательстве коммутативности
РЕШЕНО: У меня есть решение после следования совету белого волка. Если вы заинтересованы в моем решении, не стесняйтесь сообщать мне. Я пытаюсь написать доказательство в Агде для коммутативности для умножения: lem3 : (x y : ℕ) → (x * y) ≡ (y * x) le…
06 авг '18 в 15:09
3
ответа
A или B = B или A доказательство (естественный вычет)
Эта проблема кажется, что это должно быть проще, чем я сделал, поэтому мой главный вопрос будет: есть ли более простой способ сделать это? По логике мы знаем, что A v B = B v A Но при естественном выводе мы используем наши v-интродукции, RAA и т. Д.…
24 апр '16 в 10:47
1
ответ
Умножение не коммутативно?
Спецификация языка ECMAScript указывает, что оператор умножения является коммутативным (A*B==B*A). Однако это не имеет места, если A или B включает оператор присваивания. Например, если я наберу следующее в консоли браузера: var x = 1; (x + 2) * ((x…
05 ноя '14 в 12:36
2
ответа
Некоммутативное упрощение (или упрощение)
Я хотел бы иметь возможность упростить математические выражения из строки в Python. Есть несколько "коммутативных" способов сделать это. Существует ли для этого некоммутативная функция? Я знаю, что sympify от sympy может выполнять некоторую некоммут…
22 авг '15 в 14:52
4
ответа
Как я могу указать, что две операции коммутируют в классе типов?
Я начал читать эту статью о CRDT, который является способом совместного использования изменяемых данных, обеспечивая, чтобы операции, которые изменяют данные, были коммутативными. Мне показалось, что это будет хорошим кандидатом на абстракцию в Hask…
23 дек '10 в 19:53
3
ответа
Коммутативность дизъюнкции в прологе
Я только начал изучать Пролог и столкнулся с проблемой, которую не понимаю. Когда я спрашиваю: ?- fail; true. Пролог отвечает: true Что-то, чего я ожидал. Но если я спрошу: ?- true; fail. Пролог отвечает: true ; false. ..и я не понимаю почему. Опера…
01 мар '14 в 09:34
2
ответа
Юлия-Ланг сравнение выражения и коммутативности
ОК, мой заголовок не велик, но это легко объяснить на примере. julia>a = :(1 + 2) julia>b = :(2 + 1) julia>a == b false У меня есть два выражения а и б. Я хотел бы знать, если они дадут мне такие же результаты без оценки. Я думал, что комму…
21 окт '18 в 17:10
4
ответа
Коммутативное свойство сложения с числами двойной точности
Рассмотрим следующий модульный тест: // Works (sum 0.1 to 0.4) float f1 = 0.1F + 0.2F + 0.3F + 0.4F; Assert.AreEqual(1F, f1); // Works too (sum 0.4 to 0.1) float f2 = 0.4F + 0.3F + 0.2F + 0.1F; Assert.AreEqual(1F, f2); // Works (sum 0.1 to 0.4) doub…
28 май '13 в 08:37
2
ответа
Альтернатива выражению "коммутативности" в прологе?
Будучи новичком в Прологе, я обнаружил, что коммутативное выражение в Прологе не совсем интуитивно понятно. например, если я хочу выразить X и Y в одной семье, например: family(X,Y) :- married(X,Y); relative(X,Y); father_son(X,Y). Я должен также доб…
21 апр '12 в 10:00
1
ответ
Производная произведения некоммутативных функций
Если я использую функции в SymPy и вызываю метод diff, коммутативное свойство просто игнорируется. h = Function('h',real=True,commutative=False)(t) R = Function('R',real=True,commutative=False)(t) print(diff(R*h,t)) # returns: R(t)*Derivative(h(t), …
13 май '18 в 12:06
2
ответа
Изабель доказывает коммутативность для добавления
Я пытаюсь доказать коммутативность в Изабель /HOL для самоопределения add функция. Мне удалось доказать ассоциативность, но я застрял на этом. Определение add: fun add :: "nat ⇒ nat ⇒ nat" where "add 0 n = n" | "add (Suc m) n = Suc(add m n)" Доказат…
18 июл '14 в 01:14
2
ответа
upper_bound с бинарной функцией Visual Studio 2008 Ошибка?
Во-первых, да, я застрял в Visual Studio 2008 и считаю, что эта ошибка характерна для Visual Studio 2008. Я пытаюсь написать функтор, чтобы сравнить только 1 член моей структуры, чтобы я мог сделать upper_bound на vector из указанных структур, котор…
17 фев '17 в 13:51
2
ответа
Есть ли способ использовать коммутативное шифрование в php?
Я использовал encrypt а также decrypt функции из этого ответа для реализации передачи сообщений с использованием трехпроходного протокола с шифром Blowfish. И я попытался использовать коммутативное шифрование / дешифрование. То есть, $tmp = encrypt(…
03 фев '15 в 22:26