Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 627358194] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1073 geometric_solution 4.94294566 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 -1 0 1 -1 0 0 1 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 1.757291439510 0.523540813514 0 2 3 0 0132 0132 0132 1023 0 0 0 0 0 0 1 -1 1 0 0 -1 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 1 -1 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.032647078324 0.758191702277 3 1 4 3 2310 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 -1 0 1 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.234625308050 0.679256049763 4 2 2 1 1023 1302 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.234625308050 0.679256049763 5 3 5 2 0132 1023 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 1 0 0 -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 1.434211276712 0.443023787985 4 4 6 6 0132 3201 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 0 0 1 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.347234960711 0.404488245530 6 5 6 5 2031 2310 1302 0132 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 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 0 0 -1.957572512325 1.563014403818 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_2'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_2']), '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' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 14019074160847715634966941781132822612682903916448/6437897107381228\ 36392180191103668051556363631*c_0101_4^33 + 462563402649196302098992881306568626902879429769012/643789710738122\ 836392180191103668051556363631*c_0101_4^31 - 2771865999127358642812262418883693453301412735410548/64378971073812\ 2836392180191103668051556363631*c_0101_4^29 - 17444442132747114530117963730605061635485733082067695/6437897107381\ 22836392180191103668051556363631*c_0101_4^27 + 54536373637766584654068014467435909084001435726170478/6437897107381\ 22836392180191103668051556363631*c_0101_4^25 + 171591233221983931472806860696980990216981310413297151/643789710738\ 122836392180191103668051556363631*c_0101_4^23 - 306385105233168019173358827073510360189710233438012601/643789710738\ 122836392180191103668051556363631*c_0101_4^21 - 114331391134724130475380598080615465369208279532485237/643789710738\ 122836392180191103668051556363631*c_0101_4^19 + 358928670285017933997611600269148663946676847251087483/643789710738\ 122836392180191103668051556363631*c_0101_4^17 - 122396300554354476858502924600667448113268544877580556/643789710738\ 122836392180191103668051556363631*c_0101_4^15 - 80177933858511638899001839389675880356239973554726197/6437897107381\ 22836392180191103668051556363631*c_0101_4^13 + 83480033775642065039474195097354677310083064940593657/6437897107381\ 22836392180191103668051556363631*c_0101_4^11 - 33730387120137114683967359638329035319717394649115967/6437897107381\ 22836392180191103668051556363631*c_0101_4^9 + 7861863769067833276236969865888018306536101644872319/64378971073812\ 2836392180191103668051556363631*c_0101_4^7 - 1119553426982927397515687003280551583947530001527161/64378971073812\ 2836392180191103668051556363631*c_0101_4^5 + 91816051392484908890988755787228585230161734823984/6437897107381228\ 36392180191103668051556363631*c_0101_4^3 - 3342535249022106854773503567311771647549717978921/64378971073812283\ 6392180191103668051556363631*c_0101_4, c_0011_0 - 1, c_0011_3 + 53481643178105670461094211021172772943892427680/221996451978\ 66304703178627279436829364012539*c_0101_4^33 - 1760128725383990126920268386020674940624512608596/22199645197866304\ 703178627279436829364012539*c_0101_4^31 + 10426500161476601552667009651390541605502498212936/2219964519786630\ 4703178627279436829364012539*c_0101_4^29 + 67409457924776002372424238662112832759238958717999/2219964519786630\ 4703178627279436829364012539*c_0101_4^27 - 202248606265109365317290756076880359136821864198101/221996451978663\ 04703178627279436829364012539*c_0101_4^25 - 670907141122056623850226863656424434096365930142272/221996451978663\ 04703178627279436829364012539*c_0101_4^23 + 1110043433014185936042968441712691516754042553424073/22199645197866\ 304703178627279436829364012539*c_0101_4^21 + 522075045876090235910035301715889746278201489350856/221996451978663\ 04703178627279436829364012539*c_0101_4^19 - 1313740940699860843236816819962008561991872795783424/22199645197866\ 304703178627279436829364012539*c_0101_4^17 + 363291422994388909941273578886950251770017492686152/221996451978663\ 04703178627279436829364012539*c_0101_4^15 + 322691285363487248030224168488239859769177984947406/221996451978663\ 04703178627279436829364012539*c_0101_4^13 - 288836643800427935519964563661466805521376508289201/221996451978663\ 04703178627279436829364012539*c_0101_4^11 + 108223624782438006621400416129119960603987863925331/221996451978663\ 04703178627279436829364012539*c_0101_4^9 - 23629562501095436818890312019775646756899271711419/2219964519786630\ 4703178627279436829364012539*c_0101_4^7 + 3147313146802218260215881738061820219726906816123/22199645197866304\ 703178627279436829364012539*c_0101_4^5 - 238605486725259388241457730046619155964244682791/221996451978663047\ 03178627279436829364012539*c_0101_4^3 + 7844883567934148213209181935483832741382473525/22199645197866304703\ 178627279436829364012539*c_0101_4, c_0011_6 - 59885374605550379082024409611372441588453983680/221996451978\ 66304703178627279436829364012539*c_0101_4^33 + 1971116331173057733600140258328020952261005546360/22199645197866304\ 703178627279436829364012539*c_0101_4^31 - 11682560702499861871008273493617028321501975344992/2219964519786630\ 4703178627279436829364012539*c_0101_4^29 - 75438743912772485960725771526578638426290917378938/2219964519786630\ 4703178627279436829364012539*c_0101_4^27 + 226782513572265218278772859279982463009507213945394/221996451978663\ 04703178627279436829364012539*c_0101_4^25 + 750500975317220891805571664942929724494407071501884/221996451978663\ 04703178627279436829364012539*c_0101_4^23 - 1246286851813919576138159837990962915978990397600954/22199645197866\ 304703178627279436829364012539*c_0101_4^21 - 581262144528326255605528081159802833177075327924718/221996451978663\ 04703178627279436829364012539*c_0101_4^19 + 1475193975200262084960277412632212861191669685939618/22199645197866\ 304703178627279436829364012539*c_0101_4^17 - 410831217294235092174259834505285489476028890639849/221996451978663\ 04703178627279436829364012539*c_0101_4^15 - 361973378952516991685491815135615948674343411620879/221996451978663\ 04703178627279436829364012539*c_0101_4^13 + 324860868736983498393356192249307155791508323559678/221996451978663\ 04703178627279436829364012539*c_0101_4^11 - 121740300071078826227800269068507069028733153182903/221996451978663\ 04703178627279436829364012539*c_0101_4^9 + 26554241939808594875628701318660987977152882167778/2219964519786630\ 4703178627279436829364012539*c_0101_4^7 - 3528272297668763376782916429699217140029270443213/22199645197866304\ 703178627279436829364012539*c_0101_4^5 + 266370668513004461467393255931967644448000436360/221996451978663047\ 03178627279436829364012539*c_0101_4^3 - 8679206135350924498208428617234250447675227852/22199645197866304703\ 178627279436829364012539*c_0101_4, c_0101_0 - 48450359602244460281809626157258122896802042528/221996451978\ 66304703178627279436829364012539*c_0101_4^33 + 1597243882054349013067921205959694395368444917492/22199645197866304\ 703178627279436829364012539*c_0101_4^31 - 9534207712638212605093610800503544689402939342080/22199645197866304\ 703178627279436829364012539*c_0101_4^29 - 60550007682893271997022663581032411069170649668771/2219964519786630\ 4703178627279436829364012539*c_0101_4^27 + 186673171899492866646038741946120461149465093296827/221996451978663\ 04703178627279436829364012539*c_0101_4^25 + 597905071032293773596029044900351479942490136961243/221996451978663\ 04703178627279436829364012539*c_0101_4^23 - 1040420068920441232823268600071309156915076091515635/22199645197866\ 304703178627279436829364012539*c_0101_4^21 - 420151985355947018232301848682213130395754457931328/221996451978663\ 04703178627279436829364012539*c_0101_4^19 + 1221622039577719305099267282200291647894152875718413/22199645197866\ 304703178627279436829364012539*c_0101_4^17 - 392713610353618106466221886286937407926492319818895/221996451978663\ 04703178627279436829364012539*c_0101_4^15 - 280134964854587102577560606541196237205638796141279/221996451978663\ 04703178627279436829364012539*c_0101_4^13 + 279393635639033974707453939940854341742880718481435/221996451978663\ 04703178627279436829364012539*c_0101_4^11 - 110989834470414771561215601838490661308909322487092/221996451978663\ 04703178627279436829364012539*c_0101_4^9 + 25560395727624847747350126208706023518556769399172/2219964519786630\ 4703178627279436829364012539*c_0101_4^7 - 3599337896860218424968406750827177172801763262236/22199645197866304\ 703178627279436829364012539*c_0101_4^5 + 291344842214327515961197184261625198879504248569/221996451978663047\ 03178627279436829364012539*c_0101_4^3 - 10435255035897258376648284924565339992369261074/2219964519786630470\ 3178627279436829364012539*c_0101_4, c_0101_1 + 43699758383842528824680853724048011395674512480/221996451978\ 66304703178627279436829364012539*c_0101_4^33 - 1438445648801688712540753408100971598601397175948/22199645197866304\ 703178627279436829364012539*c_0101_4^31 + 8527543960391674530860793864761380133117817970772/22199645197866304\ 703178627279436829364012539*c_0101_4^29 + 55034403443884026697305917200816437998820533614545/2219964519786630\ 4703178627279436829364012539*c_0101_4^27 - 165583054330687892284378764394089742554034040483516/221996451978663\ 04703178627279436829364012539*c_0101_4^25 - 547362986158272927972628391248203188066745131709819/221996451978663\ 04703178627279436829364012539*c_0101_4^23 + 910374119314349031113550675689180259563616007267710/221996451978663\ 04703178627279436829364012539*c_0101_4^21 + 422503372616118502912141859325041010555767394993446/221996451978663\ 04703178627279436829364012539*c_0101_4^19 - 1077093435127486552699430218220234709262737635423802/22199645197866\ 304703178627279436829364012539*c_0101_4^17 + 301750689291891926059686444676573687094690427655738/221996451978663\ 04703178627279436829364012539*c_0101_4^15 + 263454572002154607406625659631783476067706161154418/221996451978663\ 04703178627279436829364012539*c_0101_4^13 - 237516867022241034818514022864948065528642691631486/221996451978663\ 04703178627279436829364012539*c_0101_4^11 + 89307594386011540660587244471468194435573594952949/2219964519786630\ 4703178627279436829364012539*c_0101_4^9 - 19553033534641660652958715500647359011735108350132/2219964519786630\ 4703178627279436829364012539*c_0101_4^7 + 2611713720624805716509343260521990120439450693721/22199645197866304\ 703178627279436829364012539*c_0101_4^5 - 198782173987276889767534939033115387714704002529/221996451978663047\ 03178627279436829364012539*c_0101_4^3 + 6537703305927231443503134175211093671483511019/22199645197866304703\ 178627279436829364012539*c_0101_4, c_0101_2 - 27102378423881737539021064369254050183832697984/221996451978\ 66304703178627279436829364012539*c_0101_4^32 + 892067469705703954136307775864071171739672443568/221996451978663047\ 03178627279436829364012539*c_0101_4^30 - 5287120456669591819728915728877656820989452372340/22199645197866304\ 703178627279436829364012539*c_0101_4^28 - 34141412079693536114455514499536248090681868071804/2219964519786630\ 4703178627279436829364012539*c_0101_4^26 + 102629581564591181087746453666566326599218765157727/221996451978663\ 04703178627279436829364012539*c_0101_4^24 + 339646083081833563984126443453684815130222132407617/221996451978663\ 04703178627279436829364012539*c_0101_4^22 - 563956938055540837634994141482665623375526512769259/221996451978663\ 04703178627279436829364012539*c_0101_4^20 - 262926030903776668186481490605349261127749437274665/221996451978663\ 04703178627279436829364012539*c_0101_4^18 + 667384240229835562882757220667248749518704926694339/221996451978663\ 04703178627279436829364012539*c_0101_4^16 - 186082810948580547662921645095876267680256126801949/221996451978663\ 04703178627279436829364012539*c_0101_4^14 - 163565331402005875473772585895698663649640019032840/221996451978663\ 04703178627279436829364012539*c_0101_4^12 + 147011312009100360414015779037626393459911397817397/221996451978663\ 04703178627279436829364012539*c_0101_4^10 - 55171234802755919293061988343908405489249923474390/2219964519786630\ 4703178627279436829364012539*c_0101_4^8 + 12056691325405594369992661656491540676904327657552/2219964519786630\ 4703178627279436829364012539*c_0101_4^6 - 1606278077364958307795332638870125568524134334426/22199645197866304\ 703178627279436829364012539*c_0101_4^4 + 121742644495952262369968287499033441885084114499/221996451978663047\ 03178627279436829364012539*c_0101_4^2 - 3996480362374173488848807625181645988864838320/22199645197866304703\ 178627279436829364012539, c_0101_4^34 - 265/8*c_0101_4^32 + 202*c_0101_4^30 + 38999/32*c_0101_4^28 - 129655/32*c_0101_4^26 - 375567/32*c_0101_4^24 + 750249/32*c_0101_4^22 + 85337/16*c_0101_4^20 - 853531/32*c_0101_4^18 + 96275/8*c_0101_4^16 + 73627/16*c_0101_4^14 - 26769/4*c_0101_4^12 + 25381/8*c_0101_4^10 - 27885/32*c_0101_4^8 + 4881/32*c_0101_4^6 - 271/16*c_0101_4^4 + 35/32*c_0101_4^2 - 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB