Magma V2.19-8 Tue Aug 20 2013 16:17:49 on localhost [Seed = 1797977993] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2053 geometric_solution 5.58020064 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 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 -1 0 1 -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.288968755247 0.161610124536 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 1 -1 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 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 1.872269629970 1.378499840835 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 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 0 0 0 0 -1 0 1 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.675592323519 0.440365675910 2 4 6 5 0132 0321 0132 0132 0 0 0 0 0 -1 1 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 -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.689638418967 0.952712315980 6 5 2 3 1023 2310 0132 0321 0 0 0 0 0 0 -1 1 -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 -1 1 -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.689638418967 0.952712315980 5 5 3 4 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.394593377650 0.584141366399 6 4 6 3 2310 1023 3201 0132 0 0 0 0 0 1 0 -1 0 0 1 -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 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.139526223418 1.003028708037 ==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' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], '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_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0011_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 1133693930118978033837206028589/4194267244517485684989944721*c_0101\ _0*c_0101_3^17 - 476902189080844398578412378385/4660296938352761872\ 21104969*c_0101_0*c_0101_3^16 - 8851571464183019535056864389306/419\ 4267244517485684989944721*c_0101_0*c_0101_3^15 + 369477208790016344489158842149/89239728606755014574254143*c_0101_0*\ c_0101_3^14 - 7650693599698532538877492607896/466029693835276187221\ 104969*c_0101_0*c_0101_3^13 - 60030427287197665283876905822429/4194\ 267244517485684989944721*c_0101_0*c_0101_3^12 + 176281860779702488292872751664658/1398089081505828561663314907*c_01\ 01_0*c_0101_3^11 - 262117785729607206082652561172457/41942672445174\ 85684989944721*c_0101_0*c_0101_3^10 - 997907058669619556573363123858237/4194267244517485684989944721*c_01\ 01_0*c_0101_3^9 + 70823690780324426411917267561591/5991810349310693\ 83569992103*c_0101_0*c_0101_3^8 - 256382859501401514053694689142902\ /4194267244517485684989944721*c_0101_0*c_0101_3^7 - 30623047733530037030500183378309/4194267244517485684989944721*c_010\ 1_0*c_0101_3^6 + 153125387001970974717503444601949/5991810349310693\ 83569992103*c_0101_0*c_0101_3^5 - 348656482426227986328753956198621\ /4194267244517485684989944721*c_0101_0*c_0101_3^4 - 224963179086195997668097749285626/4194267244517485684989944721*c_01\ 01_0*c_0101_3^3 + 38834079726824042151131563247981/4194267244517485\ 684989944721*c_0101_0*c_0101_3^2 - 321519926996314981083272286899/89239728606755014574254143*c_0101_0*\ c_0101_3 + 6430165100823060400649345118016/419426724451748568498994\ 4721*c_0101_0, c_0011_0 - 1, c_0011_2 - 11679624145261857451799/202357661239807289284023*c_0101_3^17 + 4596265722837999380552/22484184582200809920447*c_0101_3^16 + 98063058775166260514258/202357661239807289284023*c_0101_3^15 - 143673907216212878379404/202357661239807289284023*c_0101_3^14 + 78013626360565025520412/22484184582200809920447*c_0101_3^13 + 750371214802800527536058/202357661239807289284023*c_0101_3^12 - 1690555567193205664244168/67452553746602429761341*c_0101_3^11 + 1684031106078497821639256/202357661239807289284023*c_0101_3^10 + 9281356763252207207485297/202357661239807289284023*c_0101_3^9 - 2414097823475064541164359/202357661239807289284023*c_0101_3^8 + 4718107965528860197211347/202357661239807289284023*c_0101_3^7 + 652081015986859065945128/202357661239807289284023*c_0101_3^6 - 9510358767520730562423743/202357661239807289284023*c_0101_3^5 + 1862609506854468067333135/202357661239807289284023*c_0101_3^4 - 53886994782358448868296/202357661239807289284023*c_0101_3^3 + 92504020458478738499426/202357661239807289284023*c_0101_3^2 + 157944863122163219528204/202357661239807289284023*c_0101_3 - 97522426137408539788742/202357661239807289284023, c_0011_4 + 315804187520878513065457/1056756675363438066261009*c_0101_0*\ c_0101_3^17 - 3446388075758442020753671/3170270026090314198783027*c\ _0101_0*c_0101_3^16 - 7903885907571890006637745/3170270026090314198\ 783027*c_0101_0*c_0101_3^15 + 94642719966580611166076/2248418458220\ 0809920447*c_0101_0*c_0101_3^14 - 55665110147734234745721079/317027\ 0026090314198783027*c_0101_0*c_0101_3^13 - 58541083519483299694157995/3170270026090314198783027*c_0101_0*c_010\ 1_3^12 + 48133552342161157907218552/352252225121146022087003*c_0101\ _0*c_0101_3^11 - 52083342153917591631413288/10567566753634380662610\ 09*c_0101_0*c_0101_3^10 - 856679785996815483306950228/3170270026090\ 314198783027*c_0101_0*c_0101_3^9 + 32729372446362304200764021/352252225121146022087003*c_0101_0*c_0101\ _3^8 - 175283550606849799813626436/3170270026090314198783027*c_0101\ _0*c_0101_3^7 - 64916997451560196612287233/317027002609031419878302\ 7*c_0101_0*c_0101_3^6 + 883247064743611671729259277/317027002609031\ 4198783027*c_0101_0*c_0101_3^5 - 169162565736775628010569066/317027\ 0026090314198783027*c_0101_0*c_0101_3^4 - 23369252031569003945304741/352252225121146022087003*c_0101_0*c_0101\ _3^3 + 11125392522023146669646243/3170270026090314198783027*c_0101_\ 0*c_0101_3^2 - 70032591208876642369387/22484184582200809920447*c_01\ 01_0*c_0101_3 + 4471360985736213094115575/3170270026090314198783027\ *c_0101_0, c_0011_5 + 239781109085836247487404/9510810078270942596349081*c_0101_0*\ c_0101_3^17 - 472288657735618448860636/3170270026090314198783027*c_\ 0101_0*c_0101_3^16 - 24512390293465059827507/9510810078270942596349\ 081*c_0101_0*c_0101_3^15 + 169838506023210881999692/202357661239807\ 289284023*c_0101_0*c_0101_3^14 - 7273940564560029009944824/31702700\ 26090314198783027*c_0101_0*c_0101_3^13 + 16582936579574722076116861/9510810078270942596349081*c_0101_0*c_010\ 1_3^12 + 47949918197113875444935258/3170270026090314198783027*c_010\ 1_0*c_0101_3^11 - 290298014063251423007564600/951081007827094259634\ 9081*c_0101_0*c_0101_3^10 - 135108961629595454104341571/95108100782\ 70942596349081*c_0101_0*c_0101_3^9 + 584976933799300679467714430/9510810078270942596349081*c_0101_0*c_01\ 01_3^8 - 198035057361058416116882728/9510810078270942596349081*c_01\ 01_0*c_0101_3^7 + 36044618182932866022737755/9510810078270942596349\ 081*c_0101_0*c_0101_3^6 + 254181661118580868361654492/9510810078270\ 942596349081*c_0101_0*c_0101_3^5 - 565816985622224239071704794/9510810078270942596349081*c_0101_0*c_01\ 01_3^4 + 5698999103648627767619651/9510810078270942596349081*c_0101\ _0*c_0101_3^3 + 175899155605061697205054078/95108100782709425963490\ 81*c_0101_0*c_0101_3^2 - 40120885394957944009492/202357661239807289\ 284023*c_0101_0*c_0101_3 + 2418441992585944699204259/95108100782709\ 42596349081*c_0101_0, c_0101_0^2 - 9316146469382128961848/202357661239807289284023*c_0101_3^1\ 7 + 9343783763852516874824/67452553746602429761341*c_0101_3^16 + 96973053007282956313519/202357661239807289284023*c_0101_3^15 - 77428957083275819070952/202357661239807289284023*c_0101_3^14 + 163388514924005427139136/67452553746602429761341*c_0101_3^13 + 915580182343733225709058/202357661239807289284023*c_0101_3^12 - 1266848086567208608297039/67452553746602429761341*c_0101_3^11 - 872837669407971634531403/202357661239807289284023*c_0101_3^10 + 8669446242818603413963280/202357661239807289284023*c_0101_3^9 + 1690697753338601488670984/202357661239807289284023*c_0101_3^8 + 1722073616423732719097513/202357661239807289284023*c_0101_3^7 + 3252838814155585793177866/202357661239807289284023*c_0101_3^6 - 7664070076998520247659666/202357661239807289284023*c_0101_3^5 - 2932894381650186443853916/202357661239807289284023*c_0101_3^4 + 1789109374242544008288401/202357661239807289284023*c_0101_3^3 - 400645711867677564253700/202357661239807289284023*c_0101_3^2 + 107483075943844180479478/202357661239807289284023*c_0101_3 - 61355023382461132108741/202357661239807289284023, c_0101_1 - 9316146469382128961848/202357661239807289284023*c_0101_3^17 + 9343783763852516874824/67452553746602429761341*c_0101_3^16 + 96973053007282956313519/202357661239807289284023*c_0101_3^15 - 77428957083275819070952/202357661239807289284023*c_0101_3^14 + 163388514924005427139136/67452553746602429761341*c_0101_3^13 + 915580182343733225709058/202357661239807289284023*c_0101_3^12 - 1266848086567208608297039/67452553746602429761341*c_0101_3^11 - 872837669407971634531403/202357661239807289284023*c_0101_3^10 + 8669446242818603413963280/202357661239807289284023*c_0101_3^9 + 1690697753338601488670984/202357661239807289284023*c_0101_3^8 + 1722073616423732719097513/202357661239807289284023*c_0101_3^7 + 3252838814155585793177866/202357661239807289284023*c_0101_3^6 - 7664070076998520247659666/202357661239807289284023*c_0101_3^5 - 2932894381650186443853916/202357661239807289284023*c_0101_3^4 + 1789109374242544008288401/202357661239807289284023*c_0101_3^3 - 400645711867677564253700/202357661239807289284023*c_0101_3^2 + 107483075943844180479478/202357661239807289284023*c_0101_3 + 141002637857346157175282/202357661239807289284023, c_0101_3^18 - 4*c_0101_3^17 - 7*c_0101_3^16 + 17*c_0101_3^15 - 64*c_0101_3^14 - 40*c_0101_3^13 + 478*c_0101_3^12 - 331*c_0101_3^11 - 832*c_0101_3^10 + 627*c_0101_3^9 - 318*c_0101_3^8 + 19*c_0101_3^7 + 953*c_0101_3^6 - 510*c_0101_3^5 - 135*c_0101_3^4 + 79*c_0101_3^3 - 21*c_0101_3^2 + 8*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB