Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Normal Forms in Function Fields Karl Aberer,

Summary: Normal Forms in Function Fields
Karl Aberer,
ETH Z¨urich
We consider function fields of functions of one variable
augmented by the binary operation of composition of
functions. It is shown that the straightforward axiom-
atization of this concept allows the introduction of a
normal form for expressions denoting elements in such
fields. While the description of this normal form seems
relatively intuitive, it is surprisingly difficult to prove
this fact. We present an algorithm for the normaliza-
tion of expressions, formulated in the symbolic com-
puter algebra language mathematica. This allows us to
effectively decide compositional identities in such fields.
Examples are given.
1 Introduction
One of the fundamental questions in symbolic compu-
tation is to find normal forms for expressions where
certain identities are considered to be valid for these


Source: Aberer, Karl - Faculté Informatique et Communications, Ecole Polytechnique Fédérale de Lausanne


Collections: Computer Technologies and Information Sciences