A | |
| AbelianGroup [Linear] | |
C | |
| Context [Syntax] | |
D | |
| Domain [Iteration] | |
| DomainPlus [Iteration] | |
F | |
| Fun [Memo.Tabulate] | |
P | |
| PreDomain [Iteration] | |
R | |
| RecFun [Memo.Tabulate] | |
| Ring [Linear] | |
S | |
| S [Memo.Tabulate] | |
U | |
| Univariate [Polynomial] |
Signature of univariate polynmials
|
V | |
| Var [Transition] | |
| Vector [Linear] |