TFPT scientific source excerpt
Original repository path: verification/v17_hexagonal_resolvent.py
Original file SHA-256: b41a5cbab3ec83793ea903db1377dea15f89fbd2cd6022cb79ec66f0fe463b1e
Inclusive original lines: 16-29
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000016 | import sympy as sp
000017 | from tfpt_constants import check, summary, reset
000018 | 
000019 | y, d = sp.symbols('y delta')
000020 | 
000021 | 
000022 | def U6_power(m):
000023 |     """m-th power of the 6x6 cyclic shift (U6)^m."""
000024 |     P = sp.zeros(6)
000025 |     for i in range(6):
000026 |         P[i, (i + m) % 6] = 1
000027 |     return P
000028 | 
000029 |