Magma V2.19-8 Tue Aug 20 2013 16:16:51 on localhost [Seed = 3886447409] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1117 geometric_solution 4.98450538 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 2310 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 2.632529345026 4.925682401942 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.404763295094 0.305916135043 0 3 4 0 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.096064546413 0.263848875687 5 2 4 6 0132 0132 2103 0132 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 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 1.273000987106 1.402370704640 3 6 5 2 2103 0132 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.273000987106 1.402370704640 3 4 5 5 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291362382324 0.562033870965 6 4 3 6 3012 0132 0132 1230 0 0 0 0 0 0 -1 1 -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 1 -1 1 0 0 -1 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.874144910772 0.651544383696 ==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_0101_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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_5'], 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : d['c_0011_4'], '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_2, c_0011_4, c_0101_0, c_0101_3, c_0101_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 551537524308501575084996/251237046721888392979*c_1001_2^19 + 5814785482285169791284141/502474093443776785958*c_1001_2^18 + 19394800642363003885534105/502474093443776785958*c_1001_2^17 - 76573202701565004623349090/251237046721888392979*c_1001_2^16 - 53590324173225762334160017/502474093443776785958*c_1001_2^15 + 620978028617886397386389330/251237046721888392979*c_1001_2^14 - 43060050759761822577126900/251237046721888392979*c_1001_2^13 - 2372224331296071608928262418/251237046721888392979*c_1001_2^12 + 109849285117991423600440819/251237046721888392979*c_1001_2^11 + 4529624308864374242141179560/251237046721888392979*c_1001_2^10 - 2100740378618711110076176/22839731520171672089*c_1001_2^9 - 4566586718436129735080223599/251237046721888392979*c_1001_2^8 - 88646225293681184054829950/251237046721888392979*c_1001_2^7 + 35464234989150671470938992/3749806667490871537*c_1001_2^6 + 192826365723430354632783695/502474093443776785958*c_1001_2^5 - 577310943809306814705328558/251237046721888392979*c_1001_2^4 - 62446736263687313785576881/502474093443776785958*c_1001_2^3 + 128185807497560496995685483/502474093443776785958*c_1001_2^2 + 4238281187140746885685405/502474093443776785958*c_1001_2 - 4608167351142705471213759/502474093443776785958, c_0011_0 - 1, c_0011_2 + 1402098947759138219155/1004948186887553571916*c_1001_2^19 - 6551369729439319669007/502474093443776785958*c_1001_2^18 + 3077565603682903598393/1004948186887553571916*c_1001_2^17 + 306514118495340443451217/1004948186887553571916*c_1001_2^16 - 677634175090163273287499/1004948186887553571916*c_1001_2^15 - 1082337597580933860512635/502474093443776785958*c_1001_2^14 + 1569887828254595702248252/251237046721888392979*c_1001_2^13 + 2037605571275659938311894/251237046721888392979*c_1001_2^12 - 11917542835857879559693705/502474093443776785958*c_1001_2^11 - 10100958671687330404107125/502474093443776785958*c_1001_2^10 + 974751404479687219089433/22839731520171672089*c_1001_2^9 + 7303957214883517045952157/251237046721888392979*c_1001_2^8 - 19462829629869635990791739/502474093443776785958*c_1001_2^7 - 346328412935223205994637/14999226669963486148*c_1001_2^6 + 16489766059356679826413715/1004948186887553571916*c_1001_2^5 + 9332647021626290529404299/1004948186887553571916*c_1001_2^4 - 1154475468252868837873971/502474093443776785958*c_1001_2^3 - 710413426315836039724459/502474093443776785958*c_1001_2^2 + 40429561713491451581451/502474093443776785958*c_1001_2 + 55696113106729971567911/1004948186887553571916, c_0011_4 + 6889709909170564266371/502474093443776785958*c_1001_2^19 - 34976605270110092626519/502474093443776785958*c_1001_2^18 - 63789848424588498154909/251237046721888392979*c_1001_2^17 + 929874820312977328166623/502474093443776785958*c_1001_2^16 + 254311505856295424768967/251237046721888392979*c_1001_2^15 - 3804706515077527015665757/251237046721888392979*c_1001_2^14 - 453729043475581516491430/251237046721888392979*c_1001_2^13 + 14527514157631789950093378/251237046721888392979*c_1001_2^12 + 2079420351631336370320955/251237046721888392979*c_1001_2^11 - 27120614120931073662849156/251237046721888392979*c_1001_2^10 - 442995797831164573749953/22839731520171672089*c_1001_2^9 + 26177852701749389390485607/251237046721888392979*c_1001_2^8 + 5111859970408194423770578/251237046721888392979*c_1001_2^7 - 375010223711696602950273/7499613334981743074*c_1001_2^6 - 2522508594205712120019312/251237046721888392979*c_1001_2^5 + 5119425146238684371492723/502474093443776785958*c_1001_2^4 + 907370696988717062831639/502474093443776785958*c_1001_2^3 - 458948464861668157787143/502474093443776785958*c_1001_2^2 - 40533328733215605043897/502474093443776785958*c_1001_2 + 6969288751289886304814/251237046721888392979, c_0101_0 + 3784288913418707428503/1004948186887553571916*c_1001_2^19 - 11509919871772442546673/502474093443776785958*c_1001_2^18 - 51716408538137797093023/1004948186887553571916*c_1001_2^17 + 586005211637747026651957/1004948186887553571916*c_1001_2^16 - 215573624142484492983099/1004948186887553571916*c_1001_2^15 - 2293966894486517178657467/502474093443776785958*c_1001_2^14 + 902093009923211451205226/251237046721888392979*c_1001_2^13 + 4377664523187813569183947/251237046721888392979*c_1001_2^12 - 6708243535385467217643867/502474093443776785958*c_1001_2^11 - 18045478553002545225243771/502474093443776785958*c_1001_2^10 + 526082545922014497654710/22839731520171672089*c_1001_2^9 + 10346942801650686201938900/251237046721888392979*c_1001_2^8 - 10160805537299462603743423/502474093443776785958*c_1001_2^7 - 388568087600539251092221/14999226669963486148*c_1001_2^6 + 8197937330255353374401099/1004948186887553571916*c_1001_2^5 + 8382164611009421507084679/1004948186887553571916*c_1001_2^4 - 501955181324103751118169/502474093443776785958*c_1001_2^3 - 567858016607383423801241/502474093443776785958*c_1001_2^2 + 12635941129349892460115/502474093443776785958*c_1001_2 + 42038561115597438271047/1004948186887553571916, c_0101_3 + 1375148863804062206479/1004948186887553571916*c_1001_2^19 - 1670645857939840260755/251237046721888392979*c_1001_2^18 - 26851864830256607577517/1004948186887553571916*c_1001_2^17 + 179411164781520644425005/1004948186887553571916*c_1001_2^16 + 139547808697688305295407/1004948186887553571916*c_1001_2^15 - 739856937136034792067909/502474093443776785958*c_1001_2^14 - 125802530997710871457572/251237046721888392979*c_1001_2^13 + 1406717395854783191185988/251237046721888392979*c_1001_2^12 + 1037597121591334612300301/502474093443776785958*c_1001_2^11 - 5080610112411653773142021/502474093443776785958*c_1001_2^10 - 95434553413301629063379/22839731520171672089*c_1001_2^9 + 2294714268100304502592148/251237046721888392979*c_1001_2^8 + 2033312797033335487741715/502474093443776785958*c_1001_2^7 - 57048591094408970440129/14999226669963486148*c_1001_2^6 - 1840846826167440888562299/1004948186887553571916*c_1001_2^5 + 493156273986522480556295/1004948186887553571916*c_1001_2^4 + 71750934622995044333946/251237046721888392979*c_1001_2^3 - 2565780426215567882510/251237046721888392979*c_1001_2^2 - 2796297604406417651800/251237046721888392979*c_1001_2 - 541830024700610562247/1004948186887553571916, c_0101_5 - 86775215644148473775/14999226669963486148*c_1001_2^19 + 124321251844339554112/3749806667490871537*c_1001_2^18 + 1331543524185170557737/14999226669963486148*c_1001_2^17 - 12824610097841478258877/14999226669963486148*c_1001_2^16 + 1000510104616428175349/14999226669963486148*c_1001_2^15 + 50851224605976958952145/7499613334981743074*c_1001_2^14 - 12471224338489008666543/3749806667490871537*c_1001_2^13 - 96837227927389025267669/3749806667490871537*c_1001_2^12 + 90949307771488311443421/7499613334981743074*c_1001_2^11 + 385419063853748178655517/7499613334981743074*c_1001_2^10 - 6903345007564290850822/340891515226442867*c_1001_2^9 - 209284326705991233030021/3749806667490871537*c_1001_2^8 + 130929922095751070573535/7499613334981743074*c_1001_2^7 + 489949522527205440942367/14999226669963486148*c_1001_2^6 - 104082911848687945925973/14999226669963486148*c_1001_2^5 - 144241869917438297477283/14999226669963486148*c_1001_2^4 + 3189617520327575246253/3749806667490871537*c_1001_2^3 + 4673175977240060938413/3749806667490871537*c_1001_2^2 - 95560963707688528228/3749806667490871537*c_1001_2 - 697973926659038217025/14999226669963486148, c_1001_2^20 - 5*c_1001_2^19 - 19*c_1001_2^18 + 134*c_1001_2^17 + 86*c_1001_2^16 - 1111*c_1001_2^15 - 226*c_1001_2^14 + 4308*c_1001_2^13 + 962*c_1001_2^12 - 8212*c_1001_2^11 - 2162*c_1001_2^10 + 8192*c_1001_2^9 + 2358*c_1001_2^8 - 4175*c_1001_2^7 - 1296*c_1001_2^6 + 962*c_1001_2^5 + 319*c_1001_2^4 - 96*c_1001_2^3 - 32*c_1001_2^2 + 3*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB