gap-system

Bloque de GAP de la asignatura Software Matemáticas

Intelligent code editing powered by tree-sitter-gap, GAP code running, a help system, language model tools and MCP support

A repository to introduce GAP system for beginners.

GAP documentation search and reader for VS Code, powered by GAP's native help system

By using this program I achieved our research result and I give a talk at the 5th International Conference on Mathematical Advances and Applications in Istanbul, Turkey.

A collection of useful functions written in GAP related to lattices, differential forms, matrices, space groups etc.

GAP code to perform experiments in nilpotent groups

Conjugacy classes of subgroups of the symmetric groups S_n for n ≤ 21 (OEIS A000638), with data and verification code

latinsquare is a GAP package designed to generate and count Latin squares of order n. Latin squares are n × n grids filled with n distinct symbols, each occurring exactly once in each row and each column—a fundamental structure in combinatorics, design theory, and algebra.

Workspace dedicated to GAP-to-Lean 4 Phase 3 formal verification (Group Order, Schreier-Sims, and Orbit-Stabilizer milestones).

We state the results of classifying the space groups of some particular 8d point groups which preserve a hyperKähler structure.

Latin Squares Meet Group Theory: Tools and Insights in GAP - LatinSquare GAP Package (GAP Days 2025 slides)

Algunas funciones para el GAP System for Computational Discrete Algebra

Functions to calculate the breadth of a nilpotent Lie algebra

Small local IDE for GAP: edit .g files, run cells with inline output, export PDF or LaTeX.

Conditional solution to Kourovka Problem 18.68, assuming CFSG, the listed classification/factorization results, and the stated LPS consequences; includes reproducible GAP/Table-of-Marks certificates.

Finite soluble groups need not admit increasing unrefinable subgroup chains

Maximal Mutual Determination (PMMD): a work-in-progress framework deriving Standard Model structure from a relational qubit system via an E8 lattice foam — paper (LaTeX + PDF) and reproducibility code.

Solutions to some of the Project Euler problems using Python and GAP. Up to problem 100.

Lie-type classification and reproducible GAP certificates for Kourovka Notebook Problems 19.57 and 19.58