{"id":"arxiv/2607.12155","url":"https://arxiv.org/abs/2607.12155","tags":["math.GT","cs.MS","math.QA"],"score":0,"title":"fkcompute: an efficient $F_K$ invariant calculator","domain":"math.GT","source":"arxiv","authors":["Paul Orland","Davide Passaro","Lara San Martín Suárez","Toby Saunders-A'Court","Josef Svoboda"],"reviews":0,"subject":"math.GT","summary":"We introduce fkcompute, an open-source package for computing the Gukov--Manolescu invariant of links from a braid presentation. fkcompute implements Park's inverted state sum through a three-phase pipeline. First, a search is performed for a suitable braid presentation and for an additional inversion data on the braid. Then, the state space of the inverted sum is encoded as a polytope, bounded by the associated linear constraint system. Finally, the invariant is constructed by multiplication of R-matrices associated to the states. Benchmarks show that prime knots up to 12 crossings, and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}