Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 290491902] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0714 geometric_solution 4.66714146 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1.677847474444 0.290949235368 0 2 2 0 3201 0132 1023 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 1 -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 1.144118253847 0.721853430517 3 1 1 4 0132 0132 1023 0132 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 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332898208800 0.259562147942 2 4 5 4 0132 2310 0132 3201 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.344793599476 1.296865977384 5 3 2 3 1023 2310 0132 3201 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 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 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.344793599476 1.296865977384 6 4 6 3 0132 1023 2310 0132 0 0 0 0 0 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402671185816 0.974533110746 5 5 6 6 0132 3201 2031 1302 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 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.482160099572 0.130304371532 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : 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' : 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' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_3'], '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_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 1097135009620581741389212939954709562245324/97749036849563434572623\ 68409195786368283*c_0101_5^18 - 26471201067837294348351165847960112\ 712530721/9774903684956343457262368409195786368283*c_0101_5^17 + 340014108634238465786074599547847994626479999/977490368495634345726\ 2368409195786368283*c_0101_5^16 - 586661262705470768246797802989114\ 253776291095/9774903684956343457262368409195786368283*c_0101_5^15 - 739959401058396877883612301517345291713752577/977490368495634345726\ 2368409195786368283*c_0101_5^14 + 355153417367969576064432254150615\ 7537041549527/9774903684956343457262368409195786368283*c_0101_5^13 - 2552396976425835712654349417247352517617813563/97749036849563434572\ 62368409195786368283*c_0101_5^12 - 2515464923129298499536682277987779234596514782/97749036849563434572\ 62368409195786368283*c_0101_5^11 - 5569852731259723488860078030332408197794581210/97749036849563434572\ 62368409195786368283*c_0101_5^10 + 6969267519023369527969908655727095354944306548/97749036849563434572\ 62368409195786368283*c_0101_5^9 + 330910982111908561229884330582549\ 1574540974929/9774903684956343457262368409195786368283*c_0101_5^8 + 575345997832624353367423664341899812330487205/977490368495634345726\ 2368409195786368283*c_0101_5^7 - 1554420150831977204661972291268085\ 964260337906/9774903684956343457262368409195786368283*c_0101_5^6 - 2191816521773109675005475172619909184903449812/97749036849563434572\ 62368409195786368283*c_0101_5^5 + 271280745750177030079945946890323\ 567165948311/9774903684956343457262368409195786368283*c_0101_5^4 + 534468058825829210754899030514603379724941696/977490368495634345726\ 2368409195786368283*c_0101_5^3 + 4833203424215744839214017405636059\ 4109349079/9774903684956343457262368409195786368283*c_0101_5^2 - 26343743378322839497346182798611531140888227/9774903684956343457262\ 368409195786368283*c_0101_5 - 4638591737484154146013930514561829743\ 387680/9774903684956343457262368409195786368283, c_0011_0 - 1, c_0011_1 + 104852903139465100582373997849315313011/22732334151061263854\ 0985311841762473681*c_0101_5^18 + 254743383882774528900901639200750\ 7603140/227323341510612638540985311841762473681*c_0101_5^17 - 32072011466394788311392737140153670189315/2273233415106126385409853\ 11841762473681*c_0101_5^16 + 50585656565274011768986860537058907385\ 054/227323341510612638540985311841762473681*c_0101_5^15 + 80552973361964476558907921524472345010222/2273233415106126385409853\ 11841762473681*c_0101_5^14 - 32858170854477325611238144513898865469\ 9292/227323341510612638540985311841762473681*c_0101_5^13 + 186795499021057998442565908233461896480318/227323341510612638540985\ 311841762473681*c_0101_5^12 + 2859489824155868281976318701768870123\ 04389/227323341510612638540985311841762473681*c_0101_5^11 + 566136212165363620372552579854273519745378/227323341510612638540985\ 311841762473681*c_0101_5^10 - 5759036999639644669831989246169190020\ 97927/227323341510612638540985311841762473681*c_0101_5^9 - 433978528148613779183841416131163630254661/227323341510612638540985\ 311841762473681*c_0101_5^8 - 94926110383080298262050832861672427960\ 071/227323341510612638540985311841762473681*c_0101_5^7 + 134708438662025950926446711395827752469069/227323341510612638540985\ 311841762473681*c_0101_5^6 + 23578214029404856434368715136820663735\ 6855/227323341510612638540985311841762473681*c_0101_5^5 + 6445500057833527027003098034183482126894/22732334151061263854098531\ 1841762473681*c_0101_5^4 - 5591057936727905077734953558270484976093\ 2/227323341510612638540985311841762473681*c_0101_5^3 - 11323836641143754756456750361308550320023/2273233415106126385409853\ 11841762473681*c_0101_5^2 + 179463427149040732504603609290106387210\ 3/227323341510612638540985311841762473681*c_0101_5 + 678835374223372268108350637742221401344/227323341510612638540985311\ 841762473681, c_0011_4 + 101643660958271803412470738486388711501/22732334151061263854\ 0985311841762473681*c_0101_5^18 + 246030475634262365428109049215733\ 5357647/227323341510612638540985311841762473681*c_0101_5^17 - 31309229983074274033193173025392287309252/2273233415106126385409853\ 11841762473681*c_0101_5^16 + 51930223670340385784251343659059720973\ 515/227323341510612638540985311841762473681*c_0101_5^15 + 72582238084064902528984531130412202413478/2273233415106126385409853\ 11841762473681*c_0101_5^14 - 32426304676710969877477873952630057486\ 2105/227323341510612638540985311841762473681*c_0101_5^13 + 213143738504049544360033679033036247512507/227323341510612638540985\ 311841762473681*c_0101_5^12 + 2508325976050036807981846023346259681\ 47088/227323341510612638540985311841762473681*c_0101_5^11 + 526174506593512413916953273223969785473006/227323341510612638540985\ 311841762473681*c_0101_5^10 - 5970115757929113208796337771279044918\ 43239/227323341510612638540985311841762473681*c_0101_5^9 - 346141170621378247505202923506273461677177/227323341510612638540985\ 311841762473681*c_0101_5^8 - 62568611519516544587896293579455788138\ 406/227323341510612638540985311841762473681*c_0101_5^7 + 121011149754077290311926887844363548257526/227323341510612638540985\ 311841762473681*c_0101_5^6 + 20638630204026043215275139188951493944\ 8828/227323341510612638540985311841762473681*c_0101_5^5 - 15329287979133443499060825919942766761507/2273233415106126385409853\ 11841762473681*c_0101_5^4 - 481647076030526197968958357381738799158\ 48/227323341510612638540985311841762473681*c_0101_5^3 - 3507680947970342550924989325159348604934/22732334151061263854098531\ 1841762473681*c_0101_5^2 + 1892089397296155079886750726720362774342\ /227323341510612638540985311841762473681*c_0101_5 + 230299521811496945181754831033939224466/227323341510612638540985311\ 841762473681, c_0101_0 + 162040928309770650452407514608065690631/22732334151061263854\ 0985311841762473681*c_0101_5^18 + 390164429606880240548631989037107\ 1162531/227323341510612638540985311841762473681*c_0101_5^17 - 50401644134482599096105950130826817815196/2273233415106126385409853\ 11841762473681*c_0101_5^16 + 89366540734380800288278497995935066107\ 346/227323341510612638540985311841762473681*c_0101_5^15 + 101948322233068669234667410840244491266999/227323341510612638540985\ 311841762473681*c_0101_5^14 - 5245760742374807613766806444936564046\ 11478/227323341510612638540985311841762473681*c_0101_5^13 + 408922006163941296787033590294314645231775/227323341510612638540985\ 311841762473681*c_0101_5^12 + 3216036010261076142569025249324021405\ 11113/227323341510612638540985311841762473681*c_0101_5^11 + 829207476735605012910888615962965289989647/227323341510612638540985\ 311841762473681*c_0101_5^10 - 1052896865449959193434297184763422420\ 297285/227323341510612638540985311841762473681*c_0101_5^9 - 385947394359070105762726598213627338332223/227323341510612638540985\ 311841762473681*c_0101_5^8 - 11992531731173131349294052600071272831\ 3451/227323341510612638540985311841762473681*c_0101_5^7 + 216066989063370500597092840983910763890033/227323341510612638540985\ 311841762473681*c_0101_5^6 + 30167096401907743926025583379390331626\ 8719/227323341510612638540985311841762473681*c_0101_5^5 - 48204070510829468572761993127800359809593/2273233415106126385409853\ 11841762473681*c_0101_5^4 - 616606885526313852534975273128982103684\ 66/227323341510612638540985311841762473681*c_0101_5^3 - 6545531975238903670268158270325507416257/22732334151061263854098531\ 1841762473681*c_0101_5^2 + 2195727762474517237311495679191643775058\ /227323341510612638540985311841762473681*c_0101_5 + 660369533900836250174142834581411388285/227323341510612638540985311\ 841762473681, c_0101_2 + 98186185484599149579989533892980285696/227323341510612638540\ 985311841762473681*c_0101_5^18 + 2362145742541589983940160188027354\ 706802/227323341510612638540985311841762473681*c_0101_5^17 - 30592493693567872694657614550199728910253/2273233415106126385409853\ 11841762473681*c_0101_5^16 + 54665060307473713019918769071759702929\ 677/227323341510612638540985311841762473681*c_0101_5^15 + 62012091328446517113115022993865181215378/2273233415106126385409853\ 11841762473681*c_0101_5^14 - 32132401810007853146944593730842123728\ 4560/227323341510612638540985311841762473681*c_0101_5^13 + 251442850720521700165643361403985080663407/227323341510612638540985\ 311841762473681*c_0101_5^12 + 2030216030780905520361132314001150576\ 65257/227323341510612638540985311841762473681*c_0101_5^11 + 488886205236392009557379157538312712382624/227323341510612638540985\ 311841762473681*c_0101_5^10 - 6553932943950848511512082559916557803\ 71238/227323341510612638540985311841762473681*c_0101_5^9 - 246101015065299057047050952291946908903998/227323341510612638540985\ 311841762473681*c_0101_5^8 - 46028718334487902231616172906715166732\ 899/227323341510612638540985311841762473681*c_0101_5^7 + 140080864037107652682430297786141596059554/227323341510612638540985\ 311841762473681*c_0101_5^6 + 18943985569076900623879913992997052146\ 9801/227323341510612638540985311841762473681*c_0101_5^5 - 34110282291860676636856020479558550340945/2273233415106126385409853\ 11841762473681*c_0101_5^4 - 423354932815588863554179037401494700562\ 30/227323341510612638540985311841762473681*c_0101_5^3 - 3196092535122896437087328290040651282169/22732334151061263854098531\ 1841762473681*c_0101_5^2 + 1514996664243908424015763433404937626818\ /227323341510612638540985311841762473681*c_0101_5 + 320811720124260543957478741436988018805/227323341510612638540985311\ 841762473681, c_0101_3 + 92541681268537041566981899592284079874/227323341510612638540\ 985311841762473681*c_0101_5^18 + 2237652407367792410817631651529917\ 643155/227323341510612638540985311841762473681*c_0101_5^17 - 28554748638693441423976269703554007903564/2273233415106126385409853\ 11841762473681*c_0101_5^16 + 48179243255608383446011945940100368687\ 218/227323341510612638540985311841762473681*c_0101_5^15 + 62638819930794814637797564752091404057009/2273233415106126385409853\ 11841762473681*c_0101_5^14 - 29333020590039501554365889790688595040\ 1394/227323341510612638540985311841762473681*c_0101_5^13 + 206567346728932609348611187559616545923146/227323341510612638540985\ 311841762473681*c_0101_5^12 + 2014824742775168150829038971278026339\ 73669/227323341510612638540985311841762473681*c_0101_5^11 + 487632680803810412139802505017872675905455/227323341510612638540985\ 311841762473681*c_0101_5^10 - 5417758327413474733618374290382990985\ 65614/227323341510612638540985311841762473681*c_0101_5^9 - 257696642759796571506301580579732383247857/227323341510612638540985\ 311841762473681*c_0101_5^8 - 83969393111312587130666401492470962462\ 518/227323341510612638540985311841762473681*c_0101_5^7 + 94703016816495220948748912705262210112434/2273233415106126385409853\ 11841762473681*c_0101_5^6 + 169331326397853079821537826341879699196\ 506/227323341510612638540985311841762473681*c_0101_5^5 - 15847321411573100834167636487610457057736/2273233415106126385409853\ 11841762473681*c_0101_5^4 - 332669491347551647268013975783162039537\ 56/227323341510612638540985311841762473681*c_0101_5^3 - 1562589131075912131419454288065325990086/22732334151061263854098531\ 1841762473681*c_0101_5^2 + 1151373927771850491471778526927966805375\ /227323341510612638540985311841762473681*c_0101_5 + 75318968667838767959193593502201922399/2273233415106126385409853118\ 41762473681, c_0101_5^19 + 24*c_0101_5^18 - 313*c_0101_5^17 + 574*c_0101_5^16 + 610*c_0101_5^15 - 3333*c_0101_5^14 + 2738*c_0101_5^13 + 2041*c_0101_5^12 + 4720*c_0101_5^11 - 7001*c_0101_5^10 - 2237*c_0101_5^9 + 6*c_0101_5^8 + 1457*c_0101_5^7 + 1791*c_0101_5^6 - 543*c_0101_5^5 - 473*c_0101_5^4 + 40*c_0101_5^3 + 36*c_0101_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB