Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 2176851384] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s075 geometric_solution 3.61331690 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485919924416 0.041814057920 2 0 2 0 0132 2310 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471254608937 0.133973799484 1 3 1 3 0132 0132 1023 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 0 0 0 0 0 0 0 -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.940018487216 3.614685770916 2 2 5 4 3201 0132 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.027480566468 0.506822699891 5 5 3 5 1230 1023 0132 3012 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 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 -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.982252306199 1.000799233184 4 4 4 3 1023 3012 1230 0132 0 0 0 0 0 1 -1 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 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.982252306199 1.000799233184 ==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_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_4'], 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_4'], 'c_0011_4' : d['c_0011_4'], '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_4']), 'c_1001_4' : d['c_0101_1'], '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' : 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_1']), 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 647464356897513014773639/1540804353706486219207*c_0101_4^19 + 239214026996291782491034/1540804353706486219207*c_0101_4^18 - 15453334677875676879437697/1540804353706486219207*c_0101_4^17 + 31841738372639655623919265/1540804353706486219207*c_0101_4^16 + 110887754138464290776205486/1540804353706486219207*c_0101_4^15 - 259561928762652114295844098/1540804353706486219207*c_0101_4^14 - 291920340098583652695979918/1540804353706486219207*c_0101_4^13 + 919941354858757198933555243/1540804353706486219207*c_0101_4^12 + 248810290718897119276179294/1540804353706486219207*c_0101_4^11 - 1822857228837489987612306110/1540804353706486219207*c_0101_4^10 + 222445697218131681573120352/1540804353706486219207*c_0101_4^9 + 2159578172272842358234903916/1540804353706486219207*c_0101_4^8 - 630070083990542908879553595/1540804353706486219207*c_0101_4^7 - 1528248856295614594695356126/1540804353706486219207*c_0101_4^6 + 541311540095805759614967160/1540804353706486219207*c_0101_4^5 + 586792513997347504362780214/1540804353706486219207*c_0101_4^4 - 223402054277326675763644105/1540804353706486219207*c_0101_4^3 - 85671394001208973376387734/1540804353706486219207*c_0101_4^2 + 37020874556095217443492491/1540804353706486219207*c_0101_4 - 1312807725170909360207835/1540804353706486219207, c_0011_0 - 1, c_0011_1 - 1689248341650233041302/1540804353706486219207*c_0101_4^19 - 926135413148352415947/1540804353706486219207*c_0101_4^18 + 40070189297534800617678/1540804353706486219207*c_0101_4^17 - 75953000841667285591398/1540804353706486219207*c_0101_4^16 - 300943936169594585021899/1540804353706486219207*c_0101_4^15 + 619646759673690228566569/1540804353706486219207*c_0101_4^14 + 858171780732241269676267/1540804353706486219207*c_0101_4^13 - 2217352910478215105754902/1540804353706486219207*c_0101_4^12 - 1004625391642204566027339/1540804353706486219207*c_0101_4^11 + 4476555300689273240545411/1540804353706486219207*c_0101_4^10 + 164524557104545414423723/1540804353706486219207*c_0101_4^9 - 5410442847064246733972060/1540804353706486219207*c_0101_4^8 + 717217188659687327024215/1540804353706486219207*c_0101_4^7 + 3877036763467491810633679/1540804353706486219207*c_0101_4^6 - 746651712804674809569140/1540804353706486219207*c_0101_4^5 - 1483324766926234514780876/1540804353706486219207*c_0101_4^4 + 338452400074456044494661/1540804353706486219207*c_0101_4^3 + 209537840107527446013542/1540804353706486219207*c_0101_4^2 - 66345027566618147584304/1540804353706486219207*c_0101_4 + 3557031961602413321115/1540804353706486219207, c_0011_4 + 6014835120013932700407/1540804353706486219207*c_0101_4^19 + 2469863696926271911000/1540804353706486219207*c_0101_4^18 - 143410456738667270516343/1540804353706486219207*c_0101_4^17 + 289967948625015415021949/1540804353706486219207*c_0101_4^16 + 1040885702800294211000431/1540804353706486219207*c_0101_4^15 - 2367389444290776545806483/1540804353706486219207*c_0101_4^14 - 2797084409748332748633299/1540804353706486219207*c_0101_4^13 + 8417288787047054722976925/1540804353706486219207*c_0101_4^12 + 2604593157489127992629477/1540804353706486219207*c_0101_4^11 - 16760644303688475493942529/1540804353706486219207*c_0101_4^10 + 1489780780775293889643119/1540804353706486219207*c_0101_4^9 + 19945072528711868585427858/1540804353706486219207*c_0101_4^8 - 5168268894877563505411258/1540804353706486219207*c_0101_4^7 - 14135893587618046668737912/1540804353706486219207*c_0101_4^6 + 4549539049225947994918378/1540804353706486219207*c_0101_4^5 + 5404500209547071294637822/1540804353706486219207*c_0101_4^4 - 1902063859565001213013840/1540804353706486219207*c_0101_4^3 - 771126570678512858529211/1540804353706486219207*c_0101_4^2 + 322786914788244311280512/1540804353706486219207*c_0101_4 - 15775502598395140912598/1540804353706486219207, c_0101_0 - 9666393530267653252462/1540804353706486219207*c_0101_4^19 - 4150911552867530452387/1540804353706486219207*c_0101_4^18 + 230066105444509846084605/1540804353706486219207*c_0101_4^17 - 462026936587621020927354/1540804353706486219207*c_0101_4^16 - 1674091210101793238381552/1540804353706486219207*c_0101_4^15 + 3761788461450502138008935/1540804353706486219207*c_0101_4^14 + 4507302859208618103813124/1540804353706486219207*c_0101_4^13 - 13361242627885608346325541/1540804353706486219207*c_0101_4^12 - 4271112334653292808917488/1540804353706486219207*c_0101_4^11 + 26576324479629498725576253/1540804353706486219207*c_0101_4^10 - 2127469094585875336301313/1540804353706486219207*c_0101_4^9 - 31559552394833169642628526/1540804353706486219207*c_0101_4^8 + 7906955111610962517186758/1540804353706486219207*c_0101_4^7 + 22293464782520691370379074/1540804353706486219207*c_0101_4^6 - 7002281197192851966061841/1540804353706486219207*c_0101_4^5 - 8481164997658254122402593/1540804353706486219207*c_0101_4^4 + 2936092587155470548934501/1540804353706486219207*c_0101_4^3 + 1201483742836757111374624/1540804353706486219207*c_0101_4^2 - 500311022089385875719585/1540804353706486219207*c_0101_4 + 24449703210497330555026/1540804353706486219207, c_0101_1 - 1404266247385902897075/1540804353706486219207*c_0101_4^19 - 538111271751268145694/1540804353706486219207*c_0101_4^18 + 33422371267775025877232/1540804353706486219207*c_0101_4^17 - 68753800480088757431434/1540804353706486219207*c_0101_4^16 - 239548285573702399527037/1540804353706486219207*c_0101_4^15 + 558055865167404366489610/1540804353706486219207*c_0101_4^14 + 622788055694792104528431/1540804353706486219207*c_0101_4^13 - 1974635353500268939785911/1540804353706486219207*c_0101_4^12 - 506025978781615191640911/1540804353706486219207*c_0101_4^11 + 3893660661724328568022704/1540804353706486219207*c_0101_4^10 - 539046021721092402497990/1540804353706486219207*c_0101_4^9 - 4566398813108268045052426/1540804353706486219207*c_0101_4^8 + 1429810410593521293081232/1540804353706486219207*c_0101_4^7 + 3186281830481829114576665/1540804353706486219207*c_0101_4^6 - 1218491850257609904416891/1540804353706486219207*c_0101_4^5 - 1201595223371691189893972/1540804353706486219207*c_0101_4^4 + 498062675641620771522723/1540804353706486219207*c_0101_4^3 + 168088480002742833446550/1540804353706486219207*c_0101_4^2 - 79192253401276811325930/1540804353706486219207*c_0101_4 + 4427282765647878479114/1540804353706486219207, c_0101_4^20 - 24*c_0101_4^18 + 58*c_0101_4^17 + 153*c_0101_4^16 - 464*c_0101_4^15 - 302*c_0101_4^14 + 1586*c_0101_4^13 - 143*c_0101_4^12 - 2952*c_0101_4^11 + 1387*c_0101_4^10 + 3197*c_0101_4^9 - 2207*c_0101_4^8 - 1986*c_0101_4^7 + 1707*c_0101_4^6 + 586*c_0101_4^5 - 678*c_0101_4^4 + 105*c_0101_4^2 - 24*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB