# Manifold: Census Knot K6_1

# Number of Tetrahedra: 6

# Number Field
x^8 + x^7 - 31*x^5 + 41*x^4 + 177*x^3 - 30*x^2 - 123*x + 55 

# Approximate Field Generator
0.529281053726133 + 0.187145129279182*I

# Shape Parameters
-26999071/1746327989*y^7 + 17565602/1746327989*y^6 - 7511079/1746327989*y^5 + 869236418/1746327989*y^4 - 2542325994/1746327989*y^3 - 179703106/249475427*y^2 + 4056462412/1746327989*y + 1553439187/1746327989

2219564/249475427*y^7 + 6541306/249475427*y^6 + 5461339/249475427*y^5 - 57685505/249475427*y^4 - 47143404/249475427*y^3 + 471215731/249475427*y^2 + 129866775/249475427*y - 278358181/249475427

5801947/249475427*y^7 + 4441361/249475427*y^6 + 12082502/249475427*y^5 - 175474907/249475427*y^4 + 252732431/249475427*y^3 + 353013533/249475427*y^2 - 285839121/249475427*y + 293712705/249475427

6221106/249475427*y^7 + 2749591/249475427*y^6 + 5821117/249475427*y^5 - 189270232/249475427*y^4 + 380465502/249475427*y^3 + 699694183/249475427*y^2 - 237223427/249475427*y - 78241193/249475427

12120525/249475427*y^7 + 12388674/249475427*y^6 + 8919142/249475427*y^5 - 375362536/249475427*y^4 + 492761615/249475427*y^3 + 1904165071/249475427*y^2 + 265010239/249475427*y - 390994780/249475427

180673349/13721148485*y^7 + 138282044/13721148485*y^6 + 3050124/249475427*y^5 - 5576601989/13721148485*y^4 + 8926982694/13721148485*y^3 + 23965156038/13721148485*y^2 + 111517247/2744229697*y + 3759216848/13721148485


# A Gluing Matrix
{{2,-2,2,0,-2,0},{-2,5,-4,0,4,0},{2,-4,3,0,-2,0},{0,0,0,0,-1,0},{-2,4,-2,-1,4,1},{0,0,0,0,1,1}}

# B Gluing Matrix
{{1,0,0,0,0,0},{0,1,0,0,0,0},{0,0,1,0,0,0},{0,0,0,1,0,0},{0,0,0,0,1,0},{0,0,0,0,0,1}}

# nu Gluing Vector
{-2, 5, -3, 0, 4, 1}

# f Combinatorial flattening
{2, 1, -1, -1, 0, 1}

# f' Combinatorial flattening
{-2, 0, 0, 0, 0, 0}

# 1 Loop Invariant
-100982433/498950854*y^7 - 119811045/498950854*y^6 - 44850261/249475427*y^5 + 3084937377/498950854*y^4 - 3667658529/498950854*y^3 - 16659653805/498950854*y^2 - 4026656279/498950854*y + 2874871726/249475427

# 2 Loop Invariant
24386043310919268512373/6123607796077364946074252*y^7 + 5653615859397630818049/3061803898038682473037126*y^6 + 68120678142183336165449/18370823388232094838222756*y^5 - 2233868707848864857154361/18370823388232094838222756*y^4 + 1099318709730138148066279/4592705847058023709555689*y^3 + 4140090298550977546864115/9185411694116047419111378*y^2 - 634211553234299469562271/4592705847058023709555689*y + 12584345720761202883273211/36741646776464189676445512

# 3 Loop Invariant
29291482817508744744603293285/119924295709519746552983270340419*y^7 + 28126037755851759339194262511/239848591419039493105966540680838*y^6 + 30182010514167894211073765795/119924295709519746552983270340419*y^5 - 937793866941627257463030559514/119924295709519746552983270340419*y^4 + 1556962456003739750594300488970/119924295709519746552983270340419*y^3 + 5219873797061148808241542521657/239848591419039493105966540680838*y^2 - 1887399594943775298552997087539/239848591419039493105966540680838*y - 655776524871286017567357041541/239848591419039493105966540680838