Magma V2.19-8 Tue Aug 20 2013 16:16:59 on localhost [Seed = 2277907282] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1239 geometric_solution 5.13611471 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 0 0 0 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.186685558381 1.061281219580 3 2 4 0 0132 3012 0132 0132 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 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 0 0 0 0 0 0 0 0 0 0 0 1.057237567716 1.286785460261 1 3 0 4 1230 2310 0132 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 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 1.057237567716 1.286785460261 1 3 3 2 0132 1230 3012 3201 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 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 1.006105611216 0.578405614680 2 5 5 1 3201 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 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.162564789607 0.201309444381 4 4 6 6 2310 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 -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 1.155191596224 4.862056979301 5 6 5 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.369514185266 0.384863344967 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : 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' : 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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], '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' : d['c_0011_6'], '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' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_1'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 10419129924236407847182448900577120600528/3129443316017843102126422\ 123164785459*c_0101_5^17 - 5589395774541891557393152052860951411944\ 0/3129443316017843102126422123164785459*c_0101_5^16 + 28550424708836034904992178554374777885707/3129443316017843102126422\ 123164785459*c_0101_5^15 - 1603762147665729299111594169592002897399\ 34/3129443316017843102126422123164785459*c_0101_5^14 - 174814419161915919810995398270471939202095/625888663203568620425284\ 4246329570918*c_0101_5^13 - 114906626310507613519467929895094461942\ 062/3129443316017843102126422123164785459*c_0101_5^12 - 327182670742703849330341155648635410430841/625888663203568620425284\ 4246329570918*c_0101_5^11 + 179043335329243095935203443204772053052\ 430/3129443316017843102126422123164785459*c_0101_5^10 + 74562235180107270404170695581924093745617/6258886632035686204252844\ 246329570918*c_0101_5^9 + 12363163856326720158490339016529318197721\ 9/3129443316017843102126422123164785459*c_0101_5^8 + 22754652166718824414684882352795718872057/6258886632035686204252844\ 246329570918*c_0101_5^7 - 83566772864912521684425975669414658172493\ /3129443316017843102126422123164785459*c_0101_5^6 + 31761570275444617800656296041516709021241/6258886632035686204252844\ 246329570918*c_0101_5^5 - 36682562272263878054832673427919723867461\ /6258886632035686204252844246329570918*c_0101_5^4 + 18577499073177761755973033128849031700800/3129443316017843102126422\ 123164785459*c_0101_5^3 - 6590207016889978999766959048595919032857/\ 6258886632035686204252844246329570918*c_0101_5^2 - 2502015512608816237286615032863141285651/62588866320356862042528442\ 46329570918*c_0101_5 - 121206126547260324399803401866974835155/6258\ 886632035686204252844246329570918, c_0011_0 - 1, c_0011_1 + 34312636510609650789174479173703376/224832481932455140608263\ 677215661*c_0101_5^17 - 176977565698346854933411648660905072/224832\ 481932455140608263677215661*c_0101_5^16 + 53144913379575459641915097848646971/2248324819324551406082636772156\ 61*c_0101_5^15 - 495335579771038175727250760169972472/2248324819324\ 55140608263677215661*c_0101_5^14 - 792833824891422852825485367143022443/449664963864910281216527354431\ 322*c_0101_5^13 - 394453662812766454550640313825588252/224832481932\ 455140608263677215661*c_0101_5^12 - 566303795035625501257554802034340725/224832481932455140608263677215\ 661*c_0101_5^11 + 539932517561935552280459972803464641/224832481932\ 455140608263677215661*c_0101_5^10 + 326708076038509874255090440808353153/224832481932455140608263677215\ 661*c_0101_5^9 + 434115517134234609250771230715354445/2248324819324\ 55140608263677215661*c_0101_5^8 + 225505887708141450114963137022519\ 225/449664963864910281216527354431322*c_0101_5^7 - 610915231153157037205422407435774341/449664963864910281216527354431\ 322*c_0101_5^6 - 29539671961359089016202450182024609/22483248193245\ 5140608263677215661*c_0101_5^5 - 4152266450874395474478347591069704\ 8/224832481932455140608263677215661*c_0101_5^4 + 97344361029211754857703366279368589/4496649638649102812165273544313\ 22*c_0101_5^3 + 6505782871323226399197918421212648/2248324819324551\ 40608263677215661*c_0101_5^2 - 18016183024503372638458934147370981/\ 449664963864910281216527354431322*c_0101_5 - 1552455368729373066379453810406249/22483248193245514060826367721566\ 1, c_0011_4 - 23075831526973800667285983030903816/224832481932455140608263\ 677215661*c_0101_5^17 + 117984248429584744737271176276746880/224832\ 481932455140608263677215661*c_0101_5^16 - 59481027191951408984062345217873151/4496649638649102812165273544313\ 22*c_0101_5^15 + 655768452424819408183014622097437667/4496649638649\ 10281216527354431322*c_0101_5^14 + 283839795617548150842451430681255240/224832481932455140608263677215\ 661*c_0101_5^13 + 535040990027759167354359305037111505/449664963864\ 910281216527354431322*c_0101_5^12 + 388550762731582865728295158600502510/224832481932455140608263677215\ 661*c_0101_5^11 - 350547375149621388124213926235006935/224832481932\ 455140608263677215661*c_0101_5^10 - 487944982713176292644895122359289397/449664963864910281216527354431\ 322*c_0101_5^9 - 288260950383790775307543174090861674/2248324819324\ 55140608263677215661*c_0101_5^8 - 172025108611088662556829368694343\ 711/449664963864910281216527354431322*c_0101_5^7 + 414053327264632951976427432560661601/449664963864910281216527354431\ 322*c_0101_5^6 + 28783412766337029137167661748918693/22483248193245\ 5140608263677215661*c_0101_5^5 + 4612208240183318262289261351562023\ 5/449664963864910281216527354431322*c_0101_5^4 - 61057385994758851146695915391485935/4496649638649102812165273544313\ 22*c_0101_5^3 - 6322362055290445355775894286264563/2248324819324551\ 40608263677215661*c_0101_5^2 + 6461465698665061815434753630962802/2\ 24832481932455140608263677215661*c_0101_5 + 2542562548654319963763970400581859/44966496386491028121652735443132\ 2, c_0011_6 - 29942886462167775383108766769720104/224832481932455140608263\ 677215661*c_0101_5^17 + 155226643653083244445380945250754064/224832\ 481932455140608263677215661*c_0101_5^16 - 98459173938808658775329145285910859/4496649638649102812165273544313\ 22*c_0101_5^15 + 855481789218651501482516451452423693/4496649638649\ 10281216527354431322*c_0101_5^14 + 668761788983106689405922622721356925/449664963864910281216527354431\ 322*c_0101_5^13 + 632332709004704469174358428219683243/449664963864\ 910281216527354431322*c_0101_5^12 + 462988240211835418454841490961351421/224832481932455140608263677215\ 661*c_0101_5^11 - 511719114445282620790357345776993378/224832481932\ 455140608263677215661*c_0101_5^10 - 620399746155337135571736854725279477/449664963864910281216527354431\ 322*c_0101_5^9 - 374765981962743875138356135209168665/2248324819324\ 55140608263677215661*c_0101_5^8 - 868173014568684889294042609362463\ 38/224832481932455140608263677215661*c_0101_5^7 + 284417600301625150912741435127076385/224832481932455140608263677215\ 661*c_0101_5^6 + 31553096324221234684493460928026049/22483248193245\ 5140608263677215661*c_0101_5^5 + 6852947992304594366944547452820162\ 3/449664963864910281216527354431322*c_0101_5^4 - 42720897813579206269199799718088070/2248324819324551406082636772156\ 61*c_0101_5^3 - 6254369353655840860069849933982440/2248324819324551\ 40608263677215661*c_0101_5^2 + 17057843642345611239461028207090277/\ 449664963864910281216527354431322*c_0101_5 + 3008575875872013973704001053019135/44966496386491028121652735443132\ 2, c_0101_0 + 9742463527535821098376720429169880/2248324819324551406082636\ 77215661*c_0101_5^17 - 48667449457345915151141461177212216/22483248\ 1932455140608263677215661*c_0101_5^16 + 13853165966508472678226816027348005/4496649638649102812165273544313\ 22*c_0101_5^15 - 138212247927767588216275643232879117/2248324819324\ 55140608263677215661*c_0101_5^14 - 270514891015610486993524238918199999/449664963864910281216527354431\ 322*c_0101_5^13 - 260267566125175746469088703918801433/449664963864\ 910281216527354431322*c_0101_5^12 - 178571719938081540736899980977446665/224832481932455140608263677215\ 661*c_0101_5^11 + 128147094013366472736912427557691229/224832481932\ 455140608263677215661*c_0101_5^10 + 236445730513572823346135013640534901/449664963864910281216527354431\ 322*c_0101_5^9 + 278959808925642244094266806668717883/4496649638649\ 10281216527354431322*c_0101_5^8 + 103624316081896369305477607035187\ 473/449664963864910281216527354431322*c_0101_5^7 - 82131398228275181998603584494404879/2248324819324551406082636772156\ 61*c_0101_5^6 - 23033580762712975536511943670570002/224832481932455\ 140608263677215661*c_0101_5^5 - 14027106416384836924329981390941676\ /224832481932455140608263677215661*c_0101_5^4 + 12033748892443258555077324491379147/2248324819324551406082636772156\ 61*c_0101_5^3 + 7369172308848170815042878304939665/4496649638649102\ 81216527354431322*c_0101_5^2 - 4416335938935324434087805658582927/4\ 49664963864910281216527354431322*c_0101_5 - 1379154917039752084425180266128793/44966496386491028121652735443132\ 2, c_0101_1 - 12192941792951037719455621621278456/224832481932455140608263\ 677215661*c_0101_5^17 + 63177221408872808671174797437580408/2248324\ 81932455140608263677215661*c_0101_5^16 - 42446296525823739162788093569413921/4496649638649102812165273544313\ 22*c_0101_5^15 + 180311780425455644507752154774095647/2248324819324\ 55140608263677215661*c_0101_5^14 + 275598659675163040272176876454699051/449664963864910281216527354431\ 322*c_0101_5^13 + 300114377831088075183625489133304001/449664963864\ 910281216527354431322*c_0101_5^12 + 214958405775865417042464294207878999/224832481932455140608263677215\ 661*c_0101_5^11 - 175080262362367396600379807335076580/224832481932\ 455140608263677215661*c_0101_5^10 - 172979693174362686107926458906225083/449664963864910281216527354431\ 322*c_0101_5^9 - 300163400898658631973894682631764901/4496649638649\ 10281216527354431322*c_0101_5^8 - 873487559171801141166940669049799\ 53/449664963864910281216527354431322*c_0101_5^7 + 91510035032009405397162025477360720/2248324819324551406082636772156\ 61*c_0101_5^6 - 2154489918699623748052185033333966/2248324819324551\ 40608263677215661*c_0101_5^5 + 16420418478257191969553633806264196/\ 224832481932455140608263677215661*c_0101_5^4 - 15655600057196054767709908845309040/2248324819324551406082636772156\ 61*c_0101_5^3 + 2170845800195754426799423442917913/4496649638649102\ 81216527354431322*c_0101_5^2 + 5299585473529002112667089274538341/4\ 49664963864910281216527354431322*c_0101_5 + 333368369717636883580305943434771/449664963864910281216527354431322\ , c_0101_5^18 - 5*c_0101_5^17 + 103/144*c_0101_5^16 - 1015/72*c_0101_5^15 - 83/6*c_0101_5^14 - 1873/144*c_0101_5^13 - 2587/144*c_0101_5^12 + 163/12*c_0101_5^11 + 1819/144*c_0101_5^10 + 2051/144*c_0101_5^9 + 383/72*c_0101_5^8 - 1235/144*c_0101_5^7 - 353/144*c_0101_5^6 - 193/144*c_0101_5^5 + 19/16*c_0101_5^4 + 61/144*c_0101_5^3 - 35/144*c_0101_5^2 - 13/144*c_0101_5 - 1/144 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB