Schematic algebra

Introduction

G-systems

Application

Nesting

Gauss enumeration

Stratification

Generalization

Special cases

Self classes

Segmentation

You can find supporting source codes here:

Schematic Math (na github.com)

I will answer your questions: