Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 324177905] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0555 geometric_solution 4.57473662 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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 0 0 0 0 0 0 0.478658403509 0.127099156758 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 -1 0 1 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 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.569769109421 0.391105925698 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 1 -1 0 1 0 -1 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 0 0 0 0 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 2.447554452181 1.986760451437 4 2 5 4 3201 0132 0132 2310 0 0 0 0 0 -1 0 1 -1 0 1 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 -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.102376546702 0.644164489729 3 5 2 3 3201 0132 0132 2310 0 0 0 0 0 -1 0 1 0 0 0 0 -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 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.102376546702 0.644164489729 6 4 6 3 0132 0132 1023 0132 0 0 0 0 0 1 -1 0 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 0 -1 1 0 -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 2.054784408081 1.147759198232 5 6 5 6 0132 1302 1023 2031 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 0 0 0 0 0 0.421576724727 0.320854118971 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : 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' : 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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 5863825495495527043065373638478912339809/27398825170383175576769974\ 0512266557696*c_1001_3^15 - 183492639872821334734170815557650902900\ 559/273988251703831755767699740512266557696*c_1001_3^14 - 853665473979524740168530000172248821182565/136994125851915877883849\ 870256133278848*c_1001_3^13 - 2661060144061864095823699936071896205\ 969099/136994125851915877883849870256133278848*c_1001_3^12 + 142529018025376952022399146520215450196159/105380096809166059910653\ 74635087175296*c_1001_3^11 + 20429922446378829511046100605578535102\ 585879/136994125851915877883849870256133278848*c_1001_3^10 + 4425324960709258722032643437236126061967859/27398825170383175576769\ 9740512266557696*c_1001_3^9 - 6999200997328821439838086587637947673\ 3391247/136994125851915877883849870256133278848*c_1001_3^8 + 11362577375386578737848810560822122668048799/1369941258519158778838\ 49870256133278848*c_1001_3^7 + 263905283290758608498356919305462127\ 284134053/273988251703831755767699740512266557696*c_1001_3^6 - 43251710500277894706353328548355537386780457/6849706292595793894192\ 4935128066639424*c_1001_3^5 - 7955871458377807059078201605098388380\ 4704275/136994125851915877883849870256133278848*c_1001_3^4 + 237505936159167307306648289954368943483197109/273988251703831755767\ 699740512266557696*c_1001_3^3 - 11398264276594520968545781081597048\ 2285395807/273988251703831755767699740512266557696*c_1001_3^2 + 20979543980500780402030767216690811576635765/2739882517038317557676\ 99740512266557696*c_1001_3 + 67360394169381083554460259523966822752\ 053/17124265731489484735481233782016659856, c_0011_0 - 1, c_0011_1 - 946359603801123326166917130645221/16465640126432196861039647\ 8673237114*c_1001_3^15 - 30125714298317882846833840511270889/164656\ 401264321968610396478673237114*c_1001_3^14 - 145995492299617230959664436628023795/823282006321609843051982393366\ 18557*c_1001_3^13 - 510824042498453865236157357256059278/8232820063\ 2160984305198239336618557*c_1001_3^12 - 525573244147120988448812142520324/823282006321609843051982393366185\ 57*c_1001_3^11 + 3213846627898598183511445132875779338/823282006321\ 60984305198239336618557*c_1001_3^10 + 4167472794514454614475040971106739589/16465640126432196861039647867\ 3237114*c_1001_3^9 - 9673388386505598486709310257404468265/82328200\ 632160984305198239336618557*c_1001_3^8 - 2996423736303439303851209318414693533/82328200632160984305198239336\ 618557*c_1001_3^7 + 36581538616742454987820250913134140821/16465640\ 1264321968610396478673237114*c_1001_3^6 - 4788052482989754219773253510179469123/82328200632160984305198239336\ 618557*c_1001_3^5 - 12953696387437898626234664130527916796/82328200\ 632160984305198239336618557*c_1001_3^4 + 24169669794219892693281707662414272727/1646564012643219686103964786\ 73237114*c_1001_3^3 - 8776280143835789579740763288898826949/1646564\ 01264321968610396478673237114*c_1001_3^2 + 723787909979287261478132202423595443/164656401264321968610396478673\ 237114*c_1001_3 + 34608612647588662365799921507695817/8232820063216\ 0984305198239336618557, c_0011_4 - 1573639979905959292329664511932519/1646564012643219686103964\ 78673237114*c_1001_3^15 - 50039040772274401937712181896704875/16465\ 6401264321968610396478673237114*c_1001_3^14 - 241851051596485620888148908444661739/823282006321609843051982393366\ 18557*c_1001_3^13 - 839684251177438217160973095379343481/8232820063\ 2160984305198239336618557*c_1001_3^12 + 40753903658999423908336641129560571/8232820063216098430519823933661\ 8557*c_1001_3^11 + 5385592578080227632018611600195125241/8232820063\ 2160984305198239336618557*c_1001_3^10 + 6561263238120269887661478029662923231/16465640126432196861039647867\ 3237114*c_1001_3^9 - 16452349244878711861650253526278006604/8232820\ 0632160984305198239336618557*c_1001_3^8 - 4610388515866909136173033771374923016/82328200632160984305198239336\ 618557*c_1001_3^7 + 62405957980123185549526515347221156811/16465640\ 1264321968610396478673237114*c_1001_3^6 - 8689623392338758489832202739557080177/82328200632160984305198239336\ 618557*c_1001_3^5 - 22105043340689248423000548483674474052/82328200\ 632160984305198239336618557*c_1001_3^4 + 41538049704380144443295817137024835497/1646564012643219686103964786\ 73237114*c_1001_3^3 - 15447829513164549295296317372077947491/164656\ 401264321968610396478673237114*c_1001_3^2 + 1553970252516903266138125238123521677/16465640126432196861039647867\ 3237114*c_1001_3 + 106279571599683987654903339415731577/82328200632\ 160984305198239336618557, c_0101_0 + 2212038308222830360986498125568511/6586256050572878744415859\ 14692948456*c_1001_3^15 + 70895782088767678138595110565257617/65862\ 5605057287874441585914692948456*c_1001_3^14 + 348938540983890205493510273670015967/329312802528643937220792957346\ 474228*c_1001_3^13 + 1269824346069167168693911192673654129/32931280\ 2528643937220792957346474228*c_1001_3^12 + 279951303477431866313026327075990651/329312802528643937220792957346\ 474228*c_1001_3^11 - 7422863173619598882894322016280534681/32931280\ 2528643937220792957346474228*c_1001_3^10 - 12752364040109003547732054476360855837/6586256050572878744415859146\ 92948456*c_1001_3^9 + 21318531425535286555293548642367688189/329312\ 802528643937220792957346474228*c_1001_3^8 + 11268621251980529080378572547778112375/3293128025286439372207929573\ 46474228*c_1001_3^7 - 81861547202121917328894024995739854979/658625\ 605057287874441585914692948456*c_1001_3^6 + 1440774628480611150564534964653084063/16465640126432196861039647867\ 3237114*c_1001_3^5 + 31840348259987687107424950086693940861/3293128\ 02528643937220792957346474228*c_1001_3^4 - 44830607570713563851337331658622201387/6586256050572878744415859146\ 92948456*c_1001_3^3 + 9582821225268467671295524356913919241/6586256\ 05057287874441585914692948456*c_1001_3^2 + 2208190010763216425772075495185745501/65862560505728787444158591469\ 2948456*c_1001_3 - 50566452284676715470414551159862818/823282006321\ 60984305198239336618557, c_0101_1 - 1351791143269108528893245262419285/1646564012643219686103964\ 78673237114*c_1001_3^15 - 43014536124250924508245327708372283/16465\ 6401264321968610396478673237114*c_1001_3^14 - 208245516583819988451720887775531991/823282006321609843051982393366\ 18557*c_1001_3^13 - 726385960687625231048971736759051088/8232820063\ 2160984305198239336618557*c_1001_3^12 + 14037688945989881127905546858466572/8232820063216098430519823933661\ 8557*c_1001_3^11 + 4606440765069638703678273503813390054/8232820063\ 2160984305198239336618557*c_1001_3^10 + 5803910983325297403594990618356661903/16465640126432196861039647867\ 3237114*c_1001_3^9 - 13981294151418069349291239018314877178/8232820\ 0632160984305198239336618557*c_1001_3^8 - 4116439400055433995845650873991931100/82328200632160984305198239336\ 618557*c_1001_3^7 + 53059185795244091874303353874696996531/16465640\ 1264321968610396478673237114*c_1001_3^6 - 7207196022507781175495912543606404247/82328200632160984305198239336\ 618557*c_1001_3^5 - 18843360828736321807439140200456128336/82328200\ 632160984305198239336618557*c_1001_3^4 + 35441525202075994466057661285110361605/1646564012643219686103964786\ 73237114*c_1001_3^3 - 12987084886656670800065190362540039949/164656\ 401264321968610396478673237114*c_1001_3^2 + 1071027405860750890557247066417648549/16465640126432196861039647867\ 3237114*c_1001_3 + 134799158640690056248155875408750913/82328200632\ 160984305198239336618557, c_0101_5 + 8856773622766295483189455069038337/6586256050572878744415859\ 14692948456*c_1001_3^15 + 281331227277033837689083304099150823/6586\ 25605057287874441585914692948456*c_1001_3^14 + 1356408225356199258023201676851720973/32931280252864393722079295734\ 6474228*c_1001_3^13 + 4679160868587942848099423538989772987/3293128\ 02528643937220792957346474228*c_1001_3^12 - 395556016292657150732864423338565015/329312802528643937220792957346\ 474228*c_1001_3^11 - 30314949988833039113190626972787683015/3293128\ 02528643937220792957346474228*c_1001_3^10 - 34734039125619012067690951958404941851/6586256050572878744415859146\ 92948456*c_1001_3^9 + 93473715901185487017555759608309668911/329312\ 802528643937220792957346474228*c_1001_3^8 + 22633579600391679571405524108326568441/3293128025286439372207929573\ 46474228*c_1001_3^7 - 355202334717877599548348265030346041405/65862\ 5605057287874441585914692948456*c_1001_3^6 + 27668773394851529742634809642555249605/1646564012643219686103964786\ 73237114*c_1001_3^5 + 125073413469872735482614621434699344755/32931\ 2802528643937220792957346474228*c_1001_3^4 - 245178680127686338011048467121981923677/658625605057287874441585914\ 692948456*c_1001_3^3 + 91041637325546294899009135959692621503/65862\ 5605057287874441585914692948456*c_1001_3^2 - 8071380675797999666715967172501457293/65862560505728787444158591469\ 2948456*c_1001_3 - 193097398114102265589781370227281152/82328200632\ 160984305198239336618557, c_1001_3^16 + 31*c_1001_3^15 + 282*c_1001_3^14 + 822*c_1001_3^13 - 902*c_1001_3^12 - 6798*c_1001_3^11 + 1293*c_1001_3^10 + 24206*c_1001_3^9 - 10846*c_1001_3^8 - 44261*c_1001_3^7 + 42740*c_1001_3^6 + 19238*c_1001_3^5 - 48949*c_1001_3^4 + 30863*c_1001_3^3 - 8581*c_1001_3^2 + 512*c_1001_3 + 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB