Artin representation data - 1.25.20t1.a

Formats: - HTML - YAML - JSON - 2026-02-10T18:03:48.901295

• artin_reps •

  Column	Type
  BadPrimes	jsonb
  Baselabel	text
  CharacterField	smallint
  Conductor	numeric
  Container	text
  Dets	text[]
  Dim	smallint
  GalConjSigns	jsonb
  Galn	smallint
  GaloisConjugates	jsonb
  GaloisLabel	text
  Galt	integer
  HardPrimes	jsonb
  Hide	smallint
  Indicator	smallint
  Is_Even	boolean
  NFGal	jsonb
  NumBadPrimes	smallint
  Proj_GAP	integer[]
  Proj_Polynomial	numeric[]
  Proj_nTj	integer[]

  
  {'BadPrimes': [5], 'Baselabel': '1.25.20t1.a', 'CharacterField': 20, 'Conductor': 25, 'Container': '20t1', 'Dets': ['25.2', '25.3', '25.8', '25.12', '25.13', '25.17', '25.22', '25.23'], 'Dim': 1, 'GalConjSigns': [0, 0, 0, 0, 0, 0, 0, 0], 'Galn': 20, 'GaloisConjugates': [{'Sign': 0, 'Character': [[1], [-1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, -1], [-1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 0, 0, 0, -1], [0, 0, 0, 0, 1], [0, 0, -1], [0, 0, 0, 0, -1], [0, 0, 1], [1, 0, -1, 0, 1, 0, -1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 1], [0, -1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, -1], [0, -1], [0, 1, 0, -1, 0, 1, 0, -1], [0, 0, 0, -1]], 'GalOrbIndex': 1, 'HardFactors': [14, 13, 21, 19, 20, 18], 'LocalFactors': [[[1], [-1]], [[1], [1]], [[1], [0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, 0, 0, 1]], [[1], [1, 0, -1, 0, 1, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, 1]], [[1], [0, 0, 0, 0, -1]], [[1], [0, 0, 1]], [[1], [0, 0, 0, 0, 1]], [[1], [0, 0, -1]], [[1], [-1, 0, 1, 0, -1, 0, 1]], [[1], [0, 0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, 0, -1]], [[1], [0, -1]], [[1], [0, 1, 0, -1, 0, 1, 0, -1]], [[1], [0, 0, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, 0, 1]], [[1], [0, 1]], [[1], [0, -1, 0, 1, 0, -1, 0, 1]], [[1], [0, 0, 0, 1]], [[1]]]}, {'Sign': 0, 'Character': [[1], [-1], [0, 0, 0, 0, 0, -1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, -1], [0, 0, -1], [-1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 0, 1], [1, 0, -1, 0, 1, 0, -1], [0, 0, 0, 0, -1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 1], [0, -1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 1], [0, 1], [0, 1, 0, -1, 0, 1, 0, -1], [0, 0, 0, 0, 0, 0, 0, -1], [0, 0, 0, -1], [0, -1]], 'GalOrbIndex': 2, 'HardFactors': [14, 13, 21, 19, 20, 18], 'LocalFactors': [[[1], [-1]], [[1], [1]], [[1], [0, 0, 0, 0, 0, 1]], [[1], [0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, 1]], [[1], [0, 0, 1]], [[1], [1, 0, -1, 0, 1, 0, -1]], [[1], [0, 0, 0, 0, -1]], [[1], [-1, 0, 1, 0, -1, 0, 1]], [[1], [0, 0, 0, 0, 1]], [[1], [0, 0, 0, 0, 0, 0, -1]], [[1], [0, 0, -1]], [[1], [0, 1, 0, -1, 0, 1, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, -1]], [[1], [0, -1]], [[1], [0, -1, 0, 1, 0, -1, 0, 1]], [[1], [0, 0, 0, 0, 0, 0, 0, 1]], [[1], [0, 0, 0, 1]], [[1], [0, 1]], [[1]]]}, {'Sign': 0, 'Character': [[1], [-1], [0, 0, 0, 0, 0, -1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 1], [-1, 0, 1, 0, -1, 0, 1], [0, 0, -1], [0, 0, 0, 0, 0, 0, -1], [0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, -1], [1, 0, -1, 0, 1, 0, -1], [0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, -1, 0, 1, 0, -1, 0, 1], [0, -1], [0, 0, 0, -1], [0, 0, 0, 0, 0, 0, 0, -1], [0, 1, 0, -1, 0, 1, 0, -1]], 'GalOrbIndex': 3, 'HardFactors': [14, 13, 21, 19, 20, 18], 'LocalFactors': [[[1], [-1]], [[1], [1]], [[1], [0, 0, 0, 0, 0, 1]], [[1], [0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, 0, -1]], [[1], [1, 0, -1, 0, 1, 0, -1]], [[1], [0, 0, 1]], [[1], [0, 0, 0, 0, 0, 0, 1]], [[1], [0, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, 0, 1]], [[1], [-1, 0, 1, 0, -1, 0, 1]], [[1], [0, -1]], [[1], [0, 0, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, 0, -1]], [[1], [0, 1, 0, -1, 0, 1, 0, -1]], [[1], [0, 1]], [[1], [0, 0, 0, 1]], [[1], [0, 0, 0, 0, 0, 0, 0, 1]], [[1], [0, -1, 0, 1, 0, -1, 0, 1]], [[1]]]}, {'Sign': 0, 'Character': [[1], [-1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, -1], [0, 0, -1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, -1], [-1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 0, 0, 0, 1], [1, 0, -1, 0, 1, 0, -1], [0, 0, 1], [0, 0, 0, 0, -1], [0, 0, 0, 1], [0, -1, 0, 1, 0, -1, 0, 1], [0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, -1], [0, 1, 0, -1, 0, 1, 0, -1], [0, -1], [0, 0, 0, 0, 0, 0, 0, -1]], 'GalOrbIndex': 4, 'HardFactors': [14, 13, 21, 19, 20, 18], 'LocalFactors': [[[1], [-1]], [[1], [1]], [[1], [0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, 0, 0, 1]], [[1], [0, 0, 1]], [[1], [0, 0, 0, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, 1]], [[1], [1, 0, -1, 0, 1, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, -1]], [[1], [-1, 0, 1, 0, -1, 0, 1]], [[1], [0, 0, -1]], [[1], [0, 0, 0, 0, 1]], [[1], [0, 0, 0, -1]], [[1], [0, 1, 0, -1, 0, 1, 0, -1]], [[1], [0, -1]], [[1], [0, 0, 0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, 1]], [[1], [0, -1, 0, 1, 0, -1, 0, 1]], [[1], [0, 1]], [[1], [0, 0, 0, 0, 0, 0, 0, 1]], [[1]]]}, {'Sign': 0, 'Character': [[1], [-1], [0, 0, 0, 0, 0, -1], [0, 0, 0, 0, 0, 1], [0, 0, -1], [0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, -1], [-1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 0, 0, 0, 1], [1, 0, -1, 0, 1, 0, -1], [0, 0, 1], [0, 0, 0, 0, -1], [0, 0, 0, -1], [0, 1, 0, -1, 0, 1, 0, -1], [0, -1], [0, 0, 0, 0, 0, 0, 0, -1], [0, 0, 0, 1], [0, -1, 0, 1, 0, -1, 0, 1], [0, 1], [0, 0, 0, 0, 0, 0, 0, 1]], 'GalOrbIndex': 5, 'HardFactors': [14, 13, 21, 19, 20, 18], 'LocalFactors': [[[1], [-1]], [[1], [1]], [[1], [0, 0, 0, 0, 0, 1]], [[1], [0, 0, 0, 0, 0, -1]], [[1], [0, 0, 1]], [[1], [0, 0, 0, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, 1]], [[1], [1, 0, -1, 0, 1, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, -1]], [[1], [-1, 0, 1, 0, -1, 0, 1]], [[1], [0, 0, -1]], [[1], [0, 0, 0, 0, 1]], [[1], [0, 0, 0, 1]], [[1], [0, -1, 0, 1, 0, -1, 0, 1]], [[1], [0, 1]], [[1], [0, 0, 0, 0, 0, 0, 0, 1]], [[1], [0, 0, 0, -1]], [[1], [0, 1, 0, -1, 0, 1, 0, -1]], [[1], [0, -1]], [[1], [0, 0, 0, 0, 0, 0, 0, -1]], [[1]]]}, {'Sign': 0, 'Character': [[1], [-1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, -1], [0, 0, 0, 0, 1], [-1, 0, 1, 0, -1, 0, 1], [0, 0, -1], [0, 0, 0, 0, 0, 0, -1], [0, 0, 1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, -1], [1, 0, -1, 0, 1, 0, -1], [0, -1], [0, 0, 0, -1], [0, 0, 0, 0, 0, 0, 0, -1], [0, 1, 0, -1, 0, 1, 0, -1], [0, 1], [0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, -1, 0, 1, 0, -1, 0, 1]], 'GalOrbIndex': 6, 'HardFactors': [14, 13, 21, 19, 20, 18], 'LocalFactors': [[[1], [-1]], [[1], [1]], [[1], [0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, 0, 0, 1]], [[1], [0, 0, 0, 0, -1]], [[1], [1, 0, -1, 0, 1, 0, -1]], [[1], [0, 0, 1]], [[1], [0, 0, 0, 0, 0, 0, 1]], [[1], [0, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, 0, 1]], [[1], [-1, 0, 1, 0, -1, 0, 1]], [[1], [0, 1]], [[1], [0, 0, 0, 1]], [[1], [0, 0, 0, 0, 0, 0, 0, 1]], [[1], [0, -1, 0, 1, 0, -1, 0, 1]], [[1], [0, -1]], [[1], [0, 0, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, 0, -1]], [[1], [0, 1, 0, -1, 0, 1, 0, -1]], [[1]]]}, {'Sign': 0, 'Character': [[1], [-1], [0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, -1], [0, 0, 0, 0, 0, 0, -1], [0, 0, -1], [-1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 0, 1], [1, 0, -1, 0, 1, 0, -1], [0, 0, 0, 0, -1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 1], [0, 1, 0, -1, 0, 1, 0, -1], [0, 0, 0, 0, 0, 0, 0, -1], [0, 0, 0, -1], [0, -1], [0, -1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 1], [0, 1]], 'GalOrbIndex': 7, 'HardFactors': [14, 13, 21, 19, 20, 18], 'LocalFactors': [[[1], [-1]], [[1], [1]], [[1], [0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, 0, 0, 1]], [[1], [0, 0, 0, 0, 0, 0, 1]], [[1], [0, 0, 1]], [[1], [1, 0, -1, 0, 1, 0, -1]], [[1], [0, 0, 0, 0, -1]], [[1], [-1, 0, 1, 0, -1, 0, 1]], [[1], [0, 0, 0, 0, 1]], [[1], [0, 0, 0, 0, 0, 0, -1]], [[1], [0, 0, -1]], [[1], [0, -1, 0, 1, 0, -1, 0, 1]], [[1], [0, 0, 0, 0, 0, 0, 0, 1]], [[1], [0, 0, 0, 1]], [[1], [0, 1]], [[1], [0, 1, 0, -1, 0, 1, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, -1]], [[1], [0, -1]], [[1]]]}, {'Sign': 0, 'Character': [[1], [-1], [0, 0, 0, 0, 0, -1], [0, 0, 0, 0, 0, 1], [-1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 0, 0, 0, -1], [0, 0, 0, 0, 1], [0, 0, -1], [0, 0, 0, 0, -1], [0, 0, 1], [1, 0, -1, 0, 1, 0, -1], [0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 0, 0, 0, 0, -1], [0, -1], [0, 1, 0, -1, 0, 1, 0, -1], [0, 0, 0, -1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 1], [0, -1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 1]], 'GalOrbIndex': 8, 'HardFactors': [14, 13, 21, 19, 20, 18], 'LocalFactors': [[[1], [-1]], [[1], [1]], [[1], [0, 0, 0, 0, 0, 1]], [[1], [0, 0, 0, 0, 0, -1]], [[1], [1, 0, -1, 0, 1, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, 1]], [[1], [0, 0, 0, 0, -1]], [[1], [0, 0, 1]], [[1], [0, 0, 0, 0, 1]], [[1], [0, 0, -1]], [[1], [-1, 0, 1, 0, -1, 0, 1]], [[1], [0, 0, 0, 0, 0, 0, -1]], [[1], [0, 0, 0, 0, 0, 0, 0, 1]], [[1], [0, 1]], [[1], [0, -1, 0, 1, 0, -1, 0, 1]], [[1], [0, 0, 0, 1]], [[1], [0, 0, 0, 0, 0, 0, 0, -1]], [[1], [0, -1]], [[1], [0, 1, 0, -1, 0, 1, 0, -1]], [[1], [0, 0, 0, -1]], [[1]]]}], 'GaloisLabel': '20T1', 'Galt': 1, 'HardPrimes': [2, 3, 5, 13, 17, 23], 'Hide': 0, 'Indicator': 0, 'Is_Even': False, 'NFGal': [1, 0, 0, 0, 0, -1, 0, 0, 0, 0, 1, 0, 0, 0, 0, -1, 0, 0, 0, 0, 1], 'NumBadPrimes': 1, 'Proj_GAP': [1, 1], 'Proj_Polynomial': [0, 1], 'Proj_nTj': [1, 1]}
• artin_field_data •

  Column	Type
  ArtinReps	jsonb
  ComplexConjugation	smallint
  ConjClasses	jsonb
  FrobResolvents	jsonb
  Frobs	jsonb
  G-Gens	jsonb
  G-Name	text
  Polynomial	jsonb
  QpRts	jsonb
  QpRts-minpoly	jsonb
  QpRts-p	integer
  QpRts-prec	integer
  Size	numeric
  TransitiveDegree	smallint

  
  {'ArtinReps': [{'GalConj': 1, 'Baselabel': '1.1.1t1.a', 'Character': [[1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1], [1]], 'CharacterField': 1}, {'GalConj': 2, 'Baselabel': '1.5.4t1.a', 'Character': [[1, 0], [-1, 0], [0, -1], [0, 1], [1, 0], [1, 0], [1, 0], [1, 0], [-1, 0], [-1, 0], [-1, 0], [-1, 0], [0, 1], [0, -1], [0, -1], [0, 1], [0, -1], [0, 1], [0, 1], [0, -1]], 'CharacterField': 4}, {'GalConj': 1, 'Baselabel': '1.5.2t1.a', 'Character': [[1], [1], [-1], [-1], [1], [1], [1], [1], [1], [1], [1], [1], [-1], [-1], [-1], [-1], [-1], [-1], [-1], [-1]], 'CharacterField': 1}, {'GalConj': 1, 'Baselabel': '1.5.4t1.a', 'Character': [[1, 0], [-1, 0], [0, 1], [0, -1], [1, 0], [1, 0], [1, 0], [1, 0], [-1, 0], [-1, 0], [-1, 0], [-1, 0], [0, -1], [0, 1], [0, 1], [0, -1], [0, 1], [0, -1], [0, -1], [0, 1]], 'CharacterField': 4}, {'GalConj': 1, 'Baselabel': '1.25.5t1.a', 'Character': [[1, 0, 0, 0], [1, 0, 0, 0], [1, 0, 0, 0], [1, 0, 0, 0], [0, 1, 0, 0], [0, 0, 1, 0], [0, 0, 0, 1], [-1, -1, -1, -1], [0, 0, 0, 1], [-1, -1, -1, -1], [0, 1, 0, 0], [0, 0, 1, 0], [-1, -1, -1, -1], [0, 0, 1, 0], [0, 0, 0, 1], [0, 1, 0, 0], [-1, -1, -1, -1], [0, 0, 1, 0], [0, 0, 0, 1], [0, 1, 0, 0]], 'CharacterField': 5}, {'GalConj': 3, 'Baselabel': '1.25.20t1.a', 'Character': [[1, 0, 0, 0, 0, 0, 0, 0], [-1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, -1, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 1, 0, 0, 0], [-1, 0, 1, 0, -1, 0, 1, 0], [0, 0, -1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, -1, 0], [0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0], [0, 0, 0, 0, -1, 0, 0, 0], [1, 0, -1, 0, 1, 0, -1, 0], [0, 1, 0, 0, 0, 0, 0, 0], [0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1], [0, -1, 0, 1, 0, -1, 0, 1], [0, -1, 0, 0, 0, 0, 0, 0], [0, 0, 0, -1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, -1], [0, 1, 0, -1, 0, 1, 0, -1]], 'CharacterField': 20}, {'GalConj': 4, 'Baselabel': '1.25.10t1.a', 'Character': [[1, 0, 0, 0], [1, 0, 0, 0], [-1, 0, 0, 0], [-1, 0, 0, 0], [0, 1, 0, 0], [0, 0, 1, 0], [0, 0, 0, 1], [-1, -1, -1, -1], [0, 0, 0, 1], [-1, -1, -1, -1], [0, 1, 0, 0], [0, 0, 1, 0], [1, 1, 1, 1], [0, 0, -1, 0], [0, 0, 0, -1], [0, -1, 0, 0], [1, 1, 1, 1], [0, 0, -1, 0], [0, 0, 0, -1], [0, -1, 0, 0]], 'CharacterField': 5}, {'GalConj': 6, 'Baselabel': '1.25.20t1.a', 'Character': [[1, 0, 0, 0, 0, 0, 0, 0], [-1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, -1, 0, 0], [0, 0, 0, 0, 1, 0, 0, 0], [-1, 0, 1, 0, -1, 0, 1, 0], [0, 0, -1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, -1, 0], [0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0], [0, 0, 0, 0, -1, 0, 0, 0], [1, 0, -1, 0, 1, 0, -1, 0], [0, -1, 0, 0, 0, 0, 0, 0], [0, 0, 0, -1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, -1], [0, 1, 0, -1, 0, 1, 0, -1], [0, 1, 0, 0, 0, 0, 0, 0], [0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1], [0, -1, 0, 1, 0, -1, 0, 1]], 'CharacterField': 20}, {'GalConj': 2, 'Baselabel': '1.25.5t1.a', 'Character': [[1, 0, 0, 0], [1, 0, 0, 0], [1, 0, 0, 0], [1, 0, 0, 0], [0, 0, 1, 0], [-1, -1, -1, -1], [0, 1, 0, 0], [0, 0, 0, 1], [0, 1, 0, 0], [0, 0, 0, 1], [0, 0, 1, 0], [-1, -1, -1, -1], [0, 0, 0, 1], [-1, -1, -1, -1], [0, 1, 0, 0], [0, 0, 1, 0], [0, 0, 0, 1], [-1, -1, -1, -1], [0, 1, 0, 0], [0, 0, 1, 0]], 'CharacterField': 5}, {'GalConj': 8, 'Baselabel': '1.25.20t1.a', 'Character': [[1, 0, 0, 0, 0, 0, 0, 0], [-1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, -1, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0], [-1, 0, 1, 0, -1, 0, 1, 0], [0, 0, 0, 0, 0, 0, -1, 0], [0, 0, 0, 0, 1, 0, 0, 0], [0, 0, -1, 0, 0, 0, 0, 0], [0, 0, 0, 0, -1, 0, 0, 0], [0, 0, 1, 0, 0, 0, 0, 0], [1, 0, -1, 0, 1, 0, -1, 0], [0, 0, 0, 0, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0, 0, -1], [0, -1, 0, 0, 0, 0, 0, 0], [0, 1, 0, -1, 0, 1, 0, -1], [0, 0, 0, -1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1], [0, 1, 0, 0, 0, 0, 0, 0], [0, -1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 1, 0, 0, 0, 0]], 'CharacterField': 20}, {'GalConj': 3, 'Baselabel': '1.25.10t1.a', 'Character': [[1, 0, 0, 0], [1, 0, 0, 0], [-1, 0, 0, 0], [-1, 0, 0, 0], [0, 0, 1, 0], [-1, -1, -1, -1], [0, 1, 0, 0], [0, 0, 0, 1], [0, 1, 0, 0], [0, 0, 0, 1], [0, 0, 1, 0], [-1, -1, -1, -1], [0, 0, 0, -1], [1, 1, 1, 1], [0, -1, 0, 0], [0, 0, -1, 0], [0, 0, 0, -1], [1, 1, 1, 1], [0, -1, 0, 0], [0, 0, -1, 0]], 'CharacterField': 5}, {'GalConj': 1, 'Baselabel': '1.25.20t1.a', 'Character': [[1, 0, 0, 0, 0, 0, 0, 0], [-1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, -1, 0, 0], [-1, 0, 1, 0, -1, 0, 1, 0], [0, 0, 0, 0, 0, 0, -1, 0], [0, 0, 0, 0, 1, 0, 0, 0], [0, 0, -1, 0, 0, 0, 0, 0], [0, 0, 0, 0, -1, 0, 0, 0], [0, 0, 1, 0, 0, 0, 0, 0], [1, 0, -1, 0, 1, 0, -1, 0], [0, 0, 0, 0, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0, 0, 1], [0, 1, 0, 0, 0, 0, 0, 0], [0, -1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, -1], [0, -1, 0, 0, 0, 0, 0, 0], [0, 1, 0, -1, 0, 1, 0, -1], [0, 0, 0, -1, 0, 0, 0, 0]], 'CharacterField': 20}, {'GalConj': 3, 'Baselabel': '1.25.5t1.a', 'Character': [[1, 0, 0, 0], [1, 0, 0, 0], [1, 0, 0, 0], [1, 0, 0, 0], [0, 0, 0, 1], [0, 1, 0, 0], [-1, -1, -1, -1], [0, 0, 1, 0], [-1, -1, -1, -1], [0, 0, 1, 0], [0, 0, 0, 1], [0, 1, 0, 0], [0, 0, 1, 0], [0, 1, 0, 0], [-1, -1, -1, -1], [0, 0, 0, 1], [0, 0, 1, 0], [0, 1, 0, 0], [-1, -1, -1, -1], [0, 0, 0, 1]], 'CharacterField': 5}, {'GalConj': 5, 'Baselabel': '1.25.20t1.a', 'Character': [[1, 0, 0, 0, 0, 0, 0, 0], [-1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, -1, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0], [0, 0, -1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 0, 0, -1, 0], [-1, 0, 1, 0, -1, 0, 1, 0], [0, 0, 0, 0, 0, 0, 1, 0], [1, 0, -1, 0, 1, 0, -1, 0], [0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, -1, 0, 0, 0], [0, 0, 0, -1, 0, 0, 0, 0], [0, 1, 0, -1, 0, 1, 0, -1], [0, -1, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, -1], [0, 0, 0, 1, 0, 0, 0, 0], [0, -1, 0, 1, 0, -1, 0, 1], [0, 1, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1]], 'CharacterField': 20}, {'GalConj': 2, 'Baselabel': '1.25.10t1.a', 'Character': [[1, 0, 0, 0], [1, 0, 0, 0], [-1, 0, 0, 0], [-1, 0, 0, 0], [0, 0, 0, 1], [0, 1, 0, 0], [-1, -1, -1, -1], [0, 0, 1, 0], [-1, -1, -1, -1], [0, 0, 1, 0], [0, 0, 0, 1], [0, 1, 0, 0], [0, 0, -1, 0], [0, -1, 0, 0], [1, 1, 1, 1], [0, 0, 0, -1], [0, 0, -1, 0], [0, -1, 0, 0], [1, 1, 1, 1], [0, 0, 0, -1]], 'CharacterField': 5}, {'GalConj': 4, 'Baselabel': '1.25.20t1.a', 'Character': [[1, 0, 0, 0, 0, 0, 0, 0], [-1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, -1, 0, 0], [0, 0, -1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 0, 0, -1, 0], [-1, 0, 1, 0, -1, 0, 1, 0], [0, 0, 0, 0, 0, 0, 1, 0], [1, 0, -1, 0, 1, 0, -1, 0], [0, 0, 1, 0, 0, 0, 0, 0], [0, 0, 0, 0, -1, 0, 0, 0], [0, 0, 0, 1, 0, 0, 0, 0], [0, -1, 0, 1, 0, -1, 0, 1], [0, 1, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, -1, 0, 0, 0, 0], [0, 1, 0, -1, 0, 1, 0, -1], [0, -1, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, -1]], 'CharacterField': 20}, {'GalConj': 4, 'Baselabel': '1.25.5t1.a', 'Character': [[1, 0, 0, 0], [1, 0, 0, 0], [1, 0, 0, 0], [1, 0, 0, 0], [-1, -1, -1, -1], [0, 0, 0, 1], [0, 0, 1, 0], [0, 1, 0, 0], [0, 0, 1, 0], [0, 1, 0, 0], [-1, -1, -1, -1], [0, 0, 0, 1], [0, 1, 0, 0], [0, 0, 0, 1], [0, 0, 1, 0], [-1, -1, -1, -1], [0, 1, 0, 0], [0, 0, 0, 1], [0, 0, 1, 0], [-1, -1, -1, -1]], 'CharacterField': 5}, {'GalConj': 2, 'Baselabel': '1.25.20t1.a', 'Character': [[1, 0, 0, 0, 0, 0, 0, 0], [-1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, -1, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, 0, -1, 0], [0, 0, -1, 0, 0, 0, 0, 0], [-1, 0, 1, 0, -1, 0, 1, 0], [0, 0, 0, 0, 1, 0, 0, 0], [1, 0, -1, 0, 1, 0, -1, 0], [0, 0, 0, 0, -1, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0], [0, 0, 1, 0, 0, 0, 0, 0], [0, -1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 1, 0, 0, 0, 0], [0, 1, 0, 0, 0, 0, 0, 0], [0, 1, 0, -1, 0, 1, 0, -1], [0, 0, 0, 0, 0, 0, 0, -1], [0, 0, 0, -1, 0, 0, 0, 0], [0, -1, 0, 0, 0, 0, 0, 0]], 'CharacterField': 20}, {'GalConj': 1, 'Baselabel': '1.25.10t1.a', 'Character': [[1, 0, 0, 0], [1, 0, 0, 0], [-1, 0, 0, 0], [-1, 0, 0, 0], [-1, -1, -1, -1], [0, 0, 0, 1], [0, 0, 1, 0], [0, 1, 0, 0], [0, 0, 1, 0], [0, 1, 0, 0], [-1, -1, -1, -1], [0, 0, 0, 1], [0, -1, 0, 0], [0, 0, 0, -1], [0, 0, -1, 0], [1, 1, 1, 1], [0, -1, 0, 0], [0, 0, 0, -1], [0, 0, -1, 0], [1, 1, 1, 1]], 'CharacterField': 5}, {'GalConj': 7, 'Baselabel': '1.25.20t1.a', 'Character': [[1, 0, 0, 0, 0, 0, 0, 0], [-1, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, -1, 0, 0], [0, 0, 0, 0, 0, 0, -1, 0], [0, 0, -1, 0, 0, 0, 0, 0], [-1, 0, 1, 0, -1, 0, 1, 0], [0, 0, 0, 0, 1, 0, 0, 0], [1, 0, -1, 0, 1, 0, -1, 0], [0, 0, 0, 0, -1, 0, 0, 0], [0, 0, 0, 0, 0, 0, 1, 0], [0, 0, 1, 0, 0, 0, 0, 0], [0, 1, 0, -1, 0, 1, 0, -1], [0, 0, 0, 0, 0, 0, 0, -1], [0, 0, 0, -1, 0, 0, 0, 0], [0, -1, 0, 0, 0, 0, 0, 0], [0, -1, 0, 1, 0, -1, 0, 1], [0, 0, 0, 0, 0, 0, 0, 1], [0, 0, 0, 1, 0, 0, 0, 0], [0, 1, 0, 0, 0, 0, 0, 0]], 'CharacterField': 20}], 'ComplexConjugation': 2, 'ConjClasses': [{'Size': '1', 'Order': 1, 'Representative': [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20]}, {'Size': '1', 'Order': 2, 'Representative': [18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 20, 19]}, {'Size': '1', 'Order': 4, 'Representative': [4, 3, 17, 18, 12, 11, 5, 6, 20, 19, 13, 14, 8, 7, 1, 2, 16, 15, 9, 10]}, {'Size': '1', 'Order': 4, 'Representative': [15, 16, 2, 1, 7, 8, 14, 13, 19, 20, 6, 5, 11, 12, 18, 17, 3, 4, 10, 9]}, {'Size': '1', 'Order': 5, 'Representative': [17, 6, 11, 16, 1, 10, 15, 20, 5, 14, 19, 4, 9, 18, 3, 8, 13, 2, 7, 12]}, {'Size': '1', 'Order': 5, 'Representative': [13, 10, 19, 8, 17, 14, 3, 12, 1, 18, 7, 16, 5, 2, 11, 20, 9, 6, 15, 4]}, {'Size': '1', 'Order': 5, 'Representative': [9, 14, 7, 20, 13, 18, 11, 4, 17, 2, 15, 8, 1, 6, 19, 12, 5, 10, 3, 16]}, {'Size': '1', 'Order': 5, 'Representative': [5, 18, 15, 12, 9, 2, 19, 16, 13, 6, 3, 20, 17, 10, 7, 4, 1, 14, 11, 8]}, {'Size': '1', 'Order': 10, 'Representative': [10, 5, 12, 19, 6, 1, 8, 15, 2, 17, 4, 11, 18, 13, 20, 7, 14, 9, 16, 3]}, {'Size': '1', 'Order': 10, 'Representative': [14, 1, 4, 7, 10, 17, 20, 3, 6, 13, 16, 19, 2, 9, 12, 15, 18, 5, 8, 11]}, {'Size': '1', 'Order': 10, 'Representative': [2, 13, 8, 3, 18, 9, 4, 19, 14, 5, 20, 15, 10, 1, 16, 11, 6, 17, 12, 7]}, {'Size': '1', 'Order': 10, 'Representative': [6, 9, 20, 11, 2, 5, 16, 7, 18, 1, 12, 3, 14, 17, 8, 19, 10, 13, 4, 15]}, {'Size': '1', 'Order': 20, 'Representative': [7, 4, 18, 5, 19, 16, 10, 17, 11, 8, 2, 9, 3, 20, 14, 1, 15, 12, 6, 13]}, {'Size': '1', 'Order': 20, 'Representative': [8, 19, 9, 6, 16, 7, 17, 14, 4, 15, 5, 2, 12, 3, 13, 10, 20, 11, 1, 18]}, {'Size': '1', 'Order': 20, 'Representative': [20, 7, 5, 10, 8, 15, 13, 18, 16, 3, 1, 6, 4, 11, 9, 14, 12, 19, 17, 2]}, {'Size': '1', 'Order': 20, 'Representative': [3, 8, 6, 17, 15, 20, 18, 9, 7, 12, 10, 1, 19, 4, 2, 13, 11, 16, 14, 5]}, {'Size': '1', 'Order': 20, 'Representative': [12, 15, 1, 14, 20, 3, 9, 2, 8, 11, 17, 10, 16, 19, 5, 18, 4, 7, 13, 6]}, {'Size': '1', 'Order': 20, 'Representative': [11, 20, 10, 13, 3, 12, 2, 5, 15, 4, 14, 17, 7, 16, 6, 9, 19, 8, 18, 1]}, {'Size': '1', 'Order': 20, 'Representative': [19, 12, 14, 9, 11, 4, 6, 1, 3, 16, 18, 13, 15, 8, 10, 5, 7, 20, 2, 17]}, {'Size': '1', 'Order': 20, 'Representative': [16, 11, 13, 2, 4, 19, 1, 10, 12, 7, 9, 18, 20, 15, 17, 6, 8, 3, 5, 14]}], 'FrobResolvents': [{'Data': 0, 'Classes': 1, 'Algorithm': 'CYC', 'CycleType': [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]}, {'Data': 0, 'Classes': 2, 'Algorithm': 'CYC', 'CycleType': [2, 2, 2, 2, 2, 2, 2, 2, 2, 2]}, {'Data': {'Powers': [1], 'Resolvent': [0, 0, 1]}, 'Classes': [{'RootOf': ['0', '1'], 'ConjugacyClass': 3}, {'RootOf': ['-5', '1'], 'ConjugacyClass': 4}], 'Algorithm': 'RES', 'CycleType': [4, 4, 4, 4, 4]}, {'Data': {'Powers': [1], 'Resolvent': [20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1]}, 'Classes': [{'RootOf': ['-75', '1'], 'ConjugacyClass': 5}, {'RootOf': ['100', '1'], 'ConjugacyClass': 6}, {'RootOf': ['-325', '1'], 'ConjugacyClass': 7}, {'RootOf': ['350', '1'], 'ConjugacyClass': 8}], 'Algorithm': 'RES', 'CycleType': [5, 5, 5, 5]}, {'Data': {'Powers': [1], 'Resolvent': [20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1]}, 'Classes': [{'RootOf': ['150', '1'], 'ConjugacyClass': 9}, {'RootOf': ['50', '1'], 'ConjugacyClass': 10}, {'RootOf': ['400', '1'], 'ConjugacyClass': 11}, {'RootOf': ['-175', '1'], 'ConjugacyClass': 12}], 'Algorithm': 'RES', 'CycleType': [10, 10]}, {'Data': {'Powers': [1], 'Resolvent': [-8, 13, -9, 1, -7, 20, -9, 8, 13, 5, -18, -11, -12, 18, 12, 6, -15, -14, -20, -13]}, 'Classes': [{'RootOf': ['75', '1'], 'ConjugacyClass': 13}, {'RootOf': ['130', '1'], 'ConjugacyClass': 14}, {'RootOf': ['-320', '1'], 'ConjugacyClass': 15}, {'RootOf': ['425', '1'], 'ConjugacyClass': 16}, {'RootOf': ['105', '1'], 'ConjugacyClass': 17}, {'RootOf': ['-150', '1'], 'ConjugacyClass': 18}, {'RootOf': ['-225', '1'], 'ConjugacyClass': 19}, {'RootOf': ['455', '1'], 'ConjugacyClass': 20}], 'Algorithm': 'RES', 'CycleType': [20]}], 'Frobs': [14, 13, 1, 3, 6, 19, 20, 11, 18, 10, 5, 15, 7, 4, 17, 13, 9, 6, 20, 8, 18, 10, 16, 12, 17, 1, 13, 3, 9, 19, 14, 5, 15, 12, 2, 1, 3, 19, 20, 18, 10, 5, 7, 4, 17, 2, 6, 18, 14, 10, 16, 12, 7, 1, 3, 19, 11, 8, 14, 5, 16, 4, 3, 6, 19, 20, 5, 15, 17, 2, 13, 9, 20, 18, 10, 16, 12, 17, 1, 9, 11, 8, 5, 16, 12, 4, 2, 3, 6, 19, 20, 10, 15, 7, 2, 13, 9, 8, 18, 7, 17, 3, 19, 11, 8, 14, 15, 4, 2, 1, 3, 19, 20, 11, 5, 7, 4, 17, 13, 9, 6, 18, 14, 16, 7, 1, 9, 11, 14, 16, 12, 4, 1, 3, 6, 11, 18, 15, 17, 9, 6, 8, 18, 14, 10, 12, 13, 3, 9, 19, 14, 5, 16, 15, 3, 6, 11, 10, 15, 7, 17, 13, 20, 8, 14, 16, 7, 17], 'G-Gens': [[4, 3, 17, 18, 12, 11, 5, 6, 20, 19, 13, 14, 8, 7, 1, 2, 16, 15, 9, 10], [7, 4, 18, 5, 19, 16, 10, 17, 11, 8, 2, 9, 3, 20, 14, 1, 15, 12, 6, 13]], 'G-Name': 'C20', 'Polynomial': [1, 0, 0, 0, 0, -1, 0, 0, 0, 0, 1, 0, 0, 0, 0, -1, 0, 0, 0, 0, 1], 'QpRts': [['-7414147', '-5826383', '5318359', '1573181', '5022017', '8551749', '-1572796', '-4983397', '2898284', '-9257946'], ['-8223111', '8669751', '2949651', '797559', '-6077207', '-4117702', '-8859972', '10134963', '-10138082', '-4660885'], ['-10080866', '-1066313', '4406115', '-657772', '3550710', '9314365', '7223181', '4196090', '4717104', '-8827993'], ['7440134', '-2918690', '4043719', '-6834801', '6951123', '3759464', '-2042449', '-6179081', '3110141', '7467475'], ['6723392', '-4167242', '-8866559', '-9677271', '6092839', '443288', '7901715', '-4630357', '2588233', '-1706605'], ['-3897428', '2597269', '-8341580', '7026884', '-7073976', '-7128711', '9255763', '-5428856', '-2067827', '7619699'], ['2702658', '9879547', '1868732', '280954', '-9183784', '1798587', '9839939', '7511279', '-7337989', '885029'], ['-4204231', '7241774', '5388075', '-9342450', '8535200', '-7392230', '-5146558', '-7353661', '5745933', '2520571'], ['7163341', '3667942', '-4093923', '-1159670', '2332194', '7302898', '-1874763', '-5125435', '9641463', '-11302'], ['-4828233', '-207145', '7430219', '-9036670', '-7609460', '-4218612', '9894727', '-2274764', '-9535283', '7247372'], ['-8586564', '5347530', '-6259761', '9934679', '-6848040', '7414146', '7683956', '-10218604', '7761030', '7043252'], ['2031573', '-2054325', '7811204', '9087746', '-4998808', '-5915945', '-4716424', '6116337', '5766907', '-149406'], ['-6426380', '-9234128', '-272205', '3470166', '2823223', '-4667302', '4592993', '-8901469', '2205038', '9598212'], ['-987911', '849913', '3919029', '-9245661', '1318031', '-6730879', '7706610', '-3019038', '-2149159', '6822617'], ['6154404', '-2223085', '-6321454', '-2380447', '8120599', '1446572', '1690548', '-9922811', '1729262', '9721831'], ['3530915', '919088', '-8126304', '7337499', '-7393048', '-2705034', '-183774', '9675745', '-2015161', '-8448625'], ['-46206', '-4951338', '7914328', '5793594', '4240876', '8880516', '-9047149', '3129509', '3178131', '1377641'], ['-2574466', '8601361', '-5957319', '-10053261', '-1068537', '1684755', '2514021', '587695', '3379202', '3482346'], ['9810368', '8573470', '6306368', '-7177414', '4360515', '537479', '-5926475', '8434046', '-6869407', '-8822119'], ['-8798391', '-3187847', '-9116694', '-247994', '-3094467', '-8257404', '-8421944', '-2259340', '7903329', '-1390015']], 'QpRts-minpoly': [2, 22, 2, 17, 8, 25, 1, 0, 0, 0, 1], 'QpRts-p': 29, 'QpRts-prec': 5, 'Size': 20, 'TransitiveDegree': 20}