Algebraic Numbers: An Example of Dynamic Evaluation

Dynamic evaluation is presented through examples: computations involving algebraic numbers, automatic case discussion according to the characteristic of a field. Implementation questions are addressed too. Finally, branches are presented as "dual" to binary functions, according to the approach of sketch theory.