# Manifold: H T Link Exterior K9a35 # Number of Tetrahedra: 6 # Number Field x^10 - x^9 - 4*x^8 - 7*x^7 + 8*x^6 - 15*x^5 - 17*x^4 - 12*x^2 - x - 8 # Approximate Field Generator 0.837232130077383 + 0.992682724670755*I # Shape Parameters 223325/29278876*y^9 - 239606/7319719*y^8 + 121216/7319719*y^7 + 529493/29278876*y^6 + 4479237/29278876*y^5 - 647313/1330858*y^4 + 13077145/29278876*y^3 + 10472573/29278876*y^2 + 92407/2661716*y + 3970793/7319719 -17961/665429*y^9 - 18379/1330858*y^8 + 145563/1330858*y^7 + 606701/1330858*y^6 + 112351/665429*y^5 + 114853/1330858*y^4 + 326833/1330858*y^3 + 1355769/665429*y^2 + 160121/1330858*y + 135084/665429 134403/5323432*y^9 - 478349/5323432*y^8 - 25072/665429*y^7 + 366111/5323432*y^6 + 1702129/2661716*y^5 - 4295871/5323432*y^4 + 4060733/5323432*y^3 + 3715145/2661716*y^2 - 765443/2661716*y + 9352047/5323432 146483/2661716*y^9 + 12341/665429*y^8 - 230545/665429*y^7 - 1644993/2661716*y^6 + 108175/2661716*y^5 + 292721/1330858*y^4 - 5440909/2661716*y^3 + 217707/2661716*y^2 - 1750969/2661716*y + 816027/665429 -63175/5323432*y^9 - 71909/5323432*y^8 + 66434/665429*y^7 + 1056077/5323432*y^6 - 17758/665429*y^5 - 2559851/5323432*y^4 + 2201427/5323432*y^3 + 229627/665429*y^2 - 68654/665429*y - 3838537/5323432 70085/5323432*y^9 + 140761/5323432*y^8 - 113221/1330858*y^7 - 1527819/5323432*y^6 - 522165/2661716*y^5 + 976643/5323432*y^4 - 2283377/5323432*y^3 - 936341/2661716*y^2 - 91023/2661716*y + 1266673/5323432 # A Gluing Matrix {{1,0,1,0,0,0},{0,0,-1,0,0,0},{1,-1,0,1,0,-1},{0,0,2,1,0,0},{0,0,0,0,-1,1},{0,0,-1,0,1,0}} # B Gluing Matrix {{1,0,0,0,0,0},{0,1,0,0,0,0},{0,0,1,0,0,0},{0,0,0,2,0,0},{0,0,0,0,1,0},{0,0,0,0,0,1}} # nu Gluing Vector {1, 0, 0, 2, 1, 0} # f Combinatorial flattening {1, 2, 0, 2, 0, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0} # 1 Loop Invariant 311345/2661716*y^9 - 586955/2661716*y^8 - 1388615/2661716*y^7 + 65891/1330858*y^6 + 4857603/2661716*y^5 - 7080999/2661716*y^4 - 2152130/665429*y^3 + 26042481/2661716*y^2 - 1725802/665429*y - 1115123/1330858 # 2 Loop Invariant -268289419025585535187696337/118890985840101943780050213584*y^9 - 282943452772119970451580257/59445492920050971890025106792*y^8 + 1820646943726106019966019195/178336478760152915670075320376*y^7 + 6966527176773166671152870161/118890985840101943780050213584*y^6 + 16556665875380292967819284625/356672957520305831340150640752*y^5 - 977782274136189764960605151/44584119690038228917518830094*y^4 + 10621501519627966189675579523/356672957520305831340150640752*y^3 + 118727588716388432527040046425/356672957520305831340150640752*y^2 + 2589177099814456521030513341/118890985840101943780050213584*y + 1528264623659356477676447725/14861373230012742972506276698 # 3 Loop Invariant -3448662071849143879459395972764099365/3140888704688969989764648430718833815364*y^9 + 11613459646891083162862131512349039483/3140888704688969989764648430718833815364*y^8 + 7198222666438386578917432894392466829/3140888704688969989764648430718833815364*y^7 - 4358272597638476015338960871274356271/1570444352344484994882324215359416907682*y^6 - 96858078873037113764807248566906712665/3140888704688969989764648430718833815364*y^5 + 107614860962270633022668976689074304975/3140888704688969989764648430718833815364*y^4 - 24560524780756487491976526017923413095/1570444352344484994882324215359416907682*y^3 - 111791148399617450690587180099203656275/3140888704688969989764648430718833815364*y^2 - 11444103391874602006532800799224030177/785222176172242497441162107679708453841*y - 11325975185707008806514170176987758251/1570444352344484994882324215359416907682 # 4 Loop Invariant 1191487940866265174008302658139115839889433164029357451644887/2525295854727260309154771558661687657670816974588323900222870048*y^9 + 962695592916328212293381070118601798737929134928432069026617/2525295854727260309154771558661687657670816974588323900222870048*y^8 - 41341449459484169055127845920031218254018850782673579095495963/12626479273636301545773857793308438288354084872941619501114350240*y^7 - 516128912449936671434026031337621627587147203385336739729574/78915495460226884661086611208177739302213030455885121881964689*y^6 - 4807740449725375107282911665526938015626684467793274171642409/12626479273636301545773857793308438288354084872941619501114350240*y^5 + 24388745094584537093832234258099609477014227894937912102838959/4208826424545433848591285931102812762784694957647206500371450080*y^4 - 31711870164422921953738031813158167580450444287671186468698651/1578309909204537693221732224163554786044260609117702437639293780*y^3 - 65324038214141778304973826721892972081406677605360282753469413/12626479273636301545773857793308438288354084872941619501114350240*y^2 - 1385934831854982152172471127346171832784008513164424756693659/6313239636818150772886928896654219144177042436470809750557175120*y + 12290272700104088368610086922623012769962335417823409332993189/1578309909204537693221732224163554786044260609117702437639293780