Magma V2.19-8 Tue Aug 20 2013 16:18:49 on localhost [Seed = 3886447258] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2983 geometric_solution 6.16152958 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 1 0 -1 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 1 -1 0 0 1 -1 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.420413777217 0.710386755516 0 3 5 4 0132 0132 0132 0132 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 0 0 0 0.478706118561 0.642546372863 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -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 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.478706118561 0.642546372863 3 1 3 2 2310 0132 3201 2310 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 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.167294541074 1.363417478632 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 1 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 1.369681891344 1.213524561629 2 5 5 1 3201 1230 3012 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.860137229531 0.757988088317 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462793823347 0.250750263590 ==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_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 2047004383390567446789150177744783/3682892323791435596111608771831*\ c_0110_6^25 + 17195757156075348524500810893407021/18414461618957177\ 980558043859155*c_0110_6^24 + 155413187167715602023079110984197756/\ 18414461618957177980558043859155*c_0110_6^23 + 193792961613068198184526581266540846/184144616189571779805580438591\ 55*c_0110_6^22 - 520653203697052271265081367991591433/1841446161895\ 7177980558043859155*c_0110_6^21 - 192281926542479477032954609911045\ 4253/18414461618957177980558043859155*c_0110_6^20 - 920568269874264926432807317000967063/184144616189571779805580438591\ 55*c_0110_6^19 + 4265983519490851598377457806654341354/184144616189\ 57177980558043859155*c_0110_6^18 + 1292660532816905585794479472155567067/36828923237914355961116087718\ 31*c_0110_6^17 - 2111088050817960832154412772612399064/184144616189\ 57177980558043859155*c_0110_6^16 - 11906403471224065678777746817623429208/1841446161895717798055804385\ 9155*c_0110_6^15 - 4305805200589125440346183942224296583/1841446161\ 8957177980558043859155*c_0110_6^14 + 11022029520427780568068563915309759482/1841446161895717798055804385\ 9155*c_0110_6^13 + 7333657962596897323460170747058256363/1841446161\ 8957177980558043859155*c_0110_6^12 - 5477727867720928512471949993108636824/18414461618957177980558043859\ 155*c_0110_6^11 - 4836721403416330310441171727388110289/18414461618\ 957177980558043859155*c_0110_6^10 + 198623644148924705655569141964540507/368289232379143559611160877183\ 1*c_0110_6^9 + 317517350948979335049826926182319919/368289232379143\ 5596111608771831*c_0110_6^8 + 84354345245781588084617076719109458/3\ 682892323791435596111608771831*c_0110_6^7 - 158063416005292572404738427662252462/184144616189571779805580438591\ 55*c_0110_6^6 - 253963095507660345483479738996572183/18414461618957\ 177980558043859155*c_0110_6^5 - 10749756058288448405090730176768490\ 3/18414461618957177980558043859155*c_0110_6^4 + 30014531920264926813160294969116831/1841446161895717798055804385915\ 5*c_0110_6^3 + 806278928035734810396000235313419/301876419982904557\ 058328587855*c_0110_6^2 + 627137210465416050536446628348793/1841446\ 1618957177980558043859155*c_0110_6 - 4699920432267130284024016613541884/18414461618957177980558043859155\ , c_0011_0 - 1, c_0011_4 + 23095993525084654563748394405963/368289232379143559611160877\ 1831*c_0110_6^25 - 113278015085820941714168013270231/18414461618957\ 177980558043859155*c_0110_6^24 - 1898348203275555762970144674800711\ /18414461618957177980558043859155*c_0110_6^23 - 672685741467957621481943070430228/3682892323791435596111608771831*c\ _0110_6^22 + 4415293749566221443621366166490004/1841446161895717798\ 0558043859155*c_0110_6^21 + 25514537296349373718430955767843742/184\ 14461618957177980558043859155*c_0110_6^20 + 24605285281270325506899318744606218/1841446161895717798055804385915\ 5*c_0110_6^19 - 8197619047464486732306620541036510/3682892323791435\ 596111608771831*c_0110_6^18 - 102190756616194143714947690419934083/\ 18414461618957177980558043859155*c_0110_6^17 - 4342178603533811605905734475158857/3682892323791435596111608771831*\ c_0110_6^16 + 145627086267127531706420234375680639/1841446161895717\ 7980558043859155*c_0110_6^15 + 126824345166620864798459558225262082\ /18414461618957177980558043859155*c_0110_6^14 - 93431949988588991176905714060668612/1841446161895717798055804385915\ 5*c_0110_6^13 - 148275129590644117253495906710005929/18414461618957\ 177980558043859155*c_0110_6^12 + 1595683029144146732650855658600547\ 6/18414461618957177980558043859155*c_0110_6^11 + 80430577547868987268920398793994229/1841446161895717798055804385915\ 5*c_0110_6^10 + 16046532567816250580741150207162617/184144616189571\ 77980558043859155*c_0110_6^9 - 17651085437661528034241652183959289/\ 18414461618957177980558043859155*c_0110_6^8 - 12415120747451187142869083057355624/1841446161895717798055804385915\ 5*c_0110_6^7 - 522392009406845710453421997599342/368289232379143559\ 6111608771831*c_0110_6^6 + 2850889297417904261932579760276271/18414\ 461618957177980558043859155*c_0110_6^5 + 522281110299957349845627954692898/3682892323791435596111608771831*c\ _0110_6^4 + 110254835502838662156570244410354/368289232379143559611\ 1608771831*c_0110_6^3 - 9766564886590476808796043953801/30187641998\ 2904557058328587855*c_0110_6^2 - 232673622234402419944575906822944/\ 18414461618957177980558043859155*c_0110_6 - 3037066105066824496193571074883/18414461618957177980558043859155, c_0101_0 - 7859274849031831213609127527956/3682892323791435596111608771\ 831*c_0110_6^25 + 65138578819133065195364796648137/1841446161895717\ 7980558043859155*c_0110_6^24 + 570731497235265491850768887589706/18\ 414461618957177980558043859155*c_0110_6^23 + 806219698699023845972708528477777/18414461618957177980558043859155*\ c_0110_6^22 - 1589532988338603675761780545093654/184144616189571779\ 80558043859155*c_0110_6^21 - 6911762844332382557342035346989632/184\ 14461618957177980558043859155*c_0110_6^20 - 974009113353502246078403119239554/3682892323791435596111608771831*c\ _0110_6^19 + 2324852562137353191263062247234238/3682892323791435596\ 111608771831*c_0110_6^18 + 22354541487844405721942199133109411/1841\ 4461618957177980558043859155*c_0110_6^17 + 868658686836126623707045109189957/18414461618957177980558043859155*\ c_0110_6^16 - 31439911021161493708506917284020974/18414461618957177\ 980558043859155*c_0110_6^15 - 18786385206584234999556433308626452/1\ 8414461618957177980558043859155*c_0110_6^14 + 4077685499469853720986245649867151/3682892323791435596111608771831*\ c_0110_6^13 + 19080887684814681988793304100556543/18414461618957177\ 980558043859155*c_0110_6^12 - 4838590892411840454562621802107941/18\ 414461618957177980558043859155*c_0110_6^11 - 1633490423664109230278000970855097/3682892323791435596111608771831*\ c_0110_6^10 - 1774566579845417899742851997488599/184144616189571779\ 80558043859155*c_0110_6^9 + 263073327115832936047081286590079/36828\ 92323791435596111608771831*c_0110_6^8 + 1394903456296380607255661815603818/18414461618957177980558043859155\ *c_0110_6^7 + 387871918826588975505002170263666/1841446161895717798\ 0558043859155*c_0110_6^6 - 33723492531231638338544091956839/3682892\ 323791435596111608771831*c_0110_6^5 - 56250446625975935999859429270653/3682892323791435596111608771831*c_\ 0110_6^4 - 14038559169565537828287091703184/36828923237914355961116\ 08771831*c_0110_6^3 + 620526454084440121833602245962/30187641998290\ 4557058328587855*c_0110_6^2 + 43273155376312411859535426260312/1841\ 4461618957177980558043859155*c_0110_6 - 123558689050525086858638037429/3682892323791435596111608771831, c_0101_1 - 14938548429466490889397593437778/368289232379143559611160877\ 1831*c_0110_6^25 + 156225125009964818454905463690466/18414461618957\ 177980558043859155*c_0110_6^24 + 1050968914054926712639154376419884\ /18414461618957177980558043859155*c_0110_6^23 + 1014121458871394275387599773840224/18414461618957177980558043859155\ *c_0110_6^22 - 3945777300223059061718469982324266/18414461618957177\ 980558043859155*c_0110_6^21 - 12034618012166459508243492882660428/1\ 8414461618957177980558043859155*c_0110_6^20 - 2517631553493231412464914212576991/18414461618957177980558043859155\ *c_0110_6^19 + 5794284065531494835146374975829782/36828923237914355\ 96111608771831*c_0110_6^18 + 33082435279910901374167658094947143/18\ 414461618957177980558043859155*c_0110_6^17 - 23748610683889610507928171242359111/1841446161895717798055804385915\ 5*c_0110_6^16 - 67522750099763769028522909901417176/184144616189571\ 77980558043859155*c_0110_6^15 - 3901469968674616904680279321542483/\ 18414461618957177980558043859155*c_0110_6^14 + 68638098770898268631605158504108904/1841446161895717798055804385915\ 5*c_0110_6^13 + 19280311639446195936352966067991569/184144616189571\ 77980558043859155*c_0110_6^12 - 37898261146873232839527660538557229\ /18414461618957177980558043859155*c_0110_6^11 - 13825827862469693897395946319621573/1841446161895717798055804385915\ 5*c_0110_6^10 + 8494976228492463704657816528410878/1841446161895717\ 7980558043859155*c_0110_6^9 + 5162129432961080393994495797585248/18\ 414461618957177980558043859155*c_0110_6^8 + 1487006813533199360684575013321694/18414461618957177980558043859155\ *c_0110_6^7 - 792744357103849093172664904738443/1841446161895717798\ 0558043859155*c_0110_6^6 - 1022288553924480574134542686922147/18414\ 461618957177980558043859155*c_0110_6^5 - 76869234673125644011960529348685/3682892323791435596111608771831*c_\ 0110_6^4 + 35639655898593499155398816078151/36828923237914355961116\ 08771831*c_0110_6^3 + 2653073539887072120994259108091/3018764199829\ 04557058328587855*c_0110_6^2 - 9231275887313565515740803074808/1841\ 4461618957177980558043859155*c_0110_6 - 7020650095376046544788745589184/18414461618957177980558043859155, c_0101_2 + 47468322706077513769852812820299/368289232379143559611160877\ 1831*c_0110_6^25 - 366472943121323053438283538050388/18414461618957\ 177980558043859155*c_0110_6^24 - 3634653826476191634104709643165793\ /18414461618957177980558043859155*c_0110_6^23 - 1007077639483138281112936118383689/3682892323791435596111608771831*\ c_0110_6^22 + 11129563547751476695238263226617362/18414461618957177\ 980558043859155*c_0110_6^21 + 45943606289293475485008621274769096/1\ 8414461618957177980558043859155*c_0110_6^20 + 28795901623282470211200365130502569/1841446161895717798055804385915\ 5*c_0110_6^19 - 18413018931733231271306943206166293/368289232379143\ 5596111608771831*c_0110_6^18 - 162918245588676539896505319628404544\ /18414461618957177980558043859155*c_0110_6^17 + 3580787400213813265826749359049895/3682892323791435596111608771831*\ c_0110_6^16 + 270627932251097035374049241881324372/1841446161895717\ 7980558043859155*c_0110_6^15 + 146072356472104958195089847598648296\ /18414461618957177980558043859155*c_0110_6^14 - 215849068255142616692543448918263271/184144616189571779805580438591\ 55*c_0110_6^13 - 200257400994897011989766467922893337/1841446161895\ 7177980558043859155*c_0110_6^12 + 787477899933201152631243960814947\ 23/18414461618957177980558043859155*c_0110_6^11 + 117022403406331283294598487568626857/184144616189571779805580438591\ 55*c_0110_6^10 + 3782614353947018331951608113999836/184144616189571\ 77980558043859155*c_0110_6^9 - 31159720740560697187416315380866962/\ 18414461618957177980558043859155*c_0110_6^8 - 15849191628729305290076147408636502/1841446161895717798055804385915\ 5*c_0110_6^7 - 136892560144237832269423255758333/368289232379143559\ 6111608771831*c_0110_6^6 + 5064334299053037153917262459326608/18414\ 461618957177980558043859155*c_0110_6^5 + 704046113362035246784686482036728/3682892323791435596111608771831*c\ _0110_6^4 + 31492912227157404810984069180833/3682892323791435596111\ 608771831*c_0110_6^3 - 15753140799420003839685299601953/30187641998\ 2904557058328587855*c_0110_6^2 - 211421056831145338816286064036162/\ 18414461618957177980558043859155*c_0110_6 + 25820345254941185585432321540021/18414461618957177980558043859155, c_0101_5 - 17851345970689435346735022237631/368289232379143559611160877\ 1831*c_0110_6^25 + 235051794416085640785960770429642/18414461618957\ 177980558043859155*c_0110_6^24 + 1201736473563376979503825986034669\ /18414461618957177980558043859155*c_0110_6^23 + 449833131007377058118590447946246/18414461618957177980558043859155*\ c_0110_6^22 - 6064133949196109431878642034576786/184144616189571779\ 80558043859155*c_0110_6^21 - 12701451973981897448296707425111513/18\ 414461618957177980558043859155*c_0110_6^20 + 6966615402283330239597256721371447/18414461618957177980558043859155\ *c_0110_6^19 + 8907728886248519377366804450555651/36828923237914355\ 96111608771831*c_0110_6^18 + 25114154249699346248009143111032831/18\ 414461618957177980558043859155*c_0110_6^17 - 66502462350521387480276442152481514/1841446161895717798055804385915\ 5*c_0110_6^16 - 91144564699665758468542062597398081/184144616189571\ 77980558043859155*c_0110_6^15 + 46011303278600110772195954258540932\ /18414461618957177980558043859155*c_0110_6^14 + 128579612165748699449781421171621132/184144616189571779805580438591\ 55*c_0110_6^13 - 6482459439921693895347897927138967/184144616189571\ 77980558043859155*c_0110_6^12 - 96700619029107267265087916717723524\ /18414461618957177980558043859155*c_0110_6^11 - 14071820766211256636187189645351879/1841446161895717798055804385915\ 5*c_0110_6^10 + 37805067661402427715816876165537541/184144616189571\ 77980558043859155*c_0110_6^9 + 13435500599662654622513353450435254/\ 18414461618957177980558043859155*c_0110_6^8 - 4477441669742167573238546541116367/18414461618957177980558043859155\ *c_0110_6^7 - 5472041349201781199039035450712522/184144616189571779\ 80558043859155*c_0110_6^6 - 2267459420734108456374685971349686/1841\ 4461618957177980558043859155*c_0110_6^5 + 69543121038332599900762257368713/3682892323791435596111608771831*c_\ 0110_6^4 + 248586254593062783212128752295718/3682892323791435596111\ 608771831*c_0110_6^3 + 6602853773202087671959418387387/301876419982\ 904557058328587855*c_0110_6^2 - 46427794801073186788526972812141/36\ 82892323791435596111608771831*c_0110_6 - 93531643692838613696345515245537/18414461618957177980558043859155, c_0110_6^26 - 7/5*c_0110_6^25 - 79/5*c_0110_6^24 - 23*c_0110_6^23 + 239/5*c_0110_6^22 + 1029/5*c_0110_6^21 + 686/5*c_0110_6^20 - 2101/5*c_0110_6^19 - 3871/5*c_0110_6^18 + 364/5*c_0110_6^17 + 6629/5*c_0110_6^16 + 3854/5*c_0110_6^15 - 5484/5*c_0110_6^14 - 5684/5*c_0110_6^13 + 2049/5*c_0110_6^12 + 3708/5*c_0110_6^11 + 156/5*c_0110_6^10 - 1174/5*c_0110_6^9 - 101*c_0110_6^8 + 57/5*c_0110_6^7 + 38*c_0110_6^6 + 103/5*c_0110_6^5 - c_0110_6^4 - 37/5*c_0110_6^3 - 2*c_0110_6^2 + 3/5*c_0110_6 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB