Magma V2.19-8 Tue Aug 20 2013 16:18:43 on localhost [Seed = 1916006145] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2883 geometric_solution 6.09507300 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 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 0 1 -1 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.550197372689 0.801667568494 0 1 1 4 0132 3201 2310 1230 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 0 0 0 0 0 0 0 1.203423257929 1.113424918690 4 0 3 5 3012 0132 2103 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 0 0 1 0 -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.396727121593 0.504135984893 2 5 6 0 2103 3120 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 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.023974418840 0.815633580177 1 5 0 2 3012 2310 0132 1230 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 1 -1 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.735039542837 0.435153043077 6 3 2 4 2031 3120 0132 3201 0 0 0 0 0 0 0 0 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 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.963993340545 1.224982376337 6 6 5 3 1230 3012 1302 0132 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 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.327057539403 0.709475676447 ==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' : 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' : negation(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' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0011_5']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_3']})} 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_4, c_0011_5, c_0011_6, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 502336823167052850184192/13995892458357277415*c_0101_5^22 + 1077572994985640701671424/13995892458357277415*c_0101_5^20 + 696005726983354330365952/13995892458357277415*c_0101_5^18 - 3916156544473729254028928/13995892458357277415*c_0101_5^16 + 2098119130012611442163168/13995892458357277415*c_0101_5^14 + 6160791145252924501127328/13995892458357277415*c_0101_5^12 - 12198954895019454016391984/13995892458357277415*c_0101_5^10 + 10258139289657797433930608/13995892458357277415*c_0101_5^8 - 4711131172665951991202432/13995892458357277415*c_0101_5^6 + 1164077804458068551534344/13995892458357277415*c_0101_5^4 - 127188829370396804519234/13995892458357277415*c_0101_5^2 + 2068654355986816856568/13995892458357277415, c_0011_0 - 1, c_0011_3 + 13222675206069015101440/2799178491671455483*c_0101_5^22 - 29331228142921934084096/2799178491671455483*c_0101_5^20 - 16764092546976215758336/2799178491671455483*c_0101_5^18 + 105274178855143084753792/2799178491671455483*c_0101_5^16 - 61624401452727844971264/2799178491671455483*c_0101_5^14 - 161594707126414032733528/2799178491671455483*c_0101_5^12 + 333400237956235061086080/2799178491671455483*c_0101_5^10 - 286935630220981894568876/2799178491671455483*c_0101_5^8 + 134447111765437388386882/2799178491671455483*c_0101_5^6 - 33771199737991176102852/2799178491671455483*c_0101_5^4 + 3701164892560703094011/2799178491671455483*c_0101_5^2 - 52719907699709317581/2799178491671455483, c_0011_4 + 105336989002910938611712/13995892458357277415*c_0101_5^23 - 227848930821157986310144/13995892458357277415*c_0101_5^21 - 143641634269523814996992/13995892458357277415*c_0101_5^19 + 826454502011315445644928/13995892458357277415*c_0101_5^17 - 450654538246898387121568/13995892458357277415*c_0101_5^15 - 1295005140138805689521488/13995892458357277415*c_0101_5^13 + 2581711864782676595551824/13995892458357277415*c_0101_5^11 - 2175473160844005534440888/13995892458357277415*c_0101_5^9 + 997449189696740701983352/13995892458357277415*c_0101_5^7 - 243854065073842771903524/13995892458357277415*c_0101_5^5 + 25507398601578439419044/13995892458357277415*c_0101_5^3 - 229793925569615450473/13995892458357277415*c_0101_5, c_0011_5 - 54687193385887105024/2799178491671455483*c_0101_5^22 - 708390366404261384192/2799178491671455483*c_0101_5^20 + 1379415249153349884928/2799178491671455483*c_0101_5^18 + 1472321995423243698432/2799178491671455483*c_0101_5^16 - 5158571001345439643136/2799178491671455483*c_0101_5^14 + 1030004542938459666992/2799178491671455483*c_0101_5^12 + 9108668542958279550960/2799178491671455483*c_0101_5^10 - 13026085104063579156368/2799178491671455483*c_0101_5^8 + 8127670497494874947604/2799178491671455483*c_0101_5^6 - 2453016913833746110514/2799178491671455483*c_0101_5^4 + 286256380382539282140/2799178491671455483*c_0101_5^2 - 898438917066188402/2799178491671455483, c_0011_6 - 124809424010268922175488/13995892458357277415*c_0101_5^23 + 268170384102075819006976/13995892458357277415*c_0101_5^21 + 173911295845100856112128/13995892458357277415*c_0101_5^19 - 975681668817748475451712/13995892458357277415*c_0101_5^17 + 519324623816308608669872/13995892458357277415*c_0101_5^15 + 1538625344907677744558752/13995892458357277415*c_0101_5^13 - 3032465515578309609314616/13995892458357277415*c_0101_5^11 + 2537400327908481430233052/13995892458357277415*c_0101_5^9 - 1157370077174754151770988/13995892458357277415*c_0101_5^7 + 283337352711125025114086/13995892458357277415*c_0101_5^5 - 30702423343711028903966/13995892458357277415*c_0101_5^3 + 541199960215046784647/13995892458357277415*c_0101_5, c_0101_1 + 208608416081742616887296/13995892458357277415*c_0101_5^23 - 449063142354627758764032/13995892458357277415*c_0101_5^21 - 290299681114288845587456/13995892458357277415*c_0101_5^19 + 1634377970373373481671424/13995892458357277415*c_0101_5^17 - 871321347477953794651264/13995892458357277415*c_0101_5^15 - 2578158591125192205602704/13995892458357277415*c_0101_5^13 + 5079876043778365551847712/13995892458357277415*c_0101_5^11 - 4242318562689462095634464/13995892458357277415*c_0101_5^9 + 1925588512218673125022656/13995892458357277415*c_0101_5^7 - 466125728821943876408752/13995892458357277415*c_0101_5^5 + 49130144239009450332462/13995892458357277415*c_0101_5^3 - 743073524777850208909/13995892458357277415*c_0101_5, c_0101_5^24 - 21/8*c_0101_5^22 - 3/8*c_0101_5^20 + 1087/128*c_0101_5^18 - 4033/512*c_0101_5^16 - 2659/256*c_0101_5^14 + 30913/1024*c_0101_5^12 - 32601/1024*c_0101_5^10 + 38573/2048*c_0101_5^8 - 13501/2048*c_0101_5^6 + 10559/8192*c_0101_5^4 - 933/8192*c_0101_5^2 + 25/16384 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB