Magma V2.19-8 Tue Aug 20 2013 16:18:46 on localhost [Seed = 155751545] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2934 geometric_solution 6.13024397 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -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 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.592917364218 0.961028335984 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 -1 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 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.516561533680 0.762414614560 3 0 4 5 2310 0132 3201 2310 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 1 -1 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.516561533680 0.762414614560 6 1 2 6 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.039183657760 0.681392463936 2 4 1 4 2310 2310 0132 3201 0 0 0 0 0 1 -1 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 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 1.044932593563 0.881029037173 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 0 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 -1 0 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.606911443267 0.615412356096 3 3 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.149284298479 0.636372530697 ==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' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_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' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 2*c_0101_3 - 3, c_0011_0 - 1, c_0011_4 - 1, c_0101_0 + 1, c_0101_1 + c_0101_3, c_0101_2 - c_0101_3, c_0101_3^2 + c_0101_3 - 1, c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 50/3*c_0101_6^2 - 50/3*c_0101_6 + 55/3, c_0011_0 - 1, c_0011_4 + c_0101_6 + 1, c_0101_0 + 1, c_0101_1 - 5/3*c_0101_6^2 - 5/3*c_0101_6 + 1/3, c_0101_2 + 5/3*c_0101_6^3 + 5/3*c_0101_6^2 - 7/3*c_0101_6 - 1, c_0101_3 - 5/3*c_0101_6^3 - 10/3*c_0101_6^2 + 2/3*c_0101_6 + 4/3, c_0101_6^4 + 2*c_0101_6^3 - c_0101_6 - 1/5 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 2006974002299485478431345016490/439951337858967854781670073449*c_01\ 01_6^20 + 22124948124121667753810490570855/439951337858967854781670\ 073449*c_0101_6^19 - 35887972339935648015465932787545/4399513378589\ 67854781670073449*c_0101_6^18 - 61079038451198106938461793734795/43\ 9951337858967854781670073449*c_0101_6^17 + 190214829108260088348282000551090/439951337858967854781670073449*c_\ 0101_6^16 - 65729798687839268344470017940933/4399513378589678547816\ 70073449*c_0101_6^15 - 307775923958292912541356058552555/4399513378\ 58967854781670073449*c_0101_6^14 + 440162218189452879345520626731085/439951337858967854781670073449*c_\ 0101_6^13 + 45412341381676555104300923443021/4399513378589678547816\ 70073449*c_0101_6^12 - 660562879944607750434369759811330/4399513378\ 58967854781670073449*c_0101_6^11 + 402417627452022091576887568076803/439951337858967854781670073449*c_\ 0101_6^10 + 442571468993886062071436342032888/439951337858967854781\ 670073449*c_0101_6^9 - 416569442116395648253909937459575/4399513378\ 58967854781670073449*c_0101_6^8 - 89434880208149839967255267543871/\ 439951337858967854781670073449*c_0101_6^7 + 106535154532887896114643433987472/439951337858967854781670073449*c_\ 0101_6^6 - 39141319231223748591130707656081/43995133785896785478167\ 0073449*c_0101_6^5 + 21921542201272626548264673124947/4399513378589\ 67854781670073449*c_0101_6^4 + 7880402796332332754970053424343/4399\ 51337858967854781670073449*c_0101_6^3 - 95205319844592183331924957021/25879490462292226751862945497*c_0101_\ 6^2 + 3151488605784340826440671783728/43995133785896785478167007344\ 9*c_0101_6 - 623906778203496014458392499503/43995133785896785478167\ 0073449, c_0011_0 - 1, c_0011_4 - 35882779580830482558152836000/25879490462292226751862945497*\ c_0101_6^20 + 417442762444694522494029934230/2587949046229222675186\ 2945497*c_0101_6^19 - 883162216541562866007546783825/25879490462292\ 226751862945497*c_0101_6^18 - 696436622242697938273775823820/258794\ 90462292226751862945497*c_0101_6^17 + 4067432337299396506132840521550/25879490462292226751862945497*c_010\ 1_6^16 - 3354574709055826273985252334820/25879490462292226751862945\ 497*c_0101_6^15 - 4439953805319070844385321237024/25879490462292226\ 751862945497*c_0101_6^14 + 10964429894185268394599158214827/2587949\ 0462292226751862945497*c_0101_6^13 - 4666524134490819947451340479313/25879490462292226751862945497*c_010\ 1_6^12 - 10661822244737849677957088613517/2587949046229222675186294\ 5497*c_0101_6^11 + 13504004756164756422955383415031/258794904622922\ 26751862945497*c_0101_6^10 + 1908565622458896097808469262068/258794\ 90462292226751862945497*c_0101_6^9 - 9226931950174470280370032999490/25879490462292226751862945497*c_010\ 1_6^8 + 1916760828907623176257534068378/258794904622922267518629454\ 97*c_0101_6^7 + 791828030080220599805669030800/25879490462292226751\ 862945497*c_0101_6^6 + 112381978219008071630997332135/2587949046229\ 2226751862945497*c_0101_6^5 + 912063591118099709337123471226/258794\ 90462292226751862945497*c_0101_6^4 - 567608100107444244808371268551/25879490462292226751862945497*c_0101\ _6^3 + 74696523376537756474532154241/25879490462292226751862945497*\ c_0101_6^2 - 95750578758519830036866005063/258794904622922267518629\ 45497*c_0101_6 + 7787942923723928938967680980/258794904622922267518\ 62945497, c_0101_0 - 98683889724325763644241526945/25879490462292226751862945497*\ c_0101_6^20 + 1159887227361862474020511098540/258794904622922267518\ 62945497*c_0101_6^19 - 2569016827950182894351423766240/258794904622\ 92226751862945497*c_0101_6^18 - 1601999653920843460533958535080/258\ 79490462292226751862945497*c_0101_6^17 + 11415932350530634254425080344125/25879490462292226751862945497*c_01\ 01_6^16 - 10668006439010642090058288533364/258794904622922267518629\ 45497*c_0101_6^15 - 11144927433816281598196549469745/25879490462292\ 226751862945497*c_0101_6^14 + 32015176073358284481403919829244/2587\ 9490462292226751862945497*c_0101_6^13 - 16630289198906019951847644830938/25879490462292226751862945497*c_01\ 01_6^12 - 28578582618652371759320808135093/258794904622922267518629\ 45497*c_0101_6^11 + 41910925932575224224686249156942/25879490462292\ 226751862945497*c_0101_6^10 + 877910365211024906542461946927/258794\ 90462292226751862945497*c_0101_6^9 - 28154203829250242435506372675829/25879490462292226751862945497*c_01\ 01_6^8 + 9961310047014388692403640693198/25879490462292226751862945\ 497*c_0101_6^7 + 2956829832365111527442917959367/258794904622922267\ 51862945497*c_0101_6^6 - 1692166752323770771711468658232/2587949046\ 2292226751862945497*c_0101_6^5 + 2276967206999982249345886183551/25\ 879490462292226751862945497*c_0101_6^4 - 1466053959316131159799090683104/25879490462292226751862945497*c_010\ 1_6^3 + 285866390114338384976625299453/2587949046229222675186294549\ 7*c_0101_6^2 - 181807918831573511196901738309/258794904622922267518\ 62945497*c_0101_6 + 34087780051135036919955868119/25879490462292226\ 751862945497, c_0101_1 + 73385382825803608689513278740/25879490462292226751862945497*\ c_0101_6^20 - 856809407845510998492675306275/2587949046229222675186\ 2945497*c_0101_6^19 + 1842354923276874823653324796105/2587949046229\ 2226751862945497*c_0101_6^18 + 1347381117554027005537259494670/2587\ 9490462292226751862945497*c_0101_6^17 - 8397191963848856809257027626620/25879490462292226751862945497*c_010\ 1_6^16 + 7225256188982363717654997939628/25879490462292226751862945\ 497*c_0101_6^15 + 8940462318459612814113548563921/25879490462292226\ 751862945497*c_0101_6^14 - 23028264398259937488115603137431/2587949\ 0462292226751862945497*c_0101_6^13 + 10278046701554146118933734711884/25879490462292226751862945497*c_01\ 01_6^12 + 22154377624378373969354987144412/258794904622922267518629\ 45497*c_0101_6^11 - 28970827204389328066757055829505/25879490462292\ 226751862945497*c_0101_6^10 - 3556636573412835349245313567714/25879\ 490462292226751862945497*c_0101_6^9 + 20511045323812971772147513264721/25879490462292226751862945497*c_01\ 01_6^8 - 4840303615300256792862695489716/25879490462292226751862945\ 497*c_0101_6^7 - 2991131273890971450953601554626/258794904622922267\ 51862945497*c_0101_6^6 + 501885265242808404093217303274/25879490462\ 292226751862945497*c_0101_6^5 - 1243682656345156076655017043840/258\ 79490462292226751862945497*c_0101_6^4 + 992904576183316413366183509572/25879490462292226751862945497*c_0101\ _6^3 - 205410283811735156698420210735/25879490462292226751862945497\ *c_0101_6^2 + 178101263052906716386849340285/2587949046229222675186\ 2945497*c_0101_6 - 46595011032885847897071092326/258794904622922267\ 51862945497, c_0101_2 + 7702331525893565927750020/2934515303582291274732163*c_0101_6\ ^20 - 88498735480478744054265305/2934515303582291274732163*c_0101_6\ ^19 + 178242247398551161777984370/2934515303582291274732163*c_0101_\ 6^18 + 159848217492184336304794385/2934515303582291274732163*c_0101\ _6^17 - 825040402739128719546989650/2934515303582291274732163*c_010\ 1_6^16 + 640484511044707175844969739/2934515303582291274732163*c_01\ 01_6^15 + 922314132738090073710406737/2934515303582291274732163*c_0\ 101_6^14 - 2176204481329129498888526864/2934515303582291274732163*c\ _0101_6^13 + 868714272387617033375566373/2934515303582291274732163*\ c_0101_6^12 + 2158560333772031286284762258/293451530358229127473216\ 3*c_0101_6^11 - 2609881385848084618894406255/2934515303582291274732\ 163*c_0101_6^10 - 431999176574409393269646807/293451530358229127473\ 2163*c_0101_6^9 + 1739470650665593025939290525/29345153035822912747\ 32163*c_0101_6^8 - 421854278926423011708274046/29345153035822912747\ 32163*c_0101_6^7 - 100640688495645879231199639/29345153035822912747\ 32163*c_0101_6^6 + 88068124781435870614227442/293451530358229127473\ 2163*c_0101_6^5 - 172943371335298673133909440/293451530358229127473\ 2163*c_0101_6^4 + 60894588172353060661092245/2934515303582291274732\ 163*c_0101_6^3 - 28796131432344485316529720/29345153035822912747321\ 63*c_0101_6^2 + 17535360207473998072666503/293451530358229127473216\ 3*c_0101_6 - 2755319529051870088126372/2934515303582291274732163, c_0101_3 + 3929242830244047078734935/2934515303582291274732163*c_0101_6\ ^20 - 45125366852362250126766210/2934515303582291274732163*c_0101_6\ ^19 + 90527233759142242955044205/2934515303582291274732163*c_0101_6\ ^18 + 83834717316312059927512710/2934515303582291274732163*c_0101_6\ ^17 - 423977705833783635370083025/2934515303582291274732163*c_0101_\ 6^16 + 321532273718391931345905177/2934515303582291274732163*c_0101\ _6^15 + 487261760324865598927430052/2934515303582291274732163*c_010\ 1_6^14 - 1120027727598101689169488791/2934515303582291274732163*c_0\ 101_6^13 + 423995274140800239355457754/2934515303582291274732163*c_\ 0101_6^12 + 1139613600956903274734303481/2934515303582291274732163*\ c_0101_6^11 - 1345495695545386312300799179/293451530358229127473216\ 3*c_0101_6^10 - 253892748235661836162414651/29345153035822912747321\ 63*c_0101_6^9 + 924513271799772312462429450/29345153035822912747321\ 63*c_0101_6^8 - 213094728773691941776349931/29345153035822912747321\ 63*c_0101_6^7 - 61357106820899308384122946/293451530358229127473216\ 3*c_0101_6^6 + 48883776610436025585291136/2934515303582291274732163\ *c_0101_6^5 - 100854373871411823821658175/2934515303582291274732163\ *c_0101_6^4 + 35903453385161468476570448/2934515303582291274732163*\ c_0101_6^3 - 13127548589325130541965732/2934515303582291274732163*c\ _0101_6^2 + 6487478302020409025173652/2934515303582291274732163*c_0\ 101_6 + 1394048998403578089182159/2934515303582291274732163, c_0101_6^21 - 12*c_0101_6^20 + 29*c_0101_6^19 + 9*c_0101_6^18 - 118*c_0101_6^17 + 691/5*c_0101_6^16 + 78*c_0101_6^15 - 1729/5*c_0101_6^14 + 1291/5*c_0101_6^13 + 1126/5*c_0101_6^12 - 2434/5*c_0101_6^11 + 593/5*c_0101_6^10 + 1294/5*c_0101_6^9 - 874/5*c_0101_6^8 + 73/5*c_0101_6^7 + 97/5*c_0101_6^6 - 144/5*c_0101_6^5 + 21*c_0101_6^4 - 42/5*c_0101_6^3 + 18/5*c_0101_6^2 - 6/5*c_0101_6 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB