  
  
                              [1m[4m[31mGAP 4 Package [1mForms[1m[4m[31m[0m
  
  
                           [1m[4m[31mSesquilinear and Quadratic[0m
  
  
                                      1.0
  
  
                                    May 2007
  
  
                                  John Bamberg
  
                                  Jan De Beule
  
  
  
  John Bamberg
      Email:    [34mmailto:bamberg@cage.ugent.be[0m
      Homepage: [34mhttp://cage.ugent.be/~bamberg[0m
      Address:  Department  of Pure Mathematics, Ghent University, Galglaan 2,
                9000 Ghent, Belgium
  
  
  Jan De Beule
      Email:    [34mmailto:jdebeule@cage.ugent.be[0m
      Homepage: [34mhttp://cage.ugent.be/~jdebeule[0m
      Address:  Department  of Pure Mathematics, Ghent University, Galglaan 2,
                9000 Ghent, Belgium
  
  
  
  -------------------------------------------------------
  [1m[4m[31mCopyright[0m
  (C) 2007 by the authors
  
  This  package  may  be distributed under the terms and conditions of the GNU
  Public License Version 2 or higher.
  
  
  -------------------------------------------------------
  
  
  [1m[4m[31mContent (Forms)[0m
  
  1. Introduction
    1.1 Philosophy
    1.2 Overview over this manual
  2. Examples
    2.1 A conic of PG(2,8)
    2.2 A form for W(5,3)
  3. Background Theory on Forms
    3.1 Sesquilinear forms, dualities, and polarities
      3.1-1 Example
    3.2 Quadratic forms
      3.2-1 Example
    3.3 Morphisms of forms
    3.4 An important convention
      3.4-1 Example
    3.5 Canonical forms
  4. Functionality
    4.1 Functions for creating forms
      4.1-1 BilinearFormByMatrix
      4.1-2 QuadraticFormByMatrix
      4.1-3 HermitianFormByMatrix
      4.1-4 BilinearFormByPolynomial
      4.1-5 QuadraticFormByPolynomial
      4.1-6 HermitianFormByPolynomial
    4.2 Attributes and properties of forms
      4.2-1 IsReflexiveForm
      4.2-2 IsAlternatingForm
      4.2-3 IsSymmetricForm
      4.2-4 IsDegenerateForm
      4.2-5 BaseField
      4.2-6 GramMatrix
      4.2-7 WittIndex
      4.2-8 RadicalOfForm
      4.2-9 PolynomialOfForm
      4.2-10 DiscriminantOfForm
    4.3 Functions for changing forms
      4.3-1 BaseChangeToCanonical
      4.3-2 IsometricCanonicalForm
    4.4 Operations on forms
      4.4-1 BaseChangeHomomorphism
      4.4-2 EvaluateForm
  
  
  -------------------------------------------------------
