Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/GAP/pkg/hap/lib/Homology/BarCodes/ (GAP Algebra Version 4.15.1^©) Datei vom 19.6.2025 mit Größe 9 kB

Quelle DerivedSeries_32.gi Sprache: Shell

HAPBARCODE:=
[
[
   [ [[-1], [-1, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1, -1, -1], [-1, 1, 2, -2, -1, 1]],  [[1, 2], [1, 0, -2, 0, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -2, 1]],  [[-1, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 2, 0, -2, 1]],  [[1, 1, -1], [1, -1, -1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[1], [1, -2, 1]],  [[1, -1, 1], [1, -1, 0, 0, -1, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 2, 0, -2, 1]],  [[-1, -2, -1, -1], [-1, 0, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[1], [1, -2, 1]],  [[1, -1, 1], [1, -1, 0, 0, -1, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1, 1, -1], [-1, 3, -4, 4, -3, 1]],  [[-1, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[1], [1, -2, 1]],  [[1, -1, 1, -1, 1], [1, -1, 0, 0, 0, 0, 0, 0, -1, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1, 0, 1, 0, 0, 1], [1, -2, 2, -2, 2, -2, 2, -2, 1]],  [[1, 2, 2, 2, 1], [1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 2, 0, -2, 1]],  [[1, 1, -1], [1, -1, -1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -2, 1]],  [[-1, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -2, 1]],  [[-1, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -2, 1]],  [[-1, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -2, 1]],  [[-1, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -2, 1]],  [[-1, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -2, 2, -2, 1]],  [[-1, -1, 0, 1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -2, 2, -2, 1]],  [[-1, -1, 0, 1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -2, 1]],  [[-1, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -2, 2, -2, 1]],  [[-1, -1, 0, 1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1, -1, -1], [-1, 1, -1, 1]],  [[1, 2, 2, 1], [1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -2, 1]] ]
],

[
   [ [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -3, 2, 2, -3, 1]],  [[-1, -1, 1], [-1, 2, 0, -2, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 3, -3, 1]],  [[1, 1], [1, -2, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 3, -4, 4, -3, 1]],  [[1, 1, 0, -1], [1, -2, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 3, -3, 1]],  [[1, 1], [1, -2, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1, 1, 1], [1, -2, 2, -2, 1]],  [[-1, -2, -2, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[1], [1, -2, 1]],  [[1], [1, 0, -2, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -3, 2, 2, -3, 1]],  [[1, 1, -1], [1, -2, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[1], [1, -2, 1]],  [[1], [1, 0, -2, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 3, -3, 1]],  [[-1, -2, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[1], [1, -2, 1]],  [[1], [1, 0, -1, 0, -1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 3, -4, 4, -3, 1]],  [[-1, -2, -1, 1, 1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[1], [1, -2, 1]],  [[1], [1, 0, -1, 0, -1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1, -1, 0, -1], [-1, 2, -1, 0, 1, -2, 1]],  [[-1, -2, -1, 1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[1], [1, -2, 1]],  [[1], [1, 0, -1, 0, -1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 3, -4, 4, -3, 1]],  [[-1, -2, -1, 1, 1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[1], [1, -2, 1]],  [[1], [1, 0, 0, 0, -2, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1, 1, 1, 1, 1], [1, -2, 3, -4, 3, -2, 1]],  [[1, 3, 4, 2], [1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[1], [1, -2, 1]],  [[1], [1, 0, 0, 0, -2, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1, 0, 0, -1, 1], [-1, 3, -5, 7, -7, 5, -3, 1]],  [[-1, -2, -1, 2, 1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[1], [1, -2, 1]],  [[1], [1, 0, -2, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 3, -3, 1]],  [[-1, -2, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[1], [1, -2, 1]],  [[1], [1, 0, -1, 0, -1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1, 1, 1], [1, -2, 2, -2, 1]],  [[1, 3, 4, 3, 1], [1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 3, -4, 4, -3, 1]],  [[1, 1, 0, -1], [1, -2, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1, 1, 1], [1, -2, 2, -2, 1]],  [[-1, -2, -2, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 3, -3, 1]],  [[1, 1], [1, -2, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 3, -4, 4, -3, 1]],  [[1, 1, 0, -1], [1, -2, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1, 1, 1], [1, -2, 2, -2, 1]],  [[-1, -2, -2, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1, 1, 1], [1, -2, 2, -2, 1]],  [[-1, -2, -2, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1], [-1, 3, -4, 4, -3, 1]],  [[1, 1, 0, -1], [1, -2, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 0, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1, 1, 1, 0, 0, 1, 1], [1, -2, 2, -2, 2, -2, 2, -2, 1]],  [[-1, -2, -2, -1, 0, 1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[-1], [-1, 3, -3, 1]] ]
],

[
   [ [[1], [1, -4, 6, -4, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1], [1, -4, 6, -4, 1]],  [[-1, -1], [-1, 3, -3, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -4, 6, -4, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1, -1, -1], [-1, 3, -4, 4, -3, 1]],  [[1, 2, 2, 1], [1, -2, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -4, 6, -4, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1, -1, -1], [-1, 3, -4, 4, -3, 1]],  [[1, 2, 2, 1], [1, -2, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -4, 6, -4, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[-1, -1, -1], [-1, 3, -4, 4, -3, 1]],  [[1, 2, 2, 1], [1, -2, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -4, 6, -4, 1]] ]
],

[
   [ [[-1], [-1, 1]],  [[-1], [-1, 0, 0, 0, 0, 0, 0, 0, 1]],  [[1], [1]] ],
   [ [[0], [1]],  [[1, 2, 3, 3, 3, 2, 1], [1, -2, 2, -2, 2, -2, 2, -2, 1]],  [[-1, -3, -5, -6, -6, -5, -3, -1], [-1, 1]] ],
   [ [[0], [1]],  [[0], [1]],  [[1], [1, -4, 6, -4, 1]] ]
],

[
   [ [[-1], [-1, 5, -10, 10, -5, 1]] ]
]
]
;

Messung
C	H	Z	G
81	100	100	93

¤ Dauer der Verarbeitung: 0.7 Sekunden ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

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.