# Manifold: H T Link Exterior K9a17 # Number of Tetrahedra: 10 # Number Field x^18 - x^17 + x^16 - 4*x^15 + 8*x^14 - 18*x^13 + 30*x^12 - 38*x^11 + 75*x^10 - 71*x^9 + 121*x^8 - 74*x^7 + 105*x^6 - 39*x^5 + 48*x^4 - 10*x^3 + 11*x^2 - x + 1 # Approximate Field Generator 0.0536649566781617 - 0.618166422184204*I # Shape Parameters -7424/9*y^17 + 5056/9*y^16 - 512/3*y^15 + 24896/9*y^14 - 16384/3*y^13 + 34288/3*y^12 - 17408*y^11 + 162016/9*y^10 - 391936/9*y^9 + 271724/9*y^8 - 543232/9*y^7 + 131804/9*y^6 - 344576/9*y^5 - 24823/9*y^4 - 98816/9*y^3 - 29696/9*y^2 - 10496/9*y - 5120/9 -843/5*y^17 + 233*y^16 - 843/5*y^15 + 3249/5*y^14 - 1542*y^13 + 16509/5*y^12 - 28141/5*y^11 + 35388/5*y^10 - 64712/5*y^9 + 70486/5*y^8 - 100147/5*y^7 + 14884*y^6 - 14818*y^5 + 38262/5*y^4 - 24722/5*y^3 + 9268/5*y^2 - 610*y + 843/5 -4121/25*y^17 + 2914/5*y^16 - 12551/25*y^15 + 20753/25*y^14 - 2781*y^13 + 148128/25*y^12 - 281087/25*y^11 + 404776/25*y^10 - 583919/25*y^9 + 902977/25*y^8 - 983329/25*y^7 + 237436/5*y^6 - 31099*y^5 + 765119/25*y^4 - 269244/25*y^3 + 230321/25*y^2 - 6786/5*y + 26216/25 2743/9*y^17 - 2048/9*y^16 + 256/3*y^15 - 9301/9*y^14 + 6260/3*y^13 - 13154/3*y^12 + 6772*y^11 - 64796/9*y^10 + 150515/9*y^9 - 111808/9*y^8 + 211646/9*y^7 - 65410/9*y^6 + 136489/9*y^5 - 1600/9*y^4 + 39727/9*y^3 + 7777/9*y^2 + 4279/9*y + 1528/9 -843/5*y^17 + 233*y^16 - 843/5*y^15 + 3249/5*y^14 - 1542*y^13 + 16509/5*y^12 - 28141/5*y^11 + 35388/5*y^10 - 64712/5*y^9 + 70486/5*y^8 - 100147/5*y^7 + 14884*y^6 - 14818*y^5 + 38262/5*y^4 - 24722/5*y^3 + 9268/5*y^2 - 610*y + 843/5 632/3*y^17 - 139/3*y^16 - 32*y^15 - 2024/3*y^14 + 1053*y^13 - 2234*y^12 + 3019*y^11 - 7045/3*y^10 + 25960/3*y^9 - 6347/3*y^8 + 33052/3*y^7 + 12679/3*y^6 + 19877/3*y^5 + 18619/3*y^4 + 5648/3*y^3 + 7781/3*y^2 + 611/3*y + 1061/3 -6914/25*y^17 + 136/5*y^16 + 1516/25*y^15 + 21777/25*y^14 - 1256*y^13 + 67977/25*y^12 - 87283/25*y^11 + 58459/25*y^10 - 263171/25*y^9 + 19693/25*y^8 - 327611/25*y^7 - 42601/5*y^6 - 7695*y^5 - 264279/25*y^4 - 54371/25*y^3 - 108961/25*y^2 - 1199/5*y - 15131/25 168*y^17 - 258*y^16 + 201*y^15 - 680*y^14 + 1640*y^13 - 3515*y^12 + 6123*y^11 - 7930*y^10 + 14023*y^9 - 16114*y^8 + 22098*y^7 - 18170*y^6 + 17046*y^5 - 10285*y^4 + 5960*y^3 - 2818*y^2 + 770*y - 299 14649/25*y^17 - 2976/5*y^16 + 9294/25*y^15 - 53557/25*y^14 + 4598*y^13 - 245332/25*y^12 + 401253/25*y^11 - 473094/25*y^10 + 960961/25*y^9 - 887538/25*y^8 + 1434676/25*y^7 - 159804/5*y^6 + 41222*y^5 - 328561/25*y^4 + 338111/25*y^3 - 59049/25*y^2 + 8264/5*y - 3354/25 1683/5*y^17 - 258*y^16 + 683/5*y^15 - 5929/5*y^14 + 2339*y^13 - 25039/5*y^12 + 39396/5*y^11 - 43543/5*y^10 + 97952/5*y^9 - 75711/5*y^8 + 142007/5*y^7 - 10617*y^6 + 19865*y^5 - 10212/5*y^4 + 32002/5*y^3 + 2202/5*y^2 + 771*y + 712/5 # A Gluing Matrix {{1,0,-2,-2,0,0,0,0,0,0},{0,0,-1,-1,0,0,0,0,0,0},{-1,-1,1,0,-1,0,0,0,0,0},{-1,-1,0,0,-1,0,1,1,0,-1},{0,0,-1,-1,0,0,0,0,0,0},{0,0,0,0,0,0,0,-1,0,1},{0,0,0,1,0,0,1,0,0,0},{0,0,0,1,0,-1,0,1,1,0},{0,0,0,0,0,0,0,1,1,-1},{0,0,0,-1,0,1,0,0,-1,0}} # B Gluing Matrix {{2,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {0, 0, -1, 0, 0, 0, 1, 1, 1, 0} # f Combinatorial flattening {0, 0, -1, 1, 0, 2, 0, 1, 1, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 5005/2*y^17 - 3861/2*y^16 + 1967/2*y^15 - 8769*y^14 + 34819/2*y^13 - 74351/2*y^12 + 58410*y^11 - 128613/2*y^10 + 144775*y^9 - 223831/2*y^8 + 418101/2*y^7 - 77271*y^6 + 144269*y^5 - 13576*y^4 + 45452*y^3 + 3839*y^2 + 5305*y + 1115 # 2 Loop Invariant 71623579267805211842860314893831889560213781685/2594671575978122905231422510924968026143392886*y^17 - 1911767665638028292779015734378178786938145221/1729781050652081936820948340616645350762261924*y^16 - 41438660214872595699008884796661529051763407097/5189343151956245810462845021849936052286785772*y^15 - 449458004689453465355449619471118778876710987997/5189343151956245810462845021849936052286785772*y^14 + 52004402877310298278006255899291354235436415382/432445262663020484205237085154161337690565481*y^13 - 669203463804194056071214062799684279725929859733/2594671575978122905231422510924968026143392886*y^12 + 418380771706570326270164888440684934921879360018/1297335787989061452615711255462484013071696443*y^11 - 248985334353398912823210373482749203021542717412/1297335787989061452615711255462484013071696443*y^10 + 2609400749591735529730117893332448407880693494003/2594671575978122905231422510924968026143392886*y^9 + 5465489000741396253590979757667558256563080318/432445262663020484205237085154161337690565481*y^8 + 1578725546095797475905023671537124371188509252294/1297335787989061452615711255462484013071696443*y^7 + 839016599394919449732724638660479873559451378045/864890525326040968410474170308322675381130962*y^6 + 605920348677408650403610236985797288846311678919/864890525326040968410474170308322675381130962*y^5 + 958813374544280167683756999463654928859700681793/864890525326040968410474170308322675381130962*y^4 + 507256714887855904834860657066255079382779726363/2594671575978122905231422510924968026143392886*y^3 + 2260300119960746357169793370461209947737238198611/5189343151956245810462845021849936052286785772*y^2 + 109827941468842473503652552410662148827340288621/5189343151956245810462845021849936052286785772*y + 149937220132601627002065686367046790279647766683/2594671575978122905231422510924968026143392886 # 3 Loop Invariant 2830449544338053575598598779441288569123897553886284915877050033616/8992836878838807837279448496930659043086853704204034908301650151371*y^17 + 37274724476209493861502250875442809516242566724245468219011407428252/8992836878838807837279448496930659043086853704204034908301650151371*y^16 - 33755658519003482841364105518225934773383325949913993188486363897839/8992836878838807837279448496930659043086853704204034908301650151371*y^15 + 8811624794583282370651385427394894079614622726523889579532764344235/8992836878838807837279448496930659043086853704204034908301650151371*y^14 - 121092463706768805064375079050453099529044015047593525815388108147608/8992836878838807837279448496930659043086853704204034908301650151371*y^13 + 249240893397882428562943056980269539858126090444783030411185367024151/8992836878838807837279448496930659043086853704204034908301650151371*y^12 - 1101639606269318369393491432743741731364768970210044564154816923157517/17985673757677615674558896993861318086173707408408069816603300302742*y^11 + 1831481610435779178207117687030810445481559327820124554206695562506187/17985673757677615674558896993861318086173707408408069816603300302742*y^10 - 1918269209156307998036445920591984249714448508469144392469909926121833/17985673757677615674558896993861318086173707408408069816603300302742*y^9 + 2282714303951498511035257570468515588908716489533438679818926888372962/8992836878838807837279448496930659043086853704204034908301650151371*y^8 - 3615589856192850497868790570840127395610280574898249637361722580468261/17985673757677615674558896993861318086173707408408069816603300302742*y^7 + 6857678822838234740152940713819544411809766190766195216808767123400383/17985673757677615674558896993861318086173707408408069816603300302742*y^6 - 1477406904002001597069935408767980704643592221156270648305470976882899/8992836878838807837279448496930659043086853704204034908301650151371*y^5 + 2447189911988039752927694449358916966559380342590291842165307567302866/8992836878838807837279448496930659043086853704204034908301650151371*y^4 - 499403581022998422332600764003793850962508255272595123758050913264658/8992836878838807837279448496930659043086853704204034908301650151371*y^3 + 792861661798961008904142396189774298427469517493013841222838077721234/8992836878838807837279448496930659043086853704204034908301650151371*y^2 - 119236800950823125360706949213050443607947213180359301299529434913991/17985673757677615674558896993861318086173707408408069816603300302742*y + 95307331499835075034413717820266191094532331520534431510278512911140/8992836878838807837279448496930659043086853704204034908301650151371 # 4 Loop Invariant -518882985656928948547289212653559170663458655602173107797353922273344086060460654358017811046930487543072646445499/175000936776981550773587272395288949485673372520035132291582347039316802337623222546997240094592655280600684100295*y^17 + 11379117114893924042425255950128458218105617031777990885103774333685874095349541331897858511723289548568723406984249/2800014988431704812377396358324623191770773960320562116665317552629068837401971560751955841513482484489610945604720*y^16 - 869428606923507936193752460448613017858498983055454903918118925638822855854778289175515578893362475696094539900801/311112776492411645819710706480513687974530440035618012962813061403229870822441284527995093501498053832178993956080*y^15 + 31516409805566768307557177894353931712101378238491547666761209340595935932426139190417790306744778242867820156742673/2800014988431704812377396358324623191770773960320562116665317552629068837401971560751955841513482484489610945604720*y^14 - 1572048206083966897502691693777345691890464062425472699222610409844328668966136941854446038972308541453158719979512/58333645592327183591195757465096316495224457506678377430527449013105600779207740848999080031530885093533561366765*y^13 + 40148892646668848129354518317497045254101380672133457411511164260109605110455843173815239708686502479257903369056921/700003747107926203094349089581155797942693490080140529166329388157267209350492890187988960378370621122402736401180*y^12 - 136251721117566736412162737638816378059736756506776852176088388773222566943323143030603626717699840005248594980007389/1400007494215852406188698179162311595885386980160281058332658776314534418700985780375977920756741242244805472802360*y^11 + 42471596735167253104189851516496547007546137986262067529225534352953854730154559013561042600848679859722967073812959/350001873553963101547174544790577898971346745040070264583164694078633604675246445093994480189185310561201368200590*y^10 - 13009275852539878140104450131894058232029319366820020488074487025863582281004520688883977843140710613891340653060971/58333645592327183591195757465096316495224457506678377430527449013105600779207740848999080031530885093533561366765*y^9 + 169292428938803817747761912376172727277229714862584757926052200050076929893215781420693045946931275373398010710918601/700003747107926203094349089581155797942693490080140529166329388157267209350492890187988960378370621122402736401180*y^8 - 159723092597298816711006427755932847791595348385930708293975143275816637009995341540317544468062056536264634398713953/466669164738617468729566059720770531961795660053427019444219592104844806233661926791992640252247080748268490934120*y^7 + 351341372113524166108711917467295245642891686735262315818633880871523842690210620796578113928490996923710174924403431/1400007494215852406188698179162311595885386980160281058332658776314534418700985780375977920756741242244805472802360*y^6 - 43369807414061542002876340405302520334185657774131066284515783537042990499306739429234356754593444813544577019886907/175000936776981550773587272395288949485673372520035132291582347039316802337623222546997240094592655280600684100295*y^5 + 354493803980927304719134098271170999846159776932360878626794861160501403876062975910829804116852433719133858330369339/2800014988431704812377396358324623191770773960320562116665317552629068837401971560751955841513482484489610945604720*y^4 - 112441246349485059395398881570458598642845255481765959355489809343831826672341703060808062610523488238079161986146513/1400007494215852406188698179162311595885386980160281058332658776314534418700985780375977920756741242244805472802360*y^3 + 42339079334688836373117541566245215464667296036580898355538301747739137612275671719966252570140664312100379059168869/1400007494215852406188698179162311595885386980160281058332658776314534418700985780375977920756741242244805472802360*y^2 - 13371260389920448365757937029516072776866027987336830681372858245596245179810292424981898562169958882432909142441229/1400007494215852406188698179162311595885386980160281058332658776314534418700985780375977920756741242244805472802360*y + 319284274285041689669368135820371305545395527128698981861176104886744083272462173252583521502620276822200945568257/116667291184654367182391514930192632990448915013356754861054898026211201558415481697998160063061770187067122733530