Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 1528481723] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0657 geometric_solution 4.63797770 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 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.359399524005 0.138040591216 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 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 -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 1.696607015412 0.857365818817 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -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 1 0 -1 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.909196659127 0.318569846660 2 4 5 5 0132 0321 2310 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 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.310361073135 0.915413630144 6 6 2 3 0132 2310 0132 0321 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 1 -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.310361073135 0.915413630144 6 3 3 6 1230 3201 0132 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.427868130662 0.527973264932 4 5 5 4 0132 3012 1230 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 -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.427868130662 0.527973264932 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], '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_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), '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' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 547508210753640928383593909836177/6407222442650152253447499920328*c\ _0101_3^19 - 84321205963385458573006005575833/800902805331269031680\ 937490041*c_0101_3^18 - 153091866306331212542680760440059/106787040\ 7108358708907916653388*c_0101_3^17 + 12778044294386143667530760592343901/6407222442650152253447499920328\ *c_0101_3^16 - 675280070516445073974350806847339/103342297462099229\ 894314514844*c_0101_3^15 + 51248989430297917109746000687237345/6407\ 222442650152253447499920328*c_0101_3^14 + 1932425528326464559140252701269951/533935203554179354453958326694*c\ _0101_3^13 - 2617848845930725535198699506700515/1392874444054380924\ 66249998268*c_0101_3^12 - 280447072169807079507714876139903/7450258\ 6542443630854040696748*c_0101_3^11 + 268842004808087729397065095916806997/320361122132507612672374996016\ 4*c_0101_3^10 - 914961101674026018746085777541945105/64072224426501\ 52253447499920328*c_0101_3^9 + 10412724291476571868524747679826939/\ 206684594924198459788629029688*c_0101_3^8 + 113845260715046911911091176468351331/800902805331269031680937490041\ *c_0101_3^7 - 410737966765713395559892618502668555/2135740814216717\ 417815833306776*c_0101_3^6 + 102008086198498883994095018772494485/3\ 203611221325076126723749960164*c_0101_3^5 + 132694235134777704912789243041522529/213574081421671741781583330677\ 6*c_0101_3^4 + 33764736526597124039148991906060945/3203611221325076\ 126723749960164*c_0101_3^3 - 95173172981009127180743058701926885/64\ 07222442650152253447499920328*c_0101_3^2 - 76391329020501436599802345592567681/6407222442650152253447499920328\ *c_0101_3 - 7294620228680764627191545168983025/64072224426501522534\ 47499920328, c_0011_0 - 1, c_0011_2 - 5669772112966782529210525/121542272605094321523778358*c_0101\ _3^19 + 3758131866283864551230915/60771136302547160761889179*c_0101\ _3^18 + 3822839980640597402620353/60771136302547160761889179*c_0101\ _3^17 - 132583789223043964912246819/121542272605094321523778358*c_0\ 101_3^16 + 7222156346836822344118630/1960359235566037443931909*c_01\ 01_3^15 - 598049864507795199459994549/121542272605094321523778358*c\ _0101_3^14 - 57935294820028306108860419/60771136302547160761889179*\ c_0101_3^13 + 597348435560914306315284547/6077113630254716076188917\ 9*c_0101_3^12 + 778577888593139019916836/1413282239594120017718353*\ c_0101_3^11 - 2704538537789591029546133794/607711363025471607618891\ 79*c_0101_3^10 + 10142257512887695779902265793/12154227260509432152\ 3778358*c_0101_3^9 - 168500139952308749872068519/392071847113207488\ 7863818*c_0101_3^8 - 3860498782829788697287480809/60771136302547160\ 761889179*c_0101_3^7 + 13405695233350009597130184207/12154227260509\ 4321523778358*c_0101_3^6 - 2383167482711106810532829512/60771136302\ 547160761889179*c_0101_3^5 - 2337338781219548388690363365/121542272\ 605094321523778358*c_0101_3^4 - 208509034358625083431494114/6077113\ 6302547160761889179*c_0101_3^3 + 931830268058662417915065287/121542\ 272605094321523778358*c_0101_3^2 + 378577959462738074031096421/121542272605094321523778358*c_0101_3 - 64862904542096690296913733/121542272605094321523778358, c_0011_4 - 16516622818190474026029561987/106787040710835870890791665338\ 8*c_0101_3^19 + 7403005449544109117101773181/2669676017770896772269\ 79163347*c_0101_3^18 + 8640768224822075765348867855/533935203554179\ 354453958326694*c_0101_3^17 - 395090282400336004947037382691/106787\ 0407108358708907916653388*c_0101_3^16 + 23856854044924155082008737183/17223716243683204982385752474*c_0101_\ 3^15 - 2238595063795749723481357381723/1067870407108358708907916653\ 388*c_0101_3^14 + 60949093755331375317118702719/2669676017770896772\ 26979163347*c_0101_3^13 + 82332324258713013284706139935/23214574067\ 573015411041666378*c_0101_3^12 - 11904822318202188916298519445/1241\ 7097757073938475673449458*c_0101_3^11 - 8199494099035936843490173729931/533935203554179354453958326694*c_01\ 01_3^10 + 36017551007310068305990179610859/106787040710835870890791\ 6653388*c_0101_3^9 - 820657078933525631156414989461/344474324873664\ 09964771504948*c_0101_3^8 - 4735810059635607268146711074309/2669676\ 01777089677226979163347*c_0101_3^7 + 48008687680739853969349307101747/1067870407108358708907916653388*c_\ 0101_3^6 - 13062556917158459277674704895861/53393520355417935445395\ 8326694*c_0101_3^5 - 4572566273570132259062968955141/10678704071083\ 58708907916653388*c_0101_3^4 + 291718215300616543971827953903/53393\ 5203554179354453958326694*c_0101_3^3 + 3693503925665859804562601695971/1067870407108358708907916653388*c_0\ 101_3^2 + 150416729213002184925471713383/10678704071083587089079166\ 53388*c_0101_3 - 472785613969730795778410538737/1067870407108358708\ 907916653388, c_0011_5 + 16516622818190474026029561987/106787040710835870890791665338\ 8*c_0101_3^19 - 7403005449544109117101773181/2669676017770896772269\ 79163347*c_0101_3^18 - 8640768224822075765348867855/533935203554179\ 354453958326694*c_0101_3^17 + 395090282400336004947037382691/106787\ 0407108358708907916653388*c_0101_3^16 - 23856854044924155082008737183/17223716243683204982385752474*c_0101_\ 3^15 + 2238595063795749723481357381723/1067870407108358708907916653\ 388*c_0101_3^14 - 60949093755331375317118702719/2669676017770896772\ 26979163347*c_0101_3^13 - 82332324258713013284706139935/23214574067\ 573015411041666378*c_0101_3^12 + 11904822318202188916298519445/1241\ 7097757073938475673449458*c_0101_3^11 + 8199494099035936843490173729931/533935203554179354453958326694*c_01\ 01_3^10 - 36017551007310068305990179610859/106787040710835870890791\ 6653388*c_0101_3^9 + 820657078933525631156414989461/344474324873664\ 09964771504948*c_0101_3^8 + 4735810059635607268146711074309/2669676\ 01777089677226979163347*c_0101_3^7 - 48008687680739853969349307101747/1067870407108358708907916653388*c_\ 0101_3^6 + 13062556917158459277674704895861/53393520355417935445395\ 8326694*c_0101_3^5 + 4572566273570132259062968955141/10678704071083\ 58708907916653388*c_0101_3^4 - 291718215300616543971827953903/53393\ 5203554179354453958326694*c_0101_3^3 - 3693503925665859804562601695971/1067870407108358708907916653388*c_0\ 101_3^2 - 150416729213002184925471713383/10678704071083587089079166\ 53388*c_0101_3 + 472785613969730795778410538737/1067870407108358708\ 907916653388, c_0101_0 + 75056072869595807473918645749/106787040710835870890791665338\ 8*c_0101_3^19 - 24002990666395054623887683485/266967601777089677226\ 979163347*c_0101_3^18 - 50926881169684776799704209625/5339352035541\ 79354453958326694*c_0101_3^17 + 1752112875544954705079843375549/106\ 7870407108358708907916653388*c_0101_3^16 - 94430443664672908195431804977/17223716243683204982385752474*c_0101_\ 3^15 + 7723629821010460372212541805169/1067870407108358708907916653\ 388*c_0101_3^14 + 434686687939953729608876432335/266967601777089677\ 226979163347*c_0101_3^13 - 342305288296164408348039604295/232145740\ 67573015411041666378*c_0101_3^12 - 13204188499984137058464247891/12417097757073938475673449458*c_0101_\ 3^11 + 35557772915715141631982990236569/533935203554179354453958326\ 694*c_0101_3^10 - 131989556145099720347113649058793/106787040710835\ 8708907916653388*c_0101_3^9 + 2124098028955231014963925913847/34447\ 432487366409964771504948*c_0101_3^8 + 25964185956322757198474858506600/266967601777089677226979163347*c_0\ 101_3^7 - 176803762521069079913938727329005/10678704071083587089079\ 16653388*c_0101_3^6 + 30875105534133116511599852407549/533935203554\ 179354453958326694*c_0101_3^5 + 32835616702253959948504530919631/10\ 67870407108358708907916653388*c_0101_3^4 + 682271463119533301149701272401/533935203554179354453958326694*c_010\ 1_3^3 - 9496683147647792772292550526189/106787040710835870890791665\ 3388*c_0101_3^2 - 4719536967357143963348254338425/10678704071083587\ 08907916653388*c_0101_3 + 580394599028922462745613330207/1067870407\ 108358708907916653388, c_0101_1 - 2967477921679335046242901/121542272605094321523778358*c_0101\ _3^19 + 2777019285303434328359630/60771136302547160761889179*c_0101\ _3^18 + 1545569839390809645180234/60771136302547160761889179*c_0101\ _3^17 - 72309502322009222388914007/121542272605094321523778358*c_01\ 01_3^16 + 4355635155655288063829761/1960359235566037443931909*c_010\ 1_3^15 - 413544410353321376919963099/121542272605094321523778358*c_\ 0101_3^14 + 16409243981503539923466662/60771136302547160761889179*c\ _0101_3^13 + 366218830272386625811033483/60771136302547160761889179\ *c_0101_3^12 - 2619419332044044512682385/1413282239594120017718353*\ c_0101_3^11 - 1526112075207868648005424062/607711363025471607618891\ 79*c_0101_3^10 + 6690856753842784785785612249/121542272605094321523\ 778358*c_0101_3^9 - 147338476476759129765852831/3920718471132074887\ 863818*c_0101_3^8 - 1991563636583595197522939092/607711363025471607\ 61889179*c_0101_3^7 + 9297429184640015176883436497/1215422726050943\ 21523778358*c_0101_3^6 - 2281659651315283589084722446/6077113630254\ 7160761889179*c_0101_3^5 - 1497187781628127863304870811/12154227260\ 5094321523778358*c_0101_3^4 + 131008637138933869066705672/607711363\ 02547160761889179*c_0101_3^3 + 1010380625568469970336534387/1215422\ 72605094321523778358*c_0101_3^2 + 367170357630063580125634841/12154\ 2272605094321523778358*c_0101_3 - 106966388497928689130998223/12154\ 2272605094321523778358, c_0101_3^20 - c_0101_3^19 - 2*c_0101_3^18 + 23*c_0101_3^17 - 71*c_0101_3^16 + 75*c_0101_3^15 + 67*c_0101_3^14 - 214*c_0101_3^13 - 96*c_0101_3^12 + 980*c_0101_3^11 - 1443*c_0101_3^10 + 166*c_0101_3^9 + 1867*c_0101_3^8 - 1897*c_0101_3^7 - 205*c_0101_3^6 + 905*c_0101_3^5 + 263*c_0101_3^4 - 167*c_0101_3^3 - 180*c_0101_3^2 - 40*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB