Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 1208603818] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2075 geometric_solution 5.59137146 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.489249923340 0.232120801436 2 0 3 0 0132 2310 0132 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 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.842353346500 0.559436984559 1 4 3 5 0132 0132 3012 0132 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 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.882448778189 1.017768007473 5 2 4 1 3201 1230 1023 0132 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 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.882448778189 1.017768007473 6 2 3 6 0132 0132 1023 3201 0 0 0 0 0 -1 0 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 0 0 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.170795252343 0.657568359918 5 5 2 3 1230 3012 0132 2310 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 1.093081885541 0.993274113538 4 4 6 6 0132 2310 1230 3012 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 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.045867619933 0.681081819508 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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' : 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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 6*c_0101_6^5 + 10*c_0101_6^4 + 27*c_0101_6^3 - 45*c_0101_6^2 - 25*c_0101_6 + 44, c_0011_0 - 1, c_0011_1 - c_0101_6^2 + 1, c_0011_3 + 1, c_0011_5 - c_0101_6^3 + 2*c_0101_6, c_0101_0 + c_0101_6, c_0101_1 - c_0101_6^4 + 3*c_0101_6^2 - 1, c_0101_6^6 - c_0101_6^5 - 5*c_0101_6^4 + 4*c_0101_6^3 + 6*c_0101_6^2 - 3*c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1793975610376662797987/16301210091492673345*c_0101_6^19 + 48951810734021831028/16301210091492673345*c_0101_6^18 - 6683098091677299385816/16301210091492673345*c_0101_6^17 - 7281794708293914283757/16301210091492673345*c_0101_6^16 + 19504932210906138407726/16301210091492673345*c_0101_6^15 + 44946029381910164148181/16301210091492673345*c_0101_6^14 - 52906119183587192787977/16301210091492673345*c_0101_6^13 - 114044641595442807162363/16301210091492673345*c_0101_6^12 - 10011350599132626658294/3260242018298534669*c_0101_6^11 + 259872761792702800517643/16301210091492673345*c_0101_6^10 + 64570872004528814465021/16301210091492673345*c_0101_6^9 - 97767435066578098258349/16301210091492673345*c_0101_6^8 - 30003584727851170660905/3260242018298534669*c_0101_6^7 + 69011421869657530108968/16301210091492673345*c_0101_6^6 + 88523767695258365144983/16301210091492673345*c_0101_6^5 - 107984542285496505853241/16301210091492673345*c_0101_6^4 + 96797451440612098615993/16301210091492673345*c_0101_6^3 + 12258131829257927683187/16301210091492673345*c_0101_6^2 - 9004731573828984079763/16301210091492673345*c_0101_6 + 889995879729310670147/16301210091492673345, c_0011_0 - 1, c_0011_1 + 476875992475764304/3260242018298534669*c_0101_6^19 + 218138182849185404/3260242018298534669*c_0101_6^18 - 1879583695336968088/3260242018298534669*c_0101_6^17 - 2725546362814817211/3260242018298534669*c_0101_6^16 + 4709679450501291964/3260242018298534669*c_0101_6^15 + 14667154530246455557/3260242018298534669*c_0101_6^14 - 9854470892465192580/3260242018298534669*c_0101_6^13 - 39056081144241385535/3260242018298534669*c_0101_6^12 - 23981879313692433547/3260242018298534669*c_0101_6^11 + 69604000642603085910/3260242018298534669*c_0101_6^10 + 51664996306730457746/3260242018298534669*c_0101_6^9 - 30617830071766686369/3260242018298534669*c_0101_6^8 - 54781473976829955221/3260242018298534669*c_0101_6^7 + 3535123676750774196/3260242018298534669*c_0101_6^6 + 36599367502366895406/3260242018298534669*c_0101_6^5 - 23141249308233848420/3260242018298534669*c_0101_6^4 + 7356774972667014521/3260242018298534669*c_0101_6^3 + 24543517821538787098/3260242018298534669*c_0101_6^2 - 5727625162830805824/3260242018298534669*c_0101_6 - 3714440582196674967/3260242018298534669, c_0011_3 + 7236739996681064756/16301210091492673345*c_0101_6^19 - 1643760400464943436/16301210091492673345*c_0101_6^18 - 28218347732549393148/16301210091492673345*c_0101_6^17 - 22615501759103358066/16301210091492673345*c_0101_6^16 + 90426840907556640988/16301210091492673345*c_0101_6^15 + 166279929246387443438/16301210091492673345*c_0101_6^14 - 271841136338873784946/16301210091492673345*c_0101_6^13 - 435496132668415865249/16301210091492673345*c_0101_6^12 - 10377463028087036574/3260242018298534669*c_0101_6^11 + 1172748271735191961819/16301210091492673345*c_0101_6^10 + 32884484747881674948/16301210091492673345*c_0101_6^9 - 622640481435242007387/16301210091492673345*c_0101_6^8 - 108003443986585405864/3260242018298534669*c_0101_6^7 + 486832574129725495769/16301210091492673345*c_0101_6^6 + 378886614457109980844/16301210091492673345*c_0101_6^5 - 582354370529161583493/16301210091492673345*c_0101_6^4 + 442612582994272198784/16301210091492673345*c_0101_6^3 + 29207738605346790671/16301210091492673345*c_0101_6^2 - 110161911558241816079/16301210091492673345*c_0101_6 - 2921035515207442879/16301210091492673345, c_0011_5 - 6525219707684478428/16301210091492673345*c_0101_6^19 + 1124602956435134048/16301210091492673345*c_0101_6^18 + 24716891299703975859/16301210091492673345*c_0101_6^17 + 21770034621025153023/16301210091492673345*c_0101_6^16 - 77376365715981034329/16301210091492673345*c_0101_6^15 - 151324416086575648784/16301210091492673345*c_0101_6^14 + 227906256434335242603/16301210091492673345*c_0101_6^13 + 386237820425157969532/16301210091492673345*c_0101_6^12 + 18665510672571024293/3260242018298534669*c_0101_6^11 - 1003941268592888263647/16301210091492673345*c_0101_6^10 - 70063391079406745034/16301210091492673345*c_0101_6^9 + 442764455994834335356/16301210091492673345*c_0101_6^8 + 98883865108988634841/3260242018298534669*c_0101_6^7 - 351432508568333626427/16301210091492673345*c_0101_6^6 - 305531359908285006512/16301210091492673345*c_0101_6^5 + 470574045906645739929/16301210091492673345*c_0101_6^4 - 424125647542878172712/16301210091492673345*c_0101_6^3 + 12213384186535921342/16301210091492673345*c_0101_6^2 + 87650233409933743867/16301210091492673345*c_0101_6 - 8427807689142111018/16301210091492673345, c_0101_0 - 4877166981266021423/16301210091492673345*c_0101_6^19 + 191474115248858018/16301210091492673345*c_0101_6^18 + 19769195010239739449/16301210091492673345*c_0101_6^17 + 19003734164480366998/16301210091492673345*c_0101_6^16 - 60170833007273264369/16301210091492673345*c_0101_6^15 - 126712015358948954744/16301210091492673345*c_0101_6^14 + 167183967176809253553/16301210091492673345*c_0101_6^13 + 344741688352029819312/16301210091492673345*c_0101_6^12 + 16054262915436685163/3260242018298534669*c_0101_6^11 - 826770830231188536507/16301210091492673345*c_0101_6^10 - 205940613865546494819/16301210091492673345*c_0101_6^9 + 493012810146663043221/16301210091492673345*c_0101_6^8 + 103168955897270211311/3260242018298534669*c_0101_6^7 - 259976806742368922937/16301210091492673345*c_0101_6^6 - 396584666504172972502/16301210091492673345*c_0101_6^5 + 311159731670972991529/16301210091492673345*c_0101_6^4 - 185424840532180377612/16301210091492673345*c_0101_6^3 - 78084486798604470143/16301210091492673345*c_0101_6^2 + 87335036097782635542/16301210091492673345*c_0101_6 + 11647460989390643392/16301210091492673345, c_0101_1 + 186625768237255206/3260242018298534669*c_0101_6^19 - 328902923241918322/3260242018298534669*c_0101_6^18 - 765182089825808399/3260242018298534669*c_0101_6^17 + 514220001662742820/3260242018298534669*c_0101_6^16 + 3647394031850637618/3260242018298534669*c_0101_6^15 + 1267309857143381577/3260242018298534669*c_0101_6^14 - 14773511755232768026/3260242018298534669*c_0101_6^13 - 3651352603255797489/3260242018298534669*c_0101_6^12 + 18622041754185444336/3260242018298534669*c_0101_6^11 + 41019087459142988799/3260242018298534669*c_0101_6^10 - 41033062087032733267/3260242018298534669*c_0101_6^9 - 36257313680799642367/3260242018298534669*c_0101_6^8 - 492170919873605044/3260242018298534669*c_0101_6^7 + 42272231124887065471/3260242018298534669*c_0101_6^6 + 9139735222559843011/3260242018298534669*c_0101_6^5 - 34226129045508211579/3260242018298534669*c_0101_6^4 + 24651785102701906317/3260242018298534669*c_0101_6^3 - 9130192370974758222/3260242018298534669*c_0101_6^2 - 5003885371557625085/3260242018298534669*c_0101_6 + 3589852563582226070/3260242018298534669, c_0101_6^20 - 4*c_0101_6^18 - 4*c_0101_6^17 + 12*c_0101_6^16 + 26*c_0101_6^15 - 33*c_0101_6^14 - 70*c_0101_6^13 - 19*c_0101_6^12 + 164*c_0101_6^11 + 42*c_0101_6^10 - 94*c_0101_6^9 - 97*c_0101_6^8 + 54*c_0101_6^7 + 73*c_0101_6^6 - 69*c_0101_6^5 + 41*c_0101_6^4 + 20*c_0101_6^3 - 18*c_0101_6^2 - 3*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB