# Manifold: H T Link Exterior K8a8 # Number of Tetrahedra: 6 # Number Field x^8 + x^7 + 12/7*x^6 + 41/7*x^5 - 29/7*x^4 - 67/7*x^3 + 8*x^2 + 25/7*x - 41/7 # Approximate Field Generator 0.645034097540495 + 0.547996466190825*I # Shape Parameters -35461426/268585391*y^7 - 35768159/268585391*y^6 - 64358524/268585391*y^5 - 242806772/268585391*y^4 + 180271184/268585391*y^3 + 240493451/268585391*y^2 - 243327085/268585391*y + 282945613/268585391 192248112/268585391*y^7 - 67993142/268585391*y^6 + 293766818/268585391*y^5 + 706825596/268585391*y^4 - 1976859761/268585391*y^3 + 227877884/268585391*y^2 + 2101655278/268585391*y - 2010013348/268585391 -48228222/268585391*y^7 + 70564242/268585391*y^6 - 57901040/268585391*y^5 - 1748828/268585391*y^4 + 773994513/268585391*y^3 - 94058248/268585391*y^2 - 420458867/268585391*y + 739803028/268585391 -44715790/268585391*y^7 - 30173626/268585391*y^6 - 155431470/268585391*y^5 - 210590237/268585391*y^4 + 65695070/268585391*y^3 + 165159260/268585391*y^2 + 66113658/268585391*y - 142443750/268585391 -1898736910/11012001031*y^7 - 572476618/11012001031*y^6 - 4548612840/11012001031*y^5 - 188701511/268585391*y^4 + 10490030827/11012001031*y^3 + 6503349778/11012001031*y^2 - 5423334029/11012001031*y + 7812071152/11012001031 -130423580/268585391*y^7 + 18649967/268585391*y^6 - 223676184/268585391*y^5 - 407998562/268585391*y^4 + 1167450858/268585391*y^3 + 296571434/268585391*y^2 - 903429271/268585391*y + 798912265/268585391 # A Gluing Matrix {{-1,2,-2,0,0,0},{1,0,1,0,0,-1},{-1,1,-1,0,0,0},{0,0,0,0,0,-1},{0,0,0,0,1,1},{0,-1,0,-1,1,2}} # B Gluing Matrix {{2,0,0,0,0,0},{0,1,0,0,0,0},{0,0,1,0,0,0},{0,0,0,1,0,0},{0,0,0,0,1,0},{0,0,0,0,0,1}} # nu Gluing Vector {2, 0, 1, 0, 1, 0} # f Combinatorial flattening {0, 1, 0, 0, 1, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0} # 1 Loop Invariant 53918004/268585391*y^7 - 570373167/537170782*y^6 - 252496677/268585391*y^5 - 325775862/268585391*y^4 - 2326621063/268585391*y^3 + 2089269343/537170782*y^2 + 2679004647/268585391*y - 3584087951/537170782 # 2 Loop Invariant -1203416115115550874251/29869697507091215878068*y^7 - 205627580867461386592/7467424376772803969517*y^6 - 1292195807075789389149/9956565835697071959356*y^5 - 7662507360367896635/37013255894784654124*y^4 + 2338063044254730936277/29869697507091215878068*y^3 + 690497123540484234711/4978282917848535979678*y^2 - 182396564012229247607/9956565835697071959356*y - 1501076269885617226779/9956565835697071959356 # 3 Loop Invariant -192097349312737720203702455/15155252273167516172462284094*y^7 - 112235244891528701509858561/15155252273167516172462284094*y^6 - 241922926616444412441683124/7577626136583758086231142047*y^5 - 511654693209165394446736576/7577626136583758086231142047*y^4 + 621662554675627302327027583/15155252273167516172462284094*y^3 + 500670920714653800101276169/15155252273167516172462284094*y^2 - 404197952895613073392595674/7577626136583758086231142047*y - 46632963300162234202254423/15155252273167516172462284094 # 4 Loop Invariant -3025709112513836341540305363097390198686487/353941023616827135974859326655836955774269520*y^7 - 269423092142549408463533202542691967439981/29495085301402261331238277221319746314522460*y^6 - 8529982269380939766616814809455924460675841/353941023616827135974859326655836955774269520*y^5 - 74243606855142858601615577499334640217793/1315765887051401992471596009872999835592080*y^4 + 511690360499918426216125592511519975320099/50563003373832447996408475236548136539181360*y^3 + 1104310659045514525624193643925810188902477/44242627952103391996857415831979619471783690*y^2 - 291355367025099064303263135613302046182706/7373771325350565332809569305329936578630615*y - 163621648268588178336794844467160719547035/10112600674766489599281695047309627307836272