# Manifold: Census Knot K7_126 # Number of Tetrahedra: 7 # Number Field x^20 - 5/2*x^18 - 3/4*x^17 + 57/16*x^16 - 4*x^15 - 393/64*x^14 + 471/64*x^13 + 449/64*x^12 - 123/16*x^11 - 25/64*x^10 + 665/64*x^9 - 149/64*x^8 - 17/2*x^7 + 5/8*x^6 + 113/32*x^5 + 15/64*x^4 - 47/64*x^3 - 1/8*x^2 + 1/16*x + 1/64 # Approximate Field Generator 0.613618797660144 - 1.01365150533417*I # Shape Parameters 1329488960581343424/137190239833265*y^19 - 684778616309750528/137190239833265*y^18 - 2997082019096234464/137190239833265*y^17 + 3735179545813424/946139585057*y^16 + 4515163868936889708/137190239833265*y^15 - 7614053071704987472/137190239833265*y^14 - 4315278799667382859/137190239833265*y^13 + 12104089874420069549/137190239833265*y^12 + 3253621184396881471/137190239833265*y^11 - 12033020166289056979/137190239833265*y^10 + 5508014940439507358/137190239833265*y^9 + 11111199227098570469/137190239833265*y^8 - 8822750861152060967/137190239833265*y^7 - 1399008965346633970/27438047966653*y^6 + 889264259836600003/27438047966653*y^5 + 2570837008818921066/137190239833265*y^4 - 992796605034456262/137190239833265*y^3 - 513812250721597383/137190239833265*y^2 + 87080646443508638/137190239833265*y + 43959583399517993/137190239833265 6598875017968340672/411570719499795*y^19 - 870779231095526208/137190239833265*y^18 - 4874626919636286624/137190239833265*y^17 + 6414772909260944/2838418755171*y^16 + 21325633630889232284/411570719499795*y^15 - 35633345791870726876/411570719499795*y^14 - 8033861813814723409/137190239833265*y^13 + 54738916442594948672/411570719499795*y^12 + 6621513661034613206/137190239833265*y^11 - 54028150420563935492/411570719499795*y^10 + 23640889683596219759/411570719499795*y^9 + 18254648607102517129/137190239833265*y^8 - 12093704115655303742/137190239833265*y^7 - 6875080534813168820/82314143899959*y^6 + 1121600063602957838/27438047966653*y^5 + 11803855680249811163/411570719499795*y^4 - 1140703864009369437/137190239833265*y^3 - 2129818716252697889/411570719499795*y^2 + 267534472450030804/411570719499795*y + 157693321469747084/411570719499795 -326640382357124096/137190239833265*y^19 + 173228786195422272/137190239833265*y^18 + 734724515366459136/137190239833265*y^17 - 989148904992224/946139585057*y^16 - 1109499883663426992/137190239833265*y^15 + 1885086635635316548/137190239833265*y^14 + 1034032175277035696/137190239833265*y^13 - 2991576198228114141/137190239833265*y^12 - 763110952785387449/137190239833265*y^11 + 2970513650937947346/137190239833265*y^10 - 1387743435294880772/137190239833265*y^9 - 2711361122112111306/137190239833265*y^8 + 2205227539813219113/137190239833265*y^7 + 339186849608070764/27438047966653*y^6 - 222745781734619585/27438047966653*y^5 - 623026192902924474/137190239833265*y^4 + 249617529836296478/137190239833265*y^3 + 124730803675534787/137190239833265*y^2 - 22025398510275917/137190239833265*y - 10562475640006587/137190239833265 6598875017968340672/411570719499795*y^19 - 870779231095526208/137190239833265*y^18 - 4874626919636286624/137190239833265*y^17 + 6414772909260944/2838418755171*y^16 + 21325633630889232284/411570719499795*y^15 - 35633345791870726876/411570719499795*y^14 - 8033861813814723409/137190239833265*y^13 + 54738916442594948672/411570719499795*y^12 + 6621513661034613206/137190239833265*y^11 - 54028150420563935492/411570719499795*y^10 + 23640889683596219759/411570719499795*y^9 + 18254648607102517129/137190239833265*y^8 - 12093704115655303742/137190239833265*y^7 - 6875080534813168820/82314143899959*y^6 + 1121600063602957838/27438047966653*y^5 + 11803855680249811163/411570719499795*y^4 - 1140703864009369437/137190239833265*y^3 - 2129818716252697889/411570719499795*y^2 + 267534472450030804/411570719499795*y + 158104892189246879/411570719499795 14316604847410582528/685951199166325*y^19 - 7507639387958841536/685951199166325*y^18 - 32012626187829823488/685951199166325*y^17 + 41618864271353888/4730697925285*y^16 + 48181492805655808336/685951199166325*y^15 - 82386493714589485644/685951199166325*y^14 - 45148052869930616608/685951199166325*y^13 + 129675141815604440063/685951199166325*y^12 + 33329361230754305067/685951199166325*y^11 - 128412241549578639088/685951199166325*y^10 + 60842244018765249881/685951199166325*y^9 + 117700829891751936258/685951199166325*y^8 - 95206028137264569644/685951199166325*y^7 - 14630118464366888417/137190239833265*y^6 + 1900009960844657832/27438047966653*y^5 + 26561638132427084452/685951199166325*y^4 - 10526102617939663619/685951199166325*y^3 - 5247967389625398191/685951199166325*y^2 + 918297543007364426/685951199166325*y + 440399676165491671/685951199166325 37200122957155136/27438047966653*y^19 - 178677127788123904/82314143899959*y^18 - 252629014316446048/82314143899959*y^17 + 10478875594624432/2838418755171*y^16 + 469910806371704572/82314143899959*y^15 - 324919227937358960/27438047966653*y^14 + 156865111638208865/82314143899959*y^13 + 1641993430157096489/82314143899959*y^12 - 427684525105524329/82314143899959*y^11 - 1627307108098063787/82314143899959*y^10 + 1138684780088777054/82314143899959*y^9 + 747100664272501135/82314143899959*y^8 - 1759640192808060770/82314143899959*y^7 - 370706394271034705/82314143899959*y^6 + 341777271816603209/27438047966653*y^5 + 70369078923487485/27438047966653*y^4 - 265727302190364442/82314143899959*y^3 - 66518710029508738/82314143899959*y^2 + 9128291101555100/27438047966653*y + 8239839569600929/82314143899959 -19562459741124160/27438047966653*y^19 + 9870214731505408/27438047966653*y^18 + 35655420070292384/27438047966653*y^17 - 137152458020688/946139585057*y^16 - 49621998598839044/27438047966653*y^15 + 110731828664402960/27438047966653*y^14 + 41021842840872593/27438047966653*y^13 - 131137904452987471/27438047966653*y^12 - 24890700306364269/27438047966653*y^11 + 116124795848593237/27438047966653*y^10 - 98335352356562288/27438047966653*y^9 - 108568689036325230/27438047966653*y^8 + 92300363188673287/27438047966653*y^7 + 47271406663493765/27438047966653*y^6 - 24959660234534923/27438047966653*y^5 - 7913613907149915/27438047966653*y^4 + 1701506660292623/27438047966653*y^3 - 220262217585042/27438047966653*y^2 + 171591549041165/27438047966653*y + 228937223796252/27438047966653 # A Gluing Matrix {{3,0,1,1,-2,2,-1},{-1,0,-2,1,2,0,-1},{1,0,-1,2,0,2,-2},{-1,-1,-2,2,2,0,0},{-4,-1,-4,0,5,-2,1},{2,0,2,0,-2,2,0},{-2,-1,-4,2,4,0,-1}} # B Gluing Matrix {{1,0,0,0,0,0,1},{0,1,0,0,0,0,2},{0,0,1,0,0,0,2},{0,0,0,1,0,0,2},{0,0,0,0,1,0,1},{0,0,0,0,0,1,0},{0,0,0,0,0,0,3}} # nu Gluing Vector {2, 0, 1, 0, -2, 2, -1} # f Combinatorial flattening {1, 3, -2, 1, -1, 0, 2} # f' Combinatorial flattening {0, 0, 0, 0, 0, 2, 0} # 1 Loop Invariant -3983929612866163904/27438047966653*y^19 + 2368732893468906016/27438047966653*y^18 + 8614436476395025600/27438047966653*y^17 - 73314011200348096/946139585057*y^16 - 13071809986164186420/27438047966653*y^15 + 23642408631289096266/27438047966653*y^14 + 10593883079265904265/27438047966653*y^13 - 71714209868491620291/54876095933306*y^12 - 7007341233717268047/27438047966653*y^11 + 35153938874625451303/27438047966653*y^10 - 37853817170378887771/54876095933306*y^9 - 30495234233859832645/27438047966653*y^8 + 54828185917511907077/54876095933306*y^7 + 18141150376646329933/27438047966653*y^6 - 26678002833906750181/54876095933306*y^5 - 6569059992443722788/27438047966653*y^4 + 5869404042488803379/54876095933306*y^3 + 2630532111436655317/54876095933306*y^2 - 255752258184654635/27438047966653*y - 224822205621030617/54876095933306 # 2 Loop Invariant -2911631022983325257934229655895203430717553529151736563251805329428863027192/4054460166669703556726016724325634498969739921164677570185383556679097377*y^19 + 4643696317682519516246446187080677993430508861820253503377845230125476338308/12163380500009110670178050172976903496909219763494032710556150670037292131*y^18 + 19919011220368146050335358523878938149521030568317922925286700973109616982048/12163380500009110670178050172976903496909219763494032710556150670037292131*y^17 - 45089788098662559563100398871299267845450341263780957963623708450736474812/139808971264472536438828162907780499964473790384988881730530467471693013*y^16 - 60533247487313322298267654162710881508087462903774938019567707821598838349895/24326761000018221340356100345953806993818439526988065421112301340074584262*y^15 + 201538705132925555107450869475074441066431920081797919297926873251092237862389/48653522000036442680712200691907613987636879053976130842224602680149168524*y^14 + 227319257266400495378449590729321746024429099039977166856323113584543838079123/97307044000072885361424401383815227975273758107952261684449205360298337048*y^13 - 1302478074364860194197686229772108198041567626138532558314933395605802021827367/194614088000145770722848802767630455950547516215904523368898410720596674096*y^12 - 171811971541079535670271669934149994279214973481900345245561584824526499467505/97307044000072885361424401383815227975273758107952261684449205360298337048*y^11 + 108613902355245481273817489663935112395244781424041066521889560850259226466247/16217840666678814226904066897302537995878959684658710280741534226716389508*y^10 - 578762573082014954909524875271669955104191578328009598622654410866675447484205/194614088000145770722848802767630455950547516215904523368898410720596674096*y^9 - 1190032868741467484806233822577909553526862434330114824090362945611129263957831/194614088000145770722848802767630455950547516215904523368898410720596674096*y^8 + 159633663439595431850567315837878304757300523515455831418858796005730599616209/32435681333357628453808133794605075991757919369317420561483068453432779016*y^7 + 760711171016440814182444871365075254300285446544010352869077827245897167289295/194614088000145770722848802767630455950547516215904523368898410720596674096*y^6 - 123788169418433154219819466665085622315774828948670353413452546602209030977625/48653522000036442680712200691907613987636879053976130842224602680149168524*y^5 - 24029825409652698081173364905357335890081688060011068060193220856195781332039/16217840666678814226904066897302537995878959684658710280741534226716389508*y^4 + 56721112099902822649602175064430586575682330151639078226930522146473731097103/97307044000072885361424401383815227975273758107952261684449205360298337048*y^3 + 29813325780708777364149905565516084752200819744240542980686831646506405669165/97307044000072885361424401383815227975273758107952261684449205360298337048*y^2 - 10237698282584825620824637551958211460787876991373106219435666421522427115153/194614088000145770722848802767630455950547516215904523368898410720596674096*y - 2651499218705412328714133493645604129905387635969294850269583464541660070901/97307044000072885361424401383815227975273758107952261684449205360298337048 # 3 Loop Invariant 3869771744815264016466752464068588462823648583946983318320492229680418318882951806929156700536003309888347/8393091359727625959315669266574536325761397728202652265231775596024106466814843081891638155543046708513*y^19 - 1567571370278019180719054080142097873293572782378739410557119953345214225392324307883609964160334194100741/8393091359727625959315669266574536325761397728202652265231775596024106466814843081891638155543046708513*y^18 - 18038387623980931886389802472882294706358535187535043888284463059242521119711199532322923844324062652275913/16786182719455251918631338533149072651522795456405304530463551192048212933629686163783276311086093417026*y^17 + 3039000710612255158249981181109552506267148942955137992438823568988807988978426434310056360906209150013289/33572365438910503837262677066298145303045590912810609060927102384096425867259372327566552622172186834052*y^16 + 214917786032220626827146672219357749763651202168462245725329155641081124914691623385384611891126929050665447/134289461755642015349050708265192581212182363651242436243708409536385703469037489310266210488688747336208*y^15 - 335256289021191483017093293580513026262383796903736042685060773645601361273439500610521255757357281197922897/134289461755642015349050708265192581212182363651242436243708409536385703469037489310266210488688747336208*y^14 - 974048699892297444997478259275713065999375226637505592617761917834676037216847113487452348342874108456525815/537157847022568061396202833060770324848729454604969744974833638145542813876149957241064841954754989344832*y^13 + 1106651147589705545545356690500410349329786303491489439692603908298274237179166774386684795521079049400111137/268578923511284030698101416530385162424364727302484872487416819072771406938074978620532420977377494672416*y^12 + 831512660531069544654852298527937775528331790141674015895888142986238856188334223468595358577195409198729233/537157847022568061396202833060770324848729454604969744974833638145542813876149957241064841954754989344832*y^11 - 1117611932039322660160175330637508230094788438629697998865165723086347270069661693134379888363533863319934343/268578923511284030698101416530385162424364727302484872487416819072771406938074978620532420977377494672416*y^10 + 409670114317604923060937217460198649397926804627652306425651148451732474502467659536500946612457270450567645/268578923511284030698101416530385162424364727302484872487416819072771406938074978620532420977377494672416*y^9 + 2236059205935163516130909749475149970669550116715795462294961436293726514261257582314354129219231682368153917/537157847022568061396202833060770324848729454604969744974833638145542813876149957241064841954754989344832*y^8 - 742074097676433145682828780490489364717991643765419583454603524205946697023551055530989085699752606824080853/268578923511284030698101416530385162424364727302484872487416819072771406938074978620532420977377494672416*y^7 - 1491264483587950832471906578203975710734162664244845884691723070904570039631591071917295586297576581439746531/537157847022568061396202833060770324848729454604969744974833638145542813876149957241064841954754989344832*y^6 + 190161661066060482994906886018877385917867991105318190714344053211604826803667870097642310309799547503758941/134289461755642015349050708265192581212182363651242436243708409536385703469037489310266210488688747336208*y^5 + 557006303446499923706066698325714400477178828658088429398487537800067586853186917757181371587070826372989433/537157847022568061396202833060770324848729454604969744974833638145542813876149957241064841954754989344832*y^4 - 42530576684640286556157103505057084050866255276879951272294720693103585252680847891598286069408395026506273/134289461755642015349050708265192581212182363651242436243708409536385703469037489310266210488688747336208*y^3 - 27562778515413896770649300597294400689636308796067053570113822123193549243961401932424245599820961019053733/134289461755642015349050708265192581212182363651242436243708409536385703469037489310266210488688747336208*y^2 + 14655152846741311299162947400551572796770568411309629980987234286302241333046901768213509828606591693604323/537157847022568061396202833060770324848729454604969744974833638145542813876149957241064841954754989344832*y + 9255853597306301841333461497097758360451350352085375580053428347489391365050319738960668961916003947443269/537157847022568061396202833060770324848729454604969744974833638145542813876149957241064841954754989344832