Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 1899031955] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2032 geometric_solution 5.56978222 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0.587380516732 0.150903984681 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 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 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.815556224147 0.259397689827 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 0 -1 0 1 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 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 1.176768505384 0.694427981763 4 2 6 5 3120 0132 0132 0132 0 0 0 0 0 1 -1 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 -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.463851641704 0.580381798411 5 6 2 3 3201 1023 0132 3120 0 0 0 0 0 0 0 0 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 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.463851641704 0.580381798411 5 5 3 4 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 0 0 0 0 0 0 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.159691151756 1.051413677814 4 6 6 3 1023 1230 3012 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -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 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.135143626566 0.911224159931 ==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' : 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_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_6'], '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_4, c_0011_5, c_0101_0, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 25577455401618165895138328168410850317/1315422569154417480658715678\ 24881985*c_0101_6^31 - 791298012432613970284020047182695512051/1315\ 42256915441748065871567824881985*c_0101_6^29 + 1852153521845775315059405358010120353100/26308451383088349613174313\ 564976397*c_0101_6^27 - 11394804228203282447280460446418382883480/2\ 6308451383088349613174313564976397*c_0101_6^25 + 274054935680766659385181937009425311339094/131542256915441748065871\ 567824881985*c_0101_6^23 - 1490942598758272859541180672427391488522\ 181/131542256915441748065871567824881985*c_0101_6^21 + 1249949995896725121831449290142483829103538/26308451383088349613174\ 313564976397*c_0101_6^19 - 1505191739651800314626143268882841371516\ 7701/131542256915441748065871567824881985*c_0101_6^17 + 20091720824804207228046237301831080740968671/1315422569154417480658\ 71567824881985*c_0101_6^15 - 15817011713676471519109125510892603509\ 534163/131542256915441748065871567824881985*c_0101_6^13 + 8033665672900862268604441560961999141851663/13154225691544174806587\ 1567824881985*c_0101_6^11 - 297361001484769515068620901058161322591\ 3767/131542256915441748065871567824881985*c_0101_6^9 + 173291553510792995578180364216938804219347/263084513830883496131743\ 13564976397*c_0101_6^7 - 178472879723548763981191720067346113640036\ /131542256915441748065871567824881985*c_0101_6^5 + 20105807252731539156599084315363670993636/1315422569154417480658715\ 67824881985*c_0101_6^3 - 839784887268796544576214450512679929034/13\ 1542256915441748065871567824881985*c_0101_6, c_0011_0 - 1, c_0011_1 + 41962391945790808472559167874437176/131542256915441748065871\ 567824881985*c_0101_6^30 - 1301591025338811569707962199549745423/13\ 1542256915441748065871567824881985*c_0101_6^28 + 3058609026833978981898635009378192076/26308451383088349613174313564\ 976397*c_0101_6^26 - 18909522556534327078164077190826328783/2630845\ 1383088349613174313564976397*c_0101_6^24 + 455458507858610210011401881406050437347/131542256915441748065871567\ 824881985*c_0101_6^22 - 2472363783047143580958015337492401991758/13\ 1542256915441748065871567824881985*c_0101_6^20 + 2080799753128831676398251587360132718290/26308451383088349613174313\ 564976397*c_0101_6^18 - 25262633979682500632534899221008917126863/1\ 31542256915441748065871567824881985*c_0101_6^16 + 33909404388225548548437232244816108361253/1315422569154417480658715\ 67824881985*c_0101_6^14 - 26363138712924858223144167085606240229719\ /131542256915441748065871567824881985*c_0101_6^12 + 12843626403904147325030207850658764715214/1315422569154417480658715\ 67824881985*c_0101_6^10 - 4510291869702563066796277453564314862836/\ 131542256915441748065871567824881985*c_0101_6^8 + 253794483813964448646954189739595343821/263084513830883496131743135\ 64976397*c_0101_6^6 - 237222387131430791621474932863880487073/13154\ 2256915441748065871567824881985*c_0101_6^4 + 18372077089205268112431495344019848743/1315422569154417480658715678\ 24881985*c_0101_6^2 - 256319770602887187610294872457635832/13154225\ 6915441748065871567824881985, c_0011_4 - 74811474347797074993827794989032334/131542256915441748065871\ 567824881985*c_0101_6^30 + 2299729474316286405432051645594686742/13\ 1542256915441748065871567824881985*c_0101_6^28 - 5327033479545479448198238638852804883/26308451383088349613174313564\ 976397*c_0101_6^26 + 32287682571522267406100923623496777921/2630845\ 1383088349613174313564976397*c_0101_6^24 - 770258005537671193943302870213318184698/131542256915441748065871567\ 824881985*c_0101_6^22 + 4211927411878172078612686054587820189712/13\ 1542256915441748065871567824881985*c_0101_6^20 - 3492672798231451755383622658707480659928/26308451383088349613174313\ 564976397*c_0101_6^18 + 40658199540365314444854321887973264348587/1\ 31542256915441748065871567824881985*c_0101_6^16 - 51052421760413344589176429289077941700637/1315422569154417480658715\ 67824881985*c_0101_6^14 + 36846989005446676840038833425660369155491\ /131542256915441748065871567824881985*c_0101_6^12 - 16948559979466937534222698814559431340706/1315422569154417480658715\ 67824881985*c_0101_6^10 + 5795257971575958093296817117579228390689/\ 131542256915441748065871567824881985*c_0101_6^8 - 313334102226106933861393118294455572356/263084513830883496131743135\ 64976397*c_0101_6^6 + 267989506857034603411312861509184256422/13154\ 2256915441748065871567824881985*c_0101_6^4 - 18682631258487522611587774710519236662/1315422569154417480658715678\ 24881985*c_0101_6^2 + 243979170572858957923452644106985213/13154225\ 6915441748065871567824881985, c_0011_5 - 117148706431840890419148747895155143/13154225691544174806587\ 1567824881985*c_0101_6^30 + 3600724320251137194385803070506092984/1\ 31542256915441748065871567824881985*c_0101_6^28 - 8338923230317246875017371725732448761/26308451383088349613174313564\ 976397*c_0101_6^26 + 50529310919896125289345530723750421433/2630845\ 1383088349613174313564976397*c_0101_6^24 - 1205306482348172471877454132151244846491/13154225691544174806587156\ 7824881985*c_0101_6^22 + 6591652217313818481039436477675346725714/1\ 31542256915441748065871567824881985*c_0101_6^20 - 5464862928973628569107081694099537558700/26308451383088349613174313\ 564976397*c_0101_6^18 + 63582294581966679737558971294277212167534/1\ 31542256915441748065871567824881985*c_0101_6^16 - 79788950996472603911952172638697900977169/1315422569154417480658715\ 67824881985*c_0101_6^14 + 57608161475129647975413396214834378764047\ /131542256915441748065871567824881985*c_0101_6^12 - 26579149056280011112769927382900207773742/1315422569154417480658715\ 67824881985*c_0101_6^10 + 9131930947734919307869713751367156621003/\ 131542256915441748065871567824881985*c_0101_6^8 - 495179076342087724289428030351580651327/263084513830883496131743135\ 64976397*c_0101_6^6 + 428346175459396328643950130623451524929/13154\ 2256915441748065871567824881985*c_0101_6^4 - 31715383752373240900755375472924965774/1315422569154417480658715678\ 24881985*c_0101_6^2 + 452807524442759507323825007639997761/13154225\ 6915441748065871567824881985, c_0101_0 + 50697212798824398021030415475919564/131542256915441748065871\ 567824881985*c_0101_6^31 - 1566000687171694671311180821594884292/13\ 1542256915441748065871567824881985*c_0101_6^29 + 3656110825226428828884185147058525132/26308451383088349613174313564\ 976397*c_0101_6^27 - 22409783668488854018652867322539718380/2630845\ 1383088349613174313564976397*c_0101_6^25 + 537800742578726782769862985696902642893/131542256915441748065871567\ 824881985*c_0101_6^23 - 2929190875224275270038380303313509637022/13\ 1542256915441748065871567824881985*c_0101_6^21 + 2449207326034315352275660891952677961745/26308451383088349613174313\ 564976397*c_0101_6^19 - 29241735592253653999363364750897575170272/1\ 31542256915441748065871567824881985*c_0101_6^17 + 38396612533740191385089735566587565553632/1315422569154417480658715\ 67824881985*c_0101_6^15 - 29434562939853179578566423094198507987991\ /131542256915441748065871567824881985*c_0101_6^13 + 14401472508344697776287867781850189773796/1315422569154417480658715\ 67824881985*c_0101_6^11 - 5145222473473389681528814831543395534154/\ 131542256915441748065871567824881985*c_0101_6^9 + 293199394091291958588326636070275212989/263084513830883496131743135\ 64976397*c_0101_6^7 - 283854078017420596348342241367433892467/13154\ 2256915441748065871567824881985*c_0101_6^5 + 26589279794225424868109201171562564862/1315422569154417480658715678\ 24881985*c_0101_6^3 - 1168851478122519742751699532120696903/1315422\ 56915441748065871567824881985*c_0101_6, c_0101_5 - 411671878998154505040595665546654/26308451383088349613174313\ 564976397*c_0101_6^31 + 11775045800506556968196040719948000/2630845\ 1383088349613174313564976397*c_0101_6^29 - 119596255735716056194512160866069778/263084513830883496131743135649\ 76397*c_0101_6^27 + 577502221604428011193813445040945708/2630845138\ 3088349613174313564976397*c_0101_6^25 - 2368721364657712338093607486001346692/26308451383088349613174313564\ 976397*c_0101_6^23 + 14301287110245413047400226158329634138/2630845\ 1383088349613174313564976397*c_0101_6^21 - 47447676641962829506327532800669988613/2630845138308834961317431356\ 4976397*c_0101_6^19 + 23108571436271146744845376968684590490/263084\ 51383088349613174313564976397*c_0101_6^17 + 176785459500844779270849020651999231657/263084513830883496131743135\ 64976397*c_0101_6^15 - 345995763206619941675309734665567837250/2630\ 8451383088349613174313564976397*c_0101_6^13 + 269262833961610574124296276560037736343/263084513830883496131743135\ 64976397*c_0101_6^11 - 115430963142578840489069503955865461816/2630\ 8451383088349613174313564976397*c_0101_6^9 + 37412358158892487434472798896279455208/2630845138308834961317431356\ 4976397*c_0101_6^7 - 9872088334632039762769655705054364257/26308451\ 383088349613174313564976397*c_0101_6^5 + 1123115057528792892180582715160335968/26308451383088349613174313564\ 976397*c_0101_6^3 + 15707174416246796006663378435864507/26308451383\ 088349613174313564976397*c_0101_6, c_0101_6^32 - 31*c_0101_6^30 + 364*c_0101_6^28 - 2250*c_0101_6^26 + 10852*c_0101_6^24 - 58949*c_0101_6^22 + 247934*c_0101_6^20 - 603438*c_0101_6^18 + 820932*c_0101_6^16 - 664313*c_0101_6^14 + 348931*c_0101_6^12 - 133313*c_0101_6^10 + 40013*c_0101_6^8 - 8713*c_0101_6^6 + 1122*c_0101_6^4 - 66*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB