Это вопрос из двух частей, но вторая часть зависит от первой части. В образовательных целях я...

Я работал над конечным полем.Предположим, у меня есть простое число p=7.Итак, я получаю список q=[0...

Я пытаюсь создать GF (2) в Coq, используя стандартное определение библиотеки для поля над...

Как вы используете GAP для определения имени группы из таблицы умножения? Я знаю, что вы можете...

В абстрактной алгебре понятие группы является довольно фундаментальным. Чтобы получить группу, нам...

(я использую слово "поле" в математическом смысле ; базовые поля / корпуса, которые уже...

С помощью Хаммара Я сделал шаблон Haskell, который компилирует $(zModP 5) до newtype Z5 = Z5 Int...

Учитывая список целых чисел, таких как {2,1,1,0} Я хотел бы перечислить все перестановки этого...

Я недавно узнал о функциональном программировании (в Haskell и Scala). Его возможности и...

Хорошо известно, что моноиды потрясающе распространены в программировании. Они настолько вездесущи...