Magma V2.19-8 Tue Aug 20 2013 16:16:49 on localhost [Seed = 3120047471] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1085 geometric_solution 4.95204109 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.137851179600 0.695424695680 0 3 5 5 0132 0132 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 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.168907965435 3.243791640611 3 0 2 2 0132 0132 2031 1302 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 0 -1 1 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.262780673130 0.553288083591 2 1 4 0 0132 0132 3201 0132 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 -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.137851179600 0.695424695680 3 4 0 4 2310 2310 0132 3201 0 0 0 0 0 1 -1 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 -1 0 1 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.274266052523 1.383603583698 6 1 1 6 0132 3201 0132 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.059672124910 0.196423517043 5 6 6 5 0132 1230 3012 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 2.957775352761 1.190352502060 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], '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' : 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' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_3'])})} 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_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 2868936561099667088756271664941154843/49981224002618430757217538286\ 65*c_0101_6^16 - 14718459284908838476216600354462110058/49981224002\ 61843075721753828665*c_0101_6^14 + 33728841592011373036068181814491641496/4998122400261843075721753828\ 665*c_0101_6^12 - 50829983643220210636344716828713861039/4998122400\ 261843075721753828665*c_0101_6^10 + 42556354637499176028235732791922527659/4998122400261843075721753828\ 665*c_0101_6^8 - 16824446191221932650908514600838551046/49981224002\ 61843075721753828665*c_0101_6^6 + 799193587473882462662899941705245\ 464/999624480052368615144350765733*c_0101_6^4 - 137552323361095163408470942500768853/166604080008728102524058460955\ 5*c_0101_6^2 + 2026769504877311320120197822641054/55534693336242700\ 8413528203185, c_0011_0 - 1, c_0011_4 + 28313329025131709566665440860801/555346933362427008413528203\ 185*c_0101_6^17 - 53712756024817508979230188532747/1851156444541423\ 36137842734395*c_0101_6^15 + 46300929263421082340800535684243/61705\ 214818047445379280911465*c_0101_6^13 - 233116751728198424807442556590776/185115644454142336137842734395*c_\ 0101_6^11 + 723646718853843785493762658451938/555346933362427008413\ 528203185*c_0101_6^9 - 143789968532001721273049146406969/1851156444\ 54142336137842734395*c_0101_6^7 + 10011032501509406090354962009055/\ 37023128890828467227568546879*c_0101_6^5 - 26995987759345359762552702903283/555346933362427008413528203185*c_0\ 101_6^3 + 630627051630986449708313349244/18511564445414233613784273\ 4395*c_0101_6, c_0011_5 + 49470019083184330323406815777/1045851098610973650496286635*c\ _0101_6^16 - 264650532040842755612836256692/10458510986109736504962\ 86635*c_0101_6^14 + 636855769405533661003771097299/1045851098610973\ 650496286635*c_0101_6^12 - 1000839497199344971241813009836/10458510\ 98610973650496286635*c_0101_6^10 + 916638709944480182142863080541/1045851098610973650496286635*c_0101_\ 6^8 - 434915456165073170317305518824/1045851098610973650496286635*c\ _0101_6^6 + 22918650149398434040522295592/2091702197221947300992573\ 27*c_0101_6^4 - 12997781764025982851227019016/104585109861097365049\ 6286635*c_0101_6^2 + 490408281670367438307331334/104585109861097365\ 0496286635, c_0101_0 + 145743275934592538603881808129/1045851098610973650496286635*\ c_0101_6^16 - 754854610495594344414558544749/1045851098610973650496\ 286635*c_0101_6^14 + 1748526928250713046873357301958/10458510986109\ 73650496286635*c_0101_6^12 - 2658424980734442288855514383997/104585\ 1098610973650496286635*c_0101_6^10 + 2271875581740751865575843921152/1045851098610973650496286635*c_0101\ _6^8 - 937619168512466107160502504578/1045851098610973650496286635*\ c_0101_6^6 + 45756325884932747644225346775/209170219722194730099257\ 327*c_0101_6^4 - 28049239140146351629938932092/10458510986109736504\ 96286635*c_0101_6^2 + 1202430827122308698622868018/1045851098610973\ 650496286635, c_0101_1 + 811384844432804814532218114637/1045851098610973650496286635*\ c_0101_6^17 - 4094417887736907849694118005867/104585109861097365049\ 6286635*c_0101_6^15 + 9199584191732286151430895075814/1045851098610\ 973650496286635*c_0101_6^13 - 13627332734404987680413997286406/1045\ 851098610973650496286635*c_0101_6^11 + 10949452239808390322381643416171/1045851098610973650496286635*c_010\ 1_6^9 - 3928596042468717186381002879594/104585109861097365049628663\ 5*c_0101_6^7 + 175797170964289241365603525536/209170219722194730099\ 257327*c_0101_6^5 - 73889158244940014055164482976/10458510986109736\ 50496286635*c_0101_6^3 + 4123823874869963995134047539/1045851098610\ 973650496286635*c_0101_6, c_0101_3 + 807784893725881741330259298363913/55534693336242700841352820\ 3185*c_0101_6^17 - 1368741725720992895006779116676106/1851156444541\ 42336137842734395*c_0101_6^15 + 1033869527922059318846118246737074/\ 61705214818047445379280911465*c_0101_6^13 - 4626682870835620325330462236176338/185115644454142336137842734395*c\ _0101_6^11 + 11343992396338182129707375904483664/555346933362427008\ 413528203185*c_0101_6^9 - 1408946537135122523788845382102187/185115\ 644454142336137842734395*c_0101_6^7 + 63282382256257650018917243956742/37023128890828467227568546879*c_01\ 01_6^5 - 83658025617793301163243266244799/5553469333624270084135282\ 03185*c_0101_6^3 + 1301036942368963014412217492932/1851156444541423\ 36137842734395*c_0101_6, c_0101_6^18 - 144171/27889*c_0101_6^16 + 333540/27889*c_0101_6^14 - 507246/27889*c_0101_6^12 + 433678/27889*c_0101_6^10 - 180684/27889*c_0101_6^8 + 45984/27889*c_0101_6^6 - 5782/27889*c_0101_6^4 + 384/27889*c_0101_6^2 - 9/27889 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB