# Manifold: Census Knot K6_32 # Number of Tetrahedra: 6 # Number Field x^11 + 2*x^10 + 12*x^9 + 11*x^8 - 12*x^7 - 62*x^6 + 74*x^5 - 29*x^4 - 5*x^3 + 11*x^2 - x - 1 # Approximate Field Generator 0.300769723342712 + 0.588623134586501*I # Shape Parameters 336067/72641*y^10 + 343100/72641*y^9 + 3383148/72641*y^8 - 16738/4273*y^7 - 7658700/72641*y^6 - 17416616/72641*y^5 + 44505411/72641*y^4 - 34217954/72641*y^3 + 11545656/72641*y^2 + 2003746/72641*y - 2545578/72641 277956/72641*y^10 + 268509/72641*y^9 + 2768268/72641*y^8 - 24611/4273*y^7 - 6496996/72641*y^6 - 14231604/72641*y^5 + 37727193/72641*y^4 - 29500511/72641*y^3 + 10050294/72641*y^2 + 1603450/72641*y - 2135491/72641 -8412/72641*y^10 + 32875/72641*y^9 + 6522/72641*y^8 + 31110/4273*y^7 + 763655/72641*y^6 + 123495/72641*y^5 - 3684005/72641*y^4 + 3338161/72641*y^3 - 1337222/72641*y^2 - 7033/72641*y + 401675/72641 -57085/145282*y^10 - 39692/72641*y^9 - 308237/72641*y^8 - 102855/72641*y^7 + 534630/72641*y^6 + 3193707/145282*y^5 - 3144289/72641*y^4 + 2110467/72641*y^3 - 1213009/145282*y^2 - 152678/72641*y + 151330/72641 -8412/72641*y^10 + 32875/72641*y^9 + 6522/72641*y^8 + 31110/4273*y^7 + 763655/72641*y^6 + 123495/72641*y^5 - 3684005/72641*y^4 + 3338161/72641*y^3 - 1337222/72641*y^2 - 7033/72641*y + 329034/72641 -665101/72641*y^10 - 1065397/72641*y^9 - 7509713/72641*y^8 - 247826/4273*y^7 + 10279187/72641*y^6 + 37924761/72641*y^5 - 64473680/72641*y^4 + 42068511/72641*y^3 - 11132058/72641*y^2 - 3922693/72641*y + 2155235/72641 # A Gluing Matrix {{-1,0,0,-2,1,-2},{0,1,0,2,-1,2},{0,0,0,-1,0,0},{-2,2,-1,-3,1,-2},{2,-2,0,2,1,0},{-2,2,0,-2,0,-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,2,0},{0,0,0,0,0,1}} # nu Gluing Vector {-1, 1, 0, -1, 2, -1} # f Combinatorial flattening {1, 1, 1, 0, 2, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0} # 1 Loop Invariant 12545041/72641*y^10 + 19823027/72641*y^9 + 141050221/72641*y^8 + 4473587/4273*y^7 - 197565212/72641*y^6 - 713011846/72641*y^5 + 1233794387/72641*y^4 - 808160591/72641*y^3 + 219794036/72641*y^2 + 75457180/72641*y - 41337974/72641 # 2 Loop Invariant 93600698313816180114380497928753/130842249249710727323705858812512*y^10 + 26810212562968735597663957364537/21807041541618454553950976468752*y^9 + 1081019611608010207615538302859603/130842249249710727323705858812512*y^8 + 243723678514552950302600311115545/43614083083236909107901952937504*y^7 - 431144517283470344918572953390923/43614083083236909107901952937504*y^6 - 2706209915404458726417591322128857/65421124624855363661852929406256*y^5 + 1399621406792327576065224788504727/21807041541618454553950976468752*y^4 - 5286011513998434568148605489236859/130842249249710727323705858812512*y^3 + 1258523069323919338919232161227147/130842249249710727323705858812512*y^2 + 589317906712748976741860634558803/130842249249710727323705858812512*y - 246088288386374917419799122407107/130842249249710727323705858812512 # 3 Loop Invariant 8287691767054732973806495873261349822185372565/105934541840775198395887546028629634475879325952*y^10 + 7575970628026744734264604616217605924758402403/52967270920387599197943773014314817237939662976*y^9 + 13956972654266539331318669257664619368368792211/15133505977253599770841078004089947782268475136*y^8 + 19057442109144552352083583482054116281856150383/26483635460193799598971886507157408618969831488*y^7 - 101851778633967982019036400808983230676097724223/105934541840775198395887546028629634475879325952*y^6 - 242349820098523062093935913060127565114066055497/52967270920387599197943773014314817237939662976*y^5 + 98689648629887677049568481270925229523020273031/15133505977253599770841078004089947782268475136*y^4 - 409539976206263619977843450707896649372543189045/105934541840775198395887546028629634475879325952*y^3 + 11813642427090309276335052545301169405367653727/15133505977253599770841078004089947782268475136*y^2 + 12726805064453381202723063908516650944355553337/26483635460193799598971886507157408618969831488*y - 7790309767241466283060980482606864216443610895/52967270920387599197943773014314817237939662976