Contents

{-# OPTIONS --guardedness --sized-types #-}

module Special.index where

In this part we present our main results. In Ch. Special/Polynomials we introduce equivalence of terms w.r.t. the axioms of associative commutative algebras. In Ch. Special/ProductRules we define special product rules, and in Ch. Special/Products we show that special product rules induce associative commutative series algebras. In Ch. Special/Automata we show that P-automata are compatible with equivalence of terms when P is a special product rule.

Finally, in Ch. Special/Reversal we apply special product rules to right derivatives and the reversal operation.

import Special.Polynomials
import Special.ProductRules
import Special.Products
import Special.Automata
import Special.Reversal

References