Magma V2.19-8 Tue Aug 20 2013 16:18:16 on localhost [Seed = 4071845830] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2480 geometric_solution 5.81261258 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 2031 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.883856477396 1.097508739234 0 4 5 3 0132 0132 0132 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.192799998573 0.811348489743 3 0 5 0 3012 0132 0321 1302 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 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.635245520168 0.493110358029 5 1 0 2 1230 0321 0132 1230 0 0 0 0 0 -1 1 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 1 -1 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.383750093918 0.619417033845 5 1 6 6 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.067406751709 0.606117635656 4 3 2 1 0132 3012 0321 0132 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 1 -1 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.192799998573 0.811348489743 4 6 6 4 3201 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.954194623200 0.853960512967 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_2']), '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' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_0'], '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_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : 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_0110_2']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0110_2']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_1001_2']})} 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_3, c_0011_6, c_0101_1, c_0101_2, c_0110_2, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1142229590727325568997/2710294142534655427*c_1001_2^20 + 34616039659606652354598/18972058997742587989*c_1001_2^19 + 141450996203874015942701/37944117995485175978*c_1001_2^18 - 1742572248053385728951815/75888235990970351956*c_1001_2^17 - 90897143639552155642152/18972058997742587989*c_1001_2^16 + 8324432771879859761614657/75888235990970351956*c_1001_2^15 - 746670476953228111606411/18972058997742587989*c_1001_2^14 - 10114668548487276370208897/37944117995485175978*c_1001_2^13 + 3232008090972576226517161/18972058997742587989*c_1001_2^12 + 13711174589967591588392707/37944117995485175978*c_1001_2^11 - 22933777239950670252822777/75888235990970351956*c_1001_2^10 - 20552517566448339441458267/75888235990970351956*c_1001_2^9 + 5443039674278788494428174/18972058997742587989*c_1001_2^8 + 7199232865341833065307543/75888235990970351956*c_1001_2^7 - 1618158170467480547147389/10841176570138621708*c_1001_2^6 - 4398669835735799420129/10841176570138621708*c_1001_2^5 + 2906078330128351971403579/75888235990970351956*c_1001_2^4 - 158821446639509808048611/18972058997742587989*c_1001_2^3 - 240171207259652746124097/75888235990970351956*c_1001_2^2 + 3766670321524513684396/2710294142534655427*c_1001_2 - 8720220419097721323549/75888235990970351956, c_0011_0 - 1, c_0011_3 + 170063629145668471164/2710294142534655427*c_1001_2^20 - 605507559694232293563/2710294142534655427*c_1001_2^19 - 2089194159278432063035/2710294142534655427*c_1001_2^18 + 8171963870743796626368/2710294142534655427*c_1001_2^17 + 9292687354322170307019/2710294142534655427*c_1001_2^16 - 43575055148377645708744/2710294142534655427*c_1001_2^15 - 19303782617962952218290/2710294142534655427*c_1001_2^14 + 123682706498524637785810/2710294142534655427*c_1001_2^13 + 17251020379238662935460/2710294142534655427*c_1001_2^12 - 208594948008330080996010/2710294142534655427*c_1001_2^11 + 3103367146910588970010/2710294142534655427*c_1001_2^10 + 217661685318205470309076/2710294142534655427*c_1001_2^9 - 21465483190727263379734/2710294142534655427*c_1001_2^8 - 140307153065862038384241/2710294142534655427*c_1001_2^7 + 20077059437111621138608/2710294142534655427*c_1001_2^6 + 53608158544335833609564/2710294142534655427*c_1001_2^5 - 8559803833840721472826/2710294142534655427*c_1001_2^4 - 10947305986206834644532/2710294142534655427*c_1001_2^3 + 1643186382816497933396/2710294142534655427*c_1001_2^2 + 911642813590667859034/2710294142534655427*c_1001_2 - 109902221642839420057/2710294142534655427, c_0011_6 + 47452256311740987777/2710294142534655427*c_1001_2^20 - 143293092925334107026/2710294142534655427*c_1001_2^19 - 610314667461951132274/2710294142534655427*c_1001_2^18 + 1787424446462465365954/2710294142534655427*c_1001_2^17 + 2943227004945400068963/2710294142534655427*c_1001_2^16 - 8511232854861679801004/2710294142534655427*c_1001_2^15 - 7233408077371240691378/2710294142534655427*c_1001_2^14 + 20620363110464559501756/2710294142534655427*c_1001_2^13 + 10017127361061147520935/2710294142534655427*c_1001_2^12 - 27811715014978445358613/2710294142534655427*c_1001_2^11 - 7751131614011534129538/2710294142534655427*c_1001_2^10 + 20826288108270754918510/2710294142534655427*c_1001_2^9 + 2863505558371588184482/2710294142534655427*c_1001_2^8 - 7613274076910338829388/2710294142534655427*c_1001_2^7 - 205195154176854278275/2710294142534655427*c_1001_2^6 + 479595399297806854788/2710294142534655427*c_1001_2^5 - 18805316305652826813/2710294142534655427*c_1001_2^4 + 447324026999292714485/2710294142534655427*c_1001_2^3 - 66643750498858313255/2710294142534655427*c_1001_2^2 - 81411241498043013413/2710294142534655427*c_1001_2 + 17081207022151927395/2710294142534655427, c_0101_1 + 35181171785016265092/2710294142534655427*c_1001_2^20 - 129417649519190120139/2710294142534655427*c_1001_2^19 - 385511029891766330146/2710294142534655427*c_1001_2^18 + 1639607627359958920006/2710294142534655427*c_1001_2^17 + 1338049153766738578233/2710294142534655427*c_1001_2^16 - 7984802105421785623932/2710294142534655427*c_1001_2^15 - 1284148468889250888935/2710294142534655427*c_1001_2^14 + 20185160964974110852991/2710294142534655427*c_1001_2^13 - 2650646762139254424313/2710294142534655427*c_1001_2^12 - 29663763627850161905847/2710294142534655427*c_1001_2^11 + 8263530311803465429660/2710294142534655427*c_1001_2^10 + 26552390610811603030416/2710294142534655427*c_1001_2^9 - 9096211946312370345531/2710294142534655427*c_1001_2^8 - 14640404132858620469200/2710294142534655427*c_1001_2^7 + 4979219365104171592234/2710294142534655427*c_1001_2^6 + 4894019875043668354591/2710294142534655427*c_1001_2^5 - 1378640177033616094275/2710294142534655427*c_1001_2^4 - 940136679314557469031/2710294142534655427*c_1001_2^3 + 178638149735459588335/2710294142534655427*c_1001_2^2 + 78780204123472087001/2710294142534655427*c_1001_2 - 7086838346100156698/2710294142534655427, c_0101_2 + 29391397465904436375/2710294142534655427*c_1001_2^20 - 90781960211717033658/2710294142534655427*c_1001_2^19 - 405136949556484118514/2710294142534655427*c_1001_2^18 + 1249210505354728035854/2710294142534655427*c_1001_2^17 + 2135062613213776561756/2710294142534655427*c_1001_2^16 - 6869148690998195464767/2710294142534655427*c_1001_2^15 - 5709068187347470693182/2710294142534655427*c_1001_2^14 + 20231754066508315796440/2710294142534655427*c_1001_2^13 + 8267649087727621532366/2710294142534655427*c_1001_2^12 - 35482237321910029114063/2710294142534655427*c_1001_2^11 - 5852532909401010665472/2710294142534655427*c_1001_2^10 + 38403708617910705302785/2710294142534655427*c_1001_2^9 + 503214913887156848916/2710294142534655427*c_1001_2^8 - 25381845323134466615031/2710294142534655427*c_1001_2^7 + 2034315362797829767550/2710294142534655427*c_1001_2^6 + 9652451562182976975859/2710294142534655427*c_1001_2^5 - 1231987111064127741284/2710294142534655427*c_1001_2^4 - 1853101307554644852900/2710294142534655427*c_1001_2^3 + 232720038610581468219/2710294142534655427*c_1001_2^2 + 132362781434820183137/2710294142534655427*c_1001_2 - 10793578629760480999/2710294142534655427, c_0110_2 - 329996135151227966631/5420588285069310854*c_1001_2^20 + 599893046507977809456/2710294142534655427*c_1001_2^19 + 1965097335537139584743/2710294142534655427*c_1001_2^18 - 8000385722589347762862/2710294142534655427*c_1001_2^17 - 16548771646832880125195/5420588285069310854*c_1001_2^16 + 83881704107049564945951/5420588285069310854*c_1001_2^15 + 30928549006602299202237/5420588285069310854*c_1001_2^14 - 233164449230483241745459/5420588285069310854*c_1001_2^13 - 9737221379364981419320/2710294142534655427*c_1001_2^12 + 383984873748556587880641/5420588285069310854*c_1001_2^11 - 10848187135103820481177/2710294142534655427*c_1001_2^10 - 195222428082972257960660/2710294142534655427*c_1001_2^9 + 50182992966258874269795/5420588285069310854*c_1001_2^8 + 122523655895582177064002/2710294142534655427*c_1001_2^7 - 20110692167795296844186/2710294142534655427*c_1001_2^6 - 45610400655806227464461/2710294142534655427*c_1001_2^5 + 7993335313674938008771/2710294142534655427*c_1001_2^4 + 18162807951856576495677/5420588285069310854*c_1001_2^3 - 2980587165524375072933/5420588285069310854*c_1001_2^2 - 1468253953899476916373/5420588285069310854*c_1001_2 + 195997057601956311887/5420588285069310854, c_1001_2^21 - 30/7*c_1001_2^20 - 197/21*c_1001_2^19 + 1168/21*c_1001_2^18 + 118/7*c_1001_2^17 - 5864/21*c_1001_2^16 + 542/7*c_1001_2^15 + 15373/21*c_1001_2^14 - 8515/21*c_1001_2^13 - 23458/21*c_1001_2^12 + 5671/7*c_1001_2^11 + 21535/21*c_1001_2^10 - 6204/7*c_1001_2^9 - 11636/21*c_1001_2^8 + 1702/3*c_1001_2^7 + 159*c_1001_2^6 - 1459/7*c_1001_2^5 - 113/7*c_1001_2^4 + 838/21*c_1001_2^3 - 5/3*c_1001_2^2 - 64/21*c_1001_2 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB