Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 3120047452] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0781 geometric_solution 4.72190445 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 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 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.603030462688 0.239787073520 2 0 3 0 0132 2310 0132 0132 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 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.965081478322 0.329584241062 1 3 3 4 0132 0213 3012 0132 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 0 -1 1 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.779663861390 0.665219101210 4 2 2 1 0132 1230 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.779663861390 0.665219101210 3 5 2 5 0132 0132 0132 1023 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 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 2.085895594298 0.900309732603 6 4 6 4 0132 0132 1023 1023 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 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.597533601045 0.384363500638 5 6 5 6 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.575385130173 0.094354487330 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], '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_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_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_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_1']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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_3, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1402893612397982216735299307/57981366622323286531881504*c_0101_6^16 + 13719381194740356949908382415/57981366622323286531881504*c_0101_6\ ^15 + 1124183540343618913805152319/28990683311161643265940752*c_010\ 1_6^14 - 143025513825139602879222776101/57981366622323286531881504*\ c_0101_6^13 + 105466190254666409567279316731/2899068331116164326594\ 0752*c_0101_6^12 + 306511484750158354726055344303/28990683311161643\ 265940752*c_0101_6^11 - 1270667748888858323606843235211/57981366622\ 323286531881504*c_0101_6^10 + 437541870078722576063183594939/193271\ 22207441095510627168*c_0101_6^9 - 149029357052134545042863256415/72\ 47670827790410816485188*c_0101_6^8 - 55179134282859862658041030235/19327122207441095510627168*c_0101_6^7 + 1517452526612920601352206985257/57981366622323286531881504*c_0101\ _6^6 - 315011875128670078534950170317/9663561103720547755313584*c_0\ 101_6^5 + 54610065949511674538933487529/1811917706947602704121297*c\ _0101_6^4 - 1186732070957196602626462097579/57981366622323286531881\ 504*c_0101_6^3 + 143785174204272864315366269579/1449534165558082163\ 2970376*c_0101_6^2 - 192404616702762690453860414819/579813666223232\ 86531881504*c_0101_6 + 25702592590864600845527104903/57981366622323\ 286531881504, c_0011_0 - 1, c_0011_1 - 86098546160151294048791/1207945137965068469414198*c_0101_6^1\ 6 - 441118974895549123764114/603972568982534234707099*c_0101_6^15 - 278864710607831651760226/603972568982534234707099*c_0101_6^14 + 8442910878697270984886903/1207945137965068469414198*c_0101_6^13 - 9036180071643303758753721/1207945137965068469414198*c_0101_6^12 - 41100938035359684453705207/1207945137965068469414198*c_0101_6^11 + 28976686329033993515291480/603972568982534234707099*c_0101_6^10 - 57144328891926553098957891/1207945137965068469414198*c_0101_6^9 + 51901783367289596905856005/1207945137965068469414198*c_0101_6^8 + 15333482726115607317813333/603972568982534234707099*c_0101_6^7 - 75751561185697137776370599/1207945137965068469414198*c_0101_6^6 + 82372086471640095007012059/1207945137965068469414198*c_0101_6^5 - 73655365253927929945201021/1207945137965068469414198*c_0101_6^4 + 21994974347451602076349173/603972568982534234707099*c_0101_6^3 - 9775748071276994376058465/603972568982534234707099*c_0101_6^2 + 5656904166423069960010335/1207945137965068469414198*c_0101_6 - 501225723788889329019751/603972568982534234707099, c_0011_3 + 433601366252593419694365/1207945137965068469414198*c_0101_6^\ 16 + 2085193767366602540163806/603972568982534234707099*c_0101_6^15 - 6224674764775662124770/603972568982534234707099*c_0101_6^14 - 44556309526785800492807721/1207945137965068469414198*c_0101_6^13 + 72181364954995138605271677/1207945137965068469414198*c_0101_6^12 + 181271066518520794827581845/1207945137965068469414198*c_0101_6^11 - 212873035567469696340306275/603972568982534234707099*c_0101_6^10 + 457713297700597969285966715/1207945137965068469414198*c_0101_6^9 - 417976122640094560906148291/1207945137965068469414198*c_0101_6^8 - 2940813150863589258195887/603972568982534234707099*c_0101_6^7 + 490695251528754895641580509/1207945137965068469414198*c_0101_6^6 - 651707123937437081430809833/1207945137965068469414198*c_0101_6^5 + 613106446499788426513238643/1207945137965068469414198*c_0101_6^4 - 215563429155470546888257570/603972568982534234707099*c_0101_6^3 + 108382323728305794698609827/603972568982534234707099*c_0101_6^2 - 75740925737799661213931925/1207945137965068469414198*c_0101_6 + 6181450679195698261356593/603972568982534234707099, c_0101_0 - 265611873842694583967455/1207945137965068469414198*c_0101_6^\ 16 - 1274696364135144815431875/603972568982534234707099*c_0101_6^15 + 30922737633309714416592/603972568982534234707099*c_0101_6^14 + 27324531020783416830761997/1207945137965068469414198*c_0101_6^13 - 44802292350458506204636757/1207945137965068469414198*c_0101_6^12 - 110659149038753657699198261/1207945137965068469414198*c_0101_6^11 + 131892460846454334885815244/603972568982534234707099*c_0101_6^10 - 283556621791013688647635547/1207945137965068469414198*c_0101_6^9 + 256110686917489921353300895/1207945137965068469414198*c_0101_6^8 - 232265118224961273860376/603972568982534234707099*c_0101_6^7 - 303376137863010628246625225/1207945137965068469414198*c_0101_6^6 + 403048094862557156153121781/1207945137965068469414198*c_0101_6^5 - 375000539719631011540780611/1207945137965068469414198*c_0101_6^4 + 134950478603285215276990545/603972568982534234707099*c_0101_6^3 - 67877142108681351981991657/603972568982534234707099*c_0101_6^2 + 47704502347752101154004297/1207945137965068469414198*c_0101_6 - 4278561690543209201938766/603972568982534234707099, c_0101_1 - 31114618712676629817432/603972568982534234707099*c_0101_6^16 - 355528476829604521750250/603972568982534234707099*c_0101_6^15 - 584554490830043942186397/603972568982534234707099*c_0101_6^14 + 2742692019770572836602979/603972568982534234707099*c_0101_6^13 + 290447800785461090163267/603972568982534234707099*c_0101_6^12 - 18033193355338968866114999/603972568982534234707099*c_0101_6^11 + 2643042515577777925704265/603972568982534234707099*c_0101_6^10 + 804995217331822045505467/603972568982534234707099*c_0101_6^9 - 619571329902732960931630/603972568982534234707099*c_0101_6^8 + 27968405072478638439167082/603972568982534234707099*c_0101_6^7 - 11098976812378722107022425/603972568982534234707099*c_0101_6^6 + 1209325313534606924298647/603972568982534234707099*c_0101_6^5 + 2040335690353618796396259/603972568982534234707099*c_0101_6^4 - 8240662543736485639368064/603972568982534234707099*c_0101_6^3 + 5891368078211099129555782/603972568982534234707099*c_0101_6^2 - 2967837377951548795990772/603972568982534234707099*c_0101_6 + 1027439202843573501804793/603972568982534234707099, c_0101_5 + 63543388235194594148792/603972568982534234707099*c_0101_6^16 + 630953731380447956616973/603972568982534234707099*c_0101_6^15 + 192504574330061882529558/603972568982534234707099*c_0101_6^14 - 6490580914710662965983839/603972568982534234707099*c_0101_6^13 + 8559569108303572521949196/603972568982534234707099*c_0101_6^12 + 29466317415546881073861546/603972568982534234707099*c_0101_6^11 - 53607672744400815304918434/603972568982534234707099*c_0101_6^10 + 49377025164214806541835047/603972568982534234707099*c_0101_6^9 - 43393433834294054740618013/603972568982534234707099*c_0101_6^8 - 16404736249235384622820286/603972568982534234707099*c_0101_6^7 + 67629688951744263996057331/603972568982534234707099*c_0101_6^6 - 73492503798762655133427872/603972568982534234707099*c_0101_6^5 + 64499393090877124578139530/603972568982534234707099*c_0101_6^4 - 40588925887999358560430054/603972568982534234707099*c_0101_6^3 + 18244736639892168283329624/603972568982534234707099*c_0101_6^2 - 5280161416980986087872645/603972568982534234707099*c_0101_6 + 244260933305900800683665/603972568982534234707099, c_0101_6^17 + 9*c_0101_6^16 - 6*c_0101_6^15 - 103*c_0101_6^14 + 230*c_0101_6^13 + 318*c_0101_6^12 - 1245*c_0101_6^11 + 1651*c_0101_6^10 - 1588*c_0101_6^9 + 553*c_0101_6^8 + 1163*c_0101_6^7 - 2198*c_0101_6^6 + 2308*c_0101_6^5 - 1829*c_0101_6^4 + 1084*c_0101_6^3 - 465*c_0101_6^2 + 129*c_0101_6 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB