Magma V2.19-8 Tue Aug 20 2013 16:14:38 on localhost [Seed = 1814949994] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s617 geometric_solution 5.10137363 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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.334858765653 0.168073793786 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 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 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.279753782854 1.029210433912 1 4 5 3 0132 0132 0132 1230 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 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.952802706365 1.259104421126 2 5 4 1 3012 1023 3201 0132 0 0 0 0 0 1 0 -1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.952802706365 1.259104421126 3 2 4 4 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 1 0 -1 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.195801064165 0.920493718402 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 -1 1 0 -1 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 0 0 0 0 0 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.021415134095 0.652491012231 ==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' : negation(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' : negation(d['1']), 's_2_5' : 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_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_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 35506289495894422942205427504763/1245155076318906680409176655919104\ *c_0101_4^16 + 21551989590234371768293524680053/7782219226993166752\ 5573540994944*c_0101_4^15 + 789652501131531690526536945396775/12451\ 55076318906680409176655919104*c_0101_4^14 - 1393122286021273373476713662417/54137177231256812191703332866048*c_\ 0101_4^13 - 239811952474601251445883316877267/622577538159453340204\ 588327959552*c_0101_4^12 - 3211776831440083803189050819785759/41505\ 1692106302226803058885306368*c_0101_4^11 - 6973906100382111054279362097582991/41505169210630222680305888530636\ 8*c_0101_4^10 - 503339121204445853102968592674759/54137177231256812\ 191703332866048*c_0101_4^9 - 1803305916176632739524081995298405/311\ 288769079726670102294163979776*c_0101_4^8 + 2125728876988079724592449366919633/34587641008858518900254907108864\ *c_0101_4^7 + 30160565246802377955869097648310039/41505169210630222\ 6803058885306368*c_0101_4^6 + 67049173545829212224767503513936941/6\ 22577538159453340204588327959552*c_0101_4^5 + 786950459240949781090144350446555/6485182689160972293797795082912*c\ _0101_4^4 - 9917943098298622645302435848997877/51881461513287778350\ 382360663296*c_0101_4^3 - 523110727415092318681661061154367/3891109\ 6134965833762786770497472*c_0101_4^2 - 2331503574419207997585008444467/607985877108841152543543289023*c_01\ 01_4 - 1013816989738673861017841472647119/1945554806748291688139338\ 5248736, c_0011_0 - 1, c_0011_1 + 451538171482207417172522357/480383902900812762503540376512*c\ _0101_4^16 + 2210288384398451114878358623/2401919514504063812517701\ 88256*c_0101_4^15 + 10382579420396186242269215209/48038390290081276\ 2503540376512*c_0101_4^14 + 12943718947878110462426003/208862566478\ 61424456675668544*c_0101_4^13 - 105039378445915912837831338/7505998\ 482825199414117818383*c_0101_4^12 - 124128322066396778953765100663/480383902900812762503540376512*c_010\ 1_4^11 - 275301432295017806960917923453/480383902900812762503540376\ 512*c_0101_4^10 - 7302895750977323661748241671/20886256647861424456\ 675668544*c_0101_4^9 - 44197821730422031110887570863/24019195145040\ 6381251770188256*c_0101_4^8 + 250837797278657623025817039611/120095\ 975725203190625885094128*c_0101_4^7 + 1233838740901498035573802712107/480383902900812762503540376512*c_01\ 01_4^6 + 229579938533533971243878548483/600479878626015953129425470\ 64*c_0101_4^5 + 476144043127158312916435103257/12009597572520319062\ 5885094128*c_0101_4^4 - 97079085747395076036422547657/1501199696565\ 0398828235636766*c_0101_4^3 - 10388882354367975225380379959/7505998\ 482825199414117818383*c_0101_4^2 - 6059125371856131007647201653/7505998482825199414117818383*c_0101_4 - 4894764800809761960086529885/7505998482825199414117818383, c_0011_3 - 616197459876870503848992069/480383902900812762503540376512*c\ _0101_4^16 - 3009617201227757720847148561/2401919514504063812517701\ 88256*c_0101_4^15 - 14116664170069520039314373849/48038390290081276\ 2503540376512*c_0101_4^14 - 36375334845304194238026831/208862566478\ 61424456675668544*c_0101_4^13 + 1920193795906397162369225953/120095\ 975725203190625885094128*c_0101_4^12 + 169927250577945484398934282735/480383902900812762503540376512*c_010\ 1_4^11 + 374099496997419011958922686009/480383902900812762503540376\ 512*c_0101_4^10 + 10494658785731758597230439179/2088625664786142445\ 6675668544*c_0101_4^9 + 73078969382973829993872686005/2401919514504\ 06381251770188256*c_0101_4^8 - 339329833223296884338944638883/12009\ 5975725203190625885094128*c_0101_4^7 - 1697626165181530294272261772635/480383902900812762503540376512*c_01\ 01_4^6 - 643765204112206771004140091673/120095975725203190625885094\ 128*c_0101_4^5 - 669138199568957076083362685255/1200959757252031906\ 25885094128*c_0101_4^4 + 126628805922574646236785931215/15011996965\ 650398828235636766*c_0101_4^3 + 55809473516345646431477865049/30023\ 993931300797656471273532*c_0101_4^2 + 9919438107796385308824103157/7505998482825199414117818383*c_0101_4 + 12332427998225493921941924846/7505998482825199414117818383, c_0101_0 - 112549879716331001825966115/120095975725203190625885094128*c\ _0101_4^16 - 4431620426811748703799707325/4803839029008127625035403\ 76512*c_0101_4^15 - 2628572572298351544336092871/120095975725203190\ 625885094128*c_0101_4^14 - 5723539870114099848411643/20886256647861\ 424456675668544*c_0101_4^13 + 8443974183640914017265638353/48038390\ 2900812762503540376512*c_0101_4^12 + 62505935943647920617229016211/240191951450406381251770188256*c_0101\ _4^11 + 282204251898181648152678591823/4803839029008127625035403765\ 12*c_0101_4^10 + 6996732400188789018126519105/208862566478614244566\ 75668544*c_0101_4^9 + 52033898223883903936069653135/480383902900812\ 762503540376512*c_0101_4^8 - 258082656415316903696450986293/1200959\ 75725203190625885094128*c_0101_4^7 - 21221628565303776899863459295/7505998482825199414117818383*c_0101_4\ ^6 - 1713199619994099349635666366787/480383902900812762503540376512\ *c_0101_4^5 - 928580185581555919863111347771/2401919514504063812517\ 70188256*c_0101_4^4 + 405972390162304094992776670591/60047987862601\ 595312942547064*c_0101_4^3 + 37074206640409458748349919065/15011996\ 965650398828235636766*c_0101_4^2 - 495622787171366292200112389/15011996965650398828235636766*c_0101_4 + 17128899989458922263960407967/15011996965650398828235636766, c_0101_3 + 221525429487116127867686417/480383902900812762503540376512*c\ _0101_4^16 + 520198466835248523238134533/12009597572520319062588509\ 4128*c_0101_4^15 + 4234211256335803714285797437/4803839029008127625\ 03540376512*c_0101_4^14 - 81386516974055874494880263/20886256647861\ 424456675668544*c_0101_4^13 - 1730530840725276421342138543/24019195\ 1450406381251770188256*c_0101_4^12 - 60159343871290129453795290887/480383902900812762503540376512*c_0101\ _4^11 - 111472310632706103497847484691/4803839029008127625035403765\ 12*c_0101_4^10 - 1234733833557435463174690529/208862566478614244566\ 75668544*c_0101_4^9 - 125654070142125645390502925/75059984828251994\ 14117818383*c_0101_4^8 + 131698595291974142984971320857/12009597572\ 5203190625885094128*c_0101_4^7 + 431226409583226152053399635263/480\ 383902900812762503540376512*c_0101_4^6 + 327190399982888388585470331573/240191951450406381251770188256*c_010\ 1_4^5 + 34651493348970860835650567483/30023993931300797656471273532\ *c_0101_4^4 - 267719790941243335217390260787/6004798786260159531294\ 2547064*c_0101_4^3 + 2365006989349708535567651739/75059984828251994\ 14117818383*c_0101_4^2 - 4316989938119613768064505311/1501199696565\ 0398828235636766*c_0101_4 - 406491799692903478389013371/75059984828\ 25199414117818383, c_0101_4^17 + 10*c_0101_4^16 + 25*c_0101_4^15 + 5*c_0101_4^14 - 16*c_0101_4^13 - 279*c_0101_4^12 - 669*c_0101_4^11 - 485*c_0101_4^10 - 238*c_0101_4^9 + 2208*c_0101_4^8 + 3279*c_0101_4^7 + 4516*c_0101_4^6 + 5016*c_0101_4^5 - 6072*c_0101_4^4 - 3328*c_0101_4^3 - 992*c_0101_4^2 - 1600*c_0101_4 - 384 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB