# Manifold: H T Link Exterior K9a33 # Number of Tetrahedra: 9 # Number Field x^15 + x^14 - 3*x^13 - 23*x^12 - 16*x^11 + 121*x^10 + 127*x^9 - 403*x^8 + 73*x^7 + 115*x^6 + 29*x^5 - 12*x^4 - 25*x^3 - x^2 + 2*x + 1 # Approximate Field Generator 1.76324847430822 + 0.0388159885294421*I # Shape Parameters -3364990965/7789094939*y^14 - 9228406047/15578189878*y^13 + 16537460769/15578189878*y^12 + 159409421073/15578189878*y^11 + 164983315471/15578189878*y^10 - 374169836493/7789094939*y^9 - 551921801725/7789094939*y^8 + 1159662499492/7789094939*y^7 + 133521587121/7789094939*y^6 - 740894459437/15578189878*y^5 - 111206251140/7789094939*y^4 - 92356272236/7789094939*y^3 + 44012734763/7789094939*y^2 + 27992437367/7789094939*y + 1482396761/15578189878 20018768545/15578189878*y^14 + 33120937153/15578189878*y^13 - 17639793050/7789094939*y^12 - 236180778986/7789094939*y^11 - 307739608920/7789094939*y^10 + 1967516879233/15578189878*y^9 + 1814560389344/7789094939*y^8 - 5736786803809/15578189878*y^7 - 855867176088/7789094939*y^6 + 678698256008/7789094939*y^5 + 596456805513/7789094939*y^4 + 430805126595/15578189878*y^3 - 275067604389/15578189878*y^2 - 136710423267/15578189878*y - 30991134725/15578189878 3988286919/7789094939*y^14 + 3896898884/7789094939*y^13 - 11941459285/7789094939*y^12 - 183280301623/15578189878*y^11 - 62901813155/7789094939*y^10 + 480731927991/7789094939*y^9 + 998668600171/15578189878*y^8 - 3178739048879/15578189878*y^7 + 335884792451/7789094939*y^6 + 708326769867/15578189878*y^5 + 264189492295/15578189878*y^4 - 56718402955/15578189878*y^3 - 92975056887/7789094939*y^2 - 9982043243/15578189878*y + 10746737583/15578189878 -316869777/15578189878*y^14 + 963786095/7789094939*y^13 + 2250161469/15578189878*y^12 - 2325115949/15578189878*y^11 - 49761600111/15578189878*y^10 - 58445790015/15578189878*y^9 + 141108632463/7789094939*y^8 + 410269642619/15578189878*y^7 - 531397755018/7789094939*y^6 + 159731127035/15578189878*y^5 + 99411169246/7789094939*y^4 + 51392681815/15578189878*y^3 - 2645904341/15578189878*y^2 - 25755668507/15578189878*y + 11329734668/7789094939 -9821615533622/32659675079227*y^14 - 13777588869421/32659675079227*y^13 + 24758222552961/32659675079227*y^12 + 236573834258365/32659675079227*y^11 + 502029898185589/65319350158454*y^10 - 315276032408051/9331335736922*y^9 - 3401972139345921/65319350158454*y^8 + 479039961814154/4665667868461*y^7 + 1352138711531269/65319350158454*y^6 - 2296517558430369/65319350158454*y^5 - 447656782243481/32659675079227*y^4 - 387084485866401/65319350158454*y^3 + 28814241563708/4665667868461*y^2 + 66611993432051/32659675079227*y + 40181852700859/65319350158454 -3364990965/7789094939*y^14 - 9228406047/15578189878*y^13 + 16537460769/15578189878*y^12 + 159409421073/15578189878*y^11 + 164983315471/15578189878*y^10 - 374169836493/7789094939*y^9 - 551921801725/7789094939*y^8 + 1159662499492/7789094939*y^7 + 133521587121/7789094939*y^6 - 740894459437/15578189878*y^5 - 111206251140/7789094939*y^4 - 92356272236/7789094939*y^3 + 44012734763/7789094939*y^2 + 27992437367/7789094939*y + 1482396761/15578189878 2014862953/15578189878*y^14 + 1666983697/15578189878*y^13 - 3615413154/7789094939*y^12 - 48205521007/15578189878*y^11 - 27864174213/15578189878*y^10 + 131713478940/7789094939*y^9 + 133375091985/7789094939*y^8 - 422013723961/7789094939*y^7 + 142283052347/15578189878*y^6 + 81855286447/7789094939*y^5 + 36319325155/15578189878*y^4 - 3992777611/15578189878*y^3 - 20683352121/15578189878*y^2 + 15452115294/7789094939*y + 15712283585/15578189878 -62758643/7789094939*y^14 - 859790039/15578189878*y^13 - 247173711/7789094939*y^12 + 2487238695/7789094939*y^11 + 19941098551/15578189878*y^10 + 2043363531/15578189878*y^9 - 49366150484/7789094939*y^8 - 64624945289/15578189878*y^7 + 238567214947/15578189878*y^6 - 30098575453/15578189878*y^5 - 21499368969/7789094939*y^4 - 22199983875/15578189878*y^3 + 2770023527/15578189878*y^2 + 2923018162/7789094939*y + 2207423600/7789094939 3668987156/7789094939*y^14 + 9356834723/15578189878*y^13 - 24229618155/15578189878*y^12 - 96105915766/7789094939*y^11 - 94670626526/7789094939*y^10 + 920356789957/15578189878*y^9 + 744570064180/7789094939*y^8 - 2524987350561/15578189878*y^7 - 1099893915749/15578189878*y^6 + 397181756681/15578189878*y^5 + 909022491241/15578189878*y^4 + 78721766450/7789094939*y^3 - 56284055938/7789094939*y^2 - 97612927891/15578189878*y - 33529648825/15578189878 # A Gluing Matrix {{0,1,0,0,0,0,-1,0,0},{1,0,0,1,1,1,0,0,0},{0,0,0,0,0,0,-1,0,0},{0,1,0,2,1,0,-1,-1,-1},{0,1,0,1,1,0,-1,0,0},{0,1,0,0,0,0,-1,0,0},{-1,0,-1,-1,-1,-1,1,0,0},{0,0,0,-2,0,0,0,1,0},{0,0,0,-1,0,0,0,0,0}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0},{0,0,0,0,1,0,0,0,0},{0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,2,0},{0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {0, 2, 0, 0, 1, 0, -1, 0, 0} # f Combinatorial flattening {1, 0, -1, 0, 1, 0, 0, 0, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 25589405190/7789094939*y^14 + 139695763933/31156379756*y^13 - 254761183455/31156379756*y^12 - 2418054070089/31156379756*y^11 - 2460298761177/31156379756*y^10 + 2870662588341/7789094939*y^9 + 4156937417577/7789094939*y^8 - 18069035726181/15578189878*y^7 - 2094775628319/15578189878*y^6 + 13743352312549/31156379756*y^5 + 1750225438877/15578189878*y^4 + 304264531019/7789094939*y^3 - 371344380153/7789094939*y^2 - 199372115482/7789094939*y - 26212839439/31156379756 # 2 Loop Invariant -434861851802216723342405767254949187784224965/17554078862795916496918044275650637001750179976*y^14 - 342411657528828845779703677899210938935435315/8777039431397958248459022137825318500875089988*y^13 + 216954021242333452880331450145108192995210067/4388519715698979124229511068912659250437544994*y^12 + 2555746289689503068779407935266518244822253393/4388519715698979124229511068912659250437544994*y^11 + 6208461818336545493589598817198978281833747085/8777039431397958248459022137825318500875089988*y^10 - 44789100686157936965976427936464164732648365039/17554078862795916496918044275650637001750179976*y^9 - 25282813544399845660719661301408844555765632513/5851359620931972165639348091883545667250059992*y^8 + 68102101935577222011894488719014348385509930019/8777039431397958248459022137825318500875089988*y^7 + 5288313281693004749209243138551087625416557333/2925679810465986082819674045941772833625029996*y^6 - 23088798628705132806620466817570221587349339431/8777039431397958248459022137825318500875089988*y^5 - 5036238841493378246044081707014635246317628643/8777039431397958248459022137825318500875089988*y^4 - 26529722967489862973877081816637101355764929845/17554078862795916496918044275650637001750179976*y^3 - 144422737534219961538594763462459688564974162/2194259857849489562114755534456329625218772497*y^2 + 7559366228535675651879011484930509871956613167/17554078862795916496918044275650637001750179976*y - 1390429772491411454236368358378231604398082755/17554078862795916496918044275650637001750179976 # 3 Loop Invariant 24830359697285025586850416883263722631261917807274281432145791/896533862599968102367339266641948256595879825843159137301730284*y^14 + 4082337674333465805510160980086411305188329447624437700627145/224133465649992025591834816660487064148969956460789784325432571*y^13 - 81629827545253147259245191463099849467754848865583348840640763/896533862599968102367339266641948256595879825843159137301730284*y^12 - 545589261160118396060907789641924879354791113255560974614290895/896533862599968102367339266641948256595879825843159137301730284*y^11 - 205822472278639699650674237825129478287284410797380549920198671/896533862599968102367339266641948256595879825843159137301730284*y^10 + 3117811561566963548726168662153178793671250120728267970492727989/896533862599968102367339266641948256595879825843159137301730284*y^9 + 535720298415998776020160891906766633012843852315753649626653618/224133465649992025591834816660487064148969956460789784325432571*y^8 - 10913570774733782044570885618386507062903780311984242270561783679/896533862599968102367339266641948256595879825843159137301730284*y^7 + 1294703017050951090784466439534645957046489531579852647274571572/224133465649992025591834816660487064148969956460789784325432571*y^6 + 1464013594626020641186161480798074424532379868337063107362581351/896533862599968102367339266641948256595879825843159137301730284*y^5 + 235963412512537666297086015805605465319387439483530805058543497/448266931299984051183669633320974128297939912921579568650865142*y^4 - 444314640029713885609967870922786922773477413218715691654554743/896533862599968102367339266641948256595879825843159137301730284*y^3 - 370260638063867518593821224480122582350309644452114279887020331/896533862599968102367339266641948256595879825843159137301730284*y^2 + 53469114209827397275444189899200398419913946797632611388669325/896533862599968102367339266641948256595879825843159137301730284*y + 2732920053562921179026994681241699188459872171184161239319170/224133465649992025591834816660487064148969956460789784325432571 # 4 Loop Invariant -1284770735560343963438100550106859277420070008826963882837817513663408931718174849155982636445826819/30307422589845926357882076308025425308235909970336400388710555217293221055566642694114633435997391840*y^14 - 49776945813567006592691948427220943880557047999927490489878772252656402187463631695376676157675271/947106955932685198683814884625794540882372186573012512147204850540413157986457584191082294874918495*y^13 + 34742693774706679060864892424487023586266308395572266222179363821209903505063987635066127577602044/315702318644228399561271628208598180294124062191004170715734950180137719328819194730360764958306165*y^12 + 2521577973463321054302707234176370759828514062141940365555603470939287181626518509377377374568981611/2525618549153827196490173025668785442352992497528033365725879601441101754630553557842886119666449320*y^11 + 28261403370474780720349009720072217871991841596237071821857026256777491597237246327965713660115182417/30307422589845926357882076308025425308235909970336400388710555217293221055566642694114633435997391840*y^10 - 24259814378648021135422542816960766447222557019898767151207702061342074822690908326980304841595157419/5051237098307654392980346051337570884705984995056066731451759202882203509261107115685772239332898640*y^9 - 98302974693333950207776266923099211311928023833308389681665897854199398352494334463597164636495903517/15153711294922963178941038154012712654117954985168200194355277608646610527783321347057316717998695920*y^8 + 75586077261835740697692481406385594207156449285263523218261602413520573583947195064798955974376471563/5051237098307654392980346051337570884705984995056066731451759202882203509261107115685772239332898640*y^7 + 1310303526946436016572616283829830294306382694833055797103325993100337418024669961530751275488796223/30307422589845926357882076308025425308235909970336400388710555217293221055566642694114633435997391840*y^6 - 93473121201591837580434506036501155329595291913170861060939499570964244010445206812481129777640766663/30307422589845926357882076308025425308235909970336400388710555217293221055566642694114633435997391840*y^5 - 1352494027587548370490092718487871094483651159225771775394374490424768855596643386610406768039849867/505123709830765439298034605133757088470598499505606673145175920288220350926110711568577223933289864*y^4 + 182068284964176449285248585582777097910352240855806404529355908518972471097817665489824238359101261/5051237098307654392980346051337570884705984995056066731451759202882203509261107115685772239332898640*y^3 + 9500455446418960186840020961902577257447271943279326416823905937756111498594687036267294409052639013/15153711294922963178941038154012712654117954985168200194355277608646610527783321347057316717998695920*y^2 + 2937379776494011840960408899547232566041986644745501766419010132810901260679473423744648193175055013/10102474196615308785960692102675141769411969990112133462903518405764407018522214231371544478665797280*y + 9537534922974928241731112042973848385065917851183809503792145413527221476847329939890607080026033/10102474196615308785960692102675141769411969990112133462903518405764407018522214231371544478665797280