Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 2480017265] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0541 geometric_solution 4.56255741 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 0 0 0 0 0 0 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.374192960375 0.763767578895 2 3 2 0 1302 0132 1230 0132 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 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.641869591606 0.783371155813 3 1 0 1 0132 2031 0132 3012 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 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.641869591606 0.783371155813 2 1 4 4 0132 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 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 -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.443320542977 0.571592902770 5 3 5 3 0132 2310 1023 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.013861252208 2.670130073517 4 6 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.472129024982 0.167446253176 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573762648596 0.037639504982 ==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' : negation(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' : negation(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' : negation(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' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : negation(d['c_0011_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' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0011_1'], '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_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 535347969447996984952790193045/1934653930449531741257168149*c_0110_\ 6^19 + 4631809912331049546929135094765/1934653930449531741257168149\ *c_0110_6^18 + 4481755299224480039438211517175/19346539304495317412\ 57168149*c_0110_6^17 - 80600866303391407483532334903506/19346539304\ 49531741257168149*c_0110_6^16 + 31046894301414656269506854153675/19\ 34653930449531741257168149*c_0110_6^15 + 510700451745223687037259553146800/1934653930449531741257168149*c_01\ 10_6^14 - 448409550195800130327221814158612/19346539304495317412571\ 68149*c_0110_6^13 - 1537812336102817523653766434610610/193465393044\ 9531741257168149*c_0110_6^12 + 1443440157587795975727124828421740/1\ 934653930449531741257168149*c_0110_6^11 + 2242503699810161733972619387356776/1934653930449531741257168149*c_0\ 110_6^10 - 1317101606115054269764237896998474/193465393044953174125\ 7168149*c_0110_6^9 - 1337657169153657161247210934578927/19346539304\ 49531741257168149*c_0110_6^8 + 363549177679753829916146305689913/19\ 34653930449531741257168149*c_0110_6^7 + 231056617259151394618359851381429/1934653930449531741257168149*c_01\ 10_6^6 - 66326933653243591921696582662642/1934653930449531741257168\ 149*c_0110_6^5 - 38662209988535453770060419557481/19346539304495317\ 41257168149*c_0110_6^4 + 2116947313722501355601531036722/1934653930\ 449531741257168149*c_0110_6^3 + 16215752869009448318675522410008/19\ 34653930449531741257168149*c_0110_6^2 - 1263180964461448547562573802863/1934653930449531741257168149*c_0110\ _6 - 872370630394905693342968216618/1934653930449531741257168149, c_0011_0 - 1, c_0011_1 + 737310473509568003740875300/1934653930449531741257168149*c_0\ 110_6^19 - 5719397730787633198918653163/193465393044953174125716814\ 9*c_0110_6^18 - 11600317512339702768945817810/193465393044953174125\ 7168149*c_0110_6^17 + 103080127395513593862318477512/19346539304495\ 31741257168149*c_0110_6^16 + 54060237595329786435459109683/19346539\ 30449531741257168149*c_0110_6^15 - 699915939469836119285298153272/1934653930449531741257168149*c_0110_\ 6^14 - 24754917147789804792679626586/1934653930449531741257168149*c\ _0110_6^13 + 2407197798400914641801328517609/1934653930449531741257\ 168149*c_0110_6^12 + 115789189505510539182551609543/193465393044953\ 1741257168149*c_0110_6^11 - 4074660224167691619942214618877/1934653\ 930449531741257168149*c_0110_6^10 - 1597343348922648524518797037503/1934653930449531741257168149*c_0110\ _6^9 + 2310457224486001787474427396408/1934653930449531741257168149\ *c_0110_6^8 + 1621157227404001135788115892978/193465393044953174125\ 7168149*c_0110_6^7 - 91839627976131098076886509499/1934653930449531\ 741257168149*c_0110_6^6 - 234917504574582425206289531061/1934653930\ 449531741257168149*c_0110_6^5 + 12712076867577487621147293240/19346\ 53930449531741257168149*c_0110_6^4 + 52688246177669078780007712133/1934653930449531741257168149*c_0110_6\ ^3 + 7778214266055160709917370165/1934653930449531741257168149*c_01\ 10_6^2 - 14083258885671023798484007833/1934653930449531741257168149\ *c_0110_6 - 4255862204161441750311362965/19346539304495317412571681\ 49, c_0011_4 + 125796952908378388560785513/1934653930449531741257168149*c_0\ 110_6^19 - 835475559097328300749010693/1934653930449531741257168149\ *c_0110_6^18 - 3199871627729014887698603458/19346539304495317412571\ 68149*c_0110_6^17 + 16503383058886425089473321182/19346539304495317\ 41257168149*c_0110_6^16 + 30101776984189210281912032540/19346539304\ 49531741257168149*c_0110_6^15 - 128839697860882247932745237908/1934\ 653930449531741257168149*c_0110_6^14 - 132481611407613928554167622976/1934653930449531741257168149*c_0110_\ 6^13 + 532741029051529545670351310971/1934653930449531741257168149*\ c_0110_6^12 + 384836382414399009267513577448/1934653930449531741257\ 168149*c_0110_6^11 - 1065925505599111774447936186073/19346539304495\ 31741257168149*c_0110_6^10 - 747248690005984481805631090315/1934653\ 930449531741257168149*c_0110_6^9 + 687049852849828359074274299117/1934653930449531741257168149*c_0110_\ 6^8 + 481350498166233237856533543214/1934653930449531741257168149*c\ _0110_6^7 - 73291746519573036432900769399/1934653930449531741257168\ 149*c_0110_6^6 - 41835797618968819834381226666/19346539304495317412\ 57168149*c_0110_6^5 + 18060524865309458191035816636/193465393044953\ 1741257168149*c_0110_6^4 + 23773756726705429922066913644/1934653930\ 449531741257168149*c_0110_6^3 + 1246115467023266554390765370/193465\ 3930449531741257168149*c_0110_6^2 - 5733114705347016952353489302/1934653930449531741257168149*c_0110_6 + 1102923986823218333298740621/1934653930449531741257168149, c_0101_0 + 435499991447422842678552006/1934653930449531741257168149*c_0\ 110_6^19 - 3949394556182178678435474964/193465393044953174125716814\ 9*c_0110_6^18 - 2257953632775299975963810744/1934653930449531741257\ 168149*c_0110_6^17 + 68626332873025960569444701789/1934653930449531\ 741257168149*c_0110_6^16 - 50747801098938988333581616875/1934653930\ 449531741257168149*c_0110_6^15 - 431939799135714186519406803259/193\ 4653930449531741257168149*c_0110_6^14 + 543004953364223414891309142308/1934653930449531741257168149*c_0110_\ 6^13 + 1273233995341202475684145864715/1934653930449531741257168149\ *c_0110_6^12 - 1812067794603299124222103763028/19346539304495317412\ 57168149*c_0110_6^11 - 1879610556089378121345087722646/193465393044\ 9531741257168149*c_0110_6^10 + 2207139844554343207597955777668/1934\ 653930449531741257168149*c_0110_6^9 + 1480265207532469206251874722744/1934653930449531741257168149*c_0110\ _6^8 - 1018532692796794777985222298710/1934653930449531741257168149\ *c_0110_6^7 - 582926598007532271254269952085/1934653930449531741257\ 168149*c_0110_6^6 + 156602536904994425204451882844/1934653930449531\ 741257168149*c_0110_6^5 + 95531963290029839480923153043/19346539304\ 49531741257168149*c_0110_6^4 - 26990289873340668048916559274/193465\ 3930449531741257168149*c_0110_6^3 - 23679301603414143845934008029/1934653930449531741257168149*c_0110_6\ ^2 + 3813532344137223143097740854/1934653930449531741257168149*c_01\ 10_6 + 3693816474185249492758112857/1934653930449531741257168149, c_0101_3 - 439546226988267757424397222/1934653930449531741257168149*c_0\ 110_6^19 + 3993469187579095273632424773/193465393044953174125716814\ 9*c_0110_6^18 + 2118861096194242603065346305/1934653930449531741257\ 168149*c_0110_6^17 - 68509433459791149733347864775/1934653930449531\ 741257168149*c_0110_6^16 + 53289859036600416094471155930/1934653930\ 449531741257168149*c_0110_6^15 + 421055245714062124497452185542/193\ 4653930449531741257168149*c_0110_6^14 - 552100411631474604976550151573/1934653930449531741257168149*c_0110_\ 6^13 - 1184012659307076633059273281761/1934653930449531741257168149\ *c_0110_6^12 + 1784688311490598740345538248370/19346539304495317412\ 57168149*c_0110_6^11 + 1572938441685125563944727484686/193465393044\ 9531741257168149*c_0110_6^10 - 2036529311945043241714165403943/1934\ 653930449531741257168149*c_0110_6^9 - 983191631761771614099165469819/1934653930449531741257168149*c_0110_\ 6^8 + 844699420662246021023319011367/1934653930449531741257168149*c\ _0110_6^7 + 232919181804298475560514295774/193465393044953174125716\ 8149*c_0110_6^6 - 106664066075084402349121261981/193465393044953174\ 1257168149*c_0110_6^5 - 7187439357518707011601508267/19346539304495\ 31741257168149*c_0110_6^4 + 19541944742229777116209228538/193465393\ 0449531741257168149*c_0110_6^3 + 16139082406170088452805078627/1934\ 653930449531741257168149*c_0110_6^2 - 4224308585066654459515393010/1934653930449531741257168149*c_0110_6 - 2117114154251157482876143118/1934653930449531741257168149, c_0101_4 + 829127673340994520240681784/1934653930449531741257168149*c_0\ 110_6^19 - 6848373887615191404098026717/193465393044953174125716814\ 9*c_0110_6^18 - 9664151389414091622471380150/1934653930449531741257\ 168149*c_0110_6^17 + 121369795236472918225813306718/193465393044953\ 1741257168149*c_0110_6^16 - 249835022146675149835361560/19346539304\ 49531741257168149*c_0110_6^15 - 796736094315508737119766665616/1934\ 653930449531741257168149*c_0110_6^14 + 385543940061269339009636748870/1934653930449531741257168149*c_0110_\ 6^13 + 2568412623433352174615038133200/1934653930449531741257168149\ *c_0110_6^12 - 1268780643939854331132115694084/19346539304495317412\ 57168149*c_0110_6^11 - 4073651709170266108581468225025/193465393044\ 9531741257168149*c_0110_6^10 + 574683889227146625367272486765/19346\ 53930449531741257168149*c_0110_6^9 + 2438428458437517323523978802411/1934653930449531741257168149*c_0110\ _6^8 + 249027117006345644577776512810/1934653930449531741257168149*\ c_0110_6^7 - 342166683996795267486075553622/19346539304495317412571\ 68149*c_0110_6^6 + 18300206168983328682212412115/193465393044953174\ 1257168149*c_0110_6^5 + 82251491122178593717127343181/1934653930449\ 531741257168149*c_0110_6^4 + 28154897318961951493896715447/19346539\ 30449531741257168149*c_0110_6^3 - 19439297777055096056138632468/193\ 4653930449531741257168149*c_0110_6^2 - 7167661678592196847949758019/1934653930449531741257168149*c_0110_6 + 1534284220692274067452062017/1934653930449531741257168149, c_0110_6^20 - 8*c_0110_6^19 - 14*c_0110_6^18 + 145*c_0110_6^17 + 40*c_0110_6^16 - 990*c_0110_6^15 + 216*c_0110_6^14 + 3407*c_0110_6^13 - 820*c_0110_6^12 - 5909*c_0110_6^11 - 282*c_0110_6^10 + 4044*c_0110_6^9 + 947*c_0110_6^8 - 845*c_0110_6^7 - 151*c_0110_6^6 + 150*c_0110_6^5 + 43*c_0110_6^4 - 32*c_0110_6^3 - 17*c_0110_6^2 + 3*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB