Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 2210537306] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1820 geometric_solution 5.47953481 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 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.523262870763 0.278815457670 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.988258555458 0.514305663604 1 4 5 3 0132 0132 0132 2310 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 0 0 0 0 0 0 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.377408630751 1.072929681870 2 5 4 1 3201 1023 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 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.377408630751 1.072929681870 4 2 3 4 3012 0132 1023 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 0 0 0 0 0 0 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.939704690567 0.833922798697 3 6 6 2 1023 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.113544427638 0.553364332518 5 5 6 6 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.333613972421 0.650156948539 ==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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 1537477603260328919662775321324403660993/41030328556170660410703230\ 41457520365333*c_0101_6^26 + 19241088674664357769334258723207136326\ 0320/4103032855617066041070323041457520365333*c_0101_6^24 - 7262917877672528845517415602706768071585594/41030328556170660410703\ 23041457520365333*c_0101_6^22 + 10366994022394780219619068836770746\ 7757947250/4103032855617066041070323041457520365333*c_0101_6^20 - 501756023805965879781314503410159620197677259/410303285561706604107\ 0323041457520365333*c_0101_6^18 + 120148888398693833256028156173979\ 6518278369437/4103032855617066041070323041457520365333*c_0101_6^16 - 1588439540184695612642003013208876553800957045/41030328556170660410\ 70323041457520365333*c_0101_6^14 + 1097446590845237117837357496899028775998010015/41030328556170660410\ 70323041457520365333*c_0101_6^12 - 271233359217318159644782416105100404997696164/410303285561706604107\ 0323041457520365333*c_0101_6^10 - 100543901870042405124850343638586\ 866646336023/4103032855617066041070323041457520365333*c_0101_6^8 + 85539472193809932294058694820662994283878241/4103032855617066041070\ 323041457520365333*c_0101_6^6 - 19749440827772616431677783716377801\ 870525254/4103032855617066041070323041457520365333*c_0101_6^4 - 329864782638108668884944854350808454883235/410303285561706604107032\ 3041457520365333*c_0101_6^2 + 6336504287961241491961948257199010693\ 58119/4103032855617066041070323041457520365333, c_0011_0 - 1, c_0011_1 - 769570575057334432581913354606518019/42695451151062081592823\ 34070195130453*c_0101_6^26 + 96607906966932421655578886698164621661\ /4269545115106208159282334070195130453*c_0101_6^24 - 3672860466829613432037550933779817266504/42695451151062081592823340\ 70195130453*c_0101_6^22 + 53317124206341263675301806696662803316531\ /4269545115106208159282334070195130453*c_0101_6^20 - 271898902478033361362087968598695578923691/426954511510620815928233\ 4070195130453*c_0101_6^18 + 707919984419485226759708274048809734696\ 761/4269545115106208159282334070195130453*c_0101_6^16 - 1074847542218896939369227211684398724353038/42695451151062081592823\ 34070195130453*c_0101_6^14 + 97855727382001675992073040633849181042\ 4309/4269545115106208159282334070195130453*c_0101_6^12 - 531435256258499619388096420680832044339487/426954511510620815928233\ 4070195130453*c_0101_6^10 + 166797517479980831979672736389037533889\ 717/4269545115106208159282334070195130453*c_0101_6^8 - 24722968305592604769143807852907374513807/4269545115106208159282334\ 070195130453*c_0101_6^6 - 981921407506249243731896675224508489299/4\ 269545115106208159282334070195130453*c_0101_6^4 + 819756466116427402366853203906003606633/426954511510620815928233407\ 0195130453*c_0101_6^2 - 56896752516813196089418899299032889996/4269\ 545115106208159282334070195130453, c_0011_3 + 3805172108349481504390008136803239622/4269545115106208159282\ 334070195130453*c_0101_6^27 - 4776922620287136717730394561211469281\ 51/4269545115106208159282334070195130453*c_0101_6^25 + 18161922417497254322286071947507725311703/4269545115106208159282334\ 070195130453*c_0101_6^23 - 2636771895430792326719154833462112928290\ 06/4269545115106208159282334070195130453*c_0101_6^21 + 1345067991048761497038407017406339918232462/42695451151062081592823\ 34070195130453*c_0101_6^19 - 35029172878816049224086488825580755102\ 54200/4269545115106208159282334070195130453*c_0101_6^17 + 5319061813508215648558740879862555004153831/42695451151062081592823\ 34070195130453*c_0101_6^15 - 48416468451456804957708957302474813699\ 48724/4269545115106208159282334070195130453*c_0101_6^13 + 2627397747483875351812731752990626433855518/42695451151062081592823\ 34070195130453*c_0101_6^11 - 82389709804276792774841378361510133735\ 1568/4269545115106208159282334070195130453*c_0101_6^9 + 122610740385956384406374921845995663069077/426954511510620815928233\ 4070195130453*c_0101_6^7 + 4485915966976835488366919880933334540084\ /4269545115106208159282334070195130453*c_0101_6^5 - 3912109506344896602534636158590778808161/42695451151062081592823340\ 70195130453*c_0101_6^3 + 262457923681060126946083619025817951875/42\ 69545115106208159282334070195130453*c_0101_6, c_0101_0 + 4806316902341420996625037901017069852/4269545115106208159282\ 334070195130453*c_0101_6^27 - 6035905454465341049148544565204101573\ 29/4269545115106208159282334070195130453*c_0101_6^25 + 22967471285544119240748052733148770048015/4269545115106208159282334\ 070195130453*c_0101_6^23 - 3340730360738905899033501915072431246250\ 15/4269545115106208159282334070195130453*c_0101_6^21 + 1713485727686658244038272242665074668653591/42695451151062081592823\ 34070195130453*c_0101_6^19 - 44940459376189688638333349698921181596\ 14651/4269545115106208159282334070195130453*c_0101_6^17 + 6883689593526850688625978795785804980780702/42695451151062081592823\ 34070195130453*c_0101_6^15 - 63359847308144290604897563048273099779\ 84535/4269545115106208159282334070195130453*c_0101_6^13 + 3482794630933578350455556300611246587207622/42695451151062081592823\ 34070195130453*c_0101_6^11 - 11052255851279015650187758802974696777\ 46880/4269545115106208159282334070195130453*c_0101_6^9 + 166766423864101889746416532319664491654471/426954511510620815928233\ 4070195130453*c_0101_6^7 + 5860609088504795806732342940449625345634\ /4269545115106208159282334070195130453*c_0101_6^5 - 5403502653688370251900533815322471994559/42695451151062081592823340\ 70195130453*c_0101_6^3 + 363988024499020052564781933688509617801/42\ 69545115106208159282334070195130453*c_0101_6, c_0101_1 + 1223017867889515681862622708924914145/4269545115106208159282\ 334070195130453*c_0101_6^26 - 1535131896825696839248342247761008218\ 02/4269545115106208159282334070195130453*c_0101_6^24 + 5834707104082097397028653510478663308864/42695451151062081592823340\ 70195130453*c_0101_6^22 - 84645748081566269329218527596188663498521\ /4269545115106208159282334070195130453*c_0101_6^20 + 430837181589797505881696399419858549424455/426954511510620815928233\ 4070195130453*c_0101_6^18 - 111845528866306700543664799316541801002\ 5695/4269545115106208159282334070195130453*c_0101_6^16 + 1690836968365818565363248275895732328917389/42695451151062081592823\ 34070195130453*c_0101_6^14 - 15289363766454797455027270188744620040\ 09180/4269545115106208159282334070195130453*c_0101_6^12 + 821582846329537346954305775808202635385302/426954511510620815928233\ 4070195130453*c_0101_6^10 - 254095478617885146384099559149820993367\ 596/4269545115106208159282334070195130453*c_0101_6^8 + 36924821683852404671306880487340207577521/4269545115106208159282334\ 070195130453*c_0101_6^6 + 1534818876100600215534741090438632276429/\ 4269545115106208159282334070195130453*c_0101_6^4 - 1168767278752387812574017569392867087362/42695451151062081592823340\ 70195130453*c_0101_6^2 + 73971563394680510466515999802250579659/426\ 9545115106208159282334070195130453, c_0101_4 + 520732111456225691038218386224948167/42695451151062081592823\ 34070195130453*c_0101_6^27 - 65273859511596674518635633091440445721\ /4269545115106208159282334070195130453*c_0101_6^25 + 2473228260093679785450239752100255117906/42695451151062081592823340\ 70195130453*c_0101_6^23 - 35624227345999213239411520036749365347585\ /4269545115106208159282334070195130453*c_0101_6^21 + 177544094978159783040391879724745894750677/426954511510620815928233\ 4070195130453*c_0101_6^19 - 448250743501351221232570218216838282141\ 162/4269545115106208159282334070195130453*c_0101_6^17 + 654391995164233113782172067810073108523611/426954511510620815928233\ 4070195130453*c_0101_6^15 - 565465902987665196627237991499892113058\ 214/4269545115106208159282334070195130453*c_0101_6^13 + 288840193926629750772642766718626307904671/426954511510620815928233\ 4070195130453*c_0101_6^11 - 863776667352822073612084308919798350154\ 05/4269545115106208159282334070195130453*c_0101_6^9 + 12652401611944040824460798811581765514992/4269545115106208159282334\ 070195130453*c_0101_6^7 + 272068085763954262874033218379741040232/4\ 269545115106208159282334070195130453*c_0101_6^5 - 326814753801008039006932634965190095109/426954511510620815928233407\ 0195130453*c_0101_6^3 + 29816431268080876714003607153048157811/4269\ 545115106208159282334070195130453*c_0101_6, c_0101_6^28 - 126*c_0101_6^26 + 4831*c_0101_6^24 - 71501*c_0101_6^22 + 385512*c_0101_6^20 - 1083833*c_0101_6^18 + 1822610*c_0101_6^16 - 1916455*c_0101_6^14 + 1275469*c_0101_6^12 - 532884*c_0101_6^10 + 130863*c_0101_6^8 - 13294*c_0101_6^6 - 1633*c_0101_6^4 + 544*c_0101_6^2 - 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB