Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 2749513583] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0370 geometric_solution 4.42561898 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 3201 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 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.544818918454 0.045429291535 0 0 2 2 0132 2310 2310 0132 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 -1 1 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 3.299492465719 0.554103744022 3 1 1 3 0132 3201 0132 3201 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 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.620790237218 0.618963025208 2 2 5 4 0132 2310 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.065543803558 0.383367948763 5 5 3 6 1230 1023 0132 0132 0 0 0 0 0 0 -1 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 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 0 0 0 0.691614853618 1.109173813155 4 4 6 3 1023 3012 2310 0132 0 0 0 0 0 0 -1 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 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 0.691614853618 1.109173813155 6 5 4 6 3012 3201 0132 1230 0 0 0 0 0 1 -1 0 0 0 0 0 0 1 0 -1 1 0 -1 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 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.691614853618 1.109173813155 ==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' : 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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 281077523914400955/25713159804100243*c_0101_3^19 + 511005495243754152/25713159804100243*c_0101_3^18 - 1463865170552596670/25713159804100243*c_0101_3^17 - 17104413265079305644/25713159804100243*c_0101_3^16 + 49095375448078146425/25713159804100243*c_0101_3^15 + 142952744700982602023/25713159804100243*c_0101_3^14 - 306363944457932167376/25713159804100243*c_0101_3^13 - 479640520126821243708/25713159804100243*c_0101_3^12 + 921031446526379828337/25713159804100243*c_0101_3^11 + 762304816261522178840/25713159804100243*c_0101_3^10 - 1483910398248763554667/25713159804100243*c_0101_3^9 - 604789555437785170487/25713159804100243*c_0101_3^8 + 1281526822310959036708/25713159804100243*c_0101_3^7 + 264927449934932358049/25713159804100243*c_0101_3^6 - 577855588178858354263/25713159804100243*c_0101_3^5 - 96857357903746539442/25713159804100243*c_0101_3^4 + 137228995524530817850/25713159804100243*c_0101_3^3 + 22650346370439829433/25713159804100243*c_0101_3^2 - 14346007582154818951/25713159804100243*c_0101_3 - 1470258112512868019/25713159804100243, c_0011_0 - 1, c_0011_2 + 26103875666263186/25713159804100243*c_0101_3^19 - 134217794478794759/25713159804100243*c_0101_3^18 + 492489039756535648/25713159804100243*c_0101_3^17 + 295146142315773887/25713159804100243*c_0101_3^16 - 6783131962086439668/25713159804100243*c_0101_3^15 + 6635226818623362215/25713159804100243*c_0101_3^14 + 26223084843894132191/25713159804100243*c_0101_3^13 - 39588945489991683736/25713159804100243*c_0101_3^12 - 39767066446242828942/25713159804100243*c_0101_3^11 + 86124566216100020576/25713159804100243*c_0101_3^10 + 19287085024434356897/25713159804100243*c_0101_3^9 - 88145675609976753018/25713159804100243*c_0101_3^8 + 5815646293912617005/25713159804100243*c_0101_3^7 + 45858005807558742913/25713159804100243*c_0101_3^6 - 5887818377748812841/25713159804100243*c_0101_3^5 - 13736920115505395159/25713159804100243*c_0101_3^4 + 1231238058581508711/25713159804100243*c_0101_3^3 + 2263922631242436515/25713159804100243*c_0101_3^2 - 102162218008839473/25713159804100243*c_0101_3 - 101914719225508128/25713159804100243, c_0011_4 + 26117569484003897/25713159804100243*c_0101_3^19 - 127424783503199192/25713159804100243*c_0101_3^18 + 471329576329364446/25713159804100243*c_0101_3^17 + 374358569832454158/25713159804100243*c_0101_3^16 - 6524417217325204228/25713159804100243*c_0101_3^15 + 5294263721517285255/25713159804100243*c_0101_3^14 + 25018959689298211796/25713159804100243*c_0101_3^13 - 33664639842429784382/25713159804100243*c_0101_3^12 - 37532767230157447865/25713159804100243*c_0101_3^11 + 73736773506554940994/25713159804100243*c_0101_3^10 + 17759617778974997803/25713159804100243*c_0101_3^9 - 74016626769948620418/25713159804100243*c_0101_3^8 + 5568326871506836355/25713159804100243*c_0101_3^7 + 36899805675067948832/25713159804100243*c_0101_3^6 - 5151731283537127154/25713159804100243*c_0101_3^5 - 10689382759868083993/25713159804100243*c_0101_3^4 + 1046315473457710466/25713159804100243*c_0101_3^3 + 1658567601872419016/25713159804100243*c_0101_3^2 - 93694138263864895/25713159804100243*c_0101_3 - 49177303350014450/25713159804100243, c_0011_6 - 28478431403688942/25713159804100243*c_0101_3^19 + 146507714165885032/25713159804100243*c_0101_3^18 - 538822563373376769/25713159804100243*c_0101_3^17 - 315061823933862586/25713159804100243*c_0101_3^16 + 7380472064460157270/25713159804100243*c_0101_3^15 - 7273047985942594865/25713159804100243*c_0101_3^14 - 28321948199633585655/25713159804100243*c_0101_3^13 + 43053425704212278894/25713159804100243*c_0101_3^12 + 42360887596684974374/25713159804100243*c_0101_3^11 - 92869196838329079199/25713159804100243*c_0101_3^10 - 19840007564537898852/25713159804100243*c_0101_3^9 + 93964727039223378409/25713159804100243*c_0101_3^8 - 6309512179011861433/25713159804100243*c_0101_3^7 - 48271821154700243901/25713159804100243*c_0101_3^6 + 5622409793000352081/25713159804100243*c_0101_3^5 + 14411744148552236119/25713159804100243*c_0101_3^4 - 1018868750250473961/25713159804100243*c_0101_3^3 - 2306829981595669040/25713159804100243*c_0101_3^2 + 87606731035057592/25713159804100243*c_0101_3 + 92926870346687435/25713159804100243, c_0101_0 - 27846191813692740/25713159804100243*c_0101_3^19 + 119137845562728293/25713159804100243*c_0101_3^18 - 429106458816459939/25713159804100243*c_0101_3^17 - 663729365832508638/25713159804100243*c_0101_3^16 + 6585220209930098109/25713159804100243*c_0101_3^15 - 1638206965007787582/25713159804100243*c_0101_3^14 - 28040821916751881646/25713159804100243*c_0101_3^13 + 19040230902260775872/25713159804100243*c_0101_3^12 + 52764447601933203937/25713159804100243*c_0101_3^11 - 47776827721142381673/25713159804100243*c_0101_3^10 - 49044270212894504714/25713159804100243*c_0101_3^9 + 51734162290952576917/25713159804100243*c_0101_3^8 + 24427839393772090843/25713159804100243*c_0101_3^7 - 26591844010215390523/25713159804100243*c_0101_3^6 - 8400688397432949225/25713159804100243*c_0101_3^5 + 6860012001439799085/25713159804100243*c_0101_3^4 + 1980943535824498400/25713159804100243*c_0101_3^3 - 796327000044416791/25713159804100243*c_0101_3^2 - 137253848663658540/25713159804100243*c_0101_3 + 23519714046517630/25713159804100243, c_0101_1 + 18858342934872047/25713159804100243*c_0101_3^19 - 85561005784871277/25713159804100243*c_0101_3^18 + 315566494200060510/25713159804100243*c_0101_3^17 + 356748224729867420/25713159804100243*c_0101_3^16 - 4510967102782965339/25713159804100243*c_0101_3^15 + 2352389102806174193/25713159804100243*c_0101_3^14 + 17759038902458045407/25713159804100243*c_0101_3^13 - 17516991159835490057/25713159804100243*c_0101_3^12 - 28636902815303835572/25713159804100243*c_0101_3^11 + 38884178004451681451/25713159804100243*c_0101_3^10 + 18472852212911788948/25713159804100243*c_0101_3^9 - 37708793949608954826/25713159804100243*c_0101_3^8 - 2448635680405859438/25713159804100243*c_0101_3^7 + 17173044188447197946/25713159804100243*c_0101_3^6 - 1068588319582795768/25713159804100243*c_0101_3^5 - 4393114527026769173/25713159804100243*c_0101_3^4 + 626268006168791555/25713159804100243*c_0101_3^3 + 631206655464982435/25713159804100243*c_0101_3^2 - 166301119175374082/25713159804100243*c_0101_3 - 20099503262658125/25713159804100243, c_0101_3^20 - 4*c_0101_3^19 + 14*c_0101_3^18 + 29*c_0101_3^17 - 233*c_0101_3^16 - 13*c_0101_3^15 + 1073*c_0101_3^14 - 403*c_0101_3^13 - 2299*c_0101_3^12 + 1278*c_0101_3^11 + 2651*c_0101_3^10 - 1622*c_0101_3^9 - 1798*c_0101_3^8 + 993*c_0101_3^7 + 785*c_0101_3^6 - 304*c_0101_3^5 - 215*c_0101_3^4 + 42*c_0101_3^3 + 29*c_0101_3^2 - 2*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB