Quellcodebibliothek Statistik Leitseite 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 image not shown  

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
CHZG
8110010093

¤ Dauer der Verarbeitung: 0.3 Sekunden  (vorverarbeitet am  2026-11-04) ¤

*© Formatika GbR, Deutschland




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.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.