Magma V2.19-8 Tue Aug 20 2013 16:18:15 on localhost [Seed = 745386263] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2464 geometric_solution 5.80346291 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0.469369291861 0.243390036721 2 0 3 0 0132 2310 0132 0132 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 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.851590817257 0.627271056335 1 4 3 5 0132 0132 3012 0132 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 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.971284236902 1.043545376606 5 2 4 1 1023 1230 0132 0132 0 0 0 0 0 0 -1 1 -1 0 1 0 1 -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 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.971284236902 1.043545376606 6 2 6 3 0132 0132 1023 0132 0 0 0 0 0 0 -1 1 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 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.756214432630 1.037626082663 5 3 2 5 3201 1023 0132 2310 0 0 0 0 0 1 0 -1 0 0 0 0 1 -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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635233675119 0.757969954646 4 6 4 6 0132 1302 1023 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.491059450507 0.174015966131 ==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' : negation(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' : negation(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_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), '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' : d['c_0101_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], '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_1']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 360090596881668615293612746135/205281459327136121327133592*c_0101_4\ ^31 + 43402023151397558244926572464541/923766566972112545972101164*\ c_0101_4^29 - 325403267891122902234808914112937/6158443779814083639\ 81400776*c_0101_4^27 + 1610617332274497014898623856929993/461883283\ 486056272986050582*c_0101_4^25 - 2346766884216908887719810747438515\ /153961094495352090995350194*c_0101_4^23 + 43160355140116274356829267499073097/923766566972112545972101164*c_0\ 101_4^21 - 8206441881110339447908623034248866/769805472476760454976\ 75097*c_0101_4^19 + 356937454938421302076213278050193877/1847533133\ 944225091944202328*c_0101_4^17 - 7232386122311030086624297883647194\ 4/230941641743028136493025291*c_0101_4^15 + 207252919569939835074403268365247195/615844377981408363981400776*c_\ 0101_4^13 - 73527865937839923227751640408911133/3079221889907041819\ 90700388*c_0101_4^11 + 23463383375443769109169560803298761/20528145\ 9327136121327133592*c_0101_4^9 - 6347964630026390342394595726342549\ 1/1847533133944225091944202328*c_0101_4^7 + 1733639522106207595723461255357263/307922188990704181990700388*c_01\ 01_4^5 - 90310198901898492875835235663039/2309416417430281364930252\ 91*c_0101_4^3 + 6458401282871940013238517489899/1847533133944225091\ 944202328*c_0101_4, c_0011_0 - 1, c_0011_1 - 7149837230220151879449160903/76980547247676045497675097*c_01\ 01_4^30 + 574404466557742228838978712338/23094164174302813649302529\ 1*c_0101_4^28 - 6458274633783204242117261692852/2309416417430281364\ 93025291*c_0101_4^26 + 42611078401081286073017692249333/23094164174\ 3028136493025291*c_0101_4^24 - 20691057625397038011438391035698/256\ 60182415892015165891699*c_0101_4^22 + 190235086650208116833334459332656/76980547247676045497675097*c_0101\ _4^20 - 434032774575215322080412180938488/7698054724767604549767509\ 7*c_0101_4^18 + 262232622505324220164338109206056/25660182415892015\ 165891699*c_0101_4^16 - 3826874835413318795166621607107149/23094164\ 1743028136493025291*c_0101_4^14 + 137069172164514884255101383693086\ 2/76980547247676045497675097*c_0101_4^12 - 325042037314948246971273659962958/25660182415892015165891699*c_0101\ _4^10 + 469045726987425090105957125648335/7698054724767604549767509\ 7*c_0101_4^8 - 427616811199747922724932316199163/230941641743028136\ 493025291*c_0101_4^6 + 72243046674685852293866375984638/23094164174\ 3028136493025291*c_0101_4^4 - 5506527103758473593234175603713/23094\ 1641743028136493025291*c_0101_4^2 + 97662486321353008807842135029/230941641743028136493025291, c_0011_3 + 51536324425406349296216905330/230941641743028136493025291*c_\ 0101_4^31 - 459910444175666470028571229832/769805472476760454976750\ 97*c_0101_4^29 + 15507100768928864233143285706571/23094164174302813\ 6493025291*c_0101_4^27 - 102268844186588680221210937951205/23094164\ 1743028136493025291*c_0101_4^25 + 446697121023039073926813407909528\ /230941641743028136493025291*c_0101_4^23 - 1368088720139674237476883925027372/230941641743028136493025291*c_01\ 01_4^21 + 3119116408212437426510467908744698/2309416417430281364930\ 25291*c_0101_4^19 - 627729747269683088191210015976783/2566018241589\ 2015165891699*c_0101_4^17 + 3052522405314592755516250093473470/7698\ 0547247676045497675097*c_0101_4^15 - 3273457716881183202100343919742058/76980547247676045497675097*c_010\ 1_4^13 + 2322968559806094186120418842266939/76980547247676045497675\ 097*c_0101_4^11 - 3342029177798661580846806892618243/23094164174302\ 8136493025291*c_0101_4^9 + 336955841701413783338149305838984/769805\ 47247676045497675097*c_0101_4^7 - 169542659203064449431130417948580\ /230941641743028136493025291*c_0101_4^5 + 4268795924921763401821577853043/76980547247676045497675097*c_0101_4\ ^3 - 25182886434187228245470863649/25660182415892015165891699*c_010\ 1_4, c_0101_0 - 44531059468372037196365020964/230941641743028136493025291*c_\ 0101_4^31 + 1192118580487680163483402976147/23094164174302813649302\ 5291*c_0101_4^29 - 4465808690838586972259006966932/7698054724767604\ 5497675097*c_0101_4^27 + 88347141635474766173517494875805/230941641\ 743028136493025291*c_0101_4^25 - 128614410459814131598720548355205/\ 76980547247676045497675097*c_0101_4^23 + 393845470487520164992706644852616/76980547247676045497675097*c_0101\ _4^21 - 299259265692665309779686239118735/2566018241589201516589169\ 9*c_0101_4^19 + 4877523053892471198029476320789779/2309416417430281\ 36493025291*c_0101_4^17 - 7905388231990330073134867657813237/230941\ 641743028136493025291*c_0101_4^15 + 2824522383808800895918748721645268/76980547247676045497675097*c_010\ 1_4^13 - 667657150570665125688637297786112/256601824158920151658916\ 99*c_0101_4^11 + 2879140164989522705621926681842320/230941641743028\ 136493025291*c_0101_4^9 - 869607188871871854985756897536110/2309416\ 41743028136493025291*c_0101_4^7 + 48498854444995628091445007686064/\ 76980547247676045497675097*c_0101_4^5 - 10959208503836279850787539269254/230941641743028136493025291*c_0101\ _4^3 + 194570798878955074199967251314/230941641743028136493025291*c\ _0101_4, c_0101_1 + 24245484809955232080484258996/230941641743028136493025291*c_\ 0101_4^30 - 649019477432470620518975849275/230941641743028136493025\ 291*c_0101_4^28 + 2431075154450427108993687681262/76980547247676045\ 497675097*c_0101_4^26 - 48088780294095566521435633737283/2309416417\ 43028136493025291*c_0101_4^24 + 69997886798048482013418484897859/76\ 980547247676045497675097*c_0101_4^22 - 214315442189046189238992020562937/76980547247676045497675097*c_0101\ _4^20 + 488453651285262561022825092852559/7698054724767604549767509\ 7*c_0101_4^18 - 2653293156690894187611739411290121/2309416417430281\ 36493025291*c_0101_4^16 + 4300084849576562675060176177953293/230941\ 641743028136493025291*c_0101_4^14 - 1535659520597195450840411539507402/76980547247676045497675097*c_010\ 1_4^12 + 1088422212729319646702873091606953/76980547247676045497675\ 097*c_0101_4^10 - 1563532736768411585596271943440293/23094164174302\ 8136493025291*c_0101_4^8 + 471781890317566147726090859474197/230941\ 641743028136493025291*c_0101_4^6 - 26271890658595567884503589434803/76980547247676045497675097*c_0101_\ 4^4 + 5921293686561816105633630072884/230941641743028136493025291*c\ _0101_4^2 - 104290613339324136191038537274/230941641743028136493025\ 291, c_0101_3 - 907578226625395514850055859/76980547247676045497675097*c_010\ 1_4^30 + 73022252559715669054668522953/230941641743028136493025291*\ c_0101_4^28 - 822695065402667603890679457031/2309416417430281364930\ 25291*c_0101_4^26 + 5441225228947438912447496147911/230941641743028\ 136493025291*c_0101_4^24 - 7949593631309165785190634277331/76980547\ 247676045497675097*c_0101_4^22 + 8150098389761807313823010553152/25\ 660182415892015165891699*c_0101_4^20 - 18668315429727991169087346631199/25660182415892015165891699*c_0101_\ 4^18 + 101895197503694095304669298756154/76980547247676045497675097\ *c_0101_4^16 - 496609422424933277906770239734726/230941641743028136\ 493025291*c_0101_4^14 + 59929156896504667473867074979467/2566018241\ 5892015165891699*c_0101_4^12 - 129639237431965167017928928451567/76\ 980547247676045497675097*c_0101_4^10 + 63365294428446313144087012297157/76980547247676045497675097*c_0101_\ 4^8 - 59205132437133905252067650414276/230941641743028136493025291*\ c_0101_4^6 + 10381928127161116399252493734087/230941641743028136493\ 025291*c_0101_4^4 - 827605969676215813437941982403/2309416417430281\ 36493025291*c_0101_4^2 + 14956789770750844033320660071/230941641743\ 028136493025291, c_0101_4^32 - 27*c_0101_4^30 + 307*c_0101_4^28 - 2053*c_0101_4^26 + 9120*c_0101_4^24 - 28522*c_0101_4^22 + 66574*c_0101_4^20 - 123419*c_0101_4^18 + 202679*c_0101_4^16 - 231055*c_0101_4^14 + 178653*c_0101_4^12 - 95665*c_0101_4^10 + 34392*c_0101_4^8 - 7759*c_0101_4^6 + 998*c_0101_4^4 - 61*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB