Magma V2.19-8 Tue Aug 20 2013 16:18:47 on localhost [Seed = 4088557186] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2939 geometric_solution 6.13411986 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 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.132288032813 0.608924862096 0 2 3 5 0132 2310 1023 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.132288032813 0.608924862096 2 0 2 1 2031 0132 1302 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 -1 1 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 0 0 0 1.253230187598 1.657967842540 6 6 1 0 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319031962466 0.793806228844 6 5 0 5 1230 2103 0132 1023 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 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.644206157604 1.611005239769 6 4 1 4 2103 2103 0132 1023 0 0 0 0 0 1 -1 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 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.644206157604 1.611005239769 3 4 5 3 0132 3012 2103 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.552340587421 1.053078787402 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(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_3']), 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : d['c_1100_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], '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_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0011_4'], '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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 1993462173195019241221006532681/54927025277322075017748414220288*c_\ 1100_0^13 + 3733080456550418407935440678871/68658781596652593772185\ 51777536*c_1100_0^12 - 69893642149785957485260589066563/13731756319\ 330518754437103555072*c_1100_0^11 + 505804026903691881765624930133377/27463512638661037508874207110144*\ c_1100_0^10 - 1910998724349719551183665938160453/549270252773220750\ 17748414220288*c_1100_0^9 - 1141207066515742180373146323607047/2746\ 3512638661037508874207110144*c_1100_0^8 - 4227220939648047048487309034241645/54927025277322075017748414220288\ *c_1100_0^7 + 1093861129527207593877149136572489/137317563193305187\ 54437103555072*c_1100_0^6 - 7989718646600501347128794557483285/2746\ 3512638661037508874207110144*c_1100_0^5 - 28341470130146319880099831970102201/5492702527732207501774841422028\ 8*c_1100_0^4 + 3650004885769076206163929346393379/54927025277322075\ 017748414220288*c_1100_0^3 + 2575608410331240676957350830830171/686\ 5878159665259377218551777536*c_1100_0^2 + 64677254220045341468537328092611/490419868547518526944182269824*c_1\ 100_0 - 10323917624405027458749626856045/21455869248953935553807974\ 3048, c_0011_0 - 1, c_0011_3 - 450688779713227481333375681/490419868547518526944182269824*c\ _1100_0^13 + 25581985573130403491866870667/171646953991631484430463\ 7944384*c_1100_0^12 - 17995245840552603579624018799/122604967136879\ 631736045567456*c_1100_0^11 + 1097313685236379055738609505155/17164\ 69539916314844304637944384*c_1100_0^10 - 5452183949152210000366144528071/3432939079832629688609275888768*c_1\ 100_0^9 + 482576607618482550742222864433/85823476995815742215231897\ 2192*c_1100_0^8 - 6210353946522841385940934356383/34329390798326296\ 88609275888768*c_1100_0^7 + 7082332603977891290805204944881/1716469\ 539916314844304637944384*c_1100_0^6 - 19439217474347729359547324030343/1716469539916314844304637944384*c_\ 1100_0^5 - 3565902270796971016733065306347/343293907983262968860927\ 5888768*c_1100_0^4 + 31958499967989346214967924747067/3432939079832\ 629688609275888768*c_1100_0^3 + 661185312394572286471277742007/1716\ 469539916314844304637944384*c_1100_0^2 - 8646785782782086546147908821/26819836561192419442259967881*c_1100_0 - 89769983336592282153870313123/107279346244769677769039871524, c_0011_4 - 23691510769086648979733985725/137317563193305187544371035550\ 72*c_1100_0^13 + 85917672368691626057633163569/34329390798326296886\ 09275888768*c_1100_0^12 - 788718656898349634145210394263/3432939079\ 832629688609275888768*c_1100_0^11 + 5226630536546303915030595233565/6865878159665259377218551777536*c_1\ 100_0^10 - 17065877053678473078972048784129/13731756319330518754437\ 103555072*c_1100_0^9 - 19011855071375866409596700975317/68658781596\ 65259377218551777536*c_1100_0^8 - 61877985962896380501131134405449/\ 13731756319330518754437103555072*c_1100_0^7 + 1420810379249017858664558258829/858234769958157422152318972192*c_11\ 00_0^6 - 85095526399675736366769748425905/6865878159665259377218551\ 777536*c_1100_0^5 - 434836876788336051345292465957493/1373175631933\ 0518754437103555072*c_1100_0^4 - 114263905953978259827388588603253/\ 13731756319330518754437103555072*c_1100_0^3 + 53801001122525887024622260323237/3432939079832629688609275888768*c_\ 1100_0^2 + 1394645759422146404911818323789/122604967136879631736045\ 567456*c_1100_0 + 486077100353878831421509231821/214558692489539355\ 538079743048, c_0101_0 - 38568911211685270360046249335/137317563193305187544371035550\ 72*c_1100_0^13 + 148991100744498343987525997091/3432939079832629688\ 609275888768*c_1100_0^12 - 1424019490641889700424356445253/34329390\ 79832629688609275888768*c_1100_0^11 + 11173970201574832792970946423831/6865878159665259377218551777536*c_\ 1100_0^10 - 48365936526018915493529774178499/1373175631933051875443\ 7103555072*c_1100_0^9 - 9214853767485102266615252770719/68658781596\ 65259377218551777536*c_1100_0^8 - 77991938306592451596994586515611/\ 13731756319330518754437103555072*c_1100_0^7 + 6918270717955752676381877298091/858234769958157422152318972192*c_11\ 00_0^6 - 187059372138442563183364994448211/686587815966525937721855\ 1777536*c_1100_0^5 - 363289442172992569008868451123487/137317563193\ 30518754437103555072*c_1100_0^4 + 193403411047512048837229083461793\ /13731756319330518754437103555072*c_1100_0^3 + 46573351269317685961826796587519/3432939079832629688609275888768*c_\ 1100_0^2 + 451599442675313942242350852503/1226049671368796317360455\ 67456*c_1100_0 - 55075640419073402374106187385/21455869248953935553\ 8079743048, c_0101_1 + 38568911211685270360046249335/137317563193305187544371035550\ 72*c_1100_0^13 - 148991100744498343987525997091/3432939079832629688\ 609275888768*c_1100_0^12 + 1424019490641889700424356445253/34329390\ 79832629688609275888768*c_1100_0^11 - 11173970201574832792970946423831/6865878159665259377218551777536*c_\ 1100_0^10 + 48365936526018915493529774178499/1373175631933051875443\ 7103555072*c_1100_0^9 + 9214853767485102266615252770719/68658781596\ 65259377218551777536*c_1100_0^8 + 77991938306592451596994586515611/\ 13731756319330518754437103555072*c_1100_0^7 - 6918270717955752676381877298091/858234769958157422152318972192*c_11\ 00_0^6 + 187059372138442563183364994448211/686587815966525937721855\ 1777536*c_1100_0^5 + 363289442172992569008868451123487/137317563193\ 30518754437103555072*c_1100_0^4 - 193403411047512048837229083461793\ /13731756319330518754437103555072*c_1100_0^3 - 46573351269317685961826796587519/3432939079832629688609275888768*c_\ 1100_0^2 - 451599442675313942242350852503/1226049671368796317360455\ 67456*c_1100_0 + 55075640419073402374106187385/21455869248953935553\ 8079743048, c_0101_3 + 1644045605605771099889693089/1961679474190074107776729079296\ *c_1100_0^13 - 43556179698612762223620037755/3432939079832629688609\ 275888768*c_1100_0^12 + 58686617401744047587278486275/4904198685475\ 18526944182269824*c_1100_0^11 - 3062228741600482604700762960071/686\ 5878159665259377218551777536*c_1100_0^10 + 12227757103872174588162055437491/13731756319330518754437103555072*c\ _1100_0^9 + 5258395886967738160985968481535/68658781596652593772185\ 51777536*c_1100_0^8 + 23760264104323762905926811554571/137317563193\ 30518754437103555072*c_1100_0^7 - 1586737539889051175800063840621/8\ 58234769958157422152318972192*c_1100_0^6 + 49720758967409973239854311157699/6865878159665259377218551777536*c_\ 1100_0^5 + 147584750102338036807292935767375/1373175631933051875443\ 7103555072*c_1100_0^4 - 37382222601782553213710525853905/1373175631\ 9330518754437103555072*c_1100_0^3 - 18769998390088107119236309922935/3432939079832629688609275888768*c_\ 1100_0^2 - 1885191432179842936688354932433/858234769958157422152318\ 972192*c_1100_0 + 42370397768674888231163049665/2145586924895393555\ 38079743048, c_1100_0^14 - 16*c_1100_0^13 + 156*c_1100_0^12 - 658*c_1100_0^11 + 1549*c_1100_0^10 - 122*c_1100_0^9 + 1573*c_1100_0^8 - 4060*c_1100_0^7 + 10922*c_1100_0^6 + 4545*c_1100_0^5 - 11715*c_1100_0^4 - 3680*c_1100_0^3 + 1760*c_1100_0^2 + 1792*c_1100_0 + 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB