Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 2210537285] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2215 geometric_solution 5.66111586 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.246293633494 0.270169089048 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 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.910906893704 1.751269499526 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.053445271168 0.836127567429 5 4 2 1 3201 3201 2310 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 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.053445271168 0.836127567429 4 4 3 2 1230 3012 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 1 0 -1 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.255943001631 0.927590400053 6 6 2 3 0132 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.208869798441 1.465645499563 5 6 5 6 0132 2310 2310 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.538595444924 0.620792662069 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], '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' : negation(d['c_0011_5']), '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_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_0011_4, c_0011_5, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 37193999761263884447758495/78531701386547694662769*c_0101_3^19 + 242456114434874823685572590/78531701386547694662769*c_0101_3^18 - 584607227440298877607598747/78531701386547694662769*c_0101_3^17 - 61685824524773191685628251/11218814483792527808967*c_0101_3^16 + 2088057547898977597731285737/26177233795515898220923*c_0101_3^15 - 2087635086729736164592789007/26177233795515898220923*c_0101_3^14 - 6508987280858744233257226411/26177233795515898220923*c_0101_3^13 + 30137462505315211821473669966/78531701386547694662769*c_0101_3^12 + 41617525858534365216723404861/78531701386547694662769*c_0101_3^11 - 51660015695379350008567015957/78531701386547694662769*c_0101_3^10 - 26498755460917662338877712801/26177233795515898220923*c_0101_3^9 + 24097518930949565854828226980/78531701386547694662769*c_0101_3^8 + 94972387089158413497135463093/78531701386547694662769*c_0101_3^7 + 28108761589919958597997636204/78531701386547694662769*c_0101_3^6 - 16707779303202277657478784496/26177233795515898220923*c_0101_3^5 - 9998346915294383490206051847/26177233795515898220923*c_0101_3^4 + 2620846064695144869987541376/26177233795515898220923*c_0101_3^3 + 989403244470436217136135710/11218814483792527808967*c_0101_3^2 - 249301902768264081306741337/78531701386547694662769*c_0101_3 - 445392545864176873508404582/78531701386547694662769, c_0011_0 - 1, c_0011_1 + 10797113339414748697308/3739604827930842602989*c_0101_3^19 - 76735126007913793003988/3739604827930842602989*c_0101_3^18 + 211107729933601397185490/3739604827930842602989*c_0101_3^17 + 28456720020590159012695/3739604827930842602989*c_0101_3^16 - 1915317804190002940654224/3739604827930842602989*c_0101_3^15 + 2964476978598804505888709/3739604827930842602989*c_0101_3^14 + 4536927156990393735935595/3739604827930842602989*c_0101_3^13 - 12521577113872755564339497/3739604827930842602989*c_0101_3^12 - 5805659219943771632049296/3739604827930842602989*c_0101_3^11 + 22251235746085897307580009/3739604827930842602989*c_0101_3^10 + 11180038688281725054395126/3739604827930842602989*c_0101_3^9 - 19577382042358112390063514/3739604827930842602989*c_0101_3^8 - 19405899622825429287293982/3739604827930842602989*c_0101_3^7 + 8114848100924076180601110/3739604827930842602989*c_0101_3^6 + 15528290557703555323700811/3739604827930842602989*c_0101_3^5 - 1908992881647730680438077/3739604827930842602989*c_0101_3^4 - 4934472240176865246731283/3739604827930842602989*c_0101_3^3 + 723089139671032526233310/3739604827930842602989*c_0101_3^2 + 486092328269071078775348/3739604827930842602989*c_0101_3 - 97438991903438898863952/3739604827930842602989, c_0011_3 - 14981414416577978829458/3739604827930842602989*c_0101_3^19 + 112241360412280094576946/3739604827930842602989*c_0101_3^18 - 341774447456513268791093/3739604827930842602989*c_0101_3^17 + 137656196042418191973304/3739604827930842602989*c_0101_3^16 + 2448920797370161921139315/3739604827930842602989*c_0101_3^15 - 4910591956261998295704010/3739604827930842602989*c_0101_3^14 - 3576755056129463568657106/3739604827930842602989*c_0101_3^13 + 16424814317535316630438896/3739604827930842602989*c_0101_3^12 + 1798012451457196607012823/3739604827930842602989*c_0101_3^11 - 25551721394712648131089397/3739604827930842602989*c_0101_3^10 - 8538528314256826100651610/3739604827930842602989*c_0101_3^9 + 22865265076811712819724832/3739604827930842602989*c_0101_3^8 + 19228128631946982877894526/3739604827930842602989*c_0101_3^7 - 11183136674551991049653497/3739604827930842602989*c_0101_3^6 - 14369249521610145040275703/3739604827930842602989*c_0101_3^5 + 2765666438617737456843851/3739604827930842602989*c_0101_3^4 + 3793065191469492234355485/3739604827930842602989*c_0101_3^3 - 571620291625868230073931/3739604827930842602989*c_0101_3^2 - 322460952033679006160074/3739604827930842602989*c_0101_3 + 60431153477350970972236/3739604827930842602989, c_0011_4 - 21863907337137160800749/3739604827930842602989*c_0101_3^19 + 161649442219192272253310/3739604827930842602989*c_0101_3^18 - 481007407529129283272580/3739604827930842602989*c_0101_3^17 + 138480899881486819382365/3739604827930842602989*c_0101_3^16 + 3639357624533107891758851/3739604827930842602989*c_0101_3^15 - 6858268578079585675274946/3739604827930842602989*c_0101_3^14 - 6164142307615364576334146/3739604827930842602989*c_0101_3^13 + 24140565329749037720365589/3739604827930842602989*c_0101_3^12 + 4937893102191944004832622/3739604827930842602989*c_0101_3^11 - 38778546442826925227902648/3739604827930842602989*c_0101_3^10 - 15220825394914394717635748/3739604827930842602989*c_0101_3^9 + 34315921451890542492506171/3739604827930842602989*c_0101_3^8 + 30908300955989590223920229/3739604827930842602989*c_0101_3^7 - 15723392978560138966888524/3739604827930842602989*c_0101_3^6 - 23294724608543810532255929/3739604827930842602989*c_0101_3^5 + 3597106350766366531099229/3739604827930842602989*c_0101_3^4 + 6436930403510562602209992/3739604827930842602989*c_0101_3^3 - 884426508047739281017661/3739604827930842602989*c_0101_3^2 - 568135371493419986727043/3739604827930842602989*c_0101_3 + 105605569454745034142878/3739604827930842602989, c_0011_5 + 3226286510130446093637/3739604827930842602989*c_0101_3^19 - 26536704219513829471243/3739604827930842602989*c_0101_3^18 + 92305886520518572615614/3739604827930842602989*c_0101_3^17 - 91964334058203110539540/3739604827930842602989*c_0101_3^16 - 475192155177266096170205/3739604827930842602989*c_0101_3^15 + 1407555674392826911353240/3739604827930842602989*c_0101_3^14 - 139037207490054500231834/3739604827930842602989*c_0101_3^13 - 3637441861954945108655678/3739604827930842602989*c_0101_3^12 + 2034975687920991767785424/3739604827930842602989*c_0101_3^11 + 4737774864266115556374192/3739604827930842602989*c_0101_3^10 - 1304298476851377246709567/3739604827930842602989*c_0101_3^9 - 5092169798654412012618662/3739604827930842602989*c_0101_3^8 - 1202044533456363525557097/3739604827930842602989*c_0101_3^7 + 4101166217786226369120118/3739604827930842602989*c_0101_3^6 + 1281371973041374910124248/3739604827930842602989*c_0101_3^5 - 1662815659581195636056050/3739604827930842602989*c_0101_3^4 - 305680867196625002468833/3739604827930842602989*c_0101_3^3 + 251108469803897848567662/3739604827930842602989*c_0101_3^2 + 24834034857448501970364/3739604827930842602989*c_0101_3 - 12945260354246832502222/3739604827930842602989, c_0101_1 - 24894831006371847401720/3739604827930842602989*c_0101_3^19 + 186244226588910751613206/3739604827930842602989*c_0101_3^18 - 563675308948525365681159/3739604827930842602989*c_0101_3^17 + 204853273723870560942849/3739604827930842602989*c_0101_3^16 + 4130925473526301021915321/3739604827930842602989*c_0101_3^15 - 8164274193764697456376511/3739604827930842602989*c_0101_3^14 - 6369766544748482488731696/3739604827930842602989*c_0101_3^13 + 28102610096582660536476787/3739604827930842602989*c_0101_3^12 + 3399111437578751047705633/3739604827930842602989*c_0101_3^11 - 44818028427861555382586602/3739604827930842602989*c_0101_3^10 - 13876594460955934656691533/3739604827930842602989*c_0101_3^9 + 41005879304839454801109196/3739604827930842602989*c_0101_3^8 + 32399384247925489110580343/3739604827930842602989*c_0101_3^7 - 21215159472483218148993316/3739604827930842602989*c_0101_3^6 - 25692783188792588034504145/3739604827930842602989*c_0101_3^5 + 6245273826320965805352318/3739604827930842602989*c_0101_3^4 + 7444020487651767569606371/3739604827930842602989*c_0101_3^3 - 1465757109969474937193900/3739604827930842602989*c_0101_3^2 - 677346122291673965818916/3739604827930842602989*c_0101_3 + 150381921417021252787522/3739604827930842602989, c_0101_3^20 - 7*c_0101_3^19 + 19*c_0101_3^18 + 3*c_0101_3^17 - 171*c_0101_3^16 + 249*c_0101_3^15 + 420*c_0101_3^14 - 1022*c_0101_3^13 - 682*c_0101_3^12 + 1779*c_0101_3^11 + 1410*c_0101_3^10 - 1438*c_0101_3^9 - 2096*c_0101_3^8 + 282*c_0101_3^7 + 1473*c_0101_3^6 + 210*c_0101_3^5 - 441*c_0101_3^4 - 74*c_0101_3^3 + 59*c_0101_3^2 + 6*c_0101_3 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB