Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 425231868] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0608 geometric_solution 4.61516451 oriented_manifold CS_known -0.0000000000000003 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.358985731558 0.137604235327 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.003147336235 0.453168495492 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 0 1 -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 1 -1 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.245742317858 0.248185787667 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 0 0 1 -1 -1 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 -1 1 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 1.055261238272 0.965967085606 3 6 5 5 0132 0132 0213 2310 0 0 0 0 0 0 0 0 0 0 0 0 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 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.381469941632 0.724581526147 4 4 6 3 3201 0213 1023 0132 0 0 0 0 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 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.381469941632 0.724581526147 6 4 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 1 -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.431098446623 1.080597737294 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_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_6'], 'c_0101_5' : negation(d['c_0101_3']), '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_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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_3']), '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_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), '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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 195615707298687505424207915681628255/199822597780454423111036941510\ 5536*c_0101_6^25 - 2342877964790455507763102916029499625/4995564944\ 51136057777592353776384*c_0101_6^23 - 11973495199430572827704883043629957837/9991129889022721155551847075\ 52768*c_0101_6^21 - 449071889855142316856357683473429809/1998225977\ 804544231110369415105536*c_0101_6^19 + 1095208481510973174360826113561370468525/19982259778045442311103694\ 15105536*c_0101_6^17 - 4187469734062119004647609901449241359801/199\ 8225977804544231110369415105536*c_0101_6^15 + 12952727952000315638143212065517621228239/1998225977804544231110369\ 415105536*c_0101_6^13 - 7604311092141100701196864319858771872373/49\ 9556494451136057777592353776384*c_0101_6^11 + 40391459377002286368814056465664317439741/1998225977804544231110369\ 415105536*c_0101_6^9 - 17468910492551344379060531399640764613725/99\ 9112988902272115555184707552768*c_0101_6^7 + 17581748829596989906923805933517240484987/1998225977804544231110369\ 415105536*c_0101_6^5 - 355092841467691338451522688894843352963/2497\ 78247225568028888796176888192*c_0101_6^3 + 8556779671678093624102082633637480931/12488912361278401444439808844\ 4096*c_0101_6, c_0011_0 - 1, c_0011_3 + 12661104624439221027913567143095/124889123612784014444398088\ 444096*c_0101_6^24 - 18955250614613348561675449368545/3902785112899\ 500451387440263878*c_0101_6^22 - 774910256516227041552052650560165/\ 62444561806392007222199044222048*c_0101_6^20 - 28783760457138694180534442138801/124889123612784014444398088444096*\ c_0101_6^18 + 70886381990245815754036609125721849/12488912361278401\ 4444398088444096*c_0101_6^16 - 271047664259838829146176128231619749\ /124889123612784014444398088444096*c_0101_6^14 + 838421247441745296676970319221360283/124889123612784014444398088444\ 096*c_0101_6^12 - 30764546134411331573298513661494097/1951392556449\ 750225693720131939*c_0101_6^10 + 2614791740631302321167306557762800\ 805/124889123612784014444398088444096*c_0101_6^8 - 1130977352638638830772054731327422575/62444561806392007222199044222\ 048*c_0101_6^6 + 1138499957015710503221715934439065163/124889123612\ 784014444398088444096*c_0101_6^4 - 46035988393990975979881712014028049/3122228090319600361109952211102\ 4*c_0101_6^2 + 274969172839114559014287085390137/390278511289950045\ 1387440263878, c_0011_5 - 89301681482832882896430390845119/499556494451136057777592353\ 776384*c_0101_6^25 + 1069739034627297288202245089463309/12488912361\ 2784014444398088444096*c_0101_6^23 + 5449084906103502233966041749080301/24977824722556802888879617688819\ 2*c_0101_6^21 + 113342136337256000651182992700785/49955649445113605\ 7777592353776384*c_0101_6^19 - 499994557983877276449883340882655805\ /499556494451136057777592353776384*c_0101_6^17 + 1915626526095181791778392939039590729/49955649445113605777759235377\ 6384*c_0101_6^15 - 5927849543102258211146276127897992031/4995564944\ 51136057777592353776384*c_0101_6^13 + 3482794930317467185005446175805717385/12488912361278401444439808844\ 4096*c_0101_6^11 - 18544142279574113449852871907829290525/499556494\ 451136057777592353776384*c_0101_6^9 + 8041596828835000539795934971438065045/24977824722556802888879617688\ 8192*c_0101_6^7 - 8136157735772991375623583554573124987/49955649445\ 1136057777592353776384*c_0101_6^5 + 168375070208497100197679924012886653/624445618063920072221990442220\ 48*c_0101_6^3 - 4164506773208878245327166314537759/3122228090319600\ 3611099522111024*c_0101_6, c_0101_0 + 101122187662018395625543691057495/49955649445113605777759235\ 3776384*c_0101_6^25 - 1210741829389011063428673270273499/1248891236\ 12784014444398088444096*c_0101_6^23 - 6227162484631897298824491457839509/24977824722556802888879617688819\ 2*c_0101_6^21 - 432445860793528576207112208756937/49955649445113605\ 7777592353776384*c_0101_6^19 + 566135346674168176006513462793377453\ /499556494451136057777592353776384*c_0101_6^17 - 2155891230515986801764823253905940761/49955649445113605777759235377\ 6384*c_0101_6^15 + 6663131225807509099800402796464444415/4995564944\ 51136057777592353776384*c_0101_6^13 - 3905853270664717224380313911234535567/12488912361278401444439808844\ 4096*c_0101_6^11 + 20646445404785128502839585237731680293/499556494\ 451136057777592353776384*c_0101_6^9 - 8880584177920790335359754937360124737/24977824722556802888879617688\ 8192*c_0101_6^7 + 8839631217986359699954227590884531427/49955649445\ 1136057777592353776384*c_0101_6^5 - 42299419437086289965054663852021999/1561114045159800180554976105551\ 2*c_0101_6^3 + 3752402839919126026186526976213445/31222280903196003\ 611099522111024*c_0101_6, c_0101_1 + 19002181471775463807792210610785/499556494451136057777592353\ 776384*c_0101_6^24 - 227604582757829376497292265190507/124889123612\ 784014444398088444096*c_0101_6^22 - 1161545954507461231822530435701299/24977824722556802888879617688819\ 2*c_0101_6^20 - 33366302651649088644219677898799/499556494451136057\ 777592353776384*c_0101_6^18 + 106396572437261201267476224045115075/\ 499556494451136057777592353776384*c_0101_6^16 - 407134148111256082390646003314985143/499556494451136057777592353776\ 384*c_0101_6^14 + 1259415210615139129688378728455047777/49955649445\ 1136057777592353776384*c_0101_6^12 - 739582432544156329151625153262266351/124889123612784014444398088444\ 096*c_0101_6^10 + 3931422438174518966139630506213866435/49955649445\ 1136057777592353776384*c_0101_6^8 - 1701112584574000250367212823714344539/24977824722556802888879617688\ 8192*c_0101_6^6 + 1713394956495826181609803877689645669/49955649445\ 1136057777592353776384*c_0101_6^4 - 34638558119799600628770367623910687/6244456180639200722219904422204\ 8*c_0101_6^2 + 808585744529570814795657313395825/312222809031960036\ 11099522111024, c_0101_3 + 5303537057270633296057640801861/3122228090319600361109952211\ 1024*c_0101_6^24 - 254083063459803713060448151233115/31222280903196\ 003611099522111024*c_0101_6^22 - 324567156222810986425312040169099/\ 15611140451598001805549761055512*c_0101_6^20 - 11874444038298515376028577613585/31222280903196003611099522111024*c\ _0101_6^18 + 3711660992192001712228235511353953/3902785112899500451\ 387440263878*c_0101_6^16 - 28386154042123577254406050380923899/7805\ 570225799000902774880527756*c_0101_6^14 + 175613130849795772872630925868717205/156111404515980018055497610555\ 12*c_0101_6^12 - 824831534865287935600431949764931159/3122228090319\ 6003611099522111024*c_0101_6^10 + 109546192456362308474087649227888\ 2759/31222280903196003611099522111024*c_0101_6^8 - 947699400453936958338815412046937723/312222809031960036110995221110\ 24*c_0101_6^6 + 477050759980734410610172586452473887/31222280903196\ 003611099522111024*c_0101_6^4 - 77156805801699714977699297979307003\ /31222280903196003611099522111024*c_0101_6^2 + 926765885770602445155376455973779/7805570225799000902774880527756, c_0101_6^26 - 48*c_0101_6^24 - 118*c_0101_6^22 + 9*c_0101_6^20 + 5599*c_0101_6^18 - 21923*c_0101_6^16 + 68189*c_0101_6^14 - 161600*c_0101_6^12 + 220819*c_0101_6^10 - 197634*c_0101_6^8 + 106333*c_0101_6^6 - 22796*c_0101_6^4 + 2032*c_0101_6^2 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB