Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 324177908] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1834 geometric_solution 5.48691903 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 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.679615337193 0.583493710328 0 2 3 0 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.627146919022 0.566126415317 4 1 3 5 0132 0132 1302 0132 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 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.495630617162 0.480307203309 2 5 4 1 2031 1023 0132 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 -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.495630617162 0.480307203309 2 6 6 3 0132 0132 1023 0132 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 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.456962817298 0.787978102651 3 5 2 5 1023 1302 0132 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 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612306472094 0.439458326991 6 4 4 6 3012 0132 1023 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.865981864028 0.548329282110 ==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_1']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], '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' : d['c_0110_5'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_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_0101_0, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 2*c_0101_0 - 3, c_0011_0 - 1, c_0011_1 - c_0101_0, c_0011_3 + c_0101_0, c_0101_0^2 + c_0101_0 - 1, c_0101_4 + 1, c_0101_6 - 1, c_0110_5 - 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_0101_0, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 2609105506306497326221398/124291984734817443129475*c_0110_5^21 - 13718393285785477497300634/124291984734817443129475*c_0110_5^20 - 62007308615989454239865437/497167938939269772517900*c_0110_5^19 + 46432452018473484430309512/124291984734817443129475*c_0110_5^18 + 662216250661535013229267229/497167938939269772517900*c_0110_5^17 + 755610451321782997218589909/497167938939269772517900*c_0110_5^16 + 252511755601542252088943873/497167938939269772517900*c_0110_5^15 - 54911730595566803455487802/124291984734817443129475*c_0110_5^14 - 248380030260923095730314653/497167938939269772517900*c_0110_5^13 - 198841499230102930476737203/497167938939269772517900*c_0110_5^12 - 53168741595109844838753897/124291984734817443129475*c_0110_5^11 + 11678305271278985316585456/124291984734817443129475*c_0110_5^10 + 18807552075522155325930939/49716793893926977251790*c_0110_5^9 - 447366637216868232704570307/497167938939269772517900*c_0110_5^8 + 116772770628653822474954087/248583969469634886258950*c_0110_5^7 - 165224148991797855846182501/497167938939269772517900*c_0110_5^6 - 111253836427270031675506302/124291984734817443129475*c_0110_5^5 + 228248407748253148511640367/497167938939269772517900*c_0110_5^4 - 126013708746054082884231219/497167938939269772517900*c_0110_5^3 + 18898000950650744809163931/24858396946963488625895*c_0110_5^2 - 38330556900068782397030501/124291984734817443129475*c_0110_5 + 6896103227190460091015829/497167938939269772517900, c_0011_0 - 1, c_0011_1 - 4778993332934387353902/4971679389392697725179*c_0110_5^21 + 130833109721551709244058/24858396946963488625895*c_0110_5^20 + 23404377770496241172200/4971679389392697725179*c_0110_5^19 - 467350415855351651014893/24858396946963488625895*c_0110_5^18 - 1443598247587175658049317/24858396946963488625895*c_0110_5^17 - 273757818160982017384059/4971679389392697725179*c_0110_5^16 - 34863325478476795542894/24858396946963488625895*c_0110_5^15 + 177442059597837884844659/4971679389392697725179*c_0110_5^14 + 652085550081940720041178/24858396946963488625895*c_0110_5^13 + 386743421459452544691562/24858396946963488625895*c_0110_5^12 + 369515593702636521070199/24858396946963488625895*c_0110_5^11 - 52189882405966864912283/4971679389392697725179*c_0110_5^10 - 482606187975354362924594/24858396946963488625895*c_0110_5^9 + 1087028645201161387749228/24858396946963488625895*c_0110_5^8 - 730986553132210012193679/24858396946963488625895*c_0110_5^7 + 401970428961170195115869/24858396946963488625895*c_0110_5^6 + 934570444624205768108473/24858396946963488625895*c_0110_5^5 - 779942160914411259949313/24858396946963488625895*c_0110_5^4 + 283310797182169832608839/24858396946963488625895*c_0110_5^3 - 961838825851365064246374/24858396946963488625895*c_0110_5^2 + 501598769274446855232768/24858396946963488625895*c_0110_5 - 18154454726954147708777/24858396946963488625895, c_0011_3 + 30300179479494885342606/24858396946963488625895*c_0110_5^21 - 167881148891659766046602/24858396946963488625895*c_0110_5^20 - 137232069552965915261441/24858396946963488625895*c_0110_5^19 + 601356109884122248564678/24858396946963488625895*c_0110_5^18 + 1786332276878347493466128/24858396946963488625895*c_0110_5^17 + 1614381599138129325740642/24858396946963488625895*c_0110_5^16 - 36250657471183098472399/24858396946963488625895*c_0110_5^15 - 1046566798448850147303229/24858396946963488625895*c_0110_5^14 - 657846956197973237046888/24858396946963488625895*c_0110_5^13 - 75343395495814992586472/4971679389392697725179*c_0110_5^12 - 408682912220867655449086/24858396946963488625895*c_0110_5^11 + 377695607766602206847257/24858396946963488625895*c_0110_5^10 + 591462350562870370438057/24858396946963488625895*c_0110_5^9 - 286522032843030705486529/4971679389392697725179*c_0110_5^8 + 1011510843322458640945289/24858396946963488625895*c_0110_5^7 - 117496906415649113326029/4971679389392697725179*c_0110_5^6 - 1193970675288615432172708/24858396946963488625895*c_0110_5^5 + 211989863538858521328809/4971679389392697725179*c_0110_5^4 - 429343716046823550543104/24858396946963488625895*c_0110_5^3 + 1164855630144908903163602/24858396946963488625895*c_0110_5^2 - 713143370702790161581446/24858396946963488625895*c_0110_5 + 81781642155152551805223/24858396946963488625895, c_0101_0 - 102667875726962421649737/124291984734817443129475*c_0110_5^2\ 1 + 559550031357893720212661/124291984734817443129475*c_0110_5^20 + 516889770619276085021307/124291984734817443129475*c_0110_5^19 - 1993093947534561555174193/124291984734817443129475*c_0110_5^18 - 6262204974096562083982504/124291984734817443129475*c_0110_5^17 - 6049772743489065696354924/124291984734817443129475*c_0110_5^16 - 260145747371724504738923/124291984734817443129475*c_0110_5^15 + 3926325153435164145816063/124291984734817443129475*c_0110_5^14 + 2959919977337996095783673/124291984734817443129475*c_0110_5^13 + 1553674433778674511905768/124291984734817443129475*c_0110_5^12 + 1277586915742220248163138/124291984734817443129475*c_0110_5^11 - 1353290861959608180470539/124291984734817443129475*c_0110_5^10 - 445349330738262821833917/24858396946963488625895*c_0110_5^9 + 4534277367621603433671317/124291984734817443129475*c_0110_5^8 - 3028590305162146383072009/124291984734817443129475*c_0110_5^7 + 1747478480221733392831406/124291984734817443129475*c_0110_5^6 + 4011501844854842936459653/124291984734817443129475*c_0110_5^5 - 3259226677902536677588277/124291984734817443129475*c_0110_5^4 + 1210087554488417840746104/124291984734817443129475*c_0110_5^3 - 809659364098511354175818/24858396946963488625895*c_0110_5^2 + 2059478119125924223721334/124291984734817443129475*c_0110_5 - 4230815632521129649979/124291984734817443129475, c_0101_4 - 18799220162617588740563/124291984734817443129475*c_0110_5^21 + 126225992936520587325884/124291984734817443129475*c_0110_5^20 - 23440112057581829703982/124291984734817443129475*c_0110_5^19 - 541900080510967045002527/124291984734817443129475*c_0110_5^18 - 767016380357089049095276/124291984734817443129475*c_0110_5^17 + 522207597905795449451224/124291984734817443129475*c_0110_5^16 + 2106474750563901328361088/124291984734817443129475*c_0110_5^15 + 1811626671241386517872312/124291984734817443129475*c_0110_5^14 + 279720960683402843434347/124291984734817443129475*c_0110_5^13 - 279236505868017571789363/124291984734817443129475*c_0110_5^12 - 226349625538486400657428/124291984734817443129475*c_0110_5^11 - 777735390420179803950211/124291984734817443129475*c_0110_5^10 - 18323236598172039139965/4971679389392697725179*c_0110_5^9 + 1189356576156319373506553/124291984734817443129475*c_0110_5^8 - 1548658036472125883485201/124291984734817443129475*c_0110_5^7 + 536941350830020565678929/124291984734817443129475*c_0110_5^6 + 568201014971206911172367/124291984734817443129475*c_0110_5^5 - 1667984092161288561396168/124291984734817443129475*c_0110_5^4 + 341813473594224164612556/124291984734817443129475*c_0110_5^3 - 159930572781565006311244/24858396946963488625895*c_0110_5^2 + 1115041274366530671002561/124291984734817443129475*c_0110_5 - 190068329253485668381851/124291984734817443129475, c_0101_6 + 190843010469122599866706/124291984734817443129475*c_0110_5^2\ 1 - 1052220249289284164561853/124291984734817443129475*c_0110_5^20 - 884788710503150485612616/124291984734817443129475*c_0110_5^19 + 3720900248444127658375569/124291984734817443129475*c_0110_5^18 + 11305822287444687143628792/124291984734817443129475*c_0110_5^17 + 10627815233435578519374212/124291984734817443129475*c_0110_5^16 + 549522917024785745090829/124291984734817443129475*c_0110_5^15 - 6048739676164876272910569/124291984734817443129475*c_0110_5^14 - 4165001097224539183575284/124291984734817443129475*c_0110_5^13 - 2622869676122461964912849/124291984734817443129475*c_0110_5^12 - 2768447835293122129994574/124291984734817443129475*c_0110_5^11 + 2201739709948092169368807/124291984734817443129475*c_0110_5^10 + 730508291302551380855287/24858396946963488625895*c_0110_5^9 - 8835221427918335339979006/124291984734817443129475*c_0110_5^8 + 6334320937362525335210772/124291984734817443129475*c_0110_5^7 - 3804754250085044769093883/124291984734817443129475*c_0110_5^6 - 7309192412088802277399349/124291984734817443129475*c_0110_5^5 + 6357999687033037264561536/124291984734817443129475*c_0110_5^4 - 3074011757364146412232882/124291984734817443129475*c_0110_5^3 + 306885821291375480673530/4971679389392697725179*c_0110_5^2 - 4477751268916639903553952/124291984734817443129475*c_0110_5 + 580998301409661330255242/124291984734817443129475, c_0110_5^22 - 6*c_0110_5^21 - 2*c_0110_5^20 + 22*c_0110_5^19 + 50*c_0110_5^18 + 26*c_0110_5^17 - 27*c_0110_5^16 - 36*c_0110_5^15 - 7*c_0110_5^14 - 2*c_0110_5^13 - 7*c_0110_5^12 + 19*c_0110_5^11 + 14*c_0110_5^10 - 56*c_0110_5^9 + 55*c_0110_5^8 - 34*c_0110_5^7 - 30*c_0110_5^6 + 53*c_0110_5^5 - 30*c_0110_5^4 + 46*c_0110_5^3 - 42*c_0110_5^2 + 13*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB