Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 1848635975] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0042 geometric_solution 3.61022514 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.221073261502 0.068253934004 0 2 2 0 0132 0132 3201 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 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 -1.839966701480 0.630594747181 1 1 3 3 2310 0132 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 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.096144498581 0.070045914242 4 2 4 2 0132 2310 2310 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 1 0 -1 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.885902561330 3.606907072908 3 3 5 6 0132 3201 0132 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 1 0 -1 -1 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 0.011349357611 0.507319801467 6 6 6 4 1230 3012 2031 0132 0 0 0 0 0 0 1 -1 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 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.003814481241 1.018863273130 5 5 4 5 1230 3012 0132 1302 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 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.003814481241 1.018863273130 ==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_5'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 4111053067175941939470003/68521719215190201308945*c_0101_5^15 - 553583708879469615193953/13704343843038040261789*c_0101_5^14 + 1983074322172595381625018/2362817903972075907205*c_0101_5^13 - 122376096755648912170056531/68521719215190201308945*c_0101_5^12 - 78147100779746174618556631/68521719215190201308945*c_0101_5^11 + 348021225182924915043738854/68521719215190201308945*c_0101_5^10 - 785439735761933186409719823/68521719215190201308945*c_0101_5^9 + 106285501579010388810935934/13704343843038040261789*c_0101_5^8 + 1521133212111299181640050538/68521719215190201308945*c_0101_5^7 - 1953540196655464428681731261/68521719215190201308945*c_0101_5^6 + 211844912287074835551902786/68521719215190201308945*c_0101_5^5 + 481762213303908995407677723/68521719215190201308945*c_0101_5^4 - 59694603688296215904602325/13704343843038040261789*c_0101_5^3 + 80367728980707947122641454/68521719215190201308945*c_0101_5^2 + 42378894808537950132855341/68521719215190201308945*c_0101_5 - 15832425550093579186078249/68521719215190201308945, c_0011_0 - 1, c_0011_3 + 6257744716859893311147/13704343843038040261789*c_0101_5^15 + 2257846565871780351141/13704343843038040261789*c_0101_5^14 + 3039450882375080088552/472563580794415181441*c_0101_5^13 - 94301301624205371804321/13704343843038040261789*c_0101_5^12 - 241146720783222570240406/13704343843038040261789*c_0101_5^11 + 327449039430066453120478/13704343843038040261789*c_0101_5^10 - 823699094019845748271777/13704343843038040261789*c_0101_5^9 - 163747496440839794390684/13704343843038040261789*c_0101_5^8 + 2468875787566553132013851/13704343843038040261789*c_0101_5^7 - 627958896858057909848493/13704343843038040261789*c_0101_5^6 - 892919659347349496479396/13704343843038040261789*c_0101_5^5 + 443263309413686292660309/13704343843038040261789*c_0101_5^4 - 204001565137163118790824/13704343843038040261789*c_0101_5^3 - 106187771162812935893949/13704343843038040261789*c_0101_5^2 + 55639577347124339030709/13704343843038040261789*c_0101_5 + 3765338860027655504721/13704343843038040261789, c_0011_5 + 4763688231252497935047/13704343843038040261789*c_0101_5^15 - 2550721000299387376894/13704343843038040261789*c_0101_5^14 + 2294356632190157791580/472563580794415181441*c_0101_5^13 - 132629702020069225462671/13704343843038040261789*c_0101_5^12 - 105087847117629412264664/13704343843038040261789*c_0101_5^11 + 384403713211856136309552/13704343843038040261789*c_0101_5^10 - 860683264389991736203357/13704343843038040261789*c_0101_5^9 + 518170812256195782259413/13704343843038040261789*c_0101_5^8 + 1792068527647929463904207/13704343843038040261789*c_0101_5^7 - 2006792944827754288059813/13704343843038040261789*c_0101_5^6 + 44421353700041475758163/13704343843038040261789*c_0101_5^5 + 446846985835076842592049/13704343843038040261789*c_0101_5^4 - 295139010682186514558602/13704343843038040261789*c_0101_5^3 + 97791637949556302916088/13704343843038040261789*c_0101_5^2 + 39448146451936913005279/13704343843038040261789*c_0101_5 - 8742241150571263452413/13704343843038040261789, c_0101_0 + 26756678767337594090049/13704343843038040261789*c_0101_5^15 - 10683735453261239684876/13704343843038040261789*c_0101_5^14 + 12895238624771257819145/472563580794415181441*c_0101_5^13 - 693804410277938593678978/13704343843038040261789*c_0101_5^12 - 662631877871236022433921/13704343843038040261789*c_0101_5^11 + 2033464714885562261248443/13704343843038040261789*c_0101_5^10 - 4647371939954999163057545/13704343843038040261789*c_0101_5^9 + 2338807578145865896656880/13704343843038040261789*c_0101_5^8 + 10165861446258962880360105/13704343843038040261789*c_0101_5^7 - 9894558100226812955124679/13704343843038040261789*c_0101_5^6 - 292365026516964597414250/13704343843038040261789*c_0101_5^5 + 2604579842714402562016166/13704343843038040261789*c_0101_5^4 - 1496628577291981656599744/13704343843038040261789*c_0101_5^3 + 288585794767445241516792/13704343843038040261789*c_0101_5^2 + 263392921523009090140479/13704343843038040261789*c_0101_5 - 47388992977645486775581/13704343843038040261789, c_0101_1 + 3921351753800935408536/13704343843038040261789*c_0101_5^15 + 748218139408479967932/13704343843038040261789*c_0101_5^14 + 1922288670413236230831/472563580794415181441*c_0101_5^13 - 68962640991484326424239/13704343843038040261789*c_0101_5^12 - 129921523614189732032683/13704343843038040261789*c_0101_5^11 + 209380103434687781597891/13704343843038040261789*c_0101_5^10 - 556261041979820838727126/13704343843038040261789*c_0101_5^9 + 43804317556707391817562/13704343843038040261789*c_0101_5^8 + 1406960041524006915031705/13704343843038040261789*c_0101_5^7 - 540160726035558594543734/13704343843038040261789*c_0101_5^6 - 297050985584256570346759/13704343843038040261789*c_0101_5^5 - 5638507238898852345672/13704343843038040261789*c_0101_5^4 + 839697269924008099712/13704343843038040261789*c_0101_5^3 - 1040909399520718970385/13704343843038040261789*c_0101_5^2 + 4620150442534299741748/13704343843038040261789*c_0101_5 + 10801926633074755249835/13704343843038040261789, c_0101_3 - 1852439564241615829242/13704343843038040261789*c_0101_5^15 - 1647669345628649372326/13704343843038040261789*c_0101_5^14 - 882110576988748571105/472563580794415181441*c_0101_5^13 + 14222462826876869564002/13704343843038040261789*c_0101_5^12 + 98539234931626625214325/13704343843038040261789*c_0101_5^11 - 75108177208464134621437/13704343843038040261789*c_0101_5^10 + 166965640471898190665208/13704343843038040261789*c_0101_5^9 + 226821427753710779585947/13704343843038040261789*c_0101_5^8 - 833976816414829681463592/13704343843038040261789*c_0101_5^7 - 178096910944398709390528/13704343843038040261789*c_0101_5^6 + 662115700236401511894115/13704343843038040261789*c_0101_5^5 - 157707871500587618057682/13704343843038040261789*c_0101_5^4 - 49021837021961422427879/13704343843038040261789*c_0101_5^3 + 72176985499203751005886/13704343843038040261789*c_0101_5^2 - 29375438969632252232658/13704343843038040261789*c_0101_5 - 2618821435383318549907/13704343843038040261789, c_0101_5^16 - 2/3*c_0101_5^15 + 14*c_0101_5^14 - 89/3*c_0101_5^13 - 19*c_0101_5^12 + 253/3*c_0101_5^11 - 574/3*c_0101_5^10 + 129*c_0101_5^9 + 1108/3*c_0101_5^8 - 1423/3*c_0101_5^7 + 170/3*c_0101_5^6 + 349/3*c_0101_5^5 - 79*c_0101_5^4 + 23*c_0101_5^3 + 10*c_0101_5^2 - 13/3*c_0101_5 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB