Magma V2.19-8 Tue Aug 20 2013 16:18:48 on localhost [Seed = 1326371379] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2969 geometric_solution 6.15157257 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.975718328581 0.623464608210 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261340234331 0.728127422787 4 1 5 6 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244171161979 0.653125221863 5 6 4 1 1023 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244171161979 0.653125221863 2 3 4 4 0132 3201 1230 3012 0 0 0 0 0 -1 1 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753858837574 1.477683275470 6 3 6 2 3201 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.867652826304 1.227510419294 3 5 2 5 1023 3201 0132 2310 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.536921108141 0.788646988340 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 676316052640278597958846981987423476890785654040391/215463577930841\ 50488003290203091931231472643468599*c_0101_5^22 + 14233086738909652169552478445611868390574744983235178/2154635779308\ 4150488003290203091931231472643468599*c_0101_5^21 + 23536335077976403140647007041712806504697188386110050/2154635779308\ 4150488003290203091931231472643468599*c_0101_5^20 + 119018410706186206968238184795367040989640399847994579/861854311723\ 36601952013160812367724925890573874396*c_0101_5^19 - 358397335208355022682312875346467028977293044748903835/344741724689\ 346407808052643249470899703562295497584*c_0101_5^18 - 114280463667448082159247740943995974275806376843702530/215463577930\ 84150488003290203091931231472643468599*c_0101_5^17 - 1339429383114671890856105171978254553171141183666619287/17237086234\ 4673203904026321624735449851781147748792*c_0101_5^16 - 344393646436123541040233210679123265148223684025741689/430927155861\ 68300976006580406183862462945286937198*c_0101_5^15 - 101555055995017780631361460362686003044472729622092193/172370862344\ 673203904026321624735449851781147748792*c_0101_5^14 + 82766580607192054989443742033269781653357359466096251/4309271558616\ 8300976006580406183862462945286937198*c_0101_5^13 + 89845310851202895030558681097181121375226373370277153/8408334748520\ 644092879332762182217065940543792624*c_0101_5^12 + 1680581229830933773368159075821931623787723939119463357/17237086234\ 4673203904026321624735449851781147748792*c_0101_5^11 + 2263652464984372465210102112189614596811512141939857751/34474172468\ 9346407808052643249470899703562295497584*c_0101_5^10 + 3216769020443950243977210091490557890963207382948410753/34474172468\ 9346407808052643249470899703562295497584*c_0101_5^9 - 144915563967095013407503641097045923181100261802090613/344741724689\ 346407808052643249470899703562295497584*c_0101_5^8 + 83428674448613273078681707741287729157144427193556745/1498877063866\ 7235122089245358672647813198360673808*c_0101_5^7 - 985558905844312787559908296900780283850729814909013769/344741724689\ 346407808052643249470899703562295497584*c_0101_5^6 + 988161958338770740962686502699916853442023199529182807/344741724689\ 346407808052643249470899703562295497584*c_0101_5^5 - 412844710260884983341752582413735179499789006101463351/344741724689\ 346407808052643249470899703562295497584*c_0101_5^4 + 113023608635235417828251942577509159082984673738448363/172370862344\ 673203904026321624735449851781147748792*c_0101_5^3 - 45763243675863720672254594047608113565351917074598539/3447417246893\ 46407808052643249470899703562295497584*c_0101_5^2 + 2163253007128184962659339781448220390774783573435379/34474172468934\ 6407808052643249470899703562295497584*c_0101_5 - 6797989320755839759516789956741458294998721647350955/34474172468934\ 6407808052643249470899703562295497584, c_0011_0 - 1, c_0011_3 + 120448707257711569672330493314246952426788292347941/93679816\ 4916702195130577834917040488324897542113*c_0101_5^22 + 168064742093504266018844932431201564607258487082606/936798164916702\ 195130577834917040488324897542113*c_0101_5^21 + 230970046678406043546064431491314670158659779081430/936798164916702\ 195130577834917040488324897542113*c_0101_5^20 - 891298852836161074510537536702944897176797212186615/374719265966680\ 8780522311339668161953299590168452*c_0101_5^19 - 14657940588850308491999125290099254008757215289855137/1498877063866\ 7235122089245358672647813198360673808*c_0101_5^18 - 1192387251019032626996571404200624347211981639325171/93679816491670\ 2195130577834917040488324897542113*c_0101_5^17 - 9802590894586836717252928012875939841436349080942317/74943853193336\ 17561044622679336323906599180336904*c_0101_5^16 + 441614031169340613004500788854090822898863244684041/187359632983340\ 4390261155669834080976649795084226*c_0101_5^15 + 1811617013491946728949853400092565129849081602068125/74943853193336\ 17561044622679336323906599180336904*c_0101_5^14 + 1948671210421306577753703294665139617417483639375277/93679816491670\ 2195130577834917040488324897542113*c_0101_5^13 + 530769907815168457701820432513839972554302258255235/365579771674810\ 612733884033138357263736545382288*c_0101_5^12 + 6531263219528198421051972674354834356542020456100275/74943853193336\ 17561044622679336323906599180336904*c_0101_5^11 + 26218397947983940426701017772748136465020997172138445/1498877063866\ 7235122089245358672647813198360673808*c_0101_5^10 - 9698927324294776857518915757700025725465872929999933/14988770638667\ 235122089245358672647813198360673808*c_0101_5^9 + 19603727699458879158759376188423880443061893922094961/1498877063866\ 7235122089245358672647813198360673808*c_0101_5^8 - 15133820473584294881527956919255442714796573798096203/1498877063866\ 7235122089245358672647813198360673808*c_0101_5^7 + 12192458517096199307387735623187269948871161746274405/1498877063866\ 7235122089245358672647813198360673808*c_0101_5^6 - 7205967572298755123142999429612684357301939769149235/14988770638667\ 235122089245358672647813198360673808*c_0101_5^5 + 3382096295070508058844350701574118574672619549833595/14988770638667\ 235122089245358672647813198360673808*c_0101_5^4 - 590931199110363943493063531760509265237158411522555/749438531933361\ 7561044622679336323906599180336904*c_0101_5^3 + 228349401048295461648223857248364607715892228457991/149887706386672\ 35122089245358672647813198360673808*c_0101_5^2 - 85901769534239435673813330674355661933416688659807/1498877063866723\ 5122089245358672647813198360673808*c_0101_5 + 6283577316699722300225379836352150371777778688559/14988770638667235\ 122089245358672647813198360673808, c_0101_0 + 1589073914715216244413081803787872832516523683/1126108217332\ 4624591359168098150482495581117*c_0101_5^22 + 2324670542803307925937891705630599230412982218/11261082173324624591\ 359168098150482495581117*c_0101_5^21 + 3400555043753909257063592696188329806906991010/11261082173324624591\ 359168098150482495581117*c_0101_5^20 - 9691820577659514832982466601805297550360723201/45044328693298498365\ 436672392601929982324468*c_0101_5^19 - 190158978300268565012803716779129528982833483879/180177314773193993\ 461746689570407719929297872*c_0101_5^18 - 33794955338430227352105479360250995737131659435/2252216434664924918\ 2718336196300964991162234*c_0101_5^17 - 150773196163033032864922408747273677197661230023/900886573865969967\ 30873344785203859964648936*c_0101_5^16 - 303857124459221375968964645098546400714317560/112610821733246245913\ 59168098150482495581117*c_0101_5^15 + 8411477063946493829594371302987342963655579711/90088657386596996730\ 873344785203859964648936*c_0101_5^14 + 52292838021199464445918959053856447241681024227/2252216434664924918\ 2718336196300964991162234*c_0101_5^13 + 322499050294868920065163095281419220588108939717/180177314773193993\ 461746689570407719929297872*c_0101_5^12 + 120237880876111555962042970702735384600442223229/900886573865969967\ 30873344785203859964648936*c_0101_5^11 + 399365304648751810694884689733267258144085852091/180177314773193993\ 461746689570407719929297872*c_0101_5^10 - 83465134720446777237738399729809619800606221043/1801773147731939934\ 61746689570407719929297872*c_0101_5^9 + 296194413542878639107957106428523348335958982583/180177314773193993\ 461746689570407719929297872*c_0101_5^8 - 190310158386846538982341421962872866502834541701/180177314773193993\ 461746689570407719929297872*c_0101_5^7 + 175703518866582340595166875808057032866087157939/180177314773193993\ 461746689570407719929297872*c_0101_5^6 - 99584498337752312894625438163115263585298691437/1801773147731939934\ 61746689570407719929297872*c_0101_5^5 + 52368509779950991264872387128696608240447414781/1801773147731939934\ 61746689570407719929297872*c_0101_5^4 - 8911034288054566655379401881255734976803356945/90088657386596996730\ 873344785203859964648936*c_0101_5^3 + 3471962991535863514501816562270905815645141753/18017731477319399346\ 1746689570407719929297872*c_0101_5^2 - 764039767918658650129002787803395664756647353/180177314773193993461\ 746689570407719929297872*c_0101_5 - 63081463330787639089350180256350565898090063/1801773147731939934617\ 46689570407719929297872, c_0101_1 + 2065666021423214774181699048761932250828618295/1126108217332\ 4624591359168098150482495581117*c_0101_5^22 + 2555141931235487850119725433875651001476835046/11261082173324624591\ 359168098150482495581117*c_0101_5^21 + 3407401009951645607603784137474932590052968726/11261082173324624591\ 359168098150482495581117*c_0101_5^20 - 18575728944849931776748215791560371586391559437/4504432869329849836\ 5436672392601929982324468*c_0101_5^19 - 246075469406144142848272165781806913736608956635/180177314773193993\ 461746689570407719929297872*c_0101_5^18 - 71469068205237189840984398637957006465362425127/4504432869329849836\ 5436672392601929982324468*c_0101_5^17 - 135035663254500596023491560045617678596188679981/900886573865969967\ 30873344785203859964648936*c_0101_5^16 + 34421311054261516141594001364650238825821578613/4504432869329849836\ 5436672392601929982324468*c_0101_5^15 + 38649238840916680065175183409609857860029013941/9008865738659699673\ 0873344785203859964648936*c_0101_5^14 + 131940852167820375979630571855880540323465382349/450443286932984983\ 65436672392601929982324468*c_0101_5^13 + 278455545366506959461397372538551198700542643261/180177314773193993\ 461746689570407719929297872*c_0101_5^12 + 66137395262946469838756356722107948586819749725/9008865738659699673\ 0873344785203859964648936*c_0101_5^11 + 382409881998228769650693400078846205965325293327/180177314773193993\ 461746689570407719929297872*c_0101_5^10 - 257142014159333794480240684270473420591197827395/180177314773193993\ 461746689570407719929297872*c_0101_5^9 + 343078514701603700129637823868515887178125932779/180177314773193993\ 461746689570407719929297872*c_0101_5^8 - 311087379993748793927628839650238320506496780013/180177314773193993\ 461746689570407719929297872*c_0101_5^7 + 241202176649801875950047349094195581119656630911/180177314773193993\ 461746689570407719929297872*c_0101_5^6 - 147795521396106277985727712827644894790080925501/180177314773193993\ 461746689570407719929297872*c_0101_5^5 + 72467416030697533582206888512616869039832569625/1801773147731939934\ 61746689570407719929297872*c_0101_5^4 - 12995724125377018836859070657638680984098761367/9008865738659699673\ 0873344785203859964648936*c_0101_5^3 + 4902726404127813496039576372432730047093839945/18017731477319399346\ 1746689570407719929297872*c_0101_5^2 - 1023609635163056428720611739840384572617048917/18017731477319399346\ 1746689570407719929297872*c_0101_5 + 95839925694302774896106100779399826858099553/1801773147731939934617\ 46689570407719929297872, c_0101_2 - 82674706092459054813488606272124661744842492897013/936798164\ 916702195130577834917040488324897542113*c_0101_5^22 - 162871746809305330572351824084957280420076640158866/936798164916702\ 195130577834917040488324897542113*c_0101_5^21 - 228568416315193628612022432827245591428224944739010/936798164916702\ 195130577834917040488324897542113*c_0101_5^20 + 245005394376347540697032510442460042654118881695959/374719265966680\ 8780522311339668161953299590168452*c_0101_5^19 + 11497030515854408561645372671719378133097505867022497/1498877063866\ 7235122089245358672647813198360673808*c_0101_5^18 + 4788478458266819389314339553889335883561421679227605/37471926596668\ 08780522311339668161953299590168452*c_0101_5^17 + 10652250409880691027214869826724451938066346057079111/7494385319333\ 617561044622679336323906599180336904*c_0101_5^16 + 1291517756882169250118450954281165692948714428388829/37471926596668\ 08780522311339668161953299590168452*c_0101_5^15 - 2145309433004179918878271145397930398127311815727439/74943853193336\ 17561044622679336323906599180336904*c_0101_5^14 - 5942782628708748833410936606943558458533539357617511/37471926596668\ 08780522311339668161953299590168452*c_0101_5^13 - 660801170120724799124297556958914752992219019722895/365579771674810\ 612733884033138357263736545382288*c_0101_5^12 - 8885976418949353331379461987069263874840116930489895/74943853193336\ 17561044622679336323906599180336904*c_0101_5^11 - 22466251848044763680106903794445549653779607517983645/1498877063866\ 7235122089245358672647813198360673808*c_0101_5^10 - 2835443449729898402230281951367622619134977168991879/14988770638667\ 235122089245358672647813198360673808*c_0101_5^9 - 10077796262296867083570528340097924855836532950535793/1498877063866\ 7235122089245358672647813198360673808*c_0101_5^8 + 3516141432678139367420833216399788011355008684397991/14988770638667\ 235122089245358672647813198360673808*c_0101_5^7 - 3210412784048438582002085720769220479309826830461933/14988770638667\ 235122089245358672647813198360673808*c_0101_5^6 + 693007620565003626190847808209318491075999109953191/149887706386672\ 35122089245358672647813198360673808*c_0101_5^5 - 149540268788604551373300704454973621874029027812667/149887706386672\ 35122089245358672647813198360673808*c_0101_5^4 - 138848036324868886049703861303665041861721913018843/749438531933361\ 7561044622679336323906599180336904*c_0101_5^3 + 209063961932953033488297619798863692063660309205989/149887706386672\ 35122089245358672647813198360673808*c_0101_5^2 - 13785574665749763163739633444912156665277729821361/1498877063866723\ 5122089245358672647813198360673808*c_0101_5 + 11656170108923213813935040956038105551720618821501/1498877063866723\ 5122089245358672647813198360673808, c_0101_4 - 80559528671336682298479439671392853296678233205457/936798164\ 916702195130577834917040488324897542113*c_0101_5^22 - 161397178456274463939975094956118882047882583977678/936798164916702\ 195130577834917040488324897542113*c_0101_5^21 - 224468567235060418939406701600433661391348871644582/936798164916702\ 195130577834917040488324897542113*c_0101_5^20 + 232106269546853236828828417623617562909385705295355/374719265966680\ 8780522311339668161953299590168452*c_0101_5^19 + 11358499630679441991830759685840103596826028779614205/1498877063866\ 7235122089245358672647813198360673808*c_0101_5^18 + 2367572888787870171766234550608883158996544065909753/18735963298334\ 04390261155669834080976649795084226*c_0101_5^17 + 10445117708343869022338016642518087011766476633519973/7494385319333\ 617561044622679336323906599180336904*c_0101_5^16 + 314493884590891117968639818243375829533839394252970/936798164916702\ 195130577834917040488324897542113*c_0101_5^15 - 2343269898398517729177851378264535521535498684816941/74943853193336\ 17561044622679336323906599180336904*c_0101_5^14 - 2896524824087979617087561981938313077998862088181409/18735963298334\ 04390261155669834080976649795084226*c_0101_5^13 - 653318009814749087782993887636190126007782292918399/365579771674810\ 612733884033138357263736545382288*c_0101_5^12 - 8515446492830054188235682614607338251481176882188607/74943853193336\ 17561044622679336323906599180336904*c_0101_5^11 - 21567928677283262207262895625715366058059749407541993/1498877063866\ 7235122089245358672647813198360673808*c_0101_5^10 - 3119835703362621481368020227617392009277600753829535/14988770638667\ 235122089245358672647813198360673808*c_0101_5^9 - 9376091062706020520706879578602235677446890185129357/14988770638667\ 235122089245358672647813198360673808*c_0101_5^8 + 2635313072523042843583525473341988893721563899858199/14988770638667\ 235122089245358672647813198360673808*c_0101_5^7 - 2748693046473415133956433825266907476814820778985825/14988770638667\ 235122089245358672647813198360673808*c_0101_5^6 + 129545065939436368205315634536052811645830108596479/149887706386672\ 35122089245358672647813198360673808*c_0101_5^5 + 89908236371323713354020364110433309534701623099345/1498877063866723\ 5122089245358672647813198360673808*c_0101_5^4 - 205288743947400354537402602660431924498653936366421/749438531933361\ 7561044622679336323906599180336904*c_0101_5^3 + 265020913206621251404871775727363204702158959080669/149887706386672\ 35122089245358672647813198360673808*c_0101_5^2 - 20702630314868706927515229883231662022579485841149/1498877063866723\ 5122089245358672647813198360673808*c_0101_5 + 8413383987385284682897882256309483853699317178245/14988770638667235\ 122089245358672647813198360673808, c_0101_5^23 + 13/9*c_0101_5^22 + 56/27*c_0101_5^21 - 59/36*c_0101_5^20 - 3259/432*c_0101_5^19 - 4513/432*c_0101_5^18 - 2443/216*c_0101_5^17 + 119/216*c_0101_5^16 + 85/72*c_0101_5^15 + 3557/216*c_0101_5^14 + 1751/144*c_0101_5^13 + 3701/432*c_0101_5^12 + 2131/144*c_0101_5^11 - 281/72*c_0101_5^10 + 2417/216*c_0101_5^9 - 833/108*c_0101_5^8 + 62/9*c_0101_5^7 - 215/54*c_0101_5^6 + 457/216*c_0101_5^5 - 335/432*c_0101_5^4 + 83/432*c_0101_5^3 - 13/216*c_0101_5^2 + 1/216*c_0101_5 - 1/432 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB