Eine aufbereitete Darstellung der Quelle

 
     
 
 
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,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,##  This file's authors include Volkmar Felsch.
IMFList[25].matrices := [ # Q-class [25][01][]java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 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,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,  [,000,0001,
  [,000,,,,,,,,,,,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,01,
0,000000000000000000100,]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [0,[0,,,,,,,,0,,,,,,,,,0,000,,]
  [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,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],
  [  [00,00,,0,0,,,000000,00,100,,
  [  [0000000,,,,  00,0,,00,001,,,,,,0,0,
  [,,,,,,,,,01,,000,,,,,0,00,0,0,
  [,,00,,0,00,,,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,0000,000,00000]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [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,,00,00,,0,,0,,0,00,,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,,00,,0,,0,0,0]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,,00,0,00,,,,,0,0,0,0,,,,]
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,  0000100000,000000000,000,
  [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],
[0000,0000,,,,,,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,0,0,0,0,0,1,0,0,0,0,0,0,0,0],
  [0,0,0,0,,00,0,0,0,0,,,00,,00,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,00,,,0,0,0,0,1,,0,,0,0,
  [0,0,0,  [,,,,,,,,,,,,,,,,,10,0,,,,,]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],
  [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,000,,0000,0]
  [0,,,,000,,,000,,0000java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
 0000000010,,,,0,0,0,,,,,,,,,java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
[,,,,,,,,,,,,,,,,,,,,,,,,],
 0000,,,10,00,,,,,0,00,,,,,]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [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,00,0,,,0,,,,,,,,0,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,0,,00000,0,00,000,0,0,,,,,,,

[ # Q-class [25][02]
 [[2],
  [1,2],
  [1,1,2],
  [  [,,,,,,10000000,0,00,0,0,,,,]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
 11112]
  [000,0,02,
  [0,0,0,0,0,1,2],
  [,,,,,,,]
  [0,0,0,0,0,1,1,1,2],
00,00111,1,2]
  ,,,,,0,02,
  [0,0,0,0,0 0,,00,1,0,0000,,,,0,
[00,0,0,0  ,,,,1,,00,0,0,00java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [0,0,0,0,0,0,0,0,java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 0
  [  1112,
  [0,0,0,0,0,0,0,0,0,0,0,0,  [,0,0002]
  [0,0,0,0,0,0,  [,0,,0,0,,1,,2],
  [  [0,,00,11112]
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,2],
  [,,0,0,,,0,,,,00,,,0,1,,1,1,],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0  000,000000,0002,
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2],
,,,,,,,,,,,000,0,,,0,00,1,2
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0  [2,
 [[[0,0,0,0,0,0,0,0,0,0,0  [0,,,  00,,,00,,,0,,,,,2java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,  [,,00,11]java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
  [0  00000,00001,2]
  [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,  [00000,,0,,,,,,1,,,,]java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
 000000,,0,,000-,,,,,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,0000,,,0,,,1100,0000,000,
  [0,0,0,0,0,0,0,0,0,0,0,0,-1,0,1,0,0,0,0,0,0, [[[00,00,0,00000000,0,,,,,00,,,,1],
  [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
000,0,,-,010,,,0,0,00,00,,,00,00,
  [0,0,0,0,0,0,-1  [0,0,0,0 00,000,0,,,,00,,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,10,0,10,,00,,,,,,0000000,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]],
 [100,00,0,000,,,,,,,0,,,0,,,,]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [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,-,,0000,0,0,0,0,0,0,0,0,0,0,[,,000,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,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,,,,,0000,,0,,-,,,,,,,,0,0,0],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,  [000010,0000000,00,000,
  [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],
[,,,,,,,,,,,00,,00,,-,0,1,0,,000,
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,0,0,00,0,0,0,,00,,,,000]
  [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,,000000,00,00,0,0,000,0,00java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [0,  ,,,001,0000000,0,000,0java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [0,0,0,0,0,0,0,-1,0,1,0,0,,,,,010-,00,00,,,0,,0,,000,,0,],
  000,,,-1001,0,0,0000,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]],
 [[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,,,,,000,,,,,,,,,00,0,java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [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 [,,,000000000,00,,000-,01,
  [,001,000,0,0,,,,,,,,,,,,,00,]
  [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],
 000001,,,,,,0,,,,,,,0,0000,,0]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [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,-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,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
0,,,,0,,,00000,],
  [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,1,,,1,0,,0,0,,,,,]java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
  [0,0,0,0,0,0,0,0,0,0,  000000000,00000000000-000]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,-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],
,,,00,11,0,,,,,,,,,]java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
  [0,0,0,0,0,0,0,0, [0,,,,,,,,,0,,1001,,000,0,,,]java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
  [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,  [24,

[ # Q-class [25][03]
 [[4],
    12010,,
  [1,1,4],
  [2,2,2,4],
  [2,1,2,1,4],
  [1,2,0,1,0,4]java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
  [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],
    221,,,,,21124
[,,,,2,,,2,,,1,]
  [1,1,1,1,1,0,2,1,2,1,2,1,4],
  [2,2,1,2,1,1,1,2,2,1,1,2,1,4],
  [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,2101112211111212,,
 111110111,112111,,,,
  [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,2,0,1,1,1,1,1,2,1,1,1,2,1,1,1,1,1,1,2,4],
  [1,2,1,1,1,0,1,1,1,2,1,1,1,1,1,2,1,1,2,2,2,1,1,2,4]],
 [[[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,,00,00,0,0,,,,,00,,,0,-,,,,]java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
  [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,1,,,1,,,100100,,000,,,,
  [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,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,-1,0,0,0,1,0,0,0],
  [0,0,0,0,-1,0,0,-1,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,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],
  [0,1,,0,0,1,,-1,,00,,0,0,0,0,,0,,0,,0-1],
  [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,,-10,,,,,,,,,00,0000]
  [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],
  [000,0,,,-,1,0000000000,000000,
  [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,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,1,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,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,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,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,java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
  [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,,01,,0,0,0,00,,0,0,0,,0,,0,00]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
[,,,0,1,,0,0,,,0,,0,0,0,,0,,,0,0,,000]java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
  [0,0,0,0,0,0,0,0,0,0,1,  00000010000java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 66
  [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,,,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,1,0,0,0,0,0,0,0,0,0,0,0,0,0],
  0,,1,,0,,0,,0,,00,,,,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],
  [,00,,0,00,,0,0,00,,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]]]],

[ # Q-class [25][04]
 [[6]  3,,
  [3,6],
  [2,2,6],
  [2,2,2,6],
  [2,2,2,0,6],
  [2,2,3,2,2,6],
  [2,,3,,2,,6,
  [3,3,1,1,1,0,1,6],
  [1,1,13,,11,2,],
  [2,3,2,1,1,1,1,3,2,6],
  [1,2,1,0,3,2,0,2,1,1,6],
  [3,0,2,2,2,2,2,1,1,0,0,6],
  [2,1,3,1,2,0,2,2,1,2,1,1,6],
  [,,,,,,,,,,,,,]java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
  [1,2,3,1,1,1,2,2,2,2,3,0,3,2,6],
  [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,2,0,3,1,1,1,1,3,3,1,2,2,1,1,2,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,  2112,,,,21221,1101,1,6,
  [2,1,2,1,1,0,3,1,2,2,0,1,3,1,3,2,2,1,0,2,-1,6],
  [1,0,2,2,2,2,0,2,1  2,1,31103,22012023,,,21326,
  [2,1,3,1,1,0,3,2,2,2,0,1,2,0,2,3,1,2,0,2,1,3,2,6],
  [  00,,,,,,,00000,000-1,0,0,,,01,
0,00000,001,
  [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,20-0-00,03-0-,10,10-0-2java.lang.StringIndexOutOfBoundsException: Index 63 out of bounds for length 63
  [10,,0,0,0,,00000,
,10-,00-,,10-3-,2010-0-12,
  [-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],
  00000,000,0,0,0,,,00,,,,,0,0,]
  [0,0,1,0,0,0,-1,0,0,0,1,0,0,0,-1,1,-1,0,0,-1,0,1,0,0,0],
  [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,  10-1001,0,0-,1-,,,,,,1,0,,,,,]
  [1,0,-1,0,0,1,0,0,0,-1,-1,-1,0,0,1,0,0,1,0,0,0,0,0,0,0],
  [1,2,2,-1,-  1--,2110,,-01011---0--1-]
  [0,-2,-3  [11-1,2-,1,10,0-,-10,101,,,11,0,1]java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
 -,1,-,1,2,1,1001,,1,,1,,0,,,1,-,1,,-1,-1,1,1,1],
  [1,1,1,-1,-2,-1,-1,-1,0,0,1,1,0,-1,-1,0,-1,0,1,0,0,1,1,0,1],
  [0,-2,-1,2,3,1,-1,1,0,1,0,-1,0,1,1,1,0,0,-1,-1,-1,-1,-2,1,-1],
  [1,0,0,-1,-1,0,0,-1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1],
  [-1,-1,0,1,2,1,-1,0,0,1,2,0,0,1,-1,1,0,-2,0,-1,-1,0,-1,2,-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,1,0,0,0,0,0,-1,-1,-2,1,0],
  [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,0,-1,0,-1,0,0,-1,1,0,0,1,0,0,0,0,0,-1,1],
  [1,1,0,0,-1,0,0,0,0,-1,-1,0,0,-1,1,-1,0,2,0,0,0,0,1,-1,0],
  [1,0,1,-1,-1,0,0,0,0,-1,-1,0,-1,0,0,0,0,1,1,0,0,1,1,-1,0],
  [-2,-2,0,2,2,1,  1-1,1,10-,,1,,10-0-10-,,0,,100java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
  [1,3,[,1--,-0-0-010-0-,110,12-1,
  [-1,-1,1,1,1,0,-1,1,-1,1,1,0,-1,0,-1,1,0,-1,0,0,0,1,-1,0,0],
  [1,0,0,0,-1,0,0,0,0,0,0,0,0,-1,0,0,0,1,0,0,0,0  [,-,-,,,,1,1,,,,,,,,0,,,1-,210,
  [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],
  [--,-,32-,,2310,11,,,2-1,,1,1,2,-43,]
  112---0-,--00110121,0,
  [0,-2[,00,,,,0,1,0,-1-,1-,,,,,200000-,]
  [-2,-2,0,2,2,1,-1,1,-1,2,2,0,0,1,-1,1,0,-2,0,-1,-1,0,-2,2,-1],
  [0,1,2,-1,-2,-1,-1,0,0,0,1,1,0,-1,-2,0,-1,0,1,0,0,2,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],
0,0,0-,,-01002000,,,1,,
  [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,-1,-2,2,1,1,0,0,-1,2,1,0,1,0,1,0,1,-1,-1,0,-1,-2,-2,2,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,21,1-11,1,,0,,10,1,0,0,0,-1,,-,-1,2,,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, [2,

[ # Q-class [25][05]
  1,112,
  [1,2],
  [1,1 [,,,,,,],
  [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],
  [,,,,,,,,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,11,1,1,,,,,,12,
1111111112,
  [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,1111,1,11,2,
  [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,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  1,1111111,1,1,1,11,11,1,,,]
  11111,1,,,,1,1,1,,,,,11,,1,,1,]java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  [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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,00,,00000000000]
,00,,0,,0000,0000-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,  10,10,1000,1,,100,,,,,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,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,00,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,1],
  0,0,00,0,0,0,0,0,0,0,0,100,,0,00,000,1],
,0000000-,0,,,,00000,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,-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,00,1,,,,,,,,0000,0,,,,,]java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
  [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,10000-100-1,200,,,-0,
  [0,0,0,-1,0,0,0,0,0,0,0,0,0  [1,0,1,-1,-1,,0,,,-,1,,10,,,,1,,,11-,,
  [0,0,-1,  00,0-,,,00,,,,,00000001java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
[,-00000,00000,000,000,0]
  [-1-,,11,,11-,1,,,10-,,,10001-,]
 [[-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],
[0000,,,,0,,,,,,,,0,0,0,0,-1,1]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,0,0,0,1],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,[000,,,0,,,,,,000,00,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,-1,0,0,1],
[00,,,00,,0,000-,,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,-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,,000,,0000,,,1000,,,00,1],
  [0,,,1-,1-,,,,,,,1-2,0,101002java.lang.StringIndexOutOfBoundsException: Index 63 out of bounds for length 63
  [0,0,0,0,0,0,0,0, [,]java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
  [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,,,00-0,,,,0,,,00000,]
  [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],
00-,,,,0,,0,,00,,,000000001,
  [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

¤ 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.0.42Bemerkung:  ¤

*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