# Manifold: Census Knot K7_93 # Number of Tetrahedra: 7 # Number Field x^14 + 26*x^12 - 104*x^11 + 271*x^10 - 439*x^9 + 360*x^8 - 4*x^7 + 215*x^6 - 42*x^5 - 164*x^4 - 112*x^3 - 21*x^2 + 5*x + 3 # Approximate Field Generator 1.61931732297326 - 0.824989435740825*I # Shape Parameters 310174971810638377/151475804117313161703*y^13 + 416367065313992571/50491934705771053901*y^12 + 1104808477392626864/21639400588187594529*y^11 + 1394531378850322498/151475804117313161703*y^10 - 54711305898837023525/151475804117313161703*y^9 + 267576929322321598787/151475804117313161703*y^8 - 218282114761639634883/50491934705771053901*y^7 + 946130024263010574710/151475804117313161703*y^6 - 654348851449971396409/151475804117313161703*y^5 + 270234086128924439657/50491934705771053901*y^4 - 255632703048321805586/151475804117313161703*y^3 - 98615610103635594682/151475804117313161703*y^2 - 16448304615780788995/50491934705771053901*y + 49535286038743411289/151475804117313161703 -261259508204685812/7213133529395864843*y^13 + 213882588568809753/7213133529395864843*y^12 - 6938360045983111736/7213133529395864843*y^11 + 32846550727886289333/7213133529395864843*y^10 - 96834569156716480517/7213133529395864843*y^9 + 190760527847373030996/7213133529395864843*y^8 - 239392100234685093764/7213133529395864843*y^7 + 172941205432986888317/7213133529395864843*y^6 - 158075600697602573138/7213133529395864843*y^5 + 93039456239775169595/7213133529395864843*y^4 + 13985925977551244211/7213133529395864843*y^3 + 10380337177970633013/7213133529395864843*y^2 - 1851775956971080625/7213133529395864843*y + 1243056372661801542/7213133529395864843 -2693203036235899220/151475804117313161703*y^13 + 1847644083956910255/50491934705771053901*y^12 - 10444547455654059979/21639400588187594529*y^11 + 425077974019452940006/151475804117313161703*y^10 - 1386871935787238414078/151475804117313161703*y^9 + 3028583100154081748057/151475804117313161703*y^8 - 1445604402951315792866/50491934705771053901*y^7 + 3631483472731171866860/151475804117313161703*y^6 - 2201698440294314155612/151475804117313161703*y^5 + 611059944016671467747/50491934705771053901*y^4 - 718382782898926235981/151475804117313161703*y^3 - 175898765544476392165/151475804117313161703*y^2 - 29930799369281435974/50491934705771053901*y + 105274833812876139053/151475804117313161703 -53998772058747309124/685247685292607160085*y^13 + 38194377864144277401/685247685292607160085*y^12 - 1425239489044526951258/685247685292607160085*y^11 + 6614764166058346862918/685247685292607160085*y^10 - 19158454473995384127241/685247685292607160085*y^9 + 7284177868541305760907/137049537058521432017*y^8 - 8512954833036696169609/137049537058521432017*y^7 + 24855368155344139021881/685247685292607160085*y^6 - 21897711429868660145674/685247685292607160085*y^5 + 12531261712744055862544/685247685292607160085*y^4 + 549840319377851797742/137049537058521432017*y^3 + 1738882324167151857988/685247685292607160085*y^2 + 453684836941357723842/685247685292607160085*y + 841320332391829390692/685247685292607160085 -2693203036235899220/151475804117313161703*y^13 + 1847644083956910255/50491934705771053901*y^12 - 10444547455654059979/21639400588187594529*y^11 + 425077974019452940006/151475804117313161703*y^10 - 1386871935787238414078/151475804117313161703*y^9 + 3028583100154081748057/151475804117313161703*y^8 - 1445604402951315792866/50491934705771053901*y^7 + 3631483472731171866860/151475804117313161703*y^6 - 2201698440294314155612/151475804117313161703*y^5 + 611059944016671467747/50491934705771053901*y^4 - 718382782898926235981/151475804117313161703*y^3 - 175898765544476392165/151475804117313161703*y^2 - 29930799369281435974/50491934705771053901*y + 105274833812876139053/151475804117313161703 -39797614692490985528/454427412351939485109*y^13 + 9604777612013947039/151475804117313161703*y^12 - 148865541306246443626/64918201764562783587*y^11 + 4886507936391646760851/454427412351939485109*y^10 - 13973955169310132741516/454427412351939485109*y^9 + 26005089087631287573608/454427412351939485109*y^8 - 9613288221867762847525/151475804117313161703*y^7 + 13643865458495961514670/454427412351939485109*y^6 - 11726610025355632373542/454427412351939485109*y^5 + 1086989952057974926574/50491934705771053901*y^4 + 424472858489807814304/454427412351939485109*y^3 + 1527708299207365288229/454427412351939485109*y^2 - 187122038052588824354/151475804117313161703*y + 481378323767211438185/454427412351939485109 -71390935125702164621/685247685292607160085*y^13 + 15592408742901153569/685247685292607160085*y^12 - 1854615371393924033872/685247685292607160085*y^11 + 7825022933202678040227/685247685292607160085*y^10 - 20924622073076471766514/685247685292607160085*y^9 + 7054669995911464872182/137049537058521432017*y^8 - 6301821966310657699165/137049537058521432017*y^7 + 3451571615102743454894/685247685292607160085*y^6 - 11626977186261334656031/685247685292607160085*y^5 + 2879033832199117939061/685247685292607160085*y^4 + 2528218755253832839895/137049537058521432017*y^3 + 4481852886684969701862/685247685292607160085*y^2 + 396845070766476318103/685247685292607160085*y + 200960427591298619133/685247685292607160085 # A Gluing Matrix {{1,1,0,1,0,0,0},{1,1,0,2,0,0,0},{0,0,1,1,0,0,0},{0,1,1,6,1,4,2},{0,0,0,1,1,0,0},{0,0,0,4,0,4,2},{0,0,0,2,0,2,2}} # B Gluing Matrix {{1,1,0,0,0,0,0},{0,2,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,0,0,0,0,1}} # nu Gluing Vector {2, 2, 1, 6, 1, 4, 2} # f Combinatorial flattening {-2, 4, 1, 0, 1, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 4, 2} # 1 Loop Invariant -2544173910915203075/7213133529395864843*y^13 - 4213127438178466845/14426267058791729686*y^12 - 129561104364262111781/14426267058791729686*y^11 + 418517677322971913215/14426267058791729686*y^10 - 868963349201050136199/14426267058791729686*y^9 + 389151389813773606772/7213133529395864843*y^8 + 447183612055819268573/7213133529395864843*y^7 - 3069098712968658262417/14426267058791729686*y^6 + 572831608467562322347/14426267058791729686*y^5 - 1352141243763021480301/14426267058791729686*y^4 + 1773460934595821173827/14426267058791729686*y^3 + 513838451727540641916/7213133529395864843*y^2 + 131934888621012679489/7213133529395864843*y + 4293787249424142589/7213133529395864843 # 2 Loop Invariant 223524728696507424215172030852848061416394544813950804/13083307452556822918743506974094990525064007417589123267*y^13 + 168451587610479473998843933076620294413274167652303593/26166614905113645837487013948189981050128014835178246534*y^12 + 5741070242634312334723540935425432193992224097793966811/13083307452556822918743506974094990525064007417589123267*y^11 - 126100962117313987456833171068657748680482418949710042993/78499844715340937512461041844569943150384044505534739602*y^10 + 599511354692563758233166673224854281762180412147924099141/156999689430681875024922083689139886300768089011069479204*y^9 - 401577191471334412712472731841259146480219047828161683037/78499844715340937512461041844569943150384044505534739602*y^8 + 117972546643629644447275304295680455239819634727508651379/78499844715340937512461041844569943150384044505534739602*y^7 + 293409917592284784266045793142169840964343001469547118435/52333229810227291674974027896379962100256029670356493068*y^6 - 7780469949037817671336648991984051198955840382741900951/156999689430681875024922083689139886300768089011069479204*y^5 + 377988758056071895438114106057976902551567590340843171625/156999689430681875024922083689139886300768089011069479204*y^4 - 61131641333901890441769501424736758812961958206985284716/13083307452556822918743506974094990525064007417589123267*y^3 - 121621916008119114875223413414906723561490642345943861063/52333229810227291674974027896379962100256029670356493068*y^2 - 75652528979844888697923486148842185655378269638725741469/156999689430681875024922083689139886300768089011069479204*y - 59440449086349104944597228516692051726153575383618766887/156999689430681875024922083689139886300768089011069479204 # 3 Loop Invariant -29465169652489717958362916446129943711505985608521586233113804896164714/17620342056317276344057190935061002561810978704738563248929341777742135079*y^13 - 12875327894457949186972795593636972964375217535142294718587950761066157/17620342056317276344057190935061002561810978704738563248929341777742135079*y^12 - 757977013907232336356226160855681993473762306291996338361881215648012812/17620342056317276344057190935061002561810978704738563248929341777742135079*y^11 + 2730190530046761865450048293969393725078213657967995359048280734786470987/17620342056317276344057190935061002561810978704738563248929341777742135079*y^10 - 12866813377630479545934321765887670544652824377614583624125262113753010379/35240684112634552688114381870122005123621957409477126497858683555484270158*y^9 + 17240764872900875748198196768219677346122955570271968333056642708417575393/35240684112634552688114381870122005123621957409477126497858683555484270158*y^8 - 2770728083603843333342648002445829685619121412851286999117080575809663735/17620342056317276344057190935061002561810978704738563248929341777742135079*y^7 - 15978204720256693563371587347186334856318795626053364082999186833466984283/35240684112634552688114381870122005123621957409477126497858683555484270158*y^6 - 6977629831042342997758178236064117951399703769870425122341229918573474071/35240684112634552688114381870122005123621957409477126497858683555484270158*y^5 - 2615358494039126997623293840761348404295839573278792337758560123164026039/35240684112634552688114381870122005123621957409477126497858683555484270158*y^4 + 6696953485430492178347879682911976576850875611891798633366344158728645513/17620342056317276344057190935061002561810978704738563248929341777742135079*y^3 + 11398038095644785030292043506697039455613771539540413036582814414788746131/35240684112634552688114381870122005123621957409477126497858683555484270158*y^2 + 3174318031065885149710710880978878312608666162571734817003538251287835319/35240684112634552688114381870122005123621957409477126497858683555484270158*y + 121335238134003553353049548350802668042144996157958107268062166693686337/35240684112634552688114381870122005123621957409477126497858683555484270158