Skip to content

Instantly share code, notes, and snippets.

@Shamrock-Frost
Created September 5, 2023 01:16
Show Gist options
  • Save Shamrock-Frost/488d30090c2e5362b17ad1dcb2f064b2 to your computer and use it in GitHub Desktop.
Save Shamrock-Frost/488d30090c2e5362b17ad1dcb2f064b2 to your computer and use it in GitHub Desktop.
# parameter
for r in range(100):
R = IntegerModRing(r^3)
a = r
b = r^2
#koszul complex on (a, b) (shifted by 2)
d0 = matrix(ZZ, 2, 1, [b, -a])
d1 = matrix(ZZ, 1, 2, [a, b])
K = ChainComplex({ -2: d0, -1: d1 }, base_ring=R)
Kdual = ChainComplex({ 0: d1.transpose(), 1: d0.transpose() }, base_ring=R)
# K is perfect so Hom(K, K) is K^* (x) K
hom_complex = Kdual.tensor(K)
ident = vector([1, 1, 0, 0, 1, -1])
mult_r = r * ident
d = hom_complex.differential(-1)
d.solve_right(mult_r)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment