4.1 Introduction
 4.2 Coefficients
 4.3 Generic arithmetic with domain elements
 4.4 Kernels, kernel order
 4.5 Standard form structure
 4.6 Operations on standard forms
 4.7 Reordering
 4.8 Standard Quotients
 4.9 Substitutions
 4.10 Useful facilities for standard forms
  4.10.1 Kernel list
  4.10.2 Greatest common divisor
  4.10.3 Factorization
 4.11 Variant: non-expanded standard form