Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 2917937483] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0755 geometric_solution 4.69868267 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.740647054779 0.141955372721 0 0 2 2 2310 0132 2310 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 -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 1.633757324415 0.650148157178 3 1 1 4 0132 3201 0132 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 -1 1 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.908818822637 0.332142902054 2 4 5 4 0132 0321 0132 2031 0 0 0 0 0 1 0 -1 0 0 1 -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 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.679553508078 0.636913224266 5 3 2 3 1023 1302 0132 0321 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.679553508078 0.636913224266 6 4 6 3 0132 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 1 -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.642778425666 0.756822102587 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 -1 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 0 -1 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.524112251497 0.144792679390 ==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' : negation(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' : negation(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' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(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_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0011_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 8791027605232301337636519627644196398/19118306816573939877691432227\ 9796555*c_0101_5^19 + 1043815795288147823620710418038205619/1911830\ 68165739398776914322279796555*c_0101_5^18 + 94788056705550696642415452936397363498/3823661363314787975538286445\ 5959311*c_0101_5^17 - 46375801132324241314131292359718382892/382366\ 13633147879755382864455959311*c_0101_5^16 - 5493310398434822289359826655571388181321/19118306816573939877691432\ 2279796555*c_0101_5^15 - 233882159449122281951603255710131219236/19\ 1183068165739398776914322279796555*c_0101_5^14 + 3123154761869733843710069482159397414352/38236613633147879755382864\ 455959311*c_0101_5^13 - 8748436048841779636762152076208193918756/19\ 1183068165739398776914322279796555*c_0101_5^12 - 39026900160489838053425049232884328596869/1911830681657393987769143\ 22279796555*c_0101_5^11 + 4336068899514627292902470420037735628508/\ 191183068165739398776914322279796555*c_0101_5^10 + 31905237303648156172011723087190738381968/1911830681657393987769143\ 22279796555*c_0101_5^9 + 2704170010471694124303692600946814231801/1\ 91183068165739398776914322279796555*c_0101_5^8 - 2194603242095585746968120308035270402154/38236613633147879755382864\ 455959311*c_0101_5^7 - 2655822595500906828104487856982890791331/191\ 183068165739398776914322279796555*c_0101_5^6 + 4330660817199531359209542248275655441982/19118306816573939877691432\ 2279796555*c_0101_5^5 + 1562991999190540979414204367975398794927/19\ 1183068165739398776914322279796555*c_0101_5^4 - 1537891685216974464161136166374947439947/19118306816573939877691432\ 2279796555*c_0101_5^3 - 199362821469244879689439062597256940771/191\ 183068165739398776914322279796555*c_0101_5^2 + 207197124438379136365643536301759459718/191183068165739398776914322\ 279796555*c_0101_5 + 38148648628080229069735750653461507999/1911830\ 68165739398776914322279796555, c_0011_0 - 1, c_0011_2 - 6836589240672144030092941711497565/3823661363314787975538286\ 4455959311*c_0101_5^19 + 2904748906382789497735826963935420/3823661\ 3633147879755382864455959311*c_0101_5^18 + 367914874278381140872666066597113188/382366136331478797553828644559\ 59311*c_0101_5^17 - 293272958388650109765596630222435087/3823661363\ 3147879755382864455959311*c_0101_5^16 - 4194874550759574907451700951200186893/38236613633147879755382864455\ 959311*c_0101_5^15 + 1123589457860860974047956608975253900/38236613\ 633147879755382864455959311*c_0101_5^14 + 11947903313316934205726876800013021315/3823661363314787975538286445\ 5959311*c_0101_5^13 - 10630338858889984195950536018551116913/382366\ 13633147879755382864455959311*c_0101_5^12 - 27640597135156238815899746750406957664/3823661363314787975538286445\ 5959311*c_0101_5^11 + 12485444472094314671239792007760411572/382366\ 13633147879755382864455959311*c_0101_5^10 + 22056417518278855367253547462271862791/3823661363314787975538286445\ 5959311*c_0101_5^9 - 6040128303940885206255289455890770663/38236613\ 633147879755382864455959311*c_0101_5^8 - 8316114767664108957562042629703070389/38236613633147879755382864455\ 959311*c_0101_5^7 + 1027678514596881800948503858281420769/382366136\ 33147879755382864455959311*c_0101_5^6 + 3926350276173961735609481379401712374/38236613633147879755382864455\ 959311*c_0101_5^5 + 37052889740924161372637518390152361/38236613633\ 147879755382864455959311*c_0101_5^4 - 1446935524534656814147160222930889642/38236613633147879755382864455\ 959311*c_0101_5^3 + 249990565793956796585285423623818691/3823661363\ 3147879755382864455959311*c_0101_5^2 + 211700431863828491199844265880148368/382366136331478797553828644559\ 59311*c_0101_5 - 16298501149108408458821846792947987/38236613633147\ 879755382864455959311, c_0011_4 - 11018285353138557673079110687859776/382366136331478797553828\ 64455959311*c_0101_5^19 + 2677630091996739601754861008064669/382366\ 13633147879755382864455959311*c_0101_5^18 + 594245643976462441324483968413282062/382366136331478797553828644559\ 59311*c_0101_5^17 - 365210196020852035966964370777020252/3823661363\ 3147879755382864455959311*c_0101_5^16 - 6869758357536043735650626223526665272/38236613633147879755382864455\ 959311*c_0101_5^15 + 610847263913416651187938906621862680/382366136\ 33147879755382864455959311*c_0101_5^14 + 19820826627647628037108583558780211142/3823661363314787975538286445\ 5959311*c_0101_5^13 - 13803113469223511017310277891073875228/382366\ 13633147879755382864455959311*c_0101_5^12 - 48121975272668318348479767082543490400/3823661363314787975538286445\ 5959311*c_0101_5^11 + 12939071707006115066327609883503510667/382366\ 13633147879755382864455959311*c_0101_5^10 + 39968048455373115347434456630742106196/3823661363314787975538286445\ 5959311*c_0101_5^9 - 4072965641486758541820953037305901822/38236613\ 633147879755382864455959311*c_0101_5^8 - 14728474020742967105428745412787561184/3823661363314787975538286445\ 5959311*c_0101_5^7 - 577485203986818069522082572469494919/382366136\ 33147879755382864455959311*c_0101_5^6 + 6191789085713281098967429868383932001/38236613633147879755382864455\ 959311*c_0101_5^5 + 1162279479745366943193161662949035218/382366136\ 33147879755382864455959311*c_0101_5^4 - 2330042463012603054054974133433227382/38236613633147879755382864455\ 959311*c_0101_5^3 + 135781085844285103264889086728680672/3823661363\ 3147879755382864455959311*c_0101_5^2 + 339845740250979511715947653585157975/382366136331478797553828644559\ 59311*c_0101_5 - 16483793611641374487838292845820010/38236613633147\ 879755382864455959311, c_0101_0 + 5471816976199628353013846823126765/3823661363314787975538286\ 4455959311*c_0101_5^19 + 398978521317855443449067661817096/38236613\ 633147879755382864455959311*c_0101_5^18 - 295307622649317221859063983426576532/382366136331478797553828644559\ 59311*c_0101_5^17 + 87944913071433745311460573430530774/38236613633\ 147879755382864455959311*c_0101_5^16 + 3457022375353817453649325842490995754/38236613633147879755382864455\ 959311*c_0101_5^15 + 788710170464168453211743029239942239/382366136\ 33147879755382864455959311*c_0101_5^14 - 9808467677209699365574407886797412706/38236613633147879755382864455\ 959311*c_0101_5^13 + 3670631473727985366628868604554250950/38236613\ 633147879755382864455959311*c_0101_5^12 + 25695051290943256087045093541658821349/3823661363314787975538286445\ 5959311*c_0101_5^11 + 1431312428671044290540159607652987815/3823661\ 3633147879755382864455959311*c_0101_5^10 - 21117799381894606557495934081111270721/3823661363314787975538286445\ 5959311*c_0101_5^9 - 4514132938255652752179603128349239051/38236613\ 633147879755382864455959311*c_0101_5^8 + 7027092640309925738672655414305774023/38236613633147879755382864455\ 959311*c_0101_5^7 + 2016042408382099113371011768398183990/382366136\ 33147879755382864455959311*c_0101_5^6 - 2557917513198518490342878164157726343/38236613633147879755382864455\ 959311*c_0101_5^5 - 1221722151417584271169837237659833661/382366136\ 33147879755382864455959311*c_0101_5^4 + 943192530243229769435150382863527602/382366136331478797553828644559\ 59311*c_0101_5^3 + 244687375606479614577918887313973123/38236613633\ 147879755382864455959311*c_0101_5^2 - 167861771708259126417021154131068194/382366136331478797553828644559\ 59311*c_0101_5 - 11182332012110025060902421182539269/38236613633147\ 879755382864455959311, c_0101_1 + 1341893178053492062414650443578488/3823661363314787975538286\ 4455959311*c_0101_5^19 + 2674668093600804954284746175588527/3823661\ 3633147879755382864455959311*c_0101_5^18 - 73188406493448916159792652849339673/3823661363314787975538286445595\ 9311*c_0101_5^17 - 116827481228149813689463898633823676/38236613633\ 147879755382864455959311*c_0101_5^16 + 940248663433209510451113134188248470/382366136331478797553828644559\ 59311*c_0101_5^15 + 1766269297515473317466636905407006870/382366136\ 33147879755382864455959311*c_0101_5^14 - 2593883368252786574536397076574567051/38236613633147879755382864455\ 959311*c_0101_5^13 - 3415714636125410506497214189941481918/38236613\ 633147879755382864455959311*c_0101_5^12 + 9493794391669621655717602957860295615/38236613633147879755382864455\ 959311*c_0101_5^11 + 10599382439252865920351601576487719967/3823661\ 3633147879755382864455959311*c_0101_5^10 - 7549717215686696126121875131868259572/38236613633147879755382864455\ 959311*c_0101_5^9 - 8774230498351610064866140848526134588/382366136\ 33147879755382864455959311*c_0101_5^8 + 1385149940083754112093381892772387288/38236613633147879755382864455\ 959311*c_0101_5^7 + 2712502590033717916305323503886505570/382366136\ 33147879755382864455959311*c_0101_5^6 - 161071714171648328894445974784374871/382366136331478797553828644559\ 59311*c_0101_5^5 - 1197484736247092376391772261639244895/3823661363\ 3147879755382864455959311*c_0101_5^4 + 33120299810793537077109281030619335/3823661363314787975538286445595\ 9311*c_0101_5^3 + 438792730801624233769783033825382369/382366136331\ 47879755382864455959311*c_0101_5^2 - 40073141395523528022500568847008481/3823661363314787975538286445595\ 9311*c_0101_5 - 32028350347045281737981918252073156/382366136331478\ 79755382864455959311, c_0101_3 - 6419725114279058270870709951180987/3823661363314787975538286\ 4455959311*c_0101_5^19 - 38749625577074525521713154764959/382366136\ 33147879755382864455959311*c_0101_5^18 + 346959407477110545666503992126406320/382366136331478797553828644559\ 59311*c_0101_5^17 - 127093976475716297743291609110919101/3823661363\ 3147879755382864455959311*c_0101_5^16 - 4073369268776672125026299740260052447/38236613633147879755382864455\ 959311*c_0101_5^15 - 605516617868477587608789562997069411/382366136\ 33147879755382864455959311*c_0101_5^14 + 11813909207857292976599630660247755812/3823661363314787975538286445\ 5959311*c_0101_5^13 - 5445359077821123148002332820090335673/3823661\ 3633147879755382864455959311*c_0101_5^12 - 30424174287741502001209392601480069961/3823661363314787975538286445\ 5959311*c_0101_5^11 + 1661225754704865940837737463531110645/3823661\ 3633147879755382864455959311*c_0101_5^10 + 25596610390939160314337753434510300455/3823661363314787975538286445\ 5959311*c_0101_5^9 + 1760432855870265790762568522050857987/38236613\ 633147879755382864455959311*c_0101_5^8 - 8956089840027314891879675380162595479/38236613633147879755382864455\ 959311*c_0101_5^7 - 1478998254335186425136615511322381852/382366136\ 33147879755382864455959311*c_0101_5^6 + 3464580056705261544248272483475326873/38236613633147879755382864455\ 959311*c_0101_5^5 + 1204381066204726924933009344478051360/382366136\ 33147879755382864455959311*c_0101_5^4 - 1284823098585059953028451818900624269/38236613633147879755382864455\ 959311*c_0101_5^3 - 64547166435054983942409081969691485/38236613633\ 147879755382864455959311*c_0101_5^2 + 227155018450725035525085008895798914/382366136331478797553828644559\ 59311*c_0101_5 - 3860752593701384810915076793117444/382366136331478\ 79755382864455959311, c_0101_5^20 - 54*c_0101_5^18 + 20*c_0101_5^17 + 632*c_0101_5^16 + 98*c_0101_5^15 - 1819*c_0101_5^14 + 792*c_0101_5^13 + 4689*c_0101_5^12 - 67*c_0101_5^11 - 3999*c_0101_5^10 - 635*c_0101_5^9 + 1469*c_0101_5^8 + 422*c_0101_5^7 - 548*c_0101_5^6 - 241*c_0101_5^5 + 192*c_0101_5^4 + 49*c_0101_5^3 - 35*c_0101_5^2 - 6*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB