Magma V2.19-8 Tue Aug 20 2013 16:18:15 on localhost [Seed = 3869735902] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2459 geometric_solution 5.79994227 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.071224417607 0.845434855024 3 3 4 0 0132 2103 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 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.888634410783 1.477353194941 3 4 0 4 3012 3012 0132 0132 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 -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.734745615903 0.799247690408 1 1 5 2 0132 2103 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0.623380026686 0.678105504533 2 5 2 1 1230 3012 0132 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 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.177593416403 0.604162389808 4 6 6 3 1230 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 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 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.305514341976 0.453206471800 5 5 6 6 2310 0132 2031 1302 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 0 -1 0 1 0 0 -1 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.701646748422 1.810355183102 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_1100_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_1100_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_1'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_2, c_0011_4, c_0011_5, c_0101_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 6059325204744178594489/30256283884865718245760*c_1100_0^17 - 7678720439913989212187/3025628388486571824576*c_1100_0^16 + 401009162847585054657947/30256283884865718245760*c_1100_0^15 - 1134358310161919235949067/30256283884865718245760*c_1100_0^14 + 1023828902486149000112933/15128141942432859122880*c_1100_0^13 - 394579189715669401642861/3782035485608214780720*c_1100_0^12 + 314697053076932775613/1727943111642816576*c_1100_0^11 - 4638637145022563276232623/15128141942432859122880*c_1100_0^10 + 4363713096722239803162107/10085427961621906081920*c_1100_0^9 - 1926498296835596084188499/3361809320540635360640*c_1100_0^8 + 111950190640150094101177/148315117082675089440*c_1100_0^7 - 5556551216978468823294823/6051256776973143649152*c_1100_0^6 + 2057666963673843528003871/2017085592324381216384*c_1100_0^5 - 16226868401557899466400293/15128141942432859122880*c_1100_0^4 + 313613743822003942636097/296630234165350178880*c_1100_0^3 - 13279409692279616584276351/15128141942432859122880*c_1100_0^2 + 14816378635185255508162153/30256283884865718245760*c_1100_0 - 3818655836218409405708171/30256283884865718245760, c_0011_0 - 1, c_0011_1 - 654648747835964/5065407004189723*c_1100_0^17 + 7189214254561074/5065407004189723*c_1100_0^16 - 30928396653399715/5065407004189723*c_1100_0^15 + 67221682874547284/5065407004189723*c_1100_0^14 - 92218747015352097/5065407004189723*c_1100_0^13 + 145033712444641191/5065407004189723*c_1100_0^12 - 2779883264085498/49178708778541*c_1100_0^11 + 423947790383583507/5065407004189723*c_1100_0^10 - 519017922243346824/5065407004189723*c_1100_0^9 + 704290976223089003/5065407004189723*c_1100_0^8 - 899371323977957239/5065407004189723*c_1100_0^7 + 977551707420734254/5065407004189723*c_1100_0^6 - 1015631433727125599/5065407004189723*c_1100_0^5 + 1018564313099757860/5065407004189723*c_1100_0^4 - 904676160250084626/5065407004189723*c_1100_0^3 + 483948142545985933/5065407004189723*c_1100_0^2 + 40943095822479617/5065407004189723*c_1100_0 - 124540992241171393/5065407004189723, c_0011_2 - 643967720760168/5065407004189723*c_1100_0^17 + 8050641982997347/5065407004189723*c_1100_0^16 - 41168294425830021/5065407004189723*c_1100_0^15 + 112927270550838794/5065407004189723*c_1100_0^14 - 196955840063050905/5065407004189723*c_1100_0^13 + 301974273877467912/5065407004189723*c_1100_0^12 - 5213504532028772/49178708778541*c_1100_0^11 + 893993094497112464/5065407004189723*c_1100_0^10 - 1238442544180922529/5065407004189723*c_1100_0^9 + 1644434252553202251/5065407004189723*c_1100_0^8 - 2162580282861950663/5065407004189723*c_1100_0^7 + 2600109072202329467/5065407004189723*c_1100_0^6 - 2872489987265367261/5065407004189723*c_1100_0^5 + 3007280987833512747/5065407004189723*c_1100_0^4 - 2941440257502325698/5065407004189723*c_1100_0^3 + 2381290155501386418/5065407004189723*c_1100_0^2 - 1238548669369451587/5065407004189723*c_1100_0 + 280568479847837401/5065407004189723, c_0011_4 + 2147431514180093/5065407004189723*c_1100_0^17 - 27203813937888400/5065407004189723*c_1100_0^16 + 141999297553306778/5065407004189723*c_1100_0^15 - 401352701697570105/5065407004189723*c_1100_0^14 + 723458037083170321/5065407004189723*c_1100_0^13 - 1113865906597515033/5065407004189723*c_1100_0^12 + 18887375815645005/49178708778541*c_1100_0^11 - 3276113371315293419/5065407004189723*c_1100_0^10 + 4617402057814820514/5065407004189723*c_1100_0^9 - 6111201257122783813/5065407004189723*c_1100_0^8 + 8052157946280775928/5065407004189723*c_1100_0^7 - 9790190401789446099/5065407004189723*c_1100_0^6 + 10865139641636167853/5065407004189723*c_1100_0^5 - 11419957572337386037/5065407004189723*c_1100_0^4 + 11254418319665171751/5065407004189723*c_1100_0^3 - 9323432206209344889/5065407004189723*c_1100_0^2 + 5165912078828074619/5065407004189723*c_1100_0 - 1303936244094235843/5065407004189723, c_0011_5 - 1945127018915062/5065407004189723*c_1100_0^17 + 24824059819198415/5065407004189723*c_1100_0^16 - 131218778746278097/5065407004189723*c_1100_0^15 + 378047370273385989/5065407004189723*c_1100_0^14 - 696385326696200067/5065407004189723*c_1100_0^13 + 1076836263410259954/5065407004189723*c_1100_0^12 - 18046314928259167/49178708778541*c_1100_0^11 + 3149916257581112877/5065407004189723*c_1100_0^10 - 4491523612358485956/5065407004189723*c_1100_0^9 + 5938444439732018892/5065407004189723*c_1100_0^8 - 7828147246954948142/5065407004189723*c_1100_0^7 + 9581827209569569911/5065407004189723*c_1100_0^6 - 10675833327448811515/5065407004189723*c_1100_0^5 + 11250652921523268658/5065407004189723*c_1100_0^4 - 11130739989535953190/5065407004189723*c_1100_0^3 + 9357609813390223658/5065407004189723*c_1100_0^2 - 5383862944860850314/5065407004189723*c_1100_0 + 1447565257855700808/5065407004189723, c_0101_6 + 182040416164206/5065407004189723*c_1100_0^17 - 2831814791155949/5065407004189723*c_1100_0^16 + 17868331640723281/5065407004189723*c_1100_0^15 - 59642336256890026/5065407004189723*c_1100_0^14 + 119724650379546180/5065407004189723*c_1100_0^13 - 181684896101845476/5065407004189723*c_1100_0^12 + 2957320177281420/49178708778541*c_1100_0^11 - 539678072736447788/5065407004189723*c_1100_0^10 + 790179079988091999/5065407004189723*c_1100_0^9 - 1039519646915957186/5065407004189723*c_1100_0^8 + 1384245084184531193/5065407004189723*c_1100_0^7 - 1728061890895285279/5065407004189723*c_1100_0^6 + 1948925289124789401/5065407004189723*c_1100_0^5 - 2065851849973125015/5065407004189723*c_1100_0^4 + 2080856542620648638/5065407004189723*c_1100_0^3 - 1837810177399961684/5065407004189723*c_1100_0^2 + 1137719862904219170/5065407004189723*c_1100_0 - 332290352246948261/5065407004189723, c_1100_0^18 - 14*c_1100_0^17 + 83*c_1100_0^16 - 275*c_1100_0^15 + 586*c_1100_0^14 - 968*c_1100_0^13 + 1598*c_1100_0^12 - 2734*c_1100_0^11 + 4185*c_1100_0^10 - 5715*c_1100_0^9 + 7548*c_1100_0^8 - 9563*c_1100_0^7 + 11145*c_1100_0^6 - 12074*c_1100_0^5 + 12342*c_1100_0^4 - 11342*c_1100_0^3 + 8209*c_1100_0^2 - 3827*c_1100_0 + 816 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB