Übersicht der Quellen

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

SSL imf25.grp   Interaktion und
PortierbarkeitShell

 

#############################################################################
##
##  This file is part of GAP, a system for computational discrete algebra.
##  This file's authors include Volkmar Felsch.
##
##  Copyright of GAP belongs to its developers, whose names are too numerous
##  to list here. Please refer to the COPYRIGHT file for details.
##
##  SPDX-License-Identifier: GPL-2.0-or-later
##
##  This file contains,  for each  Q-class representative  of the irreducible
##  maximal finite integral matrix groups of dimension 25,
##
##  [1]  a quadratic form (as lower triangle of the Gram matrix),
##  [2]  a list of matrix generators.
##


#############################################################################
##
##  Quadratic form and matrix generators  for the  Q-class representatives of
##  the irreducible maximal finite integral matrix groups of dimension 25.
##
IMFList[25].matrices := [

[ # Q-class [25][01]
 [[1],
  [0,1],
  [0,0,1],
  [0,0,0,1],
  [0,0,0,0,1],
  [0,0,0,0,0,1],
  [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,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,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,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
000,,,,,,,,,,,]
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,  00,00,000,00,,1,
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1]],
 [[[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0],
[,,,0,,,00,0,,0,,0,,0,,0,,,,1,0,00],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,  0,,00000000000,,1,
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],
 ,,,,,,,0,000,000,]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0[0,,0,,,100000000,0,0000java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
    0000,0,,0,,,0,,0,,1,00,0000,,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,1,0,0,0,0,0010000,0,,,000,,00000,
  [0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,,0000000,00,0000,,java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [00000000,00,,0,00000,0,
[,,,,,,,,,0,,0,0,0,0,,0,0,0,,00,,0,0],
  [0010000,000,000,,,,,,,,0,0,,
  [0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
 01,,,000,,,00000,000,,,,,]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],
 [[0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0],
,,,000000,,,,,00,,,]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
,00,000000100000]
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0],
  00000000000000000,,000000,
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0  [0,0,0,0,0,0,0,0,0,0,,0,0,0,0,0,00,0,,0,0,,0,0,0]
  [0, [,,,,,,,,,,000,0,0,0000,,000,],
  [0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,  0,00000100,0,000,000,0000java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,,,,,1,,,,000,
  [0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [,00,,,,,,,,,,,,,,0,00,00,0]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [000000,,,,,,,0,,,,,00000,
  [0,0,0  0000000,000000100000000
  [  [,00,,,,,,1,2]
  [0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,  [000,,,,0,,0,,2]java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
    ,00,,0,,0,,,0,0,0,,,,,,]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
[000000,00000,,,0,0,,,,,,,,]],

[ # Q-class [25][02]
 [[2],
  [1,2],
  [1,1,2],
  [1,1,1,2],
  [1,1,1,1,2],
  00,,,2,
  [0,0,0,0,0,1,2],
  [0,0,0,0,0,1,1,2],
 [0000,112,
00,,java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
  [0,0,0,0,0,0,0,0,0,0,2],
  [0,0,0,0,0,0,0,0,0,0,1,2],
  [0,0,0,0,0,0,0,0,0,0,1,1,2],
  [0,0,0,0,0,0,0,0,0,0, ,,,,,00,0,,,,,00,,,000,,,]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
[,0,,,,,,,,11,11,,
[,,,0,0,,,,,,,,,,,2]java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,2],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2],
  [0,0,0,0,0,0,0,0,0,  10,0,,00000000,0000000000,0,]]java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
  0,00,0,00,,0,,,,2,
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2],
,  00,,,,12java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2],
  [0,0,0, 00000,0,,,0,0000,,00001111,]java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
,,0,,,,,,,,0,000,0,,001,
 00,,,,,,,,,,,000,,0-,1,
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1],
  [0,0,0,0,0,0,0,0,0,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,0,0,0,0,0,0,0,0,1,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,,,,,,,,00,1,,0,,0,,0,
  [0,,,,0,0,0,00,00,0,0,0,0,-1,0,0,1,0,0,,00]
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,  0-1,00,,,,,],
  00,0,,0,,0,0,,,,,,,0,0,0,0,0,00,0,],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,-1,0,1,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0],
0,,,,0,00-,,0000,0,
  [0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,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,0,0,0  0,,0,,0,000000,0,0,,0,,0,,0,,00]
  [0,0,0,0,1,0,0,0 [,,,,,,,,0,,,00000,00,,00,
  [0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
00000000,,000,
010,01,0,,0,0000000000,,
  [-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],
 [[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
,,,,,00,,0,,,0,0,0,,,,00,0,0,,,,],
  [0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0]0,00100,0000000,000000000,
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1],
  [0,0,0,0,0,0,0,0,0,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,0,0,0,0,0,0,0,0,1,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,1,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,0,0,0],
  [0,0,0,0,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,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,-1,,0,01,,00,,000,0,00,,,,],
 [[10,,0,,0,0,,00,,0,,0,,0,0,,0,,0,0],
  [0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [000,,,1,,,,,,,,,0,,0,00,,0,0,00,],
  [0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  0000,,,,10,,0,,,00000,,,00,
  [0,0,0,0,0,1,0,0,-1,0,[,,,000-,,,,,,,,,,,,,0,00,0,0,0],
  [0,0,0,0,0,1,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [00000,0000,,,00,00,000,,,,,],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1],
 00,,00,,0,0,,,,,,,,,,,,,,,-,0,]java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,- [,,,,,,0000,,0000000,,,,,0,
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0],
0,0000, ,,,,,,00,,0,,0,0,,,,,,0
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,0,0,0],
  [0,0,0,0,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,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,-1,0,1,0,0,0,0,0,0,0,0,0,0],
000000000-0,1,,000,,0000,
  [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]]]],

[ # Q-class [25][03]
 [[4],
  [2,4],
  [1,1,4],
  [2,2,2,4],
[,,,,]java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
  [1,2,0,1,0,4],
  [2,1,1,1,2,0,4],
  [1,1,1,1,1,-1,1,4],
  [1,1,1,1,1,0,2,2,4],
  [2,1,1,1,2,0,2,1,1,4],
  [1,1,2,2,1,0,2,1,2,1,4],
  [1,1,2,1,2,0,1,2,2,1,1  0,,0,,,10,00,,0,,,0,,0,,,,,,,,0,
  [1,1,1,1,1  00000,-,,,,,,,,,,,00,,00,0,
  [0,,,,,-,,,,0,,0,,,,,,000000,
  [2,1,1,1,2,-1,2,2,1,2,1,1,1,1,4],
  [1,2,1,1,1,0,2,1,2,1,2,1,2,1,1,4],
  [1,1,2,2,1,-1,1,2,1,1,2,1,1,1,2,1,4],
  [2,2,1,2,1,1,1,1,1,1,1,1,2,2,1,1,1,4],
  [1,1,1,1,1,0,1,2,2,2,1,2,1,2,1,1,1,1,4],
  [1,1,2,2,1,0,1,1,1,2,2,1,1,1,1,1,  ,000,0,000000,,000,0-,,
  [1,1,1,1,1,0,1,1,1,2,1,1,2,1,1,1,1,2,2,2,4],
  [1,1,1,1,1,-1,1,2,1,1,1,1,2,1,2,1,2,2,1,1,2,4],
  [1,1,2,1,2,0,1,1,1,1,1,2,2,1,1,1,1,2,1,1,2,2,4],
  [1,2,2,1,,0,11,1,1,1,21,,1,2,1,1,,,1,12,]
  [1,2,1,1,1,0,1,1,1,2,1,1,1,1,1,2,1,1,  0,00,000000,,,,,,,,10100,000,
 [[[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1],
  [0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,-1,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,-1,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,1],
  [0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,1],
  [0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,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,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,-1,0,0,0,-1,0,0,0,0,1],
  [0,-1,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,1],
  [0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,1],
  [0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,[,,0010000,,,,100,100,1java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
  [0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,-1,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,0,0,-1,0,0,0,1],
  [0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,-1,0,0,0,1,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,1,0,0,-1,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1],
  [1,-1,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,0,1],
  [0,-1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,-1,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,-1,1],
  [0,0,0,0,1,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1]],
 [[-1,0,0,0,0,0,0,-1,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,-1,0,0,0,0,0,1,0,0,0,0,0,0,0,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,1,-1,0,0],
  [0,0,0,0,0,0,0,-1,0,0,0,0,0,1,0,0,0,  0,00000,,,,,00000,000,10001,
,-00-,000,,0,,,0,00,0,,0,,00,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,-1,0,0,0,0,0,0],
  [0,0,0,0,0,0,-1,-1,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],
,,-]java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
  [0,1,0,0,0,-1,0,-1,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,-1,1,0,0,0,-1,0,0,0,0,0,0,0,0,1,0,0,0],
  [0,1,0,0,0,-1,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,-1,0],
  [0,0,0,0,0,0,0,-1,1,0,-1,0,0,0,0,0,1,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,-1,0,-1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,-1,0,-1,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,1,0,-1,1,0,0,0],
  [0,0,0,-1,0,0,0,-1,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0],
  [0,1,0,0,0,-1,  [,,,,,,,,,,,,,,,1,,,,10,0001,
  [0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0],
  [0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,  0-,,,,,,0,,0,0,0,0,0,0,0,0,,0,1,,0,0,0,1,
  [0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1,0,1,-1,0,0,0,0,0],
  [0,0,-1,0,0,0,0,-1,0,0,0,1,0,0,0,0,1,0,0,0,0,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,0,0],
  [0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],
 [[1,00,00,0,,,,,,0,,,,0,0,0,0,0,0000,
  [0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0],
  [0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,,0,0,,0,0,,0,]java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0],
  [0,0,0,0,0,0, 0,,0,0,,,10,,,,,0,0,,0,,,,-,10,00,
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0]]]],

[ # Q-class [25][04]
 [[6],
  [3,6],
  [2,2,6],
  [2,2,2,6],
  [2,2,2,0,6],
  [2,2,3,2,2,6],
  [2,2,3,2,2,0,6],
  [,31,1,1,01,]java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
  [1,1,1,3,0,1,1,2,6],
  [2,3,2,1,1,1,1,3,2,6],
  [1,2,1,0,3,2,0,2,1,1,6],
  [,,2,,2,,2,,1,0,,6,
  [2,1,3,1,2,0,2,2,1,2,1,1,6],
  [2,2,1,2,0,1,0,2,1,2,2,2,2,6],
  [1,2,3,1,1,1,2,2,2,2,3,0,3,2,6]  0,,10,,0,,-,,,0,00,0,,10,,,0,,,0,0,
  [2,2,2,2,0,0,2,2,2,2,0,1,3,2,3,6],
  [2,1,2,2,1,1,0,2,2,2,1,2,2,2,1,2,6],
  [,,,0,,1,1,1,1,,3,,2,2,,1,,6],
  [0,2,0,2,2,0,1,2,2,2,2,0,2,2,2,2,1,2,6],
  [2,2,2,0,2,2,0,1,0,2,2,1,2,2,2,2,2,2,0,6],
  [2,1,1,2,1,2,-1,2,2,1,2,2,1,2,1,1,0,1,1,1,6],
 [2,1,,1,,0,3,,2,,01,,1,,2,2,1,,2,1,],
  [1,0,2,2,2,2,0,2,1,2,2,1,2,1,2,2,2,2,2,2,2,0,6],
  [2,1,3,1,1,0,3,2,2,2,0,1,2,0,2,3,1,2,0,2,1,3,2,6],
[22,2,,32,,2,,1,3,,1,2,1,1,,3,2,,2,12,,6]],
 [[[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,1],
  [-1,-2,-1,2,2,1,-1,0,-1,2,2,0,1,1,0,1,0,-2,-1,-1,-1,-1,-2,2,0],
  [0,0,2,0,1,-1,-1,0,1,0,2,0,-1,1,-2,1,-1,-1,0,-1,-1,1,1,0,-1],
  [-2,-2,-2,3,3,2,-1,1,-1,2,2,0,1,1,0,1,0,-2,-1,-1,-1,-1,-3,3,-1],
  [-2,-3,-2,3,4,2,0,1,-1,3,2,-1,1,2,0,1,1,-3,-2,-1,-1,-2,-3,3,-1],
  [0,1,1,-1,-1,-1,-1,-1,0,0,1,1,0,0,-1,0,-1,-1,1,0,0,1,1,0,1],
  [2,2,1,-2,-2,-1,0,-1,1,-2,-2,0,-1,-1,1,-1,0,2,1,0,1,1,2,-2,1],
  [1,-1,1,0,0,0,0,0,0,0,0,-1,-1,0,0,0,0,0,1,0,0,0,0,0,0],
  [2,0,-1,0,-1,0,0,0,0,-1,-3,-1,0,-1,3,-1,0,2,0,1,0,-1,0,-1,2],
  [-1,-2,-2,2,3,2,0,1,-1,1,0,-1,0,1,1,1,1,-1,-1,-1,0,-1,-2,2,-1],
  [0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [0  2212010,122226,
  [1,1,0,-1,-1,0,0,0,0,-1,-1,0,0,-1,1,0,0,1,0,0,0,0,1,-1,1],
  [0,-1,0,1,1,0,-1,0,-1,1,1,0,0,0,0,1,0,-1,0,-1,0,0,-1,1,0],
  [2,2,3,-3,-3,-2,0,-1,1,-2,0,0,-1,-1,-2,0,-1,1,2,0,1,3,3,-3,1],
  [2,1,2,-1,-2,-1,-1,0,1,-2,0,0,-1,-1,-1,0,-1,2,1,0,0,2,2,-2,0],
[,,1,,,,,,0,1,1-,,01,001,000,,,]
  [1,2,2,-1,-1,-1,-1,0,1,-2,0,0,-1,0,-1,0,-1,1,1,-1,0,2,2,-1,-1],
  [0,-2,-3,1,1,2,1,1,-1,1,-1,-1,1,0,2,0,1,0,-1,0,0,-2,-2,1,1],
  [-1,-1,-1,1,2,1,1,0,0,1,1,-1,0,1,0,1,1,-1,-1,-1,0,-1,-1,1,-1],
  [1,1,1,-1,-2,-1,-1,-1,0,0,1,1,0  00,000000,-0,0,,000001,
  [0,-2,-1,2,3,1,-1,1,0,1,0,-1,0,1,1,1,0,0,-1,-1,-1,-1,-[,00,,,-,,,,0,,,,,,,,
  [1,0,0,-1,-1,0  [0,,0,,0,,,,,,,1,0000,,,,0001,
  [-1,-1,0,1,2,1,-1,0,0,1,2,0,0,1,-1,1,00,,,,,,0,,-,,,,,,,,,,,,,0,1],
 [[-2,-3,-2,2,2,2,0,1,-2,3,1,0,1,0,1,1,1,-2,-1,0,-1,-2,-3,2,1],
  [0,-2,0,1,1,1,0,1,-1,1,0,-1,-1,0,0,1,0,0,0,0,0,0,-1,0,0],
  [0,-2,0,2,1,1,-1,1,-1,1,0,0,0,0  [0,0,00,0,,0-100,00000,,,000001,
  [1,1,0,-1,-2,0,0,0,0,-1,-2,0,0,-1,1,-1,0,2,1,1,0,0,1,-1,1],
  [1,0,0,  [0,,,,,,,-1,0,,,,0,,,,000000,,
  [1,1,0,0,-1,,0,0,,-,-,0,0,-,,-1,,2,0,0,0,,-,0]java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 60
1,000--,-,,,,,,100,1,,-10]java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 60
  [-2,-2,0,2,2,1,-1,1,-1,2,3,0,0,1,-2,2,0,-2,-1,-1,-1,0,-2,2,-1],
  [1,3,3,-2,-3,-2,-1,-1,1,-2,1,1,-1,-1,-3,0,-1,1,2  0,-,,,,,,,,,,,,,,,,,,,,,0,,1,
,11,,0-,,1,1,,,,,1,0-,,,,,10,0]
  [1,0,0,0,-1,0,0,0,0,0,0,0,0,-1,0,0,0,1,0,0 [,1,,,000,0,0,0,,,,,,,,,,]
  [1,2,1,-2,-3,-1,0,-1,0,-1,0,1,0,-1,0,-1,0,1,1,0,0,1,2,-1,1],
  [-2,-3,-2,3,3,2,-1,1,-2,3,1,0,1,1,1,1,1,-2,-1,-1,-1,-2,-4,3,0],
  [0,-2,-1,1,1,1,0,1,-1,1,0,-1,0,0,1,0,1,0,0,0,0,-1,-2,1,0],
  [0,-2,-1,2,1,1,-1,1,-1,1,0,0,0,0,1,0,0,0,0,0,-1,-1,-2,1,0],
  [-2,00,0,,,,,,,,,,,00-,,,00,,0,,1]java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
0,2-,2-,1000110-,20,-,,,,,,1,-1,1],
  [1,1,2,-1,-2,-1,0,0,0,-1,0,0,-1,-1,-1,0,0,1,1,0,1,2,1,-2,0],
  [1,0,0,0,0,0,0,1,0,-1,-2,-1,-1,0,1,0,0,2,0,0,0,0,0,-1,0],
  [0,-1,0,1,0,0,-1,0,-1,1,0,0,0,-1,1,0,0,0,0,0,0,0,-1,0,1],
-1-21100-,,,,,,,,,1,,,,2-22,0,
  [0,0,0,0,-1,0,-1,0,-1,0,0,1,0,-1,0,0,0,0,1,0,0,1,0,0,1],
  [-1,-1,-1,2,1,1,-1,1,-1,1,0,0,1,0,1,0,0,0,-1,0,-1,-1,-2,1,0],
  [-1,-2,0,2,1,1,-1,1,-1,1,1,0,0,0,0,1,0,-1,0,0,-1,0,-2,1,0],
  [1,1,1,-1,-2,0,0,0,0,-1,0,0,0,-1,-1,0,0,1,1,0,0,1,1,-1,0]]]],

[ # Q-class [25][05]
 [[2],
 12,
  [1,1,2],
  [1,1,1,2],
  [1,1,1,1,2],
  [1,1,1,1,1,2],
  [1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2]
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
1111111,1,,1,,,,,111112,
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[111,11,111,,,,,,,,1,,111,2,
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2]],
 [[ [0,,1,0,000,00,,00,,,,,,,0,,,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1],
  [0,0,0,0,0,0,0,0,0,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,0,0,0,0,0,0,0,0,-1,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,1],
  [0,0,0,0,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,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,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,0,0,0,0,1],
  [0,0,0,0,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,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,-1,0,0,0,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,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,-1,0,0,0,0,0,0,0,0,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,0,0,0,0,0,0,0,0,0,1],
  [0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1]],
 [[-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1],
  [0,0,0,0,0,0,0,0,0,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,0,0,0,0,0,0,0,0,-1,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,1],
  [0,0,0,0,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,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,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,0,0,0,0,1],
  [0,0,0,0,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,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,0,-1,0,0,0,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,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,-1,0,0,0,0,0,0,0,0,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,0,0,0,0,0,0,0,0,0,1],
  [0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
  [0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1]]]]
];

MakeImmutable( IMFList[25].matrices );


Messung V0.5 in Prozent
C=91 H=95 G=92

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.45Angebot  ¤

*Eine klare Vorstellung vom Zielzustand






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Statistik
#Sources=1128594
#Domains=1976912