Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 4004475602] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0195 geometric_solution 4.00732966 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 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 0 0 0 0 0 0.735163684102 0.051744791348 2 0 2 0 0132 2310 1023 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 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.911300581087 0.043524365296 1 3 1 3 0132 0132 1023 1023 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 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 0.869091004225 0.093832003079 4 2 4 2 0132 0132 1023 1023 0 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 1 -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.815131650543 0.289639451955 3 5 3 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 1 -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 -1 1 0 0 0 -1 1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.465810866533 0.861735195231 6 4 6 6 3120 0132 3012 2310 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 1 -1 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.493164622612 0.850113502013 5 5 4 5 3201 1230 0132 3120 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 0 0 0 1 0 -1 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.493164622612 0.850113502013 ==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' : d['c_0011_1'], 'c_1100_5' : d['c_0011_6'], '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_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_1']), '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_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), '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_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 13468259979585831570990615196163036256474147/5591005161721112541054\ 07570114175155337945*c_0101_4^22 + 454754383864882132707245939447858741305613/328882656571830149473769\ 15889069126784585*c_0101_4^21 - 59781773954050028833895804167390860\ 9789036747/559100516172111254105407570114175155337945*c_0101_4^20 + 491430831325463450264149695349997009087429403/559100516172111254105\ 407570114175155337945*c_0101_4^19 + 8085987207170316380324713281742034772011826363/55910051617211125410\ 5407570114175155337945*c_0101_4^18 - 7356951739897930324285782106503465553515504291/55910051617211125410\ 5407570114175155337945*c_0101_4^17 - 36039777365840067790811175409732723470330389558/5591005161721112541\ 05407570114175155337945*c_0101_4^16 + 21358323956652655577055779858581964448035142448/5591005161721112541\ 05407570114175155337945*c_0101_4^15 + 15518041142776426736538926574822594495583089850/1118201032344222508\ 21081514022835031067589*c_0101_4^14 + 16644859906826924387472083385406659314100530993/5591005161721112541\ 05407570114175155337945*c_0101_4^13 - 80310199006967262895407719010355222823715150802/5591005161721112541\ 05407570114175155337945*c_0101_4^12 - 108575354326278895265604274004442597848737874797/559100516172111254\ 105407570114175155337945*c_0101_4^11 - 16153930534599847996705287470754656214031717947/5591005161721112541\ 05407570114175155337945*c_0101_4^10 + 93584452003994111275404722133880872836236387904/5591005161721112541\ 05407570114175155337945*c_0101_4^9 + 22534089619083203363192624326113777244265286657/1118201032344222508\ 21081514022835031067589*c_0101_4^8 + 1745724293379930581960023897221689777204731970/11182010323442225082\ 1081514022835031067589*c_0101_4^7 - 83435738489196381797871928361059038335849541036/5591005161721112541\ 05407570114175155337945*c_0101_4^6 - 2480870046139367142855355032826175418795909798/32888265657183014947\ 376915889069126784585*c_0101_4^5 + 3109064580222360812237538891135158722371837298/11182010323442225082\ 1081514022835031067589*c_0101_4^4 + 19250608829851197133364944132508699923330768434/5591005161721112541\ 05407570114175155337945*c_0101_4^3 + 2459576395324793264782800703630457507679212807/55910051617211125410\ 5407570114175155337945*c_0101_4^2 - 2635231113826741549613922598465743462559451769/55910051617211125410\ 5407570114175155337945*c_0101_4 - 740129465049276233582063559581075\ 463685536158/559100516172111254105407570114175155337945, c_0011_0 - 1, c_0011_1 + 43849693340557837980418425309441513773540/657765313143660298\ 9475383177813825356917*c_0101_4^22 - 13983910018346648795195608405015752541195/6577653131436602989475383\ 177813825356917*c_0101_4^21 - 1964691981609061510778645725567891684\ 943025/6577653131436602989475383177813825356917*c_0101_4^20 + 3347321567211623948072370759648206241323516/65776531314366029894753\ 83177813825356917*c_0101_4^19 + 24710258350175791665187570030775661\ 368954432/6577653131436602989475383177813825356917*c_0101_4^18 - 47622165881045768857840201469386791792170666/6577653131436602989475\ 383177813825356917*c_0101_4^17 - 9287843529091126403531344847674110\ 2466272434/6577653131436602989475383177813825356917*c_0101_4^16 + 175899213166238565402668435952014536956876588/657765313143660298947\ 5383177813825356917*c_0101_4^15 + 171264474789024990129835232326833\ 286621889821/6577653131436602989475383177813825356917*c_0101_4^14 - 178219889877130433097267823456734839186483673/657765313143660298947\ 5383177813825356917*c_0101_4^13 - 256317189548618432861553472707084\ 626224639436/6577653131436602989475383177813825356917*c_0101_4^12 - 92881973026970471877405904648793304758795487/6577653131436602989475\ 383177813825356917*c_0101_4^11 + 2086254695738126877434130615103794\ 93327273321/6577653131436602989475383177813825356917*c_0101_4^10 + 283674733914628479610640770960652301358903452/657765313143660298947\ 5383177813825356917*c_0101_4^9 + 7723229411316063989265730590826892\ 9677574528/6577653131436602989475383177813825356917*c_0101_4^8 - 238482202563867310820137260974417028500737099/657765313143660298947\ 5383177813825356917*c_0101_4^7 - 2221787184513619227598880325289640\ 65113911316/6577653131436602989475383177813825356917*c_0101_4^6 + 117821200880038926098607895117957416920375291/657765313143660298947\ 5383177813825356917*c_0101_4^5 + 1121127553684171680291297593422128\ 10437726873/6577653131436602989475383177813825356917*c_0101_4^4 - 25246752624388892212461337991034953379159707/6577653131436602989475\ 383177813825356917*c_0101_4^3 - 23537046843331004689360028522670608\ 969881965/6577653131436602989475383177813825356917*c_0101_4^2 + 1748732929832715293533857944368683586521773/65776531314366029894753\ 83177813825356917*c_0101_4 + 17213586992225352363537799392545743072\ 46585/6577653131436602989475383177813825356917, c_0011_6 - 66641819858605530852392049894658543414000/657765313143660298\ 9475383177813825356917*c_0101_4^22 + 25867541913979520148406710814214701931122/6577653131436602989475383\ 177813825356917*c_0101_4^21 + 2987473622177791353128936616703044955\ 707606/6577653131436602989475383177813825356917*c_0101_4^20 - 5292259417171551862374398797700934281639591/65776531314366029894753\ 83177813825356917*c_0101_4^19 - 37337219558099612544662321689607446\ 638695482/6577653131436602989475383177813825356917*c_0101_4^18 + 75089569402168211573676155548788456606352426/6577653131436602989475\ 383177813825356917*c_0101_4^17 + 1379738216832359636179958212956894\ 75534467608/6577653131436602989475383177813825356917*c_0101_4^16 - 278823430226367899226023152189990606525278597/657765313143660298947\ 5383177813825356917*c_0101_4^15 - 249909826743763867336569637509194\ 868544977658/6577653131436602989475383177813825356917*c_0101_4^14 + 294225393292825437401343408184372835663845281/657765313143660298947\ 5383177813825356917*c_0101_4^13 + 388043734227268844424528676429641\ 550085003698/6577653131436602989475383177813825356917*c_0101_4^12 + 116044580308131022928290162054909305150801809/657765313143660298947\ 5383177813825356917*c_0101_4^11 - 344235121194607339372533487633573\ 708843126139/6577653131436602989475383177813825356917*c_0101_4^10 - 430367642622580674210573969870790824356108884/657765313143660298947\ 5383177813825356917*c_0101_4^9 - 9012652888751551709661666755062047\ 1354985225/6577653131436602989475383177813825356917*c_0101_4^8 + 389239391424935587712479926922742678862996438/657765313143660298947\ 5383177813825356917*c_0101_4^7 + 3337710383826974437630159021238711\ 16304555146/6577653131436602989475383177813825356917*c_0101_4^6 - 202071070106099058744473951534863374081765044/657765313143660298947\ 5383177813825356917*c_0101_4^5 - 1743027167100509960572165920473476\ 43790708270/6577653131436602989475383177813825356917*c_0101_4^4 + 44767018605757954582015815456932859636635826/6577653131436602989475\ 383177813825356917*c_0101_4^3 + 37492711109299556691277131684653732\ 661718393/6577653131436602989475383177813825356917*c_0101_4^2 - 3211165902515486424993398113712247426139010/65776531314366029894753\ 83177813825356917*c_0101_4 - 27790602180313991473699180700785380479\ 73462/6577653131436602989475383177813825356917, c_0101_0 - 91286963768757438596899426898601544968836/657765313143660298\ 9475383177813825356917*c_0101_4^22 + 32227471770208200012464815230297759410706/6577653131436602989475383\ 177813825356917*c_0101_4^21 + 4091046897242207309654412519462301077\ 571985/6577653131436602989475383177813825356917*c_0101_4^20 - 7106834188285566238052722161816610768564786/65776531314366029894753\ 83177813825356917*c_0101_4^19 - 51289324895288649920867695615502981\ 122496001/6577653131436602989475383177813825356917*c_0101_4^18 + 100959222350561553053791508634575247599514507/657765313143660298947\ 5383177813825356917*c_0101_4^17 + 191131107339337949974359858016766\ 744343120450/6577653131436602989475383177813825356917*c_0101_4^16 - 373759843062559026650904506554528201608361602/657765313143660298947\ 5383177813825356917*c_0101_4^15 - 349281148600419963873264394236955\ 751096765100/6577653131436602989475383177813825356917*c_0101_4^14 + 386112290277972765938195211183341188778934032/657765313143660298947\ 5383177813825356917*c_0101_4^13 + 532151671957762352248772962174761\ 191097537380/6577653131436602989475383177813825356917*c_0101_4^12 + 177125222903258857026822943557538986373817593/657765313143660298947\ 5383177813825356917*c_0101_4^11 - 451754958112986612199424809417762\ 658720203933/6577653131436602989475383177813825356917*c_0101_4^10 - 589791533336536726587990087045013173518256431/657765313143660298947\ 5383177813825356917*c_0101_4^9 - 1433223548561335754757945828108437\ 76043815985/6577653131436602989475383177813825356917*c_0101_4^8 + 513446896231392108548233369475115638993181849/657765313143660298947\ 5383177813825356917*c_0101_4^7 + 4596033995671815351400111114084257\ 75634587484/6577653131436602989475383177813825356917*c_0101_4^6 - 259868629525955769107759029154713439625036285/657765313143660298947\ 5383177813825356917*c_0101_4^5 - 2351961147316300550435696483801669\ 57887532108/6577653131436602989475383177813825356917*c_0101_4^4 + 56570379677957408325514322588752310450206993/6577653131436602989475\ 383177813825356917*c_0101_4^3 + 49854708272422807925873529543201665\ 663115261/6577653131436602989475383177813825356917*c_0101_4^2 - 4007305265991544729058972073352212994268064/65776531314366029894753\ 83177813825356917*c_0101_4 - 36636165503058471093973147509189873344\ 86455/6577653131436602989475383177813825356917, c_0101_1 - 88291801268412589905109283311865096611353/657765313143660298\ 9475383177813825356917*c_0101_4^22 + 39498926024392219336920066710579675855977/6577653131436602989475383\ 177813825356917*c_0101_4^21 + 3960948117373657767520147917347738956\ 844645/6577653131436602989475383177813825356917*c_0101_4^20 - 7243391162852452248439179117226242779748611/65776531314366029894753\ 83177813825356917*c_0101_4^19 - 49271920844858108219184469508425903\ 991372393/6577653131436602989475383177813825356917*c_0101_4^18 + 102609515332050310677404223171730202629943412/657765313143660298947\ 5383177813825356917*c_0101_4^17 + 179861041727185337181604847193495\ 172115945900/6577653131436602989475383177813825356917*c_0101_4^16 - 383167735258578383654789285324233352587188576/657765313143660298947\ 5383177813825356917*c_0101_4^15 - 322108484225830967315555483620108\ 834394851132/6577653131436602989475383177813825356917*c_0101_4^14 + 418598192514047187687636031510112564765762635/657765313143660298947\ 5383177813825356917*c_0101_4^13 + 517741752552134749953429947688231\ 865505571157/6577653131436602989475383177813825356917*c_0101_4^12 + 125445781553238008338660451029418765674029625/657765313143660298947\ 5383177813825356917*c_0101_4^11 - 491850746004585060716689194510272\ 492292861099/6577653131436602989475383177813825356917*c_0101_4^10 - 575808586132736743613619551160917863866070028/657765313143660298947\ 5383177813825356917*c_0101_4^9 - 8955885133068182257693173324338165\ 2685706144/6577653131436602989475383177813825356917*c_0101_4^8 + 551043419392638292840283010609870916525795743/657765313143660298947\ 5383177813825356917*c_0101_4^7 + 4437764939874355420682003020802469\ 40312084615/6577653131436602989475383177813825356917*c_0101_4^6 - 293755982792833383919783656389995713892544741/657765313143660298947\ 5383177813825356917*c_0101_4^5 - 2395355526438308258545319267308475\ 00140214157/6577653131436602989475383177813825356917*c_0101_4^4 + 66013965708372612782046861279125959985431948/6577653131436602989475\ 383177813825356917*c_0101_4^3 + 52580523581529997410457475729450422\ 644707475/6577653131436602989475383177813825356917*c_0101_4^2 - 4771200501393607108007264506595048960026100/65776531314366029894753\ 83177813825356917*c_0101_4 - 39419183078098892687812464288337924157\ 01051/6577653131436602989475383177813825356917, c_0101_3 + 83809302050298082175435210470890735404257/657765313143660298\ 9475383177813825356917*c_0101_4^22 - 30597213373160652417585046221865415050305/6577653131436602989475383\ 177813825356917*c_0101_4^21 - 3756378148816334998258986871051369061\ 084465/6577653131436602989475383177813825356917*c_0101_4^20 + 6569587829818506555413904375321419895629238/65776531314366029894753\ 83177813825356917*c_0101_4^19 + 47045003976719031945072443212050157\ 117958519/6577653131436602989475383177813825356917*c_0101_4^18 - 93290961769398327326567335433896800499456724/6577653131436602989475\ 383177813825356917*c_0101_4^17 - 1748335333244297754699994103907477\ 84537741099/6577653131436602989475383177813825356917*c_0101_4^16 + 345767469287072900807291170887476000918905317/657765313143660298947\ 5383177813825356917*c_0101_4^15 + 318594171765612369757035331818991\ 227473095409/6577653131436602989475383177813825356917*c_0101_4^14 - 359969184394645473673686495566083904587911003/657765313143660298947\ 5383177813825356917*c_0101_4^13 - 488580477788802282289196277772160\ 540800165663/6577653131436602989475383177813825356917*c_0101_4^12 - 156834881476100613165274315542531938880492937/657765313143660298947\ 5383177813825356917*c_0101_4^11 + 421255276993391345430991562536123\ 039919046147/6577653131436602989475383177813825356917*c_0101_4^10 + 541655994068816878887840956713417414493245064/657765313143660298947\ 5383177813825356917*c_0101_4^9 + 1252518132115761443279434299338909\ 67840200012/6577653131436602989475383177813825356917*c_0101_4^8 - 477914830631013960151078262142394337881617856/657765313143660298947\ 5383177813825356917*c_0101_4^7 - 4214581537866327708692936491525763\ 29722254018/6577653131436602989475383177813825356917*c_0101_4^6 + 244013722146476671376171355909000052048226342/657765313143660298947\ 5383177813825356917*c_0101_4^5 + 2172770955931043892641600184281798\ 43332010587/6577653131436602989475383177813825356917*c_0101_4^4 - 53417639635383517840194179712916209479540233/6577653131436602989475\ 383177813825356917*c_0101_4^3 - 46294609027378577173532349245761152\ 213472081/6577653131436602989475383177813825356917*c_0101_4^2 + 3787566910298562603310043107134508411577981/65776531314366029894753\ 83177813825356917*c_0101_4 + 34131480513757423753885117801755653398\ 99931/6577653131436602989475383177813825356917, c_0101_4^23 - 45*c_0101_4^21 + 62*c_0101_4^20 + 592*c_0101_4^19 - 910*c_0101_4^18 - 2520*c_0101_4^17 + 3391*c_0101_4^16 + 5428*c_0101_4^15 - 2991*c_0101_4^14 - 7648*c_0101_4^13 - 4023*c_0101_4^12 + 4592*c_0101_4^11 + 8605*c_0101_4^10 + 3894*c_0101_4^9 - 5420*c_0101_4^8 - 7413*c_0101_4^7 + 1071*c_0101_4^6 + 3884*c_0101_4^5 + 377*c_0101_4^4 - 845*c_0101_4^3 - 180*c_0101_4^2 + 62*c_0101_4 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB