Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 2598045252] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1487 geometric_solution 5.30035988 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3201 0132 0132 2310 0 0 0 0 0 0 1 -1 1 0 0 -1 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 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.100268016472 0.923630332099 3 0 4 2 0132 0132 0132 2031 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 0 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.663040395888 0.714733053013 4 1 3 0 2310 1302 0132 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 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.663040395888 0.714733053013 1 3 3 2 0132 1230 3012 0132 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 0 0 0 0 0 0 0 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.302404859193 0.751981791529 5 5 2 1 0132 2310 3201 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 1 0 -1 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.035153597068 0.472021682783 4 6 6 4 0132 0132 3201 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 -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.466558213239 0.588643405955 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.572230387244 1.123482255301 ==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_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' : 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' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_2'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : d['c_0011_2'], '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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 754600101734183293101708606970/363901899109573316806032731*c_0101_6\ ^30 - 20018869389991252664345443086193/363901899109573316806032731*\ c_0101_6^28 + 227518238951298213296694499920898/3639018991095733168\ 06032731*c_0101_6^26 - 3650785131131643201938597650327145/363901899\ 109573316806032731*c_0101_6^24 + 1739957075801249004323362223464250\ 5/363901899109573316806032731*c_0101_6^22 - 42845616731406171857217906454260371/363901899109573316806032731*c_0\ 101_6^20 + 70622604506192562506792730893616807/36390189910957331680\ 6032731*c_0101_6^18 - 86330084460538924747779559381951101/363901899\ 109573316806032731*c_0101_6^16 + 8071212791375919803877680543400936\ 1/363901899109573316806032731*c_0101_6^14 - 56501587805837740192773709577327111/363901899109573316806032731*c_0\ 101_6^12 + 28488069016438767071399616726616774/36390189910957331680\ 6032731*c_0101_6^10 - 9911071554272452080625013188379953/3639018991\ 09573316806032731*c_0101_6^8 + 2253819536982745178021547501845938/3\ 63901899109573316806032731*c_0101_6^6 - 314933510651558126362606465957389/363901899109573316806032731*c_010\ 1_6^4 + 27103037827432122132770801733796/36390189910957331680603273\ 1*c_0101_6^2 - 1607413814701666161838723316752/36390189910957331680\ 6032731, c_0011_0 - 1, c_0011_2 + 47401335569573365549772220286/363901899109573316806032731*c_\ 0101_6^31 - 1259676791139068146824224137341/36390189910957331680603\ 2731*c_0101_6^29 + 14348348152890449349794415381292/363901899109573\ 316806032731*c_0101_6^27 - 229957889149482903857327817515272/363901\ 899109573316806032731*c_0101_6^25 + 1103177364426174151711835144035460/363901899109573316806032731*c_01\ 01_6^23 - 2737029685838061967372972376494591/3639018991095733168060\ 32731*c_0101_6^21 + 4540059638658369573316475545322479/363901899109\ 573316806032731*c_0101_6^19 - 5582012014075975955151065872769205/36\ 3901899109573316806032731*c_0101_6^17 + 5250822910877287555835875966450931/363901899109573316806032731*c_01\ 01_6^15 - 3704502252690917788919387379472857/3639018991095733168060\ 32731*c_0101_6^13 + 1885793393865093371299869793033798/363901899109\ 573316806032731*c_0101_6^11 - 663168503018185673079755941012600/363\ 901899109573316806032731*c_0101_6^9 + 152413518649864162305494793917386/363901899109573316806032731*c_010\ 1_6^7 - 21428036503023354505396945451032/36390189910957331680603273\ 1*c_0101_6^5 + 1839489538415068572287039011337/36390189910957331680\ 6032731*c_0101_6^3 - 111666149132448965618415655807/363901899109573\ 316806032731*c_0101_6, c_0011_4 - 24644728473243234662471681188/363901899109573316806032731*c_\ 0101_6^31 + 654195684209263144279304153082/363901899109573316806032\ 731*c_0101_6^29 - 7440757254563480136593062351058/36390189910957331\ 6806032731*c_0101_6^27 + 119343932543901213122961718213799/36390189\ 9109573316806032731*c_0101_6^25 - 570085336438845705137871956525941\ /363901899109573316806032731*c_0101_6^23 + 1407160970915301533539269064479704/363901899109573316806032731*c_01\ 01_6^21 - 2323567773797242495723783040968824/3639018991095733168060\ 32731*c_0101_6^19 + 2844793055706827159514271994122800/363901899109\ 573316806032731*c_0101_6^17 - 2663876777963351825475333659227521/36\ 3901899109573316806032731*c_0101_6^15 + 1868426864169949271594554689360396/363901899109573316806032731*c_01\ 01_6^13 - 944054384960193431581264155884126/36390189910957331680603\ 2731*c_0101_6^11 + 329143538213503717363427359060451/36390189910957\ 3316806032731*c_0101_6^9 - 74998188372404542355074937135606/3639018\ 99109573316806032731*c_0101_6^7 + 10497702095200090706779608322971/\ 363901899109573316806032731*c_0101_6^5 - 904696090042709819556058012860/363901899109573316806032731*c_0101_6\ ^3 + 52721517811558872528204287960/363901899109573316806032731*c_01\ 01_6, c_0101_0 + 26618109402361441858463678475/363901899109573316806032731*c_\ 0101_6^31 - 705377879118163926444882037033/363901899109573316806032\ 731*c_0101_6^29 + 8005222036662120364405589785991/36390189910957331\ 6806032731*c_0101_6^27 - 128551788604587427076594528344693/36390189\ 9109573316806032731*c_0101_6^25 + 610075465819478151108643179998765\ /363901899109573316806032731*c_0101_6^23 - 1494631693873667348835681248856597/363901899109573316806032731*c_01\ 01_6^21 + 2452525096249906904661882840650390/3639018991095733168060\ 32731*c_0101_6^19 - 2985337368652886196987902335550994/363901899109\ 573316806032731*c_0101_6^17 + 2778269451219624366581162627834664/36\ 3901899109573316806032731*c_0101_6^15 - 1933284965268361006558924514056559/363901899109573316806032731*c_01\ 01_6^13 + 967255779877153214586559657097525/36390189910957331680603\ 2731*c_0101_6^11 - 333449304820101528654055372261426/36390189910957\ 3316806032731*c_0101_6^9 + 75105604291965660231514318333423/3639018\ 99109573316806032731*c_0101_6^7 - 10431029980259051847456115065984/\ 363901899109573316806032731*c_0101_6^5 + 899000060537277857219261778060/363901899109573316806032731*c_0101_6\ ^3 - 51304051011687327885086855313/363901899109573316806032731*c_01\ 01_6, c_0101_1 + 5627622586308641601460889450/363901899109573316806032731*c_0\ 101_6^30 - 149495959853582415664019525055/3639018991095733168060327\ 31*c_0101_6^28 + 1701930911460177856957432463081/363901899109573316\ 806032731*c_0101_6^26 - 27283007734392487448311934292761/3639018991\ 09573316806032731*c_0101_6^24 + 130685844592255511677508783751551/3\ 63901899109573316806032731*c_0101_6^22 - 323427170296576403859014859424755/363901899109573316806032731*c_010\ 1_6^20 + 534902473195989653059610546884217/363901899109573316806032\ 731*c_0101_6^18 - 655595315052023369946172595108327/363901899109573\ 316806032731*c_0101_6^16 + 614407170207035584977958735954694/363901\ 899109573316806032731*c_0101_6^14 - 431207818684038237033599604988291/363901899109573316806032731*c_010\ 1_6^12 + 217763741320573104056438724585348/363901899109573316806032\ 731*c_0101_6^10 - 75700578307425886316238239854632/3639018991095733\ 16806032731*c_0101_6^8 + 17132082316934277224477388061784/363901899\ 109573316806032731*c_0101_6^6 - 2369049277420543023649330851090/363\ 901899109573316806032731*c_0101_6^4 + 202451815914263855882429551416/363901899109573316806032731*c_0101_6\ ^2 - 11997921963566378765245365617/363901899109573316806032731, c_0101_3 + 22042128691698086922686230097/363901899109573316806032731*c_\ 0101_6^30 - 586958405821640910584831920526/363901899109573316806032\ 731*c_0101_6^28 + 6703399989642204073415645995989/36390189910957331\ 6806032731*c_0101_6^26 - 107281650404776178517538675926722/36390189\ 9109573316806032731*c_0101_6^24 + 518642418192078155889246457877035\ /363901899109573316806032731*c_0101_6^22 - 1298210746198362324833139084614657/363901899109573316806032731*c_01\ 01_6^20 + 2169602119934555613255597178097716/3639018991095733168060\ 32731*c_0101_6^18 - 2685928619937643124836731455285360/363901899109\ 573316806032731*c_0101_6^16 + 2545092122992025852286063224335590/36\ 3901899109573316806032731*c_0101_6^14 - 1812361058948763950531985952566399/363901899109573316806032731*c_01\ 01_6^12 + 933437520976952076084738833324783/36390189910957331680603\ 2731*c_0101_6^10 - 332840156517901439858974570704244/36390189910957\ 3316806032731*c_0101_6^8 + 77716119908712312101816431547025/3639018\ 99109573316806032731*c_0101_6^6 - 11100784953668860032639284073522/\ 363901899109573316806032731*c_0101_6^4 + 963060965606824859407513551349/363901899109573316806032731*c_0101_6\ ^2 - 59144735699266959497237114164/363901899109573316806032731, c_0101_6^32 - 27*c_0101_6^30 + 314*c_0101_6^28 - 4980*c_0101_6^26 + 25336*c_0101_6^24 - 67634*c_0101_6^22 + 120313*c_0101_6^20 - 158446*c_0101_6^18 + 160788*c_0101_6^16 - 125193*c_0101_6^14 + 72969*c_0101_6^12 - 30886*c_0101_6^10 + 9161*c_0101_6^8 - 1821*c_0101_6^6 + 232*c_0101_6^4 - 19*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB