Theory of algebraic invariants | Synapse