# Manifold: H T Link Exterior K9a19 # Number of Tetrahedra: 11 # Number Field x^20 - x^19 - 9*x^18 + 8*x^17 + 33*x^16 - 24*x^15 - 62*x^14 + 30*x^13 + 62*x^12 - 7*x^11 - 33*x^10 - 10*x^9 + 13*x^8 - 4*x^7 - 6*x^6 + 6*x^5 + x^4 + 3*x^3 - x^2 + 2*x - 1 # Approximate Field Generator 1.46202455019757 - 0.249886336570454*I # Shape Parameters -y^18 + y^17 + 7*y^16 - 6*y^15 - 19*y^14 + 12*y^13 + 24*y^12 - 6*y^11 - 14*y^10 - 5*y^9 + 5*y^8 - 3*y^6 + 4*y^5 + 2*y^3 - y^2 + y -y^18 + y^17 + 7*y^16 - 6*y^15 - 19*y^14 + 12*y^13 + 24*y^12 - 6*y^11 - 14*y^10 - 5*y^9 + 5*y^8 - 3*y^6 + 4*y^5 + 2*y^3 - y^2 + y y^19 - y^18 - 9*y^17 + 8*y^16 + 33*y^15 - 24*y^14 - 63*y^13 + 31*y^12 + 68*y^11 - 12*y^10 - 46*y^9 - 3*y^8 + 25*y^7 - 4*y^6 - 12*y^5 + 4*y^4 + 5*y^3 - 2*y + 1 -y^19 + 10*y^17 - 40*y^15 - 2*y^14 + 80*y^13 + 13*y^12 - 80*y^11 - 31*y^10 + 34*y^9 + 29*y^8 - 8*y^7 - 4*y^6 + 10*y^5 - 3*y^4 - 3*y^3 - 4*y^2 - 1 8/5*y^19 - 6/5*y^18 - 71/5*y^17 + 8*y^16 + 259/5*y^15 - 86/5*y^14 - 97*y^13 + 4*y^12 + 471/5*y^11 + 153/5*y^10 - 207/5*y^9 - 148/5*y^8 + 47/5*y^7 - 9/5*y^6 - 49/5*y^5 + 7/5*y^4 + 21/5*y^3 + 18/5*y^2 + 4/5*y + 17/5 -y^17 + 8*y^15 + y^14 - 25*y^13 - 7*y^12 + 36*y^11 + 18*y^10 - 19*y^9 - 19*y^8 - 4*y^7 + 4*y^6 + 2*y^5 + 4*y^4 + 3*y^3 + y y^11 - 5*y^9 + 8*y^7 - 3*y^5 - y^3 - y + 1 -1/5*y^19 + 2/5*y^18 + 7/5*y^17 - 4*y^16 - 18/5*y^15 + 82/5*y^14 + 4*y^13 - 34*y^12 - 12/5*y^11 + 174/5*y^10 + 14/5*y^9 - 64/5*y^8 - 9/5*y^7 - 2/5*y^6 - 12/5*y^5 - 14/5*y^4 + 13/5*y^3 + 4/5*y^2 - 3/5*y + 6/5 -y^19 + 9*y^17 - 32*y^15 + 55*y^13 - 44*y^11 + 14*y^9 - 8*y^7 + 7*y^5 + 2*y^3 y^11 - 5*y^9 + 8*y^7 - 3*y^5 - y^3 - y + 1 -y^19 + y^18 + 8*y^17 - 8*y^16 - 25*y^15 + 25*y^14 + 38*y^13 - 38*y^12 - 31*y^11 + 30*y^10 + 21*y^9 - 16*y^8 - 17*y^7 + 9*y^6 + 6*y^5 - 3*y^4 - y^3 + 2*y^2 + y # A Gluing Matrix {{1,0,0,1,1,0,-2,1,1,-2,2},{0,1,0,1,1,0,-2,1,1,-2,2},{1,1,-1,2,1,-1,-1,0,1,-1,1},{0,0,1,0,0,1,-1,1,0,-1,1},{0,0,0,0,0,1,-1,1,0,-1,1},{1,1,-1,2,2,-1,-1,0,1,-1,1},{0,0,0,0,0,0,0,0,0,-1,0},{1,1,-1,2,2,-1,-2,1,1,-2,2},{0,0,0,0,0,0,-1,0,1,-1,1},{0,0,0,0,0,0,-1,0,0,0,0},{1,1,-1,2,2,-1,-3,1,2,-3,3}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,3},{0,1,0,0,0,0,0,0,0,0,3},{0,0,1,0,0,0,0,0,0,0,2},{0,0,0,1,0,0,0,0,0,0,1},{0,0,0,0,1,0,0,0,0,0,1},{0,0,0,0,0,1,0,0,0,0,2},{0,0,0,0,0,0,1,0,0,0,1},{0,0,0,0,0,0,0,1,0,0,3},{0,0,0,0,0,0,0,0,1,0,1},{0,0,0,0,0,0,0,0,0,1,1},{0,0,0,0,0,0,0,0,0,0,5}} # nu Gluing Vector {1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1} # f Combinatorial flattening {1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 3/2*y^19 + 1/2*y^18 - 8*y^17 - 4*y^16 + 3*y^15 + 25/2*y^14 + 61*y^13 - 20*y^12 - 151*y^11 + 41/2*y^10 + 269/2*y^9 - 37/2*y^8 - 113/2*y^7 + 25/2*y^6 + 93/2*y^5 - 11/2*y^4 - 51/2*y^3 + 4*y^2 - 7*y # 2 Loop Invariant -804625871071537736832249743669553851419358857781489/4571748085664688780751615290033104981065887043396804*y^19 + 949612149756718734563091425832648488030983921045387/13715244256994066342254845870099314943197661130190412*y^18 + 19133648282326670746940541560360460929785254256993717/13715244256994066342254845870099314943197661130190412*y^17 - 2983458057536604953770068826239020448446842922293799/6857622128497033171127422935049657471598830565095206*y^16 - 9603039403471842471065498351451403722032260958257729/2285874042832344390375807645016552490532943521698402*y^15 + 1031918128574502657135857445457914939354876528407706/1142937021416172195187903822508276245266471760849201*y^14 + 24703098853597829762918917538254077452590800602203559/4571748085664688780751615290033104981065887043396804*y^13 - 7493432469495353595389848361607389771157022114818299/13715244256994066342254845870099314943197661130190412*y^12 - 6774603933249731394820630941772450256790050531620649/4571748085664688780751615290033104981065887043396804*y^11 + 1697693895929448539904729407741598930446580053787997/13715244256994066342254845870099314943197661130190412*y^10 - 7685652064036994736861614207382111548394682510131047/3428811064248516585563711467524828735799415282547603*y^9 - 5869387440137716470831094415712684719097410186775075/4571748085664688780751615290033104981065887043396804*y^8 + 9605924179958470880725234344885243003633645801574093/13715244256994066342254845870099314943197661130190412*y^7 + 20875478531057393047373003200335422266929860746968245/13715244256994066342254845870099314943197661130190412*y^6 + 580205706198615195392593511418638370119876323369889/2285874042832344390375807645016552490532943521698402*y^5 + 47809949325865816659917243765451344193656549968292/3428811064248516585563711467524828735799415282547603*y^4 + 9720503197406423860399311495612607592157678288140137/13715244256994066342254845870099314943197661130190412*y^3 - 227761747101837231975040607011643477702632226742563/4571748085664688780751615290033104981065887043396804*y^2 - 755749121268434196187154946480263337964092673027785/4571748085664688780751615290033104981065887043396804*y - 1897619322538575292763910414743556243881333112072503/4571748085664688780751615290033104981065887043396804 # 3 Loop Invariant -2764007201453997693757439923057237346458333344864215436199092308255663485221/38639673726321888838485949355474824410352974055259463766897164737392798986199*y^19 - 1757331138668890230554045958502176844002331211396872822245302177316892008489/77279347452643777676971898710949648820705948110518927533794329474785597972398*y^18 + 23259571956919083442269617301211556870999679318019927703830529128415480398698/38639673726321888838485949355474824410352974055259463766897164737392798986199*y^17 + 9429063500791389842545092358208044160164411547500984673838065355105688926766/38639673726321888838485949355474824410352974055259463766897164737392798986199*y^16 - 151071799185023055370418298920561347397289355110516107829356096072413362800001/77279347452643777676971898710949648820705948110518927533794329474785597972398*y^15 - 38612585713146200965101418616250802605871726670245183392309335542445278245487/38639673726321888838485949355474824410352974055259463766897164737392798986199*y^14 + 220956588333823380746135751298858301208893190846479136655020682855300582821973/77279347452643777676971898710949648820705948110518927533794329474785597972398*y^13 + 146288793035124196535532908226648106935808901498716454743227140777577251691339/77279347452643777676971898710949648820705948110518927533794329474785597972398*y^12 - 114328451206448527712856372065674616741163718607366978159328167741588309170575/77279347452643777676971898710949648820705948110518927533794329474785597972398*y^11 - 58192464065705268454486614371837053272302753532802447868001558770973964488902/38639673726321888838485949355474824410352974055259463766897164737392798986199*y^10 - 3161361214172730846546758933397709824574818038729138642120374434224990238736/38639673726321888838485949355474824410352974055259463766897164737392798986199*y^9 + 10213942150384989678615350913275305380210362058839097793689950295427647981440/38639673726321888838485949355474824410352974055259463766897164737392798986199*y^8 - 42978978163365678369652207009274226150888468734982275512965218948546027727629/77279347452643777676971898710949648820705948110518927533794329474785597972398*y^7 - 18857360077228372843612125817917141831608768702935339849769078730363160173503/77279347452643777676971898710949648820705948110518927533794329474785597972398*y^6 + 38363304799000808543099099462281698541501466955479504235109729848536652261369/77279347452643777676971898710949648820705948110518927533794329474785597972398*y^5 + 26979381955597684353415310541246340263938101381045323818952764991628041327641/77279347452643777676971898710949648820705948110518927533794329474785597972398*y^4 + 10484011177516126281229561781456679034263082978693956236729832192166542901882/38639673726321888838485949355474824410352974055259463766897164737392798986199*y^3 + 139007813064964097685370348663959499081681742705941953429961595353109445649/942431066495655825328925594035971327081779855006328384558467432619336560639*y^2 + 13606142742416775362564773564739142114558543451443282687259288270220338411311/77279347452643777676971898710949648820705948110518927533794329474785597972398*y + 1336141213187173685164407673615203905711557887296819261297290332602598374483/77279347452643777676971898710949648820705948110518927533794329474785597972398 # 4 Loop Invariant -1080258563019741326626878917553397272335249356618238458568954369016894124109426960759206629742205959830573651120565040717669337013/15898576895011824030784811971731764544098681686003749506043857278666268771029904723603930806600673794158793449153251591562903719640*y^19 - 538597694035912313887325970812254071012605713318671400588690988445248431594293810462157170699725096941564279850783340362229014237/31797153790023648061569623943463529088197363372007499012087714557332537542059809447207861613201347588317586898306503183125807439280*y^18 + 317817597103082382495368534402421664159165596115264088427684979607829751685827594857377387259697291161070577048118827505086196895/529952563167060801026160399057725484803289389533458316868128575955542292367663490786797693553355793138626448305108386385430123988*y^17 + 384729916049967529861656952814886851865743658567961049179877667086717983263016874136311142360207133640825141036282376561650837209/1987322111876478003848101496466470568012335210750468688255482159833283596378738090450491350825084224269849181144156448945362964955*y^16 - 66535810463327230632680941716105512648157346211788807607216383897163612540511024831578968971596945895333853336891802989216463233109/31797153790023648061569623943463529088197363372007499012087714557332537542059809447207861613201347588317586898306503183125807439280*y^15 - 9387626509653459402437540099728011272466450222259313776021754489317915567492179672101945378112331750982678557722492267275508822257/10599051263341216020523207981154509696065787790669166337362571519110845847353269815735953871067115862772528966102167727708602479760*y^14 + 22144186709838331709313880518955567119356537006517818240884918420183683411014075324507714854345250170416093844186989277726345438217/6359430758004729612313924788692705817639472674401499802417542911466507508411961889441572322640269517663517379661300636625161487856*y^13 + 32319071983980895507653731939274805874747101535862276840934238064888618617667180181723011133253736236040757200951325260606845563849/15898576895011824030784811971731764544098681686003749506043857278666268771029904723603930806600673794158793449153251591562903719640*y^12 - 78980566847739536008012382964662865729975568153091505780734498762279235692873183934712608433870989870663542143315246316307068181463/31797153790023648061569623943463529088197363372007499012087714557332537542059809447207861613201347588317586898306503183125807439280*y^11 - 7551792633761261395370576259142250809021935388471965909133781794490673497082221757664017173946768115997658673755214699531253428231/3179715379002364806156962394346352908819736337200749901208771455733253754205980944720786161320134758831758689830650318312580743928*y^10 + 1190146192407260084497627595619746821221371357063012700736794458147455723557732665693985011281010559127761297762038867866689715319/5299525631670608010261603990577254848032893895334583168681285759555422923676634907867976935533557931386264483051083863854301239880*y^9 + 37766759732097115303383135300540201110154682753730630767291937588382794082327356547432407087908859190370538602872957982398810245407/31797153790023648061569623943463529088197363372007499012087714557332537542059809447207861613201347588317586898306503183125807439280*y^8 + 240665815020916902223514570061133965029733082275929077480145027991853803067260509992940526849973653829988129885324470215314458081/2119810252668243204104641596230901939213157558133833267472514303822169169470653963147190774213423172554505793220433545541720495952*y^7 - 1918176094676320500167077310825046484655579541762446912009396911686904358428767501535090193079869980189393059996617773223122401611/31797153790023648061569623943463529088197363372007499012087714557332537542059809447207861613201347588317586898306503183125807439280*y^6 + 933340365611525134603231629007283530161300347876037564031348153000011681925286783732446488873287583486662192334923183728002855801/3533017087780405340174402660384836565355262596889722112454190506370281949117756605245317957022371954257509655367389242569534159920*y^5 - 59605158349352270538312364425747033994639063317232179652458187126224280959848267469082090185049782440496227433421521846086632993/1987322111876478003848101496466470568012335210750468688255482159833283596378738090450491350825084224269849181144156448945362964955*y^4 - 339875024440472405512167243417700683725806254717489564440261001461848758943075095125702419884309849329498541129455317631982045793/31797153790023648061569623943463529088197363372007499012087714557332537542059809447207861613201347588317586898306503183125807439280*y^3 - 123998326923216982095259783553232965986801681072293078645835620545010795000482057546052234090983655611186670831025589900681835949/1766508543890202670087201330192418282677631298444861056227095253185140974558878302622658978511185977128754827683694621284767079960*y^2 + 27493627667584349158501286390060010683725739837206822672419319687143349633637494589441609430463835508424465732311967110544153831/706603417556081068034880532076967313071052519377944422490838101274056389823551321049063591404474390851501931073477848513906831984*y - 406904958582118648377448101856995016112643528719582768255255557242907807617380639448708646927378410790087353881563735222841340115/6359430758004729612313924788692705817639472674401499802417542911466507508411961889441572322640269517663517379661300636625161487856