  
  [1m[4m[31m1. Introduction[0m
  
  
  [1m[4m[31m1.1 Philosophy[0m
  
  [1mForms[0m  is a package for computation with sesquilinear and quadratic forms on
  finite  vector  spaces.  It provides users with the basic tools to work with
  classical  groups  and polar geometry, and enables one to specify a form and
  its  corresponding  geometry.  Also  included  in  the  functionality of the
  package  are  operations  which  allow  a  user to change coordinates; or to
  ``change form'' and work in an isometric (or similar) polar space.
  
  
  [1m[4m[31m1.2 Overview over this manual[0m
  
  The  next chapter ([1m2.[0m) gives some basic examples of the use of this package.
  In  "Background Theory of Forms" (Chapter [1m3.[0m) we revise the basic notions of
  the  theory  of  sesquilinear  and  quadratic  forms,  where we also set the
  notation  and conventions adopted by the this package. In Sections [1m4.1[0m, [1m4.2[0m,
  and  [1m4.3[0m we provide the details of the operations, functions, and attributes
  entailed in [1mForms[0m.
  
