  
  
                              [1XGAP 4 Package [5XForms[105X[101X
  
  
                           [1XSesquilinear and Quadratic[101X
  
  
                                     1.2.3
  
  
                                  October 2015
  
  
                                  John Bamberg
  
                                  Jan De Beule
  
  
  
  John Bamberg
      Email:    [7Xmailto:bamberg@maths.uwa.edu.au[107X
      Homepage: [7Xhttp://school.maths.uwa.edu.au/~bamberg[107X
      Address:  [33X[0;14YSchool  of  Mathematics  and  Statistics,  The  University  of
                Western  Australia,  35  Stirling  Highway,  Crawley  WA 6009,
                Perth, Western Australia[133X
  
  
  Jan De Beule
      Email:    [7Xmailto:jan@debeule.eu[107X
      Homepage: [7Xhttp://www.debeule.eu[107X
      Address:  [33X[0;14YDepartment of Mathematics, Ghent University, Krijgslaan 281 --
                S22, B--9000 Ghent, Belgium[133X
                [33X[0;14YDepartment   of   Mathematics,   Vrije  Universiteit  Brussel,
                Pleinlaan 2, B--1050 Brussel, Belgium[133X
  
  
  
  -------------------------------------------------------
  [1XCopyright[101X
  [33X[0;0Y© 2015 by the authors[133X
  
  [33X[0;0YThis  package  may  be distributed under the terms and conditions of the GNU
  Public License Version 2 or higher.[133X
  
  
  -------------------------------------------------------
  
  
  [1XContents (Forms)[101X
  
  1 [33X[0;0YIntroduction[133X
    1.1 [33X[0;0YPhilosophy[133X
    1.2 [33X[0;0YOverview over this manual[133X
    1.3 [33X[0;0YHow to read this manual[133X
    1.4 [33X[0;0YRelease notes[133X
  2 [33X[0;0YExamples[133X
    2.1 [33X[0;0YA conic of PG(2,8)[133X
    2.2 [33X[0;0YA form for W(5,3)[133X
    2.3 [33X[0;0YWhat is the form preserved by this group?[133X
  3 [33X[0;0YBackground Theory on Forms[133X
    3.1 [33X[0;0YSesquilinear forms[133X
      3.1-1 [33X[0;0YExamples[133X
    3.2 [33X[0;0YQuadratic forms[133X
      3.2-1 [33X[0;0YExamples[133X
  4 [33X[0;0YConstructing forms and basic functionality[133X
    4.1 [33X[0;0YImportant filters[133X
      4.1-1 [33X[0;0YCategories for forms[133X
      4.1-2 [33X[0;0YRepresentation for forms[133X
    4.2 [33X[0;0YConstructing forms using a matrix[133X
      4.2-1 BilinearFormByMatrix
      4.2-2 QuadraticFormByMatrix
      4.2-3 HermitianFormByMatrix
    4.3 [33X[0;0YConstructing forms using a polynomial[133X
      4.3-1 BilinearFormByPolynomial
      4.3-2 QuadraticFormByPolynomial
      4.3-3 HermitianFormByPolynomial
    4.4 [33X[0;0YSwitching between bilinear and quadratic forms[133X
      4.4-1 QuadraticFormByBilinearForm
      4.4-2 BilinearFormByQuadraticForm
      4.4-3 AssociatedBilinearForm
    4.5 [33X[0;0YEvaluating forms[133X
      4.5-1 EvaluateForm
    4.6 [33X[0;0YOrthogonality, totally isotropic subspaces, and totally singular
    subspaces[133X
      4.6-1 OrthogonalSubspaceMat
      4.6-2 IsIsotropicVector
      4.6-3 IsSingularVector
      4.6-4 IsTotallyIsotropicSubspace
      4.6-5 IsTotallySingularSubspace
    4.7 [33X[0;0YAttributes and properties of forms[133X
      4.7-1 IsReflexiveForm
      4.7-2 IsAlternatingForm
      4.7-3 IsSymmetricForm
      4.7-4 IsOrthogonalForm
      4.7-5 IsPseudoForm
      4.7-6 IsSymplecticForm
      4.7-7 IsDegenerateForm
      4.7-8 IsSingularForm
      4.7-9 BaseField
      4.7-10 GramMatrix
      4.7-11 RadicalOfForm
      4.7-12 PolynomialOfForm
      4.7-13 DiscriminantOfForm
    4.8 [33X[0;0YRecognition of sesquilinear forms preserved by a classical group[133X
      4.8-1 PreservedSesquilinearForms
    4.9 [33X[0;0YThe trivial form and some of its properties[133X
  5 [33X[0;0YMorphisms of forms[133X
    5.1 [33X[0;0YMorphisms of sesquilinear forms[133X
      5.1-1 [33X[0;0YHermitian forms[133X
      5.1-2 [33X[0;0YAlternating forms[133X
      5.1-3 [33X[0;0YBilinear forms[133X
      5.1-4 [33X[0;0YDegenerate forms[133X
    5.2 [33X[0;0YMorphisms of quadratic forms[133X
      5.2-1 [33X[0;0YSingular forms[133X
    5.3 [33X[0;0YOperations based on morphisms of forms[133X
      5.3-1 BaseChangeToCanonical
      5.3-2 BaseChangeHomomorphism
      5.3-3 IsometricCanonicalForm
      5.3-4 ScalarOfSimilarity
      5.3-5 WittIndex
      5.3-6 IsEllipticForm
      5.3-7 IsParabolicForm
      5.3-8 IsHyperbolicForm
      5.3-9 TypeOfForm
  
  
  [32X
