Orginal: http://www.math.umn.edu/~webb/GAPfiles/
Навчальні матеріали
Кілька разів я викладав використання GAP в рамках курсу теорії груп рівня для випускників, в якому я також пояснював деякі з алгоритмів. Я роблю це протягом 50 хвилин сесій, що проводяться щотижня в комп’ютерній лабораторії, протягом близько 8 тижнів. Формат є те, що кожен член класу сидить за комп’ютером і представлений список GAP команд разом з невеликою кількістю коментарів. У моєму напрямку вони працюють через ці команди і я спостерігаю, що відбувається. У ключових моментах ми зупиняємося на тому, що сталося. Я ввожу необхідну теорію фону, як це необхідно.
Ось GAP уроки, які представлені для студентів:
В уроці 2 використовується файл Conway, а в уроці 6 ми використовуємо файл lesson6code.
Урок 6 вимагає роздатковий матеріал з Stabilizer Theory.
Класу видаються домашні завданя, деякі з яких є специфічним для GAP. Ось питання по домашнім завданням з 2003 року.
Якщо ви використовуєте ці навчальні матеріали, будь ласка, надішліть короткий коментар до цього до [email protected]
Це допомагає мені, якщо я можу сказати, що моя робота була використана.
GAP пакети програмного забезпечення
Протягом досить довгого часу я розробляв коди GAP для обробки подань і когомологий, груп і в більш загальному плані категорій.
Якщо ви використовуєте це програмне забезпечення, будь ласка, відправити коротку записку мені в [email protected]
Як і з навчальними матеріалами, це допомагає мені, якщо я можу сказати, що моя робота була використана.
GAP пакет ‘повторень’ для обробки зображень груп в позитивній характеристиці
Команди в цьому пакеті дозволяють будувати і розвалювати уявлення груп, знаходячи їх нерозкладні складові і структури підмодуля. Алгоритми meataxe включені і використовуються там, де це доречно, але загальна філософія трохи відрізняється від meataxe, і широко використовуються методи, засновані на прийнятті фіксованих точок.
Щоб приступити до роботи, спочатку прочитайте підручник (скачати нижче). Там ви дізнаєтесь для чого потрібен пакет, який забезпечують приклади розрахунків. Щоб запустити пакет, завантажте файл підпрограм (нижче) і прочитати його в на початку вашої GAP сесії. Дайте мені знати, якщо у вас є проблеми!
Підручник по групі уявлення пакету “повторень”.
Завантажити пакет “повторень” для обробки подань груп.
Розрив пакет ‘catreps’ для обробки подань категорій
Цей пакет робить для категорій, що “повторення” робить для груп. Це дозволить вам побудувати і зруйновати категорію уявлень, знаходячи їх нерозкладні складові і структури підмодуль. Щоб дізнатися про уявлення категорій, прочитайту моє знайомство з уявленнями і когомологій категорій.
Щоб приступити до роботи, спочатку прочитати підручник (скачати нижче). Це скаже вам, що пакет буде робити і як це зробити, а також забезпечують приклади розрахунків. Щоб запустити пакет, завантажте файл підпрограм (нижче) і прочитати його в на початку вашої GAP сесії. Дайте мені знати, якщо у вас є проблеми!
Підручник по групі уявлення пакету “повторень”.
Завантажити пакет ‘catreps’ для обробки подань категорій.
Нерви Категорії
Код, представлений тут, обчислює (ко) гомології нервів категорій. Що стосується групи як категорії, ми отримуємо звичайну групу когомологій, але процедури, представлені тут, не є ефективними для цього. Що стосується відвідання категорії ми отримуємо гомології комплексу порядку. Кожен симпліціальний комплекс може бути дано до гомеоморфизм в цій моді. Прочитайте підручник, перш ніж йти до рутини.
Підручник по нервах категорій.
Завантажити пакет для обробки нервів категорій.
Пітер Уебб також має швидкий алгоритм обчислення мінімального дозволу тривіального модуля для р-групи в характеристиці р. На даний момент він все ще знаходиться в процесі розробки
