Goto Chapter: Top 1 2 3 4 5 Bib Ind

Top of Book Next Chapter

GAP 4 Package Forms

Sesquilinear and Quadratic

1.2.2

August 2011

John Bamberg
Email: bamberg@maths.uwa.edu.au
Homepage: http://school.maths.uwa.edu.au/~bamberg
Address:
School of Mathematics and Statistics, The University of Western Australia, 35 Stirling Highway, Crawley WA 6009, Perth, Western Australia

Jan De Beule
Email: jdebeule@cage.ugent.be
Homepage: http://cage.ugent.be/~jdebeule
Address:
Department of Mathematics, Ghent University, Krijgslaan 281 -- S22, 9000 Ghent, Belgium

Copyright

© 2011 by the authors

This package may be distributed under the terms and conditions of the GNU Public License Version 2 or higher.

Contents

1.2 Overview over this manual

1.3 How to read this manual

1.4 Release notes

2.1 A conic of PG(2,8)

2.2 A form for W(5,3)

2.3 What is the form preserved by this group?

3 Background Theory on Forms

3.1 Sesquilinear forms

3.2 Quadratic forms

4 Constructing forms and basic functionality

4.1 Important filters

4.1-1 Categories for forms
4.1-2 Representation for forms

4.2 Constructing forms using a matrix

  4.2-1 BilinearFormByMatrix
  4.2-2 QuadraticFormByMatrix
  4.2-3 HermitianFormByMatrix

4.3 Constructing forms using a polynomial

  4.3-1 BilinearFormByPolynomial
  4.3-2 QuadraticFormByPolynomial
  4.3-3 HermitianFormByPolynomial

4.4 Switching between bilinear and quadratic forms

  4.4-1 QuadraticFormByBilinearForm
  4.4-2 BilinearFormByQuadraticForm
  4.4-3 AssociatedBilinearForm

4.5 Evaluating forms

4.5-1 EvaluateForm

4.6 Orthogonality, totally isotropic subspaces, and totally singular subspaces

  4.6-1 OrthogonalSubspaceMat
  4.6-2 IsIsotropicVector
  4.6-3 IsSingularVector
  4.6-4 IsTotallyIsotropicSubspace
  4.6-5 IsTotallySingularSubspace

4.7 Attributes and properties of forms

  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 Recognition of sesquilinear forms preserved by a classical group

4.8-1 PreservedSesquilinearForms

4.9 The trivial form and some of its properties

5 Morphisms of forms

5.1 Morphisms of sesquilinear forms

  5.1-1 Hermitian forms
  5.1-2 Alternating forms
  5.1-3 Bilinear forms
  5.1-4 Degenerate forms

5.2 Morphisms of quadratic forms

5.3 Operations based on morphisms of forms

  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

Top of Book Next Chapter

Goto Chapter: Top 1 2 3 4 5 Bib Ind

generated by GAPDoc2HTML