Magma V2.19-8 Tue Aug 20 2013 16:17:27 on localhost [Seed = 2378961223] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1685 geometric_solution 5.40781875 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 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 -1 0 1 0 0 -1 1 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.499811768089 0.375822025031 3 4 2 0 0132 0132 2031 0132 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 -1 1 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.422642723461 0.656563713484 4 3 0 1 2310 0132 0132 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 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.422642723461 0.656563713484 1 2 5 5 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.844640351802 0.533535446445 4 1 2 4 3201 0132 3201 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842126387368 0.965683959079 3 6 6 3 3201 0132 1023 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.109032115844 0.561614971126 6 5 5 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.119779372966 0.766180399071 ==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' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), '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_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_5, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 1365557402677616688021421/452930600113840820*c_0101_6^26 + 95246848018151280873626649/1811722400455363280*c_0101_6^25 + 1149132754597050395539268829/3623444800910726560*c_0101_6^24 + 60704471945200566497246269/113232650028460205*c_0101_6^23 - 1196294274959383952922982213/452930600113840820*c_0101_6^22 - 5858897768874047889566095577/362344480091072656*c_0101_6^21 - 6258338866429935855285293797/181172240045536328*c_0101_6^20 - 4176866859358992635914535177/226465300056920410*c_0101_6^19 + 225536964896981657424050484963/3623444800910726560*c_0101_6^18 + 14479797455501644170096923342/113232650028460205*c_0101_6^17 + 80199702888997083057644895499/1811722400455363280*c_0101_6^16 - 448360128271117981337044801901/3623444800910726560*c_0101_6^15 - 93223911422011250386697312717/724688960182145312*c_0101_6^14 + 145582789665119424087453956457/3623444800910726560*c_0101_6^13 + 401856598506764914386092586907/3623444800910726560*c_0101_6^12 + 58270611508192487047983211129/3623444800910726560*c_0101_6^11 - 636161411927893711055731569/13829941988208880*c_0101_6^10 - 47749661449326736739561536779/3623444800910726560*c_0101_6^9 + 2925476796202473925746427943/226465300056920410*c_0101_6^8 + 5349454417227191405729411197/1811722400455363280*c_0101_6^7 - 7926583873836600545590376379/1811722400455363280*c_0101_6^6 - 1041998424205920996472704327/905861200227681640*c_0101_6^5 + 859503766508357635604066159/905861200227681640*c_0101_6^4 + 189724564515290840380070317/452930600113840820*c_0101_6^3 - 5014648363018228822736795/181172240045536328*c_0101_6^2 - 70115151130724247288433367/1811722400455363280*c_0101_6 - 19412873997223539552522899/3623444800910726560, c_0011_0 - 1, c_0011_1 + 4871798397891285744/2930072455129*c_0101_6^26 + 85300244551603238666/2930072455129*c_0101_6^25 + 518369973995267889490/2930072455129*c_0101_6^24 + 900035494250039614486/2930072455129*c_0101_6^23 - 4222752420425247812872/2930072455129*c_0101_6^22 - 26456236705916141518630/2930072455129*c_0101_6^21 - 57525935580016439127706/2930072455129*c_0101_6^20 - 32947672564574208085186/2930072455129*c_0101_6^19 + 100016323667066162058849/2930072455129*c_0101_6^18 + 214119891773688318234337/2930072455129*c_0101_6^17 + 82589506066956232418647/2930072455129*c_0101_6^16 - 200352989663556771293044/2930072455129*c_0101_6^15 - 221987955790463637141648/2930072455129*c_0101_6^14 + 57092792515724466196699/2930072455129*c_0101_6^13 + 187775471296419660350888/2930072455129*c_0101_6^12 + 34540724203330273604235/2930072455129*c_0101_6^11 - 76745241311871545440677/2930072455129*c_0101_6^10 - 25410858433965155169850/2930072455129*c_0101_6^9 + 21407224801449358618299/2930072455129*c_0101_6^8 + 6000094898863718042280/2930072455129*c_0101_6^7 - 7342523301392706242305/2930072455129*c_0101_6^6 - 2228839189077300173769/2930072455129*c_0101_6^5 + 1585134861927254803377/2930072455129*c_0101_6^4 + 760734753780476817414/2930072455129*c_0101_6^3 - 38181255648246263081/2930072455129*c_0101_6^2 - 69014538125916399059/2930072455129*c_0101_6 - 9897210596166545349/2930072455129, c_0011_5 - 1837124132635786231/2930072455129*c_0101_6^26 - 32300790184066074647/2930072455129*c_0101_6^25 - 197758409151670086519/2930072455129*c_0101_6^24 - 352490053013225458818/2930072455129*c_0101_6^23 + 1574556351592501085190/2930072455129*c_0101_6^22 + 10102749133716441857600/2930072455129*c_0101_6^21 + 22355643159134996579891/2930072455129*c_0101_6^20 + 13656750620271589091693/2930072455129*c_0101_6^19 - 37468801240170461823802/2930072455129*c_0101_6^18 - 83639332383006113275026/2930072455129*c_0101_6^17 - 35500298745208293148306/2930072455129*c_0101_6^16 + 75615451204347822154339/2930072455129*c_0101_6^15 + 89210847653602203092484/2930072455129*c_0101_6^14 - 18358005452519135759364/2930072455129*c_0101_6^13 - 74093053616148272920775/2930072455129*c_0101_6^12 - 16444277120649707550995/2930072455129*c_0101_6^11 + 29826198381988136302644/2930072455129*c_0101_6^10 + 11225096491353987410581/2930072455129*c_0101_6^9 - 8254693249749354924297/2930072455129*c_0101_6^8 - 2755764508920258274461/2930072455129*c_0101_6^7 + 2868458118337027741456/2930072455129*c_0101_6^6 + 989648526449047220435/2930072455129*c_0101_6^5 - 616440118575788102006/2930072455129*c_0101_6^4 - 320587477708215511705/2930072455129*c_0101_6^3 + 11527071355230583285/2930072455129*c_0101_6^2 + 28623630973428121115/2930072455129*c_0101_6 + 4240320205720190099/2930072455129, c_0101_1 + 2403196073084403868/2930072455129*c_0101_6^26 + 42187849386261560904/2930072455129*c_0101_6^25 + 257577624322085700219/2930072455129*c_0101_6^24 + 454707426590789508126/2930072455129*c_0101_6^23 - 2068422181059591890452/2930072455129*c_0101_6^22 - 13154009639388490276954/2930072455129*c_0101_6^21 - 28920242684948313245534/2930072455129*c_0101_6^20 - 17262989285261882732252/2930072455129*c_0101_6^19 + 49134177879105557540988/2930072455129*c_0101_6^18 + 107996367091885295950142/2930072455129*c_0101_6^17 + 44311991841681761322821/2930072455129*c_0101_6^16 - 98882543884368302439187/2930072455129*c_0101_6^15 - 114012917550003955473318/2930072455129*c_0101_6^14 + 25561982083785716885701/2930072455129*c_0101_6^13 + 95318800281034049283779/2930072455129*c_0101_6^12 + 19842444538304287995299/2930072455129*c_0101_6^11 - 38583202859762500911596/2930072455129*c_0101_6^10 - 13882053391762939019320/2930072455129*c_0101_6^9 + 10708987617043979416959/2930072455129*c_0101_6^8 + 3364227738721831236852/2930072455129*c_0101_6^7 - 3703594575731401622105/2930072455129*c_0101_6^6 - 1221796961666712776711/2930072455129*c_0101_6^5 + 797240428445278128329/2930072455129*c_0101_6^4 + 402913588723576457573/2930072455129*c_0101_6^3 - 16478312158291811589/2930072455129*c_0101_6^2 - 36175061374304717382/2930072455129*c_0101_6 - 5298930672333399677/2930072455129, c_0101_2 + 1201317630645455466444/113232650028460205*c_0101_6^26 + 18212569743041235944809/113232650028460205*c_0101_6^25 + 79968324603361100816982/113232650028460205*c_0101_6^24 - 52078474152726479470636/113232650028460205*c_0101_6^23 - 1412620319795248896509122/113232650028460205*c_0101_6^22 - 775065717665768187939327/22646530005692041*c_0101_6^21 - 62612674011124185199129/22646530005692041*c_0101_6^20 + 17602278317034487471740044/113232650028460205*c_0101_6^19 + 29676867143283748167219764/113232650028460205*c_0101_6^18 - 7851636770215812560728348/113232650028460205*c_0101_6^17 - 70455537711351423885328776/113232650028460205*c_0101_6^16 - 47584292958987310770071463/113232650028460205*c_0101_6^15 + 12049861091042804904813054/22646530005692041*c_0101_6^14 + 79743299277021058752410706/113232650028460205*c_0101_6^13 - 22619292484443691303142519/113232650028460205*c_0101_6^12 - 62502404317926683763719713/113232650028460205*c_0101_6^11 - 934095790919805999189/864371374263055*c_0101_6^10 + 27864898248357520867854728/113232650028460205*c_0101_6^9 + 1343123501028647649525384/113232650028460205*c_0101_6^8 - 8750591581064268879025168/113232650028460205*c_0101_6^7 + 304011072606373719546496/113232650028460205*c_0101_6^6 + 2541851477550434982893281/113232650028460205*c_0101_6^5 - 6919214016751715992812/113232650028460205*c_0101_6^4 - 511779757263272235765452/113232650028460205*c_0101_6^3 - 13594208987728498254575/22646530005692041*c_0101_6^2 + 36912714080506862853358/113232650028460205*c_0101_6 + 8067264912520538853393/113232650028460205, c_0101_4 - 585020057178679888909413/113232650028460205*c_0101_6^26 - 10233406271953989507709948/113232650028460205*c_0101_6^25 - 62082855342733568259472614/113232650028460205*c_0101_6^24 - 107136667530426709247886803/113232650028460205*c_0101_6^23 + 508357704034556618916368434/113232650028460205*c_0101_6^22 + 633567148464422868708303865/22646530005692041*c_0101_6^21 + 1372036000779476485782722268/22646530005692041*c_0101_6^20 + 3867990830893783033604406452/113232650028460205*c_0101_6^19 - 12027451703661742775521559498/113232650028460205*c_0101_6^18 - 25503491440700459975053745314/113232650028460205*c_0101_6^17 - 9605286685437289884988066163/113232650028460205*c_0101_6^16 + 24052441538401174960629512031/113232650028460205*c_0101_6^15 + 5252252478155624035980674280/22646530005692041*c_0101_6^14 - 7081454582107447394075081132/113232650028460205*c_0101_6^13 - 22311127940429739597354989202/113232650028460205*c_0101_6^12 - 3903578402435197766200623079/113232650028460205*c_0101_6^11 + 69852695819817412706580208/864371374263055*c_0101_6^10 + 2934009357069289346926432914/113232650028460205*c_0101_6^9 - 2556881750608145468020164573/113232650028460205*c_0101_6^8 - 685323094078034158627892664/113232650028460205*c_0101_6^7 + 874360470166378982726590438/113232650028460205*c_0101_6^6 + 257024357934573379824773373/113232650028460205*c_0101_6^5 - 188958316037459029970465526/113232650028460205*c_0101_6^4 - 88949958045721741112722306/113232650028460205*c_0101_6^3 + 956504954678987919150451/22646530005692041*c_0101_6^2 + 8102306192412476238997779/113232650028460205*c_0101_6 + 1152608113744216089098009/113232650028460205, c_0101_6^27 + 18*c_0101_6^26 + 115*c_0101_6^25 + 237*c_0101_6^24 - 776*c_0101_6^23 - 5856*c_0101_6^22 - 14475*c_0101_6^21 - 12564*c_0101_6^20 + 17203*c_0101_6^19 + 54030*c_0101_6^18 + 38547*c_0101_6^17 - 32780*c_0101_6^16 - 65759*c_0101_6^15 - 10681*c_0101_6^14 + 44282*c_0101_6^13 + 26031*c_0101_6^12 - 12255*c_0101_6^11 - 12955*c_0101_6^10 + 1825*c_0101_6^9 + 3390*c_0101_6^8 - 900*c_0101_6^7 - 1198*c_0101_6^6 + 100*c_0101_6^5 + 316*c_0101_6^4 + 69*c_0101_6^3 - 18*c_0101_6^2 - 9*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB