Magma V2.19-8 Fri Sep 13 2013 00:41:10 on localhost [Seed = 1480105289] Type ? for help. Type -D to quit. Loading file "m023__sl3_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation m023 geometric_solution 2.98912028 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 4 1 2 2 1 0132 0132 1023 3201 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 -1 0 1 1 0 0 -1 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203723267852 0.560667728005 0 0 3 3 0132 2310 2310 0132 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 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.154659644077 1.804008823480 3 0 0 3 3012 0132 1023 1230 0 0 0 0 0 0 1 -1 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 0 -1 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.203723267852 0.560667728005 2 1 1 2 3012 3201 0132 1230 0 0 0 0 0 0 0 0 1 0 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 1 0 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.251686680526 0.393228424280 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0102_0'], 'c_1020_3' : d['c_0102_0'], 'c_1020_0' : d['c_0102_0'], 'c_1020_1' : d['c_0201_1'], 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['c_0201_1'], 'c_0201_2' : d['c_0201_0'], 'c_0201_3' : d['c_0201_0'], 'c_2100_0' : d['c_0012_1'] * d['u'] ** 2, 'c_2100_1' : d['c_0021_3'], 'c_2100_2' : d['c_0012_0'], 'c_2100_3' : d['c_0021_3'], 'c_2010_2' : d['c_0201_0'], 'c_2010_3' : d['c_0201_0'], 'c_2010_0' : d['c_0201_0'], 'c_2010_1' : d['c_0102_1'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0102_1'], 'c_0102_2' : d['c_0102_0'], 'c_0102_3' : d['c_0102_0'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1011_3'], 'c_1101_2' : negation(d['c_1101_0']), 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0012_1'] * d['u'] ** 2, 'c_1200_3' : d['c_0012_3'], 'c_1200_0' : d['c_0012_0'], 'c_1200_1' : d['c_0012_3'], 'c_1110_2' : d['c_0111_3'], 'c_1110_3' : d['c_0111_2'], 'c_1110_0' : negation(d['c_1011_1']) * d['u'] ** 2, 'c_1110_1' : d['c_1101_3'], 'c_0120_0' : d['c_0102_1'] * d['u'] ** 2, 'c_0120_1' : d['c_0102_0'], 'c_0120_2' : d['c_0012_3'], 'c_0120_3' : d['c_0012_1'] * d['u'] ** 2, 'c_2001_0' : d['c_0201_0'], 'c_2001_1' : d['c_0102_0'], 'c_2001_2' : d['c_0201_0'], 'c_2001_3' : d['c_0102_1'], 'c_0012_2' : d['c_0012_1'] * d['u'] ** 2, 'c_0012_3' : d['c_0012_3'], 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']) * d['u'] ** 2, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0021_3'], 'c_0210_3' : d['c_0012_0'], 'c_0210_0' : d['c_0201_1'] * d['u'] ** 1, 'c_0210_1' : d['c_0201_0'], 'c_1002_2' : d['c_0102_0'], 'c_1002_3' : d['c_0201_1'], 'c_1002_0' : d['c_0102_0'], 'c_1002_1' : d['c_0201_0'], 'c_1011_2' : negation(d['c_1011_0']), 'c_1011_3' : d['c_1011_3'], 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'] * d['u'] ** 2, 'c_0021_1' : d['c_0012_0'] * d['u'] ** 2, 'c_0021_2' : d['c_0012_0'], 'c_0021_3' : d['c_0021_3']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 36364.210 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_1, c_0111_0, c_0111_2, c_0111_3, c_0201_0, c_0201_1, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 1/128*c_1101_3*u + 1/128*c_1101_3, c_0012_0 - 1, c_0012_1 + u + 1, c_0012_3 - 1/2*c_1101_3^2*u - 1/2*c_1101_3^2, c_0021_3 - c_1101_3, c_0102_0 - 1/4*c_1101_3^2*u, c_0102_1 + 1/4*c_1101_3^2*u + 1/4*c_1101_3^2, c_0111_0 - 1, c_0111_2 + 2*u + 2, c_0111_3 - 1/2*c_1101_3^2*u - 1/2*c_1101_3^2, c_0201_0 + 1/2*c_1101_3*u, c_0201_1 + 1/2*c_1101_3, c_1011_0 - u - 1, c_1011_1 + 1/4*c_1101_3^2*u + 1/4*c_1101_3^2, c_1011_3 + c_1101_3*u, c_1101_0 + 1/4*c_1101_3^2*u + 1/4*c_1101_3^2, c_1101_3^3 - 8*u - 8, u^2 + u + 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_1, c_0111_0, c_0111_2, c_0111_3, c_0201_0, c_0201_1, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 4*c_1101_3*u, c_0012_0 - 1, c_0012_1 - 1, c_0012_3 - c_1101_3^2*u, c_0021_3 + c_1101_3*u + c_1101_3, c_0102_0 - c_1101_3^2*u, c_0102_1 + 2*c_1101_3^2, c_0111_0 - 1, c_0111_2 - 1/2*u, c_0111_3 + 1/2*c_1101_3^2, c_0201_0 + c_1101_3*u + c_1101_3, c_0201_1 + 2*c_1101_3, c_1011_0 - 1/2, c_1011_1 + c_1101_3^2*u + c_1101_3^2, c_1011_3 + c_1101_3*u, c_1101_0 + 1/2*c_1101_3^2*u, c_1101_3^3 + u + 1, u^2 + u + 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_1, c_0111_0, c_0111_2, c_0111_3, c_0201_0, c_0201_1, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 272486056737721773076307/51934644217972204064936*c_1101_3^19*u + 8178268283451555592488/927404361035217929731*c_1101_3^19 - 495651812560490535753605/1854808722070435859462*c_1101_3^16*u - 11172490992589386057595493/7419234888281743437848*c_1101_3^16 - 313343855271161188738830939/25967322108986102032468*c_1101_3^13*u - 219860944848329800190786157/51934644217972204064936*c_1101_3^13 + 235659309975004967358723411/51934644217972204064936*c_1101_3^10*u + 431251613725643989323877395/51934644217972204064936*c_1101_3^10 + 3032401612231576213751329/1854808722070435859462*c_1101_3^7*u - 119509038510267226032099841/51934644217972204064936*c_1101_3^7 - 7233068465908097152718246/6491830527246525508117*c_1101_3^4*u - 140315748726758903181753/7419234888281743437848*c_1101_3^4 + 3992270941066235354671059/51934644217972204064936*c_1101_3*u + 1515251750619413530882969/25967322108986102032468*c_1101_3, c_0012_0 - 1, c_0012_1 - u, c_0012_3 + 9369295140561138155/16222816811111683902*c_1101_3^20*u + 4247673713756475908/8111408405555841951*c_1101_3^20 - 1158429718896468544073/16222816811111683902*c_1101_3^17*u - 1857461076384329218771/16222816811111683902*c_1101_3^17 - 1889289831727764956253/2703802801851947317*c_1101_3^14*u + 374159298931695412904/2703802801851947317*c_1101_3^14 + 10542645787918684574381/16222816811111683902*c_1101_3^11*u + 10096772508374687079097/16222816811111683902*c_1101_3^11 - 564325736294050141673/16222816811111683902*c_1101_3^8*u - 5193056803418483556715/16222816811111683902*c_1101_3^8 - 501272511633815748826/8111408405555841951*c_1101_3^5*u + 895517289238687034777/16222816811111683902*c_1101_3^5 + 125897122614772379555/16222816811111683902*c_1101_3^2*u + 7323609760801223951/8111408405555841951*c_1101_3^2, c_0021_3 - 5239432994297536753/16222816811111683902*c_1101_3^19*u - 2953453637113145701/8111408405555841951*c_1101_3^19 + 539582120922886672669/16222816811111683902*c_1101_3^16*u + 1171735540901755256393/16222816811111683902*c_1101_3^16 + 1321352161942337424131/2703802801851947317*c_1101_3^13*u + 37135481015102470385/2703802801851947317*c_1101_3^13 - 6079022785958914745917/16222816811111683902*c_1101_3^10*u - 6437963826657552119735/16222816811111683902*c_1101_3^10 + 7707529666171651357/16222816811111683902*c_1101_3^7*u + 3066511580307222370481/16222816811111683902*c_1101_3^7 + 316946923622477729846/8111408405555841951*c_1101_3^4*u - 561800976812185193161/16222816811111683902*c_1101_3^4 - 62346940656928827631/16222816811111683902*c_1101_3*u + 5333286039080491976/8111408405555841951*c_1101_3, c_0102_0 - 7928437381581038042/8111408405555841951*c_1101_3^20*u + 272855425948872463/16222816811111683902*c_1101_3^20 + 3338480076174439543831/16222816811111683902*c_1101_3^17*u + 729297650822951978014/8111408405555841951*c_1101_3^17 - 377456616362696763782/2703802801851947317*c_1101_3^14*u - 3866787852385357143001/2703802801851947317*c_1101_3^14 - 15774842770844830253047/16222816811111683902*c_1101_3^11*u + 619916403115249886219/8111408405555841951*c_1101_3^11 + 8886480468155794893415/16222816811111683902*c_1101_3^8*u + 3710564010607435085539/8111408405555841951*c_1101_3^8 - 1887992257182614093285/16222816811111683902*c_1101_3^5*u - 3131137260570678867067/16222816811111683902*c_1101_3^5 + 32601753112176143845/8111408405555841951*c_1101_3^2*u + 246598979350929929791/16222816811111683902*c_1101_3^2, c_0102_1 - 873947713048186339/16222816811111683902*c_1101_3^20*u - 9369295140561138155/16222816811111683902*c_1101_3^20 - 349515678743930337349/8111408405555841951*c_1101_3^17*u + 1158429718896468544073/16222816811111683902*c_1101_3^17 + 2263449130659460369157/2703802801851947317*c_1101_3^14*u + 1889289831727764956253/2703802801851947317*c_1101_3^14 - 222936639771998747642/8111408405555841951*c_1101_3^11*u - 10542645787918684574381/16222816811111683902*c_1101_3^11 - 2314365533562216707521/8111408405555841951*c_1101_3^8*u + 564325736294050141673/16222816811111683902*c_1101_3^8 + 1898062312506318532429/16222816811111683902*c_1101_3^5*u + 501272511633815748826/8111408405555841951*c_1101_3^5 - 111249903093169931653/16222816811111683902*c_1101_3^2*u - 125897122614772379555/16222816811111683902*c_1101_3^2, c_0111_0 - 1, c_0111_2 + 1, c_0111_3 - 978813904805232833/2703802801851947317*c_1101_3^20*u - 2566510441233783741/5407605603703894634*c_1101_3^20 + 167864838271371350937/5407605603703894634*c_1101_3^17*u + 239529403190969608964/2703802801851947317*c_1101_3^17 + 1732896607741922801989/2703802801851947317*c_1101_3^14*u + 281367365929106008932/2703802801851947317*c_1101_3^14 - 2204856474229155957727/5407605603703894634*c_1101_3^11*u - 1317262728462069422155/2703802801851947317*c_1101_3^11 - 19768760624790513369/5407605603703894634*c_1101_3^8*u + 623781145710510479264/2703802801851947317*c_1101_3^8 + 284740550000146106159/5407605603703894634*c_1101_3^5*u - 221438638499167372413/5407605603703894634*c_1101_3^5 - 27308048621902300972/2703802801851947317*c_1101_3^2*u + 5959705821960002083/5407605603703894634*c_1101_3^2, c_0201_0 + 770710996488470494/8111408405555841951*c_1101_3^19*u + 2064931073131800701/8111408405555841951*c_1101_3^19 + 33438968754496045487/8111408405555841951*c_1101_3^16*u - 309423798986790935702/8111408405555841951*c_1101_3^16 - 979232449732225415411/2703802801851947317*c_1101_3^13*u - 567937669785427532122/2703802801851947317*c_1101_3^13 + 402407160121317434551/8111408405555841951*c_1101_3^10*u + 2231811500979884914232/8111408405555841951*c_1101_3^10 + 784963508241691347959/8111408405555841951*c_1101_3^7*u - 278309103313939245158/8111408405555841951*c_1101_3^7 - 351183744224588939788/8111408405555841951*c_1101_3^4*u - 184325588011338018980/8111408405555841951*c_1101_3^4 + 19118195179040060035/8111408405555841951*c_1101_3*u + 31775090978921775962/8111408405555841951*c_1101_3, c_0201_1 + 2953453637113145701/8111408405555841951*c_1101_3^19*u + 667474279928754649/16222816811111683902*c_1101_3^19 - 1171735540901755256393/16222816811111683902*c_1101_3^16*u - 316076709989434291862/8111408405555841951*c_1101_3^16 - 37135481015102470385/2703802801851947317*c_1101_3^13*u + 1284216680927234953746/2703802801851947317*c_1101_3^13 + 6437963826657552119735/16222816811111683902*c_1101_3^10*u + 179470520349318686909/8111408405555841951*c_1101_3^10 - 3066511580307222370481/16222816811111683902*c_1101_3^7*u - 1529402025320525359562/8111408405555841951*c_1101_3^7 + 561800976812185193161/16222816811111683902*c_1101_3^4*u + 1195694824057140652853/16222816811111683902*c_1101_3^4 - 5333286039080491976/8111408405555841951*c_1101_3*u - 73013512735089811583/16222816811111683902*c_1101_3, c_1011_0 - 12738693591653766/2703802801851947317*c_1101_3^18*u + 626920725528599289/2703802801851947317*c_1101_3^18 + 61593373126837178590/2703802801851947317*c_1101_3^15*u - 70896911999416073454/2703802801851947317*c_1101_3^15 - 911909679250267672899/2703802801851947317*c_1101_3^12*u - 846875085724652660636/2703802801851947317*c_1101_3^12 + 65344908591063676185/2703802801851947317*c_1101_3^9*u + 730243305018831595597/2703802801851947317*c_1101_3^9 + 316327675362079612402/2703802801851947317*c_1101_3^6*u - 94478980213359575985/2703802801851947317*c_1101_3^6 - 154569837020519544482/2703802801851947317*c_1101_3^3*u - 65641980367053773513/2703802801851947317*c_1101_3^3 + 16900224353617185263/2703802801851947317*u + 12818711234312680322/2703802801851947317, c_1011_1 - 608882631623318075/5407605603703894634*c_1101_3^20*u + 978813904805232833/2703802801851947317*c_1101_3^20 + 311193968110567866991/5407605603703894634*c_1101_3^17*u - 167864838271371350937/5407605603703894634*c_1101_3^17 - 1451529241812816793057/2703802801851947317*c_1101_3^14*u - 1732896607741922801989/2703802801851947317*c_1101_3^14 - 429668982694982886583/5407605603703894634*c_1101_3^11*u + 2204856474229155957727/5407605603703894634*c_1101_3^11 + 1267331052045811471897/5407605603703894634*c_1101_3^8*u + 19768760624790513369/5407605603703894634*c_1101_3^8 - 253089594249656739286/2703802801851947317*c_1101_3^5*u - 284740550000146106159/5407605603703894634*c_1101_3^5 + 60575803065764604027/5407605603703894634*c_1101_3^2*u + 27308048621902300972/2703802801851947317*c_1101_3^2, c_1011_3 + c_1101_3*u, c_1101_0 + 797218892512844862/2703802801851947317*c_1101_3^20*u - 14002515341511978567/5407605603703894634*c_1101_3^20 - 1648970049930144510359/5407605603703894634*c_1101_3^17*u + 729867859292074867832/2703802801851947317*c_1101_3^17 + 10185848562264140976030/2703802801851947317*c_1101_3^14*u + 10421424073197900877996/2703802801851947317*c_1101_3^14 + 907475234302586023705/5407605603703894634*c_1101_3^11*u - 7440264401278626418626/2703802801851947317*c_1101_3^11 - 7459599069902404318575/5407605603703894634*c_1101_3^8*u + 299571773422412990556/2703802801851947317*c_1101_3^8 + 3029427710846947480941/5407605603703894634*c_1101_3^5*u + 1537786405566264865963/5407605603703894634*c_1101_3^5 - 127387841746974419990/2703802801851947317*c_1101_3^2*u - 227313538882092298051/5407605603703894634*c_1101_3^2, c_1101_3^21 + 94*c_1101_3^18*u - 115*c_1101_3^18 - 1452*c_1101_3^15*u - 1321*c_1101_3^15 + 127*c_1101_3^12*u + 1164*c_1101_3^12 + 493*c_1101_3^9*u - 151*c_1101_3^9 - 241*c_1101_3^6*u - 94*c_1101_3^6 + 31*c_1101_3^3*u + 23*c_1101_3^3 - u - 1, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 36364.220 Total time: 36364.419 seconds, Total memory usage: 19677.88MB