Asi gap-language

Name: gap-language
Author: plurigrid

GAP (Groups, Algorithms, Programming) system integration for computational discrete algebra. Generates group-theoretic structures, character tables, and algebraic objects for the Plurigrid ecosystem.

install

source · Clone the upstream repo

git clone https://github.com/plurigrid/asi

Claude Code · Install into ~/.claude/skills/

T=$(mktemp -d) && git clone --depth=1 https://github.com/plurigrid/asi "$T" && mkdir -p ~/.claude/skills && cp -r "$T/plugins/asi/skills/gap-language" ~/.claude/skills/plurigrid-asi-gap-language && rm -rf "$T"

manifest: plugins/asi/skills/gap-language/SKILL.md

source content

GAP Language Skill

Trit: +1 (PLUS) - GENERATOR

Generates algebraic structures (Groups, Rings, Fields) and computations (Character Tables, Orbit Stabilizers) for the Plurigrid ASI.

Integration Schema

This skill connects to the Plurigrid Lattice via:

Group Theory -> Gay Colors: Maps finite groups to color symmetries in
```
gay-mcp
```
.
Algebra -> Category Theory: Provides concrete implementations for algebraic structures in
```
acsets
```
.

Dynamic Sufficiency Triad

┌─────────────────────┐
│    gap-language     │
│    (Generator)      │
│      trit: +1       │
└──────────┬──────────┘
           │
           ▼
┌─────────────────────┐
│    gay-mcp          │
│   (Coordinator)     │
│     trit: 0         │
└──────────┬──────────┘
           │
           ▼
┌─────────────────────┐
│  narya-proofs       │
│   (Validator)       │
│     trit: -1        │
└─────────────────────┘

Computational Capabilities

Group Theory: Permutation groups, Matrix groups, Finitely presented groups.
Representation Theory: Character tables, Representations.
Combinatorics: Combinatorial structures, Graph symmetries.

Scientific Skill Interleaving

This skill interleaves with:

```
acsets
```
: For categorical perspective on algebraic structures.
```
gay-mcp
```
: For color-theoretic interpretation of group actions.
```
python
```
: Via
```
gap-system
```
bindings or IPC.

Usage

# Run a GAP computation
gap -c 'Print(Order(SymmetricGroup(5)), "\n");'

Interleaving Log

See

INTERLEAVE_LOG.md

for the results of the subagent random walks integrating this skill.