Index
  
  Augmentation 4.2-5 
  augmentation homomorphism 3.1 
  augmentation ideal 3.1 
  AugmentationHomomorphism 4.3-1 
  AugmentationIdeal 4.3-2 
  AugmentationIdealNilpotencyIndex 4.3-6 
  AugmentationIdealOfDerivedSubgroupNilpotencyIndex 4.3-7 
  AugmentationIdealPowerSeries 4.3-5 
  Bass cyclic unit 4.2-13 
  BassCyclicUnit 4.2-13 
  bicyclic unit 4.2-12 
  BicyclicUnitGroup 4.4-13 
  BicyclicUnitOfType1 4.2-12 
  BicyclicUnitOfType2 4.2-12 
  CanonicalBasis 4.5-16 
  CoefficientsBySupport 4.2-2 
  DihedralDepth 4.6-2 
  dimension basis 3.3 
  DimensionBasis 4.6-3 
  Embedding, from group to Lie algebra 4.5-8 
      from group to unit group 4.4-5 
  group algebra 3.1 
  GroupBases 4.4-14 
  InverseOp 4.2-11 
  Involution 4.2-7 
  IsBasisOfLieAlgebraOfGroupRing 4.5-17 
  IsFModularGroupAlgebra 4.1-2 
  IsGroupAlgebra 4.1-1 
  IsGroupOfUnitsOfMagmaRing 4.4-8 
  IsLieAbelian 4.5-11 
  IsLieAlgebraByAssociativeAlgebra 4.5-2 
  IsLieAlgebraOfGroupRing 4.5-6 
  IsLieCentreByMetabelian 4.5-15 
  IsLieMetabelian 4.5-14 
  IsLieNilpotent 4.5-13 
  IsLieSolvable 4.5-12 
  IsNormalizedUnitGroupOfGroupRing 4.4-10 
  IsPModularGroupAlgebra 4.1-3 
  IsSymmetric 4.2-8 
  IsUnit 4.2-10 
  IsUnitary 4.2-9 
  IsUnitGroupOfGroupRing 4.4-9 
  Jennings series 3.3 
  LAGInfo 4.6-6 
  LAGUNA package .-1 
  LeftIdealBySubgroup 4.3-8 
  Length 4.2-4 
  Lie derived length 4.5-21 
  Lie derived series 4.5-21 
  LieAlgebraByDomain 4.5-1 
  LieCentre 4.5-9 
  LieDerivedLength 4.5-21 
  LieDerivedSubalgebra 4.5-10 
  LieDimensionSubgroups 4.6-4 
  LieLowerNilpotencyIndex 4.5-20 
  LieUpperCodimensionSeries, for group 4.6-5 
      for group ring 4.6-5 
  LieUpperNilpotencyIndex 4.5-19 
  lower Lie power series 4.5-20 
  modular group algebra 4.1-2 
  NaturalBijectionToAssociativeAlgebra 4.5-5 
  NaturalBijectionToLieAlgebra 4.5-4 
  NaturalBijectionToNormalizedUnitGroup 4.4-4 
  NaturalBijectionToPcNormalizedUnitGroup 4.4-3 
  normalised unit 3.1 
  normalised unit group 3.1 
  NormalizedUnitGroup 4.4-1 
  p-modular group algebra 3.2 
  partial augmentation 4.2-6 
  PartialAugmentations 4.2-6 
  PcNormalizedUnitGroup 4.4-2 
  PcUnits 4.4-7 
  power-commutator presentation 3.2 
  RadicalOfAlgebra 4.3-3 
  RightIdealBySubgroup 4.3-8 
  SISYPHOS package 1.1 
  standard product 3.3 
  StructureConstantsTable 4.5-18 
  SubgroupsOfIndexTwo 4.6-1 
  Support 4.2-1 
  symmetric element 4.2-8 
  TraceOfMagmaRingElement 4.2-3 
  TwoSidedIdalBySubgroup 4.3-8 
  UnderlyingAssociativeAlgebra 4.5-3 
  UnderlyingField 4.1-6 
  UnderlyingGroup, of a group ring 4.1-4 
      of Lie algebra of a group ring 4.5-7 
  UnderlyingGroupRing 4.4-11 
  UnderlyingRing 4.1-5 
  unit 3.1 
  unit group 3.1 
  unitary element 4.2-9 
  UnitarySubgroup 4.4-12 
  Units 4.4-6 
  upper Lie power series 4.5-19 
  weight, of dimension basis element 3.3 
  WeightedBasis 4.3-4 
  
  
  -------------------------------------------------------