# Manifold: Census Knot K7_48 # Number of Tetrahedra: 7 # Number Field x^19 + x^18 - 16*x^17 - 18*x^16 + 107*x^15 + 135*x^14 - 385*x^13 - 548*x^12 + 792*x^11 + 1302*x^10 - 894*x^9 - 1817*x^8 + 441*x^7 + 1404*x^6 + 21*x^5 - 520*x^4 - 68*x^3 + 75*x^2 + 12*x - 4 # Approximate Field Generator 1.53825769144786 - 0.176835428862154*I # Shape Parameters 3/4*y^18 + y^17 - 47/4*y^16 - 35/2*y^15 + 303/4*y^14 + 128*y^13 - 255*y^12 - 2029/4*y^11 + 457*y^10 + 2349/2*y^9 - 345*y^8 - 6345/4*y^7 - 247/2*y^6 + 4653/4*y^5 + 1467/4*y^4 - 1539/4*y^3 - 181*y^2 + 157/4*y + 111/4 -3/8*y^18 - 3/4*y^17 + 45/8*y^16 + 49/4*y^15 - 271/8*y^14 - 335/4*y^13 + 407/4*y^12 + 2483/8*y^11 - 143*y^10 - 2687/4*y^9 + 18*y^8 + 6781/8*y^7 + 207*y^6 - 4663/8*y^5 - 1951/8*y^4 + 1477/8*y^3 + 199/2*y^2 - 145/8*y - 109/8 -y^3 + 2*y + 1 -y^3 + 2*y + 1 -17/8*y^18 - 35/8*y^17 + 109/4*y^16 + 255/4*y^15 - 1047/8*y^14 - 3005/8*y^13 + 2103/8*y^12 + 4565/4*y^11 - 101/2*y^10 - 7467/4*y^9 - 2527/4*y^8 + 12221/8*y^7 + 7273/8*y^6 - 1893/4*y^5 - 3177/8*y^4 + 35/4*y^3 + 49*y^2 + 85/8*y - 5/4 y^18 + 2*y^17 - 13*y^16 - 29*y^15 + 65*y^14 + 171*y^13 - 149*y^12 - 526*y^11 + 117*y^10 + 893*y^9 + 116*y^8 - 808*y^7 - 251*y^6 + 345*y^5 + 115*y^4 - 60*y^3 - 13*y^2 + 2*y + 1 -9/8*y^18 - 19/8*y^17 + 57/4*y^16 + 135/4*y^15 - 543/8*y^14 - 1549/8*y^13 + 1111/8*y^12 + 2289/4*y^11 - 109/2*y^10 - 3643/4*y^9 - 923/4*y^8 + 5837/8*y^7 + 2609/8*y^6 - 937/4*y^5 - 881/8*y^4 + 87/4*y^3 - 11/8*y + 11/4 # A Gluing Matrix {{0,0,-1,-1,0,-2,0},{0,0,1,1,0,2,0},{-1,2,-1,-1,0,-4,0},{-1,2,-2,0,0,-4,0},{0,0,0,0,2,-2,-1},{-1,2,-2,-2,-1,-3,0},{0,0,0,0,-1,0,2}} # B Gluing Matrix {{2,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,1,0,0,0},{0,0,0,2,0,0,0},{0,0,0,0,2,0,0},{0,0,0,0,0,1,0},{0,0,0,0,0,0,2}} # nu Gluing Vector {0, 2, -2, -2, 0, -3, 0} # f Combinatorial flattening {48, 0, 7, 3, -20, -15, -10} # f' Combinatorial flattening {-10, 22, -4, 0, 0, 0, 0} # 1 Loop Invariant 77/16*y^18 + 615/16*y^17 - 273/8*y^16 - 4279/8*y^15 - 2381/16*y^14 + 47857/16*y^13 + 36213/16*y^12 - 67805/8*y^11 - 37015/4*y^10 + 98619/8*y^9 + 143603/8*y^8 - 120841/16*y^7 - 271949/16*y^6 - 1367/8*y^5 + 108069/16*y^4 + 9905/8*y^3 - 929*y^2 - 3665/16*y + 269/8 # 2 Loop Invariant 1605811780988245609179417386808771982016959680637647854249/19736418514193882243513247363944252183270930312728970375056*y^18 + 944130309246231271549239090410339044584052226764349958869/14802313885645411682634935522958189137453197734546727781292*y^17 - 1402635564083745699015390567116179589453099299628694857327/1208352153930237688378362083506790949996179406901773696432*y^16 - 57873923362454876942337413622756104970486347173221665878921/59209255542581646730539742091832756549812790938186911125168*y^15 + 101176871507935167171987673114709386701706587517163142364897/14802313885645411682634935522958189137453197734546727781292*y^14 + 1219890352947161414378618629661550738467708452363113987987/201392025655039614729727013917798491666029901150295616072*y^13 - 181731781319897650913995402861225489491256675998189335701355/8458465077511663818648534584547536649973255848312415875024*y^12 - 1153790491077740415639264443765520691088535293911619824082561/59209255542581646730539742091832756549812790938186911125168*y^11 + 2294088477353725364733669824491252301232427877795715625090543/59209255542581646730539742091832756549812790938186911125168*y^10 + 508260789790641077736496609954439659233745353940860757883441/14802313885645411682634935522958189137453197734546727781292*y^9 - 589939228821566563429839339398396783110044452232203527770761/14802313885645411682634935522958189137453197734546727781292*y^8 - 310952352448583406545093308925998781729681178467931854979723/9868209257096941121756623681972126091635465156364485187528*y^7 + 79844582289325639995447380492690060218442735326985446579556/3700578471411352920658733880739547284363299433636681945323*y^6 + 717125429446894850524464879954288092067432248324429819594375/59209255542581646730539742091832756549812790938186911125168*y^5 - 261939882996748902926214386799859664979420467950621937752493/59209255542581646730539742091832756549812790938186911125168*y^4 - 14421923075275755672386770437422524618983000149494919175761/29604627771290823365269871045916378274906395469093455562584*y^3 - 4336211791018964878411137131032329884054941716577010552433/4934104628548470560878311840986063045817732578182242593764*y^2 - 748120893095052719343178224761121970444363463685338251819/14802313885645411682634935522958189137453197734546727781292*y + 251664794377771442571938736299644520013719687295520567164934/3700578471411352920658733880739547284363299433636681945323 # 3 Loop Invariant -22491825291355682953598618199743052371498631070684176329998696640095845591963108411325/1386348839274939788341094379845835558322743520600774868462907618563839040227645096480352*y^18 + 39239292961192417059902806608029103343558341881355587019649400225281950658267161832743/2772697678549879576682188759691671116645487041201549736925815237127678080455290192960704*y^17 + 187230025038504809775580619425516132192619576168678896068180042188878349228361978170157/693174419637469894170547189922917779161371760300387434231453809281919520113822548240176*y^16 - 666078443448325900542296240249521437297907304650588818154173156374642795961041018931/4041833350655801132189779533078237779366599185424999616509934747999530729526662088864*y^15 - 667709096397933932769439047913238022356762480240192064134780230567306503010690322821711/346587209818734947085273594961458889580685880150193717115726904640959760056911274120088*y^14 + 1936904270857144398391220637721214451841355764071109985966549227391138060934180082905085/2772697678549879576682188759691671116645487041201549736925815237127678080455290192960704*y^13 + 21138690043418654095425867300201617494090070831546629244747135639377384220224552521416845/2772697678549879576682188759691671116645487041201549736925815237127678080455290192960704*y^12 - 385854052361267293820445153273292745735092741748886391513291179826607807228271541594161/346587209818734947085273594961458889580685880150193717115726904640959760056911274120088*y^11 - 50002188214884031754549093355461563436457488554142138875733152356295101661299896299240163/2772697678549879576682188759691671116645487041201549736925815237127678080455290192960704*y^10 - 1395964641888985430377682535662821180079051340666570268019530520889053206279791768158985/2772697678549879576682188759691671116645487041201549736925815237127678080455290192960704*y^9 + 4410088316951292198495245759710978024180121485490374330624745345657472658810737486012843/173293604909367473542636797480729444790342940075096858557863452320479880028455637060044*y^8 + 2656764745575033942237867462844217017945341857162190649870010014612433368039877812723987/693174419637469894170547189922917779161371760300387434231453809281919520113822548240176*y^7 - 6949643129904106439917071873704628711252657028758283310011839071561170489104522825323789/346587209818734947085273594961458889580685880150193717115726904640959760056911274120088*y^6 - 5773338069900862141841500513417728414550804683952094657122437077929254176006187777320669/1386348839274939788341094379845835558322743520600774868462907618563839040227645096480352*y^5 + 20821530985726537221908927064738007860530973632059854375721934239282954351978439898726915/2772697678549879576682188759691671116645487041201549736925815237127678080455290192960704*y^4 + 1651053001350525742217411750131183325786326031887272676198540087466197405463113524066849/1386348839274939788341094379845835558322743520600774868462907618563839040227645096480352*y^3 - 2596090771939094383681223144814328874853867775272585042815421055524803794706308559404691/2772697678549879576682188759691671116645487041201549736925815237127678080455290192960704*y^2 - 9461397062446338459275703142367804579011598681128812750624183801084178343618085756955/346587209818734947085273594961458889580685880150193717115726904640959760056911274120088*y + 30809378180493541683704358350892971368029934995275175562012375208618599755544230687239/693174419637469894170547189922917779161371760300387434231453809281919520113822548240176