Magma V2.19-8 Tue Aug 20 2013 16:14:16 on localhost [Seed = 3819077571] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s245 geometric_solution 4.40875790 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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 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.604633440495 0.181600955899 0 2 2 0 3201 0132 1023 0132 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 1 0 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.351978002025 0.444862156154 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 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 -1 0 1 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332000685314 0.608114861605 2 4 4 5 0132 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.099883332915 0.791726979428 3 5 2 3 2310 0132 0132 3201 0 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.099883332915 0.791726979428 5 4 3 5 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.671008363942 1.140338273386 ==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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 178848574670516860654051621795397/211748678053083967793577439382984\ *c_0101_3^20 + 539114618645232547270299405904601/105874339026541983\ 896788719691492*c_0101_3^19 - 3614666264952614689133094340088777/21\ 1748678053083967793577439382984*c_0101_3^18 - 1193215941613089342237685944612571/26468584756635495974197179922873\ *c_0101_3^17 - 2800971171844137514097302192943995/52937169513270991\ 948394359845746*c_0101_3^16 + 36585590648637892567595314785211573/2\ 11748678053083967793577439382984*c_0101_3^15 - 46915521180482208056044534598973707/2117486780530839677935774393829\ 84*c_0101_3^14 - 162888834327319981088016638461525287/2117486780530\ 83967793577439382984*c_0101_3^13 + 61608816142073176890685256119413212/2646858475663549597419717992287\ 3*c_0101_3^12 + 19987232898362880325823451773160917/211748678053083\ 967793577439382984*c_0101_3^11 + 5206882878776055275110549957037098\ 7/105874339026541983896788719691492*c_0101_3^10 - 66462229067331528169402566185325469/5293716951327099194839435984574\ 6*c_0101_3^9 - 348175040357115969712027294708567405/105874339026541\ 983896788719691492*c_0101_3^8 + 25743987723830201668517093602650058\ 9/105874339026541983896788719691492*c_0101_3^7 + 132232594274019587846387444596592605/105874339026541983896788719691\ 492*c_0101_3^6 - 40530079858389245383632127183406071/26468584756635\ 495974197179922873*c_0101_3^5 + 56968983979289992348065807318432085\ /211748678053083967793577439382984*c_0101_3^4 + 8792292219572914879944236290669559/52937169513270991948394359845746\ *c_0101_3^3 - 13597219505642779009006570082658543/21174867805308396\ 7793577439382984*c_0101_3^2 + 6749472075396219422437185185125727/10\ 5874339026541983896788719691492*c_0101_3 + 3253561371550784070630295373393597/21174867805308396779357743938298\ 4, c_0011_0 - 1, c_0011_1 + 5769785999116796708557423252/20630229740167962567573795731*c\ _0101_3^20 + 51688018461145941969951139649/206302297401679625675737\ 95731*c_0101_3^19 + 51964811338069320327504402036/20630229740167962\ 567573795731*c_0101_3^18 + 1235876931585176423572965087/20630229740\ 167962567573795731*c_0101_3^17 - 177864854336912262822376222229/206\ 30229740167962567573795731*c_0101_3^16 + 648654383690103317470890375180/20630229740167962567573795731*c_0101\ _3^15 - 232558704213152991690707399061/2063022974016796256757379573\ 1*c_0101_3^14 - 4190610999397465331995204085717/2063022974016796256\ 7573795731*c_0101_3^13 + 3403984479269508746176783031918/2063022974\ 0167962567573795731*c_0101_3^12 - 2291220829216524708863699847355/2\ 0630229740167962567573795731*c_0101_3^11 + 3999484041441014903079122858019/20630229740167962567573795731*c_010\ 1_3^10 + 1323211513002261364897540010664/20630229740167962567573795\ 731*c_0101_3^9 - 6539157956846090717449115579767/206302297401679625\ 67573795731*c_0101_3^8 + 4486070893195653935354673639558/2063022974\ 0167962567573795731*c_0101_3^7 + 886327828131040207817436265349/206\ 30229740167962567573795731*c_0101_3^6 - 2561268183624882376313237845886/20630229740167962567573795731*c_010\ 1_3^5 + 1305725477034902875256707653980/206302297401679625675737957\ 31*c_0101_3^4 - 277750866463376100398551324464/20630229740167962567\ 573795731*c_0101_3^3 - 63551892548263932290348404404/20630229740167\ 962567573795731*c_0101_3^2 + 52272837794931810957153081969/20630229\ 740167962567573795731*c_0101_3 - 22012821191828789102277929811/2063\ 0229740167962567573795731, c_0011_4 - 9038340867317726406717699724230/2646858475663549597419717992\ 2873*c_0101_3^20 - 78423479686939195264144243805282/264685847566354\ 95974197179922873*c_0101_3^19 - 57393165050648669895046852300487/26\ 468584756635495974197179922873*c_0101_3^18 + 32117189338297992340557608447713/26468584756635495974197179922873*c\ _0101_3^17 + 292990340751579981813077489072242/26468584756635495974\ 197179922873*c_0101_3^16 - 1091396056437242414312144294705504/26468\ 584756635495974197179922873*c_0101_3^15 + 611070800468974019453427509909014/26468584756635495974197179922873*\ c_0101_3^14 + 6582563280625404826356276826509813/264685847566354959\ 74197179922873*c_0101_3^13 - 7197395132802650880018338959976823/264\ 68584756635495974197179922873*c_0101_3^12 + 4211793924084731827827890076503116/26468584756635495974197179922873\ *c_0101_3^11 - 6823890387519034759897362598240613/26468584756635495\ 974197179922873*c_0101_3^10 - 626859085717157111746307554118451/264\ 68584756635495974197179922873*c_0101_3^9 + 11728144676000679147253376637178677/2646858475663549597419717992287\ 3*c_0101_3^8 - 9370722138423049397895819663492022/26468584756635495\ 974197179922873*c_0101_3^7 - 631605067054853185306381845973643/2646\ 8584756635495974197179922873*c_0101_3^6 + 4812019955211465461275531521282582/26468584756635495974197179922873\ *c_0101_3^5 - 2985912440479347303212655706745383/264685847566354959\ 74197179922873*c_0101_3^4 + 686801880851069018142139778901826/26468\ 584756635495974197179922873*c_0101_3^3 + 167222423812083359347421990881845/26468584756635495974197179922873*\ c_0101_3^2 - 158266092269210619083329167524218/26468584756635495974\ 197179922873*c_0101_3 + 35503213217682083447510616571483/2646858475\ 6635495974197179922873, c_0101_0 - 31292319909849436339189005308950/264685847566354959741971799\ 22873*c_0101_3^20 - 289656509088697909723218956978231/2646858475663\ 5495974197179922873*c_0101_3^19 - 357930504452145449635335403737851\ /26468584756635495974197179922873*c_0101_3^18 - 16632000004796305418542960815390/26468584756635495974197179922873*c\ _0101_3^17 + 1098025694157445904257876807806688/2646858475663549597\ 4197179922873*c_0101_3^16 - 3134595787536971245114738674235591/2646\ 8584756635495974197179922873*c_0101_3^15 + 12318925267898739961670069045382/26468584756635495974197179922873*c\ _0101_3^14 + 23709786482289570062855026298181365/264685847566354959\ 74197179922873*c_0101_3^13 - 11285998765842955464614756695238433/26\ 468584756635495974197179922873*c_0101_3^12 + 1572830332634790447877432808242419/26468584756635495974197179922873\ *c_0101_3^11 - 18944139387521188003730497189912464/2646858475663549\ 5974197179922873*c_0101_3^10 - 14754236945656760130544669948939875/\ 26468584756635495974197179922873*c_0101_3^9 + 37494967481731326141302192650384906/2646858475663549597419717992287\ 3*c_0101_3^8 - 7535519235398612637520213012626483/26468584756635495\ 974197179922873*c_0101_3^7 - 16731390227571004466910089256215569/26\ 468584756635495974197179922873*c_0101_3^6 + 10698380933067161271656014148600664/2646858475663549597419717992287\ 3*c_0101_3^5 - 590975288375038653412020011740009/264685847566354959\ 74197179922873*c_0101_3^4 - 1074328216689360774119023172234854/2646\ 8584756635495974197179922873*c_0101_3^3 + 732142292443740199432267909445646/26468584756635495974197179922873*\ c_0101_3^2 - 84200487249209199712817095522605/264685847566354959741\ 97179922873*c_0101_3 - 52701576120937566432557325654491/26468584756\ 635495974197179922873, c_0101_2 - 7913345908714218970611276478842/2646858475663549597419717992\ 2873*c_0101_3^20 - 74519922501696257464734726880270/264685847566354\ 95974197179922873*c_0101_3^19 - 101493662765561707194961923528169/2\ 6468584756635495974197179922873*c_0101_3^18 - 11512405006821888980647851158463/26468584756635495974197179922873*c\ _0101_3^17 + 286214298361116088187284048299629/26468584756635495974\ 197179922873*c_0101_3^16 - 745462819509562466471399321609169/264685\ 84756635495974197179922873*c_0101_3^15 - 148398727207976003918895589495489/26468584756635495974197179922873*\ c_0101_3^14 + 6075704273200450482201278711874900/264685847566354959\ 74197179922873*c_0101_3^13 - 1897278130308011455139314874192582/264\ 68584756635495974197179922873*c_0101_3^12 - 627726102099876304528739432309519/26468584756635495974197179922873*\ c_0101_3^11 - 4448935493588445495685263549525536/264685847566354959\ 74197179922873*c_0101_3^10 - 4699813834331454728881622782294517/264\ 68584756635495974197179922873*c_0101_3^9 + 9413200998449404318602758877738426/26468584756635495974197179922873\ *c_0101_3^8 - 74851542712963693207053947502863/26468584756635495974\ 197179922873*c_0101_3^7 - 5338440378733876005421590892830410/264685\ 84756635495974197179922873*c_0101_3^6 + 2298668756232563700811327079722839/26468584756635495974197179922873\ *c_0101_3^5 + 469916153037390395035039383147409/2646858475663549597\ 4197179922873*c_0101_3^4 - 507902506717930674594978419991316/264685\ 84756635495974197179922873*c_0101_3^3 + 214305287570393275763545011969270/26468584756635495974197179922873*\ c_0101_3^2 - 9211870330024678744834395224213/2646858475663549597419\ 7179922873*c_0101_3 - 19034198638385508903651593199687/264685847566\ 35495974197179922873, c_0101_3^21 + 9*c_0101_3^20 + 9*c_0101_3^19 - 3*c_0101_3^18 - 36*c_0101_3^17 + 109*c_0101_3^16 - 24*c_0101_3^15 - 764*c_0101_3^14 + 555*c_0101_3^13 - 95*c_0101_3^12 + 597*c_0101_3^11 + 326*c_0101_3^10 - 1358*c_0101_3^9 + 516*c_0101_3^8 + 544*c_0101_3^7 - 498*c_0101_3^6 + 81*c_0101_3^5 + 51*c_0101_3^4 - 39*c_0101_3^3 + 9*c_0101_3^2 + 3*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB