Magma V2.19-8 Tue Aug 20 2013 16:14:46 on localhost [Seed = 240095848] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s762 geometric_solution 5.30210028 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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 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.440673292106 0.539465313524 3 2 4 0 0132 3012 0132 0132 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 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.671528718789 0.871217205931 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 -1 1 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 -1 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 0.671528718789 0.871217205931 1 2 5 5 0132 0132 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 1 -1 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.390831846392 1.461405643243 4 2 4 1 2031 2310 1302 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.418060377035 1.175247832939 3 5 5 3 3201 3201 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 -1 0 1 -1 0 1 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.644913004698 0.495104741754 ==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' : 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_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 74002536154523765858662/5900889263351215324615*c_0101_1^19 - 23655826259475612294073/1180177852670243064923*c_0101_1^18 - 1527105363213583005223554/5900889263351215324615*c_0101_1^17 + 138985007750551306120257/5900889263351215324615*c_0101_1^16 + 6519323584032438042435873/5900889263351215324615*c_0101_1^15 - 3149964173996809169794163/5900889263351215324615*c_0101_1^14 - 16867186528286290255722184/5900889263351215324615*c_0101_1^13 + 3170344084885020695704976/1180177852670243064923*c_0101_1^12 + 45431274575639093026860257/5900889263351215324615*c_0101_1^11 - 19810332802906644716900494/5900889263351215324615*c_0101_1^10 - 15283739376266227038119061/1180177852670243064923*c_0101_1^9 - 468492206343325244807066/1180177852670243064923*c_0101_1^8 + 58108558478412739917582621/5900889263351215324615*c_0101_1^7 + 21709784871495626171775816/5900889263351215324615*c_0101_1^6 - 21590372927686590978843926/5900889263351215324615*c_0101_1^5 - 21718990001907598639040546/5900889263351215324615*c_0101_1^4 + 5458257515468100600326402/5900889263351215324615*c_0101_1^3 + 6182909342913906322384941/5900889263351215324615*c_0101_1^2 - 591651382802173802213109/5900889263351215324615*c_0101_1 - 636362252226576112938384/5900889263351215324615, c_0011_0 - 1, c_0011_1 - 1334724975205362721523/1180177852670243064923*c_0101_1^19 + 3492524589066464091617/1180177852670243064923*c_0101_1^18 + 23783526983857807696777/1180177852670243064923*c_0101_1^17 - 26188956835527846162629/1180177852670243064923*c_0101_1^16 - 87306746055553287018208/1180177852670243064923*c_0101_1^15 + 141654263027314128096374/1180177852670243064923*c_0101_1^14 + 146601606832007943584192/1180177852670243064923*c_0101_1^13 - 413999701523012230184438/1180177852670243064923*c_0101_1^12 - 375446299060700252610416/1180177852670243064923*c_0101_1^11 + 678357910562062078545291/1180177852670243064923*c_0101_1^10 + 628895408490532084652328/1180177852670243064923*c_0101_1^9 - 497446606797484633740932/1180177852670243064923*c_0101_1^8 - 438143608716184057030364/1180177852670243064923*c_0101_1^7 - 8771468095516937136136/1180177852670243064923*c_0101_1^6 + 322606032254270430432407/1180177852670243064923*c_0101_1^5 + 40581750084224702816356/1180177852670243064923*c_0101_1^4 - 93061150324316469233432/1180177852670243064923*c_0101_1^3 - 2525610416999188945928/1180177852670243064923*c_0101_1^2 + 7629319662701328772480/1180177852670243064923*c_0101_1 + 83256823824959229659/1180177852670243064923, c_0011_4 + 448251417994274224052/1180177852670243064923*c_0101_1^19 - 1209291278382456018670/1180177852670243064923*c_0101_1^18 - 7892975804773685870838/1180177852670243064923*c_0101_1^17 + 9423760114311138069673/1180177852670243064923*c_0101_1^16 + 28659874514770484152323/1180177852670243064923*c_0101_1^15 - 49556278661897079066403/1180177852670243064923*c_0101_1^14 - 45510934672140825952961/1180177852670243064923*c_0101_1^13 + 141664101443671693931558/1180177852670243064923*c_0101_1^12 + 115851476415161698809833/1180177852670243064923*c_0101_1^11 - 235191777236762221882046/1180177852670243064923*c_0101_1^10 - 196519025385794249883893/1180177852670243064923*c_0101_1^9 + 175167286541234617308981/1180177852670243064923*c_0101_1^8 + 136395838054433861725411/1180177852670243064923*c_0101_1^7 + 4054987291387305208203/1180177852670243064923*c_0101_1^6 - 104021579834990703850189/1180177852670243064923*c_0101_1^5 - 9378141255839921875459/1180177852670243064923*c_0101_1^4 + 27058239813670742568685/1180177852670243064923*c_0101_1^3 - 970997164854639777708/1180177852670243064923*c_0101_1^2 - 1690214959371979768236/1180177852670243064923*c_0101_1 + 736067225565105323279/1180177852670243064923, c_0011_5 - 1141015317753045369284/1180177852670243064923*c_0101_1^19 + 3103979688319025183185/1180177852670243064923*c_0101_1^18 + 20162705093749751528031/1180177852670243064923*c_0101_1^17 - 24842901422768430689017/1180177852670243064923*c_0101_1^16 - 74863777786009866384059/1180177852670243064923*c_0101_1^15 + 131173172308611802640338/1180177852670243064923*c_0101_1^14 + 122207389207238899142692/1180177852670243064923*c_0101_1^13 - 379996048628956263187423/1180177852670243064923*c_0101_1^12 - 301207384649764569207046/1180177852670243064923*c_0101_1^11 + 652547040477001612710040/1180177852670243064923*c_0101_1^10 + 522771267114335247712766/1180177852670243064923*c_0101_1^9 - 541098625435505437407585/1180177852670243064923*c_0101_1^8 - 406173859281554253571669/1180177852670243064923*c_0101_1^7 + 62418496752975044063310/1180177852670243064923*c_0101_1^6 + 326194284072997766693286/1180177852670243064923*c_0101_1^5 + 24836690583180301604846/1180177852670243064923*c_0101_1^4 - 112438841328812487105793/1180177852670243064923*c_0101_1^3 - 5180989325775018579619/1180177852670243064923*c_0101_1^2 + 12427455121545342143197/1180177852670243064923*c_0101_1 + 1302464435498155512845/1180177852670243064923, c_0101_0 - 1728671955182984547973/1180177852670243064923*c_0101_1^19 + 4120388103886510571166/1180177852670243064923*c_0101_1^18 + 32209538999395282239464/1180177852670243064923*c_0101_1^17 - 27639008099011446042756/1180177852670243064923*c_0101_1^16 - 127270875936389880705353/1180177852670243064923*c_0101_1^15 + 163557307411400429511685/1180177852670243064923*c_0101_1^14 + 255479121338164217606820/1180177852670243064923*c_0101_1^13 - 527113858905511463527171/1180177852670243064923*c_0101_1^12 - 649881569665555493913598/1180177852670243064923*c_0101_1^11 + 867982147911720044799047/1180177852670243064923*c_0101_1^10 + 1121294805136439295986902/1180177852670243064923*c_0101_1^9 - 615826888328182055318430/1180177852670243064923*c_0101_1^8 - 886049376601783723220321/1180177852670243064923*c_0101_1^7 - 43610461244213652904218/1180177852670243064923*c_0101_1^6 + 523875705427083005745323/1180177852670243064923*c_0101_1^5 + 176934739716408790536297/1180177852670243064923*c_0101_1^4 - 180768550738956338446149/1180177852670243064923*c_0101_1^3 - 48147626596047022108922/1180177852670243064923*c_0101_1^2 + 23776834568557961942869/1180177852670243064923*c_0101_1 + 3698646904223411624872/1180177852670243064923, c_0101_1^20 - 3*c_0101_1^19 - 17*c_0101_1^18 + 27*c_0101_1^17 + 61*c_0101_1^16 - 136*c_0101_1^15 - 80*c_0101_1^14 + 376*c_0101_1^13 + 176*c_0101_1^12 - 680*c_0101_1^11 - 309*c_0101_1^10 + 665*c_0101_1^9 + 243*c_0101_1^8 - 216*c_0101_1^7 - 287*c_0101_1^6 + 76*c_0101_1^5 + 130*c_0101_1^4 - 30*c_0101_1^3 - 21*c_0101_1^2 + 4*c_0101_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB