Magma V2.19-8 Tue Aug 20 2013 23:29:50 on localhost [Seed = 610419314] Type ? for help. Type -D to quit. Loading file "K14n6060__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n6060 geometric_solution 7.66211862 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 0132 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 -1 1 0 0 0 0 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.230233063209 1.640472721194 0 5 4 6 0132 0132 3201 0132 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 -11 10 1 0 0 0 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.829446331431 0.883582582801 5 0 7 6 2310 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.050060141897 0.935628267746 4 5 5 0 3201 3012 1230 0132 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 1 -1 -1 0 1 0 0 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.102864081123 0.622337526986 1 6 0 3 2310 3012 0132 2310 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 -1 0 1 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534610854832 0.558511636361 3 1 2 3 1230 0132 3201 3012 0 0 0 0 0 -1 0 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 11 0 -11 0 0 1 -1 11 -10 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.312263022270 0.388084567503 4 7 1 2 1230 3120 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.057022194082 1.065749609377 8 6 8 2 0132 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.955121872440 1.278162033251 7 8 7 8 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464293177422 0.201099289334 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_8' : d['c_0101_7'], 's_2_8' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_8' : d['c_0011_7'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_7']), 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_8' : negation(d['c_0011_7']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_8' : d['1'], 'c_0011_8' : negation(d['c_0011_7']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_2'], 'c_0110_8' : d['c_0101_7'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 9552569912830042715361144379775902535216331237/37262234209775022512\ 86777193312304895205058356*c_0101_7^19 + 81027926661979569877348776107247402523058489057/7452446841955004502\ 573554386624609790410116712*c_0101_7^18 + 16930468909556925455497349660638268726632689799/9315558552443755628\ 21694298328076223801264589*c_0101_7^17 - 860118982627921026253571261386623397177559613915/745244684195500450\ 2573554386624609790410116712*c_0101_7^16 + 5914354322866984928555959196990976785315591387887/74524468419550045\ 02573554386624609790410116712*c_0101_7^15 + 29414145454494825037715274717307438075914589140103/7452446841955004\ 502573554386624609790410116712*c_0101_7^14 + 5279828262047180234555707020652633963280893954171/10646352631364292\ 14653364912374944255772873816*c_0101_7^13 - 12152583288631250417664088404585259882575126070515/7452446841955004\ 502573554386624609790410116712*c_0101_7^12 - 6560748121780703304711999516912073884917994356857/53231763156821460\ 7326682456187472127886436908*c_0101_7^11 - 74983719223942299112098834714062082076507125753545/7452446841955004\ 502573554386624609790410116712*c_0101_7^10 + 32179731446971551234312753355247963549661558304649/3726223420977502\ 251286777193312304895205058356*c_0101_7^9 + 20357866499588335596887166523881495129256419413059/1863111710488751\ 125643388596656152447602529178*c_0101_7^8 + 26316030202645420624428258554881661932396117257629/7452446841955004\ 502573554386624609790410116712*c_0101_7^7 - 80129691265159151648019155493195823630036551364059/7452446841955004\ 502573554386624609790410116712*c_0101_7^6 + 10588756875194827550563011046257196943857189992313/7452446841955004\ 502573554386624609790410116712*c_0101_7^5 + 11808819946355078990364040146364169382916812674899/7452446841955004\ 502573554386624609790410116712*c_0101_7^4 + 66275050210569318997643079546262906595768095805/9315558552443755628\ 21694298328076223801264589*c_0101_7^3 - 6000107015552140681925753303133436540273690881139/74524468419550045\ 02573554386624609790410116712*c_0101_7^2 + 331487972099502231342552141454091609596922926983/186311171048875112\ 5643388596656152447602529178*c_0101_7 + 743300329830805244695415863283145575780147511451/745244684195500450\ 2573554386624609790410116712, c_0011_0 - 1, c_0011_3 - 170623759514475019033791225310491173210/18524674326209113689\ 17588135231114463893*c_0101_7^19 - 772311991612671766520417752503065015788/185246743262091136891758813\ 5231114463893*c_0101_7^18 - 144957390688827384596006259485528910934\ 8/1852467432620911368917588135231114463893*c_0101_7^17 + 7172214365505431396477174724373601130208/18524674326209113689175881\ 35231114463893*c_0101_7^16 - 50975171656764291730143362184830428030\ 391/1852467432620911368917588135231114463893*c_0101_7^15 - 276480328544997532488783506371240072608700/185246743262091136891758\ 8135231114463893*c_0101_7^14 - 414558807190371549103284925904199108\ 075057/1852467432620911368917588135231114463893*c_0101_7^13 - 43511190213089369869875510275971390818532/1852467432620911368917588\ 135231114463893*c_0101_7^12 + 7481478350430430845615780637532255390\ 43337/1852467432620911368917588135231114463893*c_0101_7^11 + 855552051145732216990068182779796162295614/185246743262091136891758\ 8135231114463893*c_0101_7^10 - 258058404150159018089442581126511161\ 908504/1852467432620911368917588135231114463893*c_0101_7^9 - 680517818851752544680502005120115769313094/185246743262091136891758\ 8135231114463893*c_0101_7^8 - 4152412434449758815529116658058150624\ 88357/1852467432620911368917588135231114463893*c_0101_7^7 + 531344371008336996783965030765960054402301/185246743262091136891758\ 8135231114463893*c_0101_7^6 - 8485058550297016289889600817498018082\ 346/1852467432620911368917588135231114463893*c_0101_7^5 - 70580077117098941488548458625910545216887/1852467432620911368917588\ 135231114463893*c_0101_7^4 - 14853519701215677865346272361613528347\ 010/1852467432620911368917588135231114463893*c_0101_7^3 + 42655614227006237811384492406567914588371/1852467432620911368917588\ 135231114463893*c_0101_7^2 - 24729754260697129834836801760695620834\ 53/1852467432620911368917588135231114463893*c_0101_7 - 5470462130706810949562883317456423772782/18524674326209113689175881\ 35231114463893, c_0011_4 - 184199678903493245497265502984738265403/18524674326209113689\ 17588135231114463893*c_0101_7^19 - 861679629399208105692488185116677273443/185246743262091136891758813\ 5231114463893*c_0101_7^18 - 169208732396832174828989376884826696317\ 3/1852467432620911368917588135231114463893*c_0101_7^17 + 7499371704021574777025532595819492193252/18524674326209113689175881\ 35231114463893*c_0101_7^16 - 53877079383177809932229455818738571763\ 244/1852467432620911368917588135231114463893*c_0101_7^15 - 306810016793814424559669022035588670489318/185246743262091136891758\ 8135231114463893*c_0101_7^14 - 492913941829476786519290067956918249\ 916938/1852467432620911368917588135231114463893*c_0101_7^13 - 116883017228189391047975790498827015000741/185246743262091136891758\ 8135231114463893*c_0101_7^12 + 794069806748335091362273410432849200\ 961502/1852467432620911368917588135231114463893*c_0101_7^11 + 1038628985469382532500996444409355878284113/18524674326209113689175\ 88135231114463893*c_0101_7^10 - 13621853076829686423376730450949662\ 6192404/1852467432620911368917588135231114463893*c_0101_7^9 - 760106308070026818202780122187302265129499/185246743262091136891758\ 8135231114463893*c_0101_7^8 - 5450362625003662784784728405185508131\ 60811/1852467432620911368917588135231114463893*c_0101_7^7 + 498334400115251373110203866271598947036709/185246743262091136891758\ 8135231114463893*c_0101_7^6 + 6037147429329845599432270501977829472\ 0048/1852467432620911368917588135231114463893*c_0101_7^5 - 86096616353335760616210172972872177049852/1852467432620911368917588\ 135231114463893*c_0101_7^4 - 24125324201313046895266759984489416994\ 739/1852467432620911368917588135231114463893*c_0101_7^3 + 45549574702527135349472307037898008733136/1852467432620911368917588\ 135231114463893*c_0101_7^2 + 23280418881580718925724653729151743677\ 30/1852467432620911368917588135231114463893*c_0101_7 - 4622378854713460810608340744857475404170/18524674326209113689175881\ 35231114463893, c_0011_6 + 30888698423114926694612552197488062563/185246743262091136891\ 7588135231114463893*c_0101_7^19 + 957188311661764298246512424568713\ 64168/1852467432620911368917588135231114463893*c_0101_7^18 + 45822368292703722089233503278801134038/1852467432620911368917588135\ 231114463893*c_0101_7^17 - 1763815029232547187917654204337109173686\ /1852467432620911368917588135231114463893*c_0101_7^16 + 10865045393724377264589136306864826021479/1852467432620911368917588\ 135231114463893*c_0101_7^15 + 3742617893810282867463387775690443404\ 2174/1852467432620911368917588135231114463893*c_0101_7^14 - 1015138623081262816337182211395278936550/18524674326209113689175881\ 35231114463893*c_0101_7^13 - 13059312284536282704030868093711683971\ 0130/1852467432620911368917588135231114463893*c_0101_7^12 - 213134240147153465291912598223085657574004/185246743262091136891758\ 8135231114463893*c_0101_7^11 - 167140248453459925095578731439332616\ 83789/1852467432620911368917588135231114463893*c_0101_7^10 + 305393336004210420362611155127853775132710/185246743262091136891758\ 8135231114463893*c_0101_7^9 + 1793614584213909875638740201516506119\ 90069/1852467432620911368917588135231114463893*c_0101_7^8 - 29756844121979987302546772860788370950529/1852467432620911368917588\ 135231114463893*c_0101_7^7 - 22662676403135336114246796919433744793\ 7835/1852467432620911368917588135231114463893*c_0101_7^6 + 71179055314724417118940208819570369477738/1852467432620911368917588\ 135231114463893*c_0101_7^5 + 12932491627703734213129568749911919459\ 541/1852467432620911368917588135231114463893*c_0101_7^4 - 10915865224577385033833697686078294892132/1852467432620911368917588\ 135231114463893*c_0101_7^3 - 14872649156537340905692950965510930261\ 207/1852467432620911368917588135231114463893*c_0101_7^2 + 5563199791524054043662393805417663127328/18524674326209113689175881\ 35231114463893*c_0101_7 + 2700706074974064251339266078438039019341/\ 1852467432620911368917588135231114463893, c_0011_7 + 177663467974451749938801875471020242113/18524674326209113689\ 17588135231114463893*c_0101_7^19 + 844301790774894663127332215550088587476/185246743262091136891758813\ 5231114463893*c_0101_7^18 + 169953706150670292462994139059403939880\ 5/1852467432620911368917588135231114463893*c_0101_7^17 - 7078296524174993984113614522590921583114/18524674326209113689175881\ 35231114463893*c_0101_7^16 + 51514554371821658777704845779632650201\ 200/1852467432620911368917588135231114463893*c_0101_7^15 + 299622600205742490767061235848053200012183/185246743262091136891758\ 8135231114463893*c_0101_7^14 + 498837559236457302824047787919442818\ 876439/1852467432620911368917588135231114463893*c_0101_7^13 + 159569084877767828449997746561984292116689/185246743262091136891758\ 8135231114463893*c_0101_7^12 - 730291202660286131660254172317779157\ 600843/1852467432620911368917588135231114463893*c_0101_7^11 - 1033129394411876490956441382539159385702739/18524674326209113689175\ 88135231114463893*c_0101_7^10 + 44686524569824212118305199588206144\ 800707/1852467432620911368917588135231114463893*c_0101_7^9 + 687698821341715474257039936452717510710395/185246743262091136891758\ 8135231114463893*c_0101_7^8 + 5390024030475071117971751451377608583\ 33657/1852467432620911368917588135231114463893*c_0101_7^7 - 434363416153915391712948341606109185124050/185246743262091136891758\ 8135231114463893*c_0101_7^6 - 6417511419584249359419761108739161098\ 3729/1852467432620911368917588135231114463893*c_0101_7^5 + 87024435542993673006650903016429708920557/1852467432620911368917588\ 135231114463893*c_0101_7^4 + 22556578624585909963132497934657733608\ 041/1852467432620911368917588135231114463893*c_0101_7^3 - 36113845799599422899620210081499593980637/1852467432620911368917588\ 135231114463893*c_0101_7^2 - 23503716210221497395986304694295821770\ 61/1852467432620911368917588135231114463893*c_0101_7 + 4102830205967844962567477230689277002154/18524674326209113689175881\ 35231114463893, c_0101_0 + 1, c_0101_1 - 35329204390646070369427086696780460105/185246743262091136891\ 7588135231114463893*c_0101_7^19 - 178640167907155435570884117157464\ 532922/1852467432620911368917588135231114463893*c_0101_7^18 - 388881113313018465928935416351175165330/185246743262091136891758813\ 5231114463893*c_0101_7^17 + 130877376974232663389345669695910330788\ 7/1852467432620911368917588135231114463893*c_0101_7^16 - 9792513610578952313226632220651908091224/18524674326209113689175881\ 35231114463893*c_0101_7^15 - 62637526918945057360991580761321214324\ 920/1852467432620911368917588135231114463893*c_0101_7^14 - 117319410585491656141015734399879846616236/185246743262091136891758\ 8135231114463893*c_0101_7^13 - 608534889627012773044433498085688505\ 35291/1852467432620911368917588135231114463893*c_0101_7^12 + 143183158735689388266957485657585590235809/185246743262091136891758\ 8135231114463893*c_0101_7^11 + 270750253233061184200876824378812145\ 205392/1852467432620911368917588135231114463893*c_0101_7^10 + 83427748346639371720818062003014169655918/1852467432620911368917588\ 135231114463893*c_0101_7^9 - 12386126653367294296049288973908741525\ 0263/1852467432620911368917588135231114463893*c_0101_7^8 - 165379736334428239259730775964781038452999/185246743262091136891758\ 8135231114463893*c_0101_7^7 + 2251874710818149457768212794571833503\ 5685/1852467432620911368917588135231114463893*c_0101_7^6 + 24491665070953207748618370123724964393638/1852467432620911368917588\ 135231114463893*c_0101_7^5 - 49744317425033673430459375712575326231\ 38/1852467432620911368917588135231114463893*c_0101_7^4 - 908067619347577650065883959888638780476/185246743262091136891758813\ 5231114463893*c_0101_7^3 + 6150787779393980905361633570801202664371\ /1852467432620911368917588135231114463893*c_0101_7^2 + 1082742733827201309783878132892398978035/18524674326209113689175881\ 35231114463893*c_0101_7 + 472584750344860168867463835365391910222/1\ 852467432620911368917588135231114463893, c_0101_2 + 188690495172367107571522749091047998143/18524674326209113689\ 17588135231114463893*c_0101_7^19 + 913769366181758223608050118733779334813/185246743262091136891758813\ 5231114463893*c_0101_7^18 + 188860852965724793368345432256323943712\ 5/1852467432620911368917588135231114463893*c_0101_7^17 - 7337404481286059790861183448103277551594/18524674326209113689175881\ 35231114463893*c_0101_7^16 + 54082145749122363756348605745277150071\ 163/1852467432620911368917588135231114463893*c_0101_7^15 + 323127005626599958317353755269961991016471/185246743262091136891758\ 8135231114463893*c_0101_7^14 + 559119565136777671153670633521143325\ 524266/1852467432620911368917588135231114463893*c_0101_7^13 + 223021919010466973136447248868297352052153/185246743262091136891758\ 8135231114463893*c_0101_7^12 - 744131707145735477055196021226257854\ 444213/1852467432620911368917588135231114463893*c_0101_7^11 - 1147298013630231585441812903920157306093611/18524674326209113689175\ 88135231114463893*c_0101_7^10 - 49930452921213357386917537771208912\ 542925/1852467432620911368917588135231114463893*c_0101_7^9 + 705932783370849644839489559677542196741040/185246743262091136891758\ 8135231114463893*c_0101_7^8 + 6062866139723164926152998250596363365\ 58991/1852467432620911368917588135231114463893*c_0101_7^7 - 412448758986299246857092941680027175178957/185246743262091136891758\ 8135231114463893*c_0101_7^6 - 9240772772329500336551287303403082631\ 8686/1852467432620911368917588135231114463893*c_0101_7^5 + 96405971193981171920568136438728691483015/1852467432620911368917588\ 135231114463893*c_0101_7^4 + 27354914307735563428014042849391393275\ 492/1852467432620911368917588135231114463893*c_0101_7^3 - 35587455902468435729266710313791807141940/1852467432620911368917588\ 135231114463893*c_0101_7^2 - 67131246539812927161181665156164542481\ 28/1852467432620911368917588135231114463893*c_0101_7 + 3707922944609489050558665777735286282166/18524674326209113689175881\ 35231114463893, c_0101_7^20 + 4*c_0101_7^19 + 6*c_0101_7^18 - 47*c_0101_7^17 + 320*c_0101_7^16 + 1468*c_0101_7^15 + 1542*c_0101_7^14 - 1201*c_0101_7^13 - 4766*c_0101_7^12 - 2708*c_0101_7^11 + 4619*c_0101_7^10 + 3661*c_0101_7^9 + 107*c_0101_7^8 - 4754*c_0101_7^7 + 1494*c_0101_7^6 + 757*c_0101_7^5 - 210*c_0101_7^4 - 322*c_0101_7^3 + 142*c_0101_7^2 + 40*c_0101_7 - 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.270 seconds, Total memory usage: 32.09MB