Magma V2.19-8 Tue Aug 20 2013 17:58:13 on localhost [Seed = 155762015] Type ? for help. Type -D to quit. Loading file "10^2_170__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_170 geometric_solution 11.83429528 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 1 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 -1 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 0 0 0 0.665613733887 0.954279241661 0 3 5 4 0132 0213 0132 0132 1 1 1 0 0 0 0 0 0 0 1 -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 -1 0 -1 0 1 0 0 0 0 0 -1 4 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578183247659 0.322999359075 0 0 7 6 3012 0132 0132 0132 1 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 -1 1 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.327039952604 0.933314162665 8 6 1 0 0132 1302 0213 0132 1 1 1 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 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.112370854445 0.645260308739 8 6 1 9 2103 1023 0132 0132 1 1 0 1 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.322548845091 1.193953233293 8 9 10 1 3120 0132 0132 0132 1 1 0 0 0 0 0 0 0 0 1 -1 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 -1 1 0 0 1 -1 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.320940047347 1.749650782206 4 7 2 3 1023 1230 0132 2031 1 1 0 1 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 0 4 0 -4 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.299562000688 1.714842869315 11 11 6 2 0132 1230 3012 0132 1 1 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 0 0 0 -1 0 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726718250473 0.579351807983 3 11 4 5 0132 0321 2103 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529633766733 1.032582023894 12 5 4 10 0132 0132 0132 0132 1 1 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 -1 0 0 1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.298638909019 1.040449584992 12 12 9 5 3120 1230 0132 0132 1 1 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 0 0 0 0 -1 0 1 1 0 0 -1 3 -3 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.213658189980 0.596962361693 7 12 7 8 0132 3120 3012 0321 0 1 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 4 -4 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.158664934501 0.670726228493 9 11 10 10 0132 3120 3012 3120 0 1 0 0 0 0 0 0 1 0 0 -1 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 1 -1 0 0 0 1 -1 3 0 0 -3 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.213658189980 0.596962361693 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0110_6'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_6'], 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : d['c_0110_6'], 'c_1001_8' : d['c_0011_4'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_10'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_1001_0']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_1001_0']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_4'], 'c_1100_10' : d['c_1100_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : d['c_0101_11'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0101_5']), '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_12'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_4'], '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_0110_11' : d['c_0011_3'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_5'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_5'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0110_6'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_10, c_0101_11, c_0101_5, c_0101_6, c_0110_6, c_1001_0, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 27931627183646121979175/11202541273147492688*c_1100_1^14 - 46586000710016198736951/5601270636573746344*c_1100_1^13 - 14087371622483944299701/1600363039021070384*c_1100_1^12 + 29374055111307700190359/2800635318286873172*c_1100_1^11 - 254316798375713197742363/11202541273147492688*c_1100_1^10 + 189468681833351086284843/5601270636573746344*c_1100_1^9 - 49572256097770686287093/1600363039021070384*c_1100_1^8 + 68451423500716997263651/2800635318286873172*c_1100_1^7 - 300524532089937146723377/11202541273147492688*c_1100_1^6 + 101678325046692473734629/5601270636573746344*c_1100_1^5 - 146965464123807220285349/11202541273147492688*c_1100_1^4 + 1699729115200127315335/200045379877633798*c_1100_1^3 - 18204480383227506925181/11202541273147492688*c_1100_1^2 + 7750972147717891168799/5601270636573746344*c_1100_1 - 6467281081187654270325/11202541273147492688, c_0011_0 - 1, c_0011_10 + 6743042690128925/2305998615304136*c_1100_1^14 + 23631281757247167/2305998615304136*c_1100_1^13 + 25637873496923435/2305998615304136*c_1100_1^12 - 15819216937879841/1152999307652068*c_1100_1^11 + 47141139899818249/2305998615304136*c_1100_1^10 - 75458884595687287/2305998615304136*c_1100_1^9 + 54323957667786189/2305998615304136*c_1100_1^8 - 7504667626812565/576499653826034*c_1100_1^7 + 45764888845922355/2305998615304136*c_1100_1^6 - 26280562288669547/2305998615304136*c_1100_1^5 + 11419855490695353/2305998615304136*c_1100_1^4 - 6346981406507205/1152999307652068*c_1100_1^3 - 5504740250973729/2305998615304136*c_1100_1^2 + 1511274626796395/2305998615304136*c_1100_1 + 863025789672335/2305998615304136, c_0011_12 - 3229338390016975/576499653826034*c_1100_1^14 - 4932429233011687/288249826913017*c_1100_1^13 - 8026391842372209/576499653826034*c_1100_1^12 + 35549435150772079/1152999307652068*c_1100_1^11 - 32727770725278935/576499653826034*c_1100_1^10 + 98737162017417471/1152999307652068*c_1100_1^9 - 98660967659505419/1152999307652068*c_1100_1^8 + 37216201309577095/576499653826034*c_1100_1^7 - 37769681939568729/576499653826034*c_1100_1^6 + 27827885598914371/576499653826034*c_1100_1^5 - 9411311139034029/288249826913017*c_1100_1^4 + 21569236152222259/1152999307652068*c_1100_1^3 - 3303243116636793/576499653826034*c_1100_1^2 + 1996213922934131/1152999307652068*c_1100_1 - 446226676473723/1152999307652068, c_0011_3 - 21575644741808375/2305998615304136*c_1100_1^14 - 19162032913397015/576499653826034*c_1100_1^13 - 46768185360353151/1152999307652068*c_1100_1^12 + 35078994578352875/1152999307652068*c_1100_1^11 - 176350781435273053/2305998615304136*c_1100_1^10 + 66534305437809839/576499653826034*c_1100_1^9 - 56434278999989407/576499653826034*c_1100_1^8 + 23739042601185577/288249826913017*c_1100_1^7 - 228026040604777905/2305998615304136*c_1100_1^6 + 17257450544285625/288249826913017*c_1100_1^5 - 53744217555271189/1152999307652068*c_1100_1^4 + 37872874633105241/1152999307652068*c_1100_1^3 - 10607733508138635/2305998615304136*c_1100_1^2 + 2522022334425428/288249826913017*c_1100_1 - 1311614134799651/576499653826034, c_0011_4 + 10456159748434725/2305998615304136*c_1100_1^14 + 9480508438136571/576499653826034*c_1100_1^13 + 25099313923965275/1152999307652068*c_1100_1^12 - 3136888703964460/288249826913017*c_1100_1^11 + 84482236156128717/2305998615304136*c_1100_1^10 - 69698276387383169/1152999307652068*c_1100_1^9 + 62059648283863665/1152999307652068*c_1100_1^8 - 14918116606679806/288249826913017*c_1100_1^7 + 140927393897116127/2305998615304136*c_1100_1^6 - 10753184135077848/288249826913017*c_1100_1^5 + 36380061822367065/1152999307652068*c_1100_1^4 - 6804684506534676/288249826913017*c_1100_1^3 + 14913536181746375/2305998615304136*c_1100_1^2 - 7445101284796389/1152999307652068*c_1100_1 + 1690349858040779/1152999307652068, c_0101_0 - 1, c_0101_10 - 3337446475/1824894404*c_1100_1^14 - 6760553727/912447202*c_1100_1^13 - 38771220503/3649788808*c_1100_1^12 + 6605074691/1824894404*c_1100_1^11 - 10320664713/912447202*c_1100_1^10 + 17830937163/1824894404*c_1100_1^9 - 19038396075/3649788808*c_1100_1^8 - 813407885/912447202*c_1100_1^7 - 10421594531/1824894404*c_1100_1^6 - 586744631/456223601*c_1100_1^5 + 1776731003/3649788808*c_1100_1^4 - 4752323685/1824894404*c_1100_1^3 + 1464303824/456223601*c_1100_1^2 - 183138673/1824894404*c_1100_1 + 1407449223/3649788808, c_0101_11 - 29167999117326225/2305998615304136*c_1100_1^14 - 12827822016897343/288249826913017*c_1100_1^13 - 61210934102672985/1152999307652068*c_1100_1^12 + 49120642047165331/1152999307652068*c_1100_1^11 - 250320792610896521/2305998615304136*c_1100_1^10 + 43753066650027864/288249826913017*c_1100_1^9 - 38811263611085513/288249826913017*c_1100_1^8 + 30695085492201193/288249826913017*c_1100_1^7 - 287109083120074247/2305998615304136*c_1100_1^6 + 22459296092660113/288249826913017*c_1100_1^5 - 68781915862981023/1152999307652068*c_1100_1^4 + 43208682168250345/1152999307652068*c_1100_1^3 - 15127109916147503/2305998615304136*c_1100_1^2 + 2366504165978919/288249826913017*c_1100_1 - 709174318523729/288249826913017, c_0101_5 - 2617969135467875/1152999307652068*c_1100_1^14 - 8955381298611815/1152999307652068*c_1100_1^13 - 18931228851833237/2305998615304136*c_1100_1^12 + 2820384891768178/288249826913017*c_1100_1^11 - 23665695407104037/1152999307652068*c_1100_1^10 + 14042794312735127/576499653826034*c_1100_1^9 - 43486484089955431/2305998615304136*c_1100_1^8 + 6650960747706535/576499653826034*c_1100_1^7 - 14043621853765659/1152999307652068*c_1100_1^6 + 7110352803130675/1152999307652068*c_1100_1^5 - 12286291283677291/2305998615304136*c_1100_1^4 + 17765230980583/576499653826034*c_1100_1^3 + 3535014371875387/1152999307652068*c_1100_1^2 - 282398002423627/576499653826034*c_1100_1 + 1549494315867871/2305998615304136, c_0101_6 + 3512348941290675/2305998615304136*c_1100_1^14 + 6239253926329181/1152999307652068*c_1100_1^13 + 2199547982107680/288249826913017*c_1100_1^12 - 781050916489401/1152999307652068*c_1100_1^11 + 43425195681083831/2305998615304136*c_1100_1^10 - 5910747340422438/288249826913017*c_1100_1^9 + 24158663984290969/1152999307652068*c_1100_1^8 - 5617222597481465/288249826913017*c_1100_1^7 + 41753251733534797/2305998615304136*c_1100_1^6 - 10172817190109115/1152999307652068*c_1100_1^5 + 2888314428613371/288249826913017*c_1100_1^4 - 4801379282050403/1152999307652068*c_1100_1^3 + 277295006264409/2305998615304136*c_1100_1^2 - 704676183941151/576499653826034*c_1100_1 - 807376673615433/1152999307652068, c_0110_6 - 3512348941290675/2305998615304136*c_1100_1^14 - 6239253926329181/1152999307652068*c_1100_1^13 - 2199547982107680/288249826913017*c_1100_1^12 + 781050916489401/1152999307652068*c_1100_1^11 - 43425195681083831/2305998615304136*c_1100_1^10 + 5910747340422438/288249826913017*c_1100_1^9 - 24158663984290969/1152999307652068*c_1100_1^8 + 5617222597481465/288249826913017*c_1100_1^7 - 41753251733534797/2305998615304136*c_1100_1^6 + 10172817190109115/1152999307652068*c_1100_1^5 - 2888314428613371/288249826913017*c_1100_1^4 + 4801379282050403/1152999307652068*c_1100_1^3 - 277295006264409/2305998615304136*c_1100_1^2 + 128176530115117/576499653826034*c_1100_1 + 807376673615433/1152999307652068, c_1001_0 + 8170087014654225/576499653826034*c_1100_1^14 + 57550541993918553/1152999307652068*c_1100_1^13 + 70009126031103705/1152999307652068*c_1100_1^12 - 12475423240913683/288249826913017*c_1100_1^11 + 36718248536497544/288249826913017*c_1100_1^10 - 49663813990450302/288249826913017*c_1100_1^9 + 179403718428633021/1152999307652068*c_1100_1^8 - 36312308089682658/288249826913017*c_1100_1^7 + 82215583713402261/576499653826034*c_1100_1^6 - 100010001560749567/1152999307652068*c_1100_1^5 + 80335173577434507/1152999307652068*c_1100_1^4 - 12002515362575187/288249826913017*c_1100_1^3 + 1925550615301489/288249826913017*c_1100_1^2 - 5437684515898989/576499653826034*c_1100_1 + 2029320600479483/1152999307652068, c_1100_1^15 + 81/25*c_1100_1^14 + 81/25*c_1100_1^13 - 111/25*c_1100_1^12 + 241/25*c_1100_1^11 - 363/25*c_1100_1^10 + 349/25*c_1100_1^9 - 283/25*c_1100_1^8 + 299/25*c_1100_1^7 - 213/25*c_1100_1^6 + 31/5*c_1100_1^5 - 101/25*c_1100_1^4 + 27/25*c_1100_1^3 - 17/25*c_1100_1^2 + 7/25*c_1100_1 - 1/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.400 seconds, Total memory usage: 32.09MB