# Manifold: H T Link Exterior K9a23 # Number of Tetrahedra: 8 # Number Field x^12 + 3*x^11 + 9*x^10 + 16*x^9 + 21*x^8 + 40*x^7 + 68*x^6 + 48*x^5 + 25*x^4 + 55*x^3 + 58*x^2 + 12*x - 7 # Approximate Field Generator 0.676774069928783 + 0.825831621989722*I # Shape Parameters 517836936/1409064841*y^11 + 1099641006/1409064841*y^10 + 3697070668/1409064841*y^9 + 5058721827/1409064841*y^8 + 6460562215/1409064841*y^7 + 15147363270/1409064841*y^6 + 22016726499/1409064841*y^5 + 5795355185/1409064841*y^4 + 8216866499/1409064841*y^3 + 22224116738/1409064841*y^2 + 11512539804/1409064841*y - 2484331218/1409064841 -727943085/9863453887*y^11 - 2648143595/9863453887*y^10 - 8212968292/9863453887*y^9 - 16183761003/9863453887*y^8 - 3454202434/1409064841*y^7 - 39872114019/9863453887*y^6 - 69199032325/9863453887*y^5 - 70995007165/9863453887*y^4 - 45087969074/9863453887*y^3 - 43843167219/9863453887*y^2 - 67007337317/9863453887*y - 36715449326/9863453887 3818571536/226859439401*y^11 - 1473593966/226859439401*y^10 + 4122851480/226859439401*y^9 - 37868581745/226859439401*y^8 - 9176218375/32408491343*y^7 - 1654098435/9863453887*y^6 - 146111668345/226859439401*y^5 - 452973578802/226859439401*y^4 - 180774989544/226859439401*y^3 - 3384130298/226859439401*y^2 - 317570572551/226859439401*y - 294463334563/226859439401 11813176497/69044177209*y^11 + 42052782998/69044177209*y^10 + 124278586445/69044177209*y^9 + 246025207434/69044177209*y^8 + 49091954694/9863453887*y^7 + 604378857174/69044177209*y^6 + 1059941839461/69044177209*y^5 + 985371162577/69044177209*y^4 + 580549455358/69044177209*y^3 + 869666971702/69044177209*y^2 + 1054147731902/69044177209*y + 517977517268/69044177209 -2157188143/9863453887*y^11 - 5534201828/9863453887*y^10 - 18236340489/9863453887*y^9 - 29326678930/9863453887*y^8 - 5869047840/1409064841*y^7 - 80482216560/9863453887*y^6 - 124713893868/9863453887*y^5 - 83387549268/9863453887*y^4 - 68653996123/9863453887*y^3 - 99070912719/9863453887*y^2 - 93743974068/9863453887*y - 31947795100/9863453887 489868817/1409064841*y^11 + 913407014/1409064841*y^10 + 3258057978/1409064841*y^9 + 3931747145/1409064841*y^8 + 5085124833/1409064841*y^7 + 12973286330/1409064841*y^6 + 17523664291/1409064841*y^5 + 839504770/1409064841*y^4 + 7565873948/1409064841*y^3 + 18833154195/1409064841*y^2 + 6038288850/1409064841*y - 2747959963/1409064841 -66330620/1409064841*y^11 - 237354361/1409064841*y^10 - 648095949/1409064841*y^9 - 1270373179/1409064841*y^8 - 1536341517/1409064841*y^7 - 2814128935/1409064841*y^6 - 5150534155/1409064841*y^5 - 3841341707/1409064841*y^4 - 543756792/1409064841*y^3 - 3540948341/1409064841*y^2 - 3997161758/1409064841*y + 681121756/1409064841 -66330620/1409064841*y^11 - 237354361/1409064841*y^10 - 648095949/1409064841*y^9 - 1270373179/1409064841*y^8 - 1536341517/1409064841*y^7 - 2814128935/1409064841*y^6 - 5150534155/1409064841*y^5 - 3841341707/1409064841*y^4 - 543756792/1409064841*y^3 - 3540948341/1409064841*y^2 - 3997161758/1409064841*y + 681121756/1409064841 # A Gluing Matrix {{0,0,-1,0,0,-1,0,0},{0,1,1,0,0,1,0,0},{-1,1,3,0,2,3,0,0},{0,0,0,1,0,1,0,0},{0,0,2,0,2,2,0,0},{-1,1,3,1,2,4,1,1},{0,0,0,0,0,1,0,-1},{0,0,0,0,0,1,-1,0}} # B Gluing Matrix {{1,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {0, 1, 3, 1, 2, 4, 0, 0} # f Combinatorial flattening {-4, 1, 1, 2, 0, -1, -1, -1} # f' Combinatorial flattening {0, 0, -2, 0, 2, 0, 0, 0} # 1 Loop Invariant -1002373744/1409064841*y^11 - 3671182073/2818129682*y^10 - 6606120088/1409064841*y^9 - 15915692285/2818129682*y^8 - 10174576305/1409064841*y^7 - 53228763559/2818129682*y^6 - 34338907464/1409064841*y^5 + 1270558841/2818129682*y^4 - 31328529971/2818129682*y^3 - 68537534319/2818129682*y^2 + 2246674530/1409064841*y + 26849231353/2818129682 # 2 Loop Invariant -965206228659199622023385166943139869/64164908173649907410722886023051382908*y^11 - 5523435459884511175214172922789646375/192494724520949722232168658069154148724*y^10 - 9784133516952761027469724080909432461/96247362260474861116084329034577074362*y^9 - 7797759819239567821292094639086901995/64164908173649907410722886023051382908*y^8 - 1106534072582366381673932032226874824/6874811590033918651148880645326933883*y^7 - 36539651730564308223192627992280846437/96247362260474861116084329034577074362*y^6 - 106121441722114127532468300784937678915/192494724520949722232168658069154148724*y^5 + 562369641256983487777729543326654011/96247362260474861116084329034577074362*y^4 - 5412097883404574538379238215391510125/32082454086824953705361443011525691454*y^3 - 79896053842413922464299403781557342827/192494724520949722232168658069154148724*y^2 - 3205493787394517340681263593101085697/32082454086824953705361443011525691454*y + 5836299776301041477652822219597486513/32082454086824953705361443011525691454 # 3 Loop Invariant 354605535956838924760953902100716078861537939359817/31698444373860316365348336413496916808631525152962847*y^11 + 824861572605380150470934589393517948623957085781590/31698444373860316365348336413496916808631525152962847*y^10 + 2588067929431189848116224316836504477103580021629680/31698444373860316365348336413496916808631525152962847*y^9 + 3901138814931687316694532708865129404838337870972806/31698444373860316365348336413496916808631525152962847*y^8 + 657299199782289164849411523481763057599192564437007/4528349196265759480764048059070988115518789307566121*y^7 + 22063574507149245210156512527138236264313874504409847/63396888747720632730696672826993833617263050305925694*y^6 + 16671565027706714724815667173798631528713637380727821/31698444373860316365348336413496916808631525152962847*y^5 + 9563816385008789919039277398723836589680285301547375/63396888747720632730696672826993833617263050305925694*y^4 + 6202856985084374679363209291393299266824796771095100/31698444373860316365348336413496916808631525152962847*y^3 + 32923307974190852722703162547865455149029477704906825/63396888747720632730696672826993833617263050305925694*y^2 + 8752746609710603429366723874920954853989891413639754/31698444373860316365348336413496916808631525152962847*y - 2159200894729830409071539521642734244246593972736573/31698444373860316365348336413496916808631525152962847 # 4 Loop Invariant 3303388925344430204169104315394412522551578541156054491476201535328186917228222473/28869186332870777165580616703947144238149934104262480770600701207119362314674656720*y^11 + 60772408676558589606243770380949153849554827420669497313634193822026899001767567023/259822676995836994490225550335524298143349406938362326935406310864074260832071910480*y^10 + 210708355283927637697499021394449610062564889383395799588872558556626103406272838091/259822676995836994490225550335524298143349406938362326935406310864074260832071910480*y^9 + 68795819066033855582304232457900947146807656898339526027874732866372528151874984223/64955669248959248622556387583881074535837351734590581733851577716018565208017977620*y^8 + 52597047325773784332299524965852785215732603832767018708421642410640253816073552387/37117525285119570641460792905074899734764200991194618133629472980582037261724558640*y^7 + 27998760237607609659487019083763842619378926843339067049944334209618761845963675245/8660755899861233149674185011184143271444980231278744231180210362135808694402397016*y^6 + 1226682306159921540046321235370838208903109141185936855211078265105991212105111916491/259822676995836994490225550335524298143349406938362326935406310864074260832071910480*y^5 + 31393752221056287482624763960614373617612629311451574454655800375050393343774059833/28869186332870777165580616703947144238149934104262480770600701207119362314674656720*y^4 + 24014170041809665149638690254761015220985688409049236571016822472316246710091565659/12991133849791849724511277516776214907167470346918116346770315543203713041603595524*y^3 + 1175317496160740675548095207668043572820187736425305272469389626734238902795110567389/259822676995836994490225550335524298143349406938362326935406310864074260832071910480*y^2 + 41513104810342033999249829498804801386574433472053592773058555874420923019816440331/17321511799722466299348370022368286542889960462557488462360420724271617388804794032*y - 111105783361962465452081876965967992555822072188460240119171829608855061426455197639/129911338497918497245112775167762149071674703469181163467703155432037130416035955240