Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 139039983] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1833 geometric_solution 5.48672387 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 1 0 -1 -1 0 1 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 1.606793828802 0.566182445468 0 2 3 0 0132 0132 0132 3201 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 -1 1 1 0 -1 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.690559176715 0.498225059359 4 1 5 3 0132 0132 0132 3201 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199917101399 0.791461093952 5 2 4 1 1023 2310 1023 0132 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 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.199917101399 0.791461093952 2 4 3 4 0132 2310 1023 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 -1 1 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.573248447218 0.941377693437 6 3 6 2 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180737586524 1.896322615089 5 5 6 6 0132 3201 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 0.394489488831 0.124103099792 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 30027644066355659889713979310/113537431647196446350480769*c_0101_5^\ 20 - 82886058566389848168950339872/113537431647196446350480769*c_01\ 01_5^19 + 187830063077045354186569979951/11353743164719644635048076\ 9*c_0101_5^18 + 59327075134946262290219681749/378458105490654821168\ 26923*c_0101_5^17 - 164489459236919644181765474537/1261527018302182\ 7372275641*c_0101_5^16 + 169860928808918324856079118353/37845810549\ 065482116826923*c_0101_5^15 + 5423500778469136185784214469353/11353\ 7431647196446350480769*c_0101_5^14 - 3822855243212470120140705989420/113537431647196446350480769*c_0101_\ 5^13 - 8545163791455165897314239579708/113537431647196446350480769*\ c_0101_5^12 + 1084425126404424293985444366178/126152701830218273722\ 75641*c_0101_5^11 + 3971592385429937541249653052691/113537431647196\ 446350480769*c_0101_5^10 - 1246460490098534026307297051180/12615270\ 183021827372275641*c_0101_5^9 + 2000633759169730161900445186768/378\ 45810549065482116826923*c_0101_5^8 - 449130984337682585690159019658/113537431647196446350480769*c_0101_5\ ^7 - 595890181823455700352974564050/37845810549065482116826923*c_01\ 01_5^6 + 1915917577704943718236430013779/11353743164719644635048076\ 9*c_0101_5^5 - 206037436186365960272044970725/113537431647196446350\ 480769*c_0101_5^4 - 45474523256790869213837903872/12615270183021827\ 372275641*c_0101_5^3 + 12912506984310956794055251376/37845810549065\ 482116826923*c_0101_5^2 + 48465679576309982396866801504/11353743164\ 7196446350480769*c_0101_5 - 8344712378492385978538496669/1135374316\ 47196446350480769, c_0011_0 - 1, c_0011_3 + 28867783609659315453285965/4205090061007275790758547*c_0101_\ 5^20 + 83279546311406982510979143/4205090061007275790758547*c_0101_\ 5^19 - 172793729474361091223175077/4205090061007275790758547*c_0101\ _5^18 - 201392543491291807681713426/4205090061007275790758547*c_010\ 1_5^17 + 1408683352708434226492842527/4205090061007275790758547*c_0\ 101_5^16 - 293253588473079311108675814/4205090061007275790758547*c_\ 0101_5^15 - 5364475986326867497183956250/4205090061007275790758547*\ c_0101_5^14 + 2981921409623880159956926915/420509006100727579075854\ 7*c_0101_5^13 + 9030651707988378061104225620/4205090061007275790758\ 547*c_0101_5^12 - 8316305347749219035636787659/42050900610072757907\ 58547*c_0101_5^11 - 5593453499987048861259136277/420509006100727579\ 0758547*c_0101_5^10 + 10476606322199759401505023230/420509006100727\ 5790758547*c_0101_5^9 - 3942999753805411328995167606/42050900610072\ 75790758547*c_0101_5^8 - 685132886973671782010032321/42050900610072\ 75790758547*c_0101_5^7 + 1819575629859014802999752336/4205090061007\ 275790758547*c_0101_5^6 - 1588971017168975760560855120/420509006100\ 7275790758547*c_0101_5^5 - 141503989764092053808033812/420509006100\ 7275790758547*c_0101_5^4 + 480106412041084397231167731/420509006100\ 7275790758547*c_0101_5^3 + 45437818280069735199694957/4205090061007\ 275790758547*c_0101_5^2 - 54135604865482543901326771/42050900610072\ 75790758547*c_0101_5 - 1608119218111345591252448/420509006100727579\ 0758547, c_0101_0 + 1880644797905641596244930/4205090061007275790758547*c_0101_5\ ^20 + 10177687963534988195326186/4205090061007275790758547*c_0101_5\ ^19 + 4335812903484620488386456/4205090061007275790758547*c_0101_5^\ 18 - 34669691172403905380886767/4205090061007275790758547*c_0101_5^\ 17 + 52550436911004731707252640/4205090061007275790758547*c_0101_5^\ 16 + 194677813511118519631399756/4205090061007275790758547*c_0101_5\ ^15 - 318246757642493352945409619/4205090061007275790758547*c_0101_\ 5^14 - 645352689035220811980988076/4205090061007275790758547*c_0101\ _5^13 + 753660560227798034764710710/4205090061007275790758547*c_010\ 1_5^12 + 895630061657510376228164515/4205090061007275790758547*c_01\ 01_5^11 - 1146318754693357117933980396/4205090061007275790758547*c_\ 0101_5^10 - 370629377407399008227280903/4205090061007275790758547*c\ _0101_5^9 + 939773875676440138768564754/4205090061007275790758547*c\ _0101_5^8 - 321424571263049254068246749/4205090061007275790758547*c\ _0101_5^7 + 60301625099257253651620137/4205090061007275790758547*c_\ 0101_5^6 + 83193503137966371437074633/4205090061007275790758547*c_0\ 101_5^5 - 186381660600231574870922386/4205090061007275790758547*c_0\ 101_5^4 - 20223949954286150474250536/4205090061007275790758547*c_01\ 01_5^3 + 31501123632658779492051039/4205090061007275790758547*c_010\ 1_5^2 + 13483251752561085453938312/4205090061007275790758547*c_0101\ _5 - 232409438201275621611297/4205090061007275790758547, c_0101_1 - 16413006088180321733116935/4205090061007275790758547*c_0101_\ 5^20 - 42448044056227530962934272/4205090061007275790758547*c_0101_\ 5^19 + 112908002533432813421564936/4205090061007275790758547*c_0101\ _5^18 + 87951274806934785373958579/4205090061007275790758547*c_0101\ _5^17 - 833177221378491867774634280/4205090061007275790758547*c_010\ 1_5^16 + 400291101435931057474434751/4205090061007275790758547*c_01\ 01_5^15 + 3014902482370268713106080076/4205090061007275790758547*c_\ 0101_5^14 - 2561447788732297864271281599/4205090061007275790758547*\ c_0101_5^13 - 4683304714100629125146463477/420509006100727579075854\ 7*c_0101_5^12 + 6126263030458237291163831044/4205090061007275790758\ 547*c_0101_5^11 + 1857047745132812391845338502/42050900610072757907\ 58547*c_0101_5^10 - 6744214215343397651297790408/420509006100727579\ 0758547*c_0101_5^9 + 3885499389548216638688314423/42050900610072757\ 90758547*c_0101_5^8 - 364533161978721209827100291/42050900610072757\ 90758547*c_0101_5^7 - 1043521708914354184459214454/4205090061007275\ 790758547*c_0101_5^6 + 1199210911003078078347362506/420509006100727\ 5790758547*c_0101_5^5 - 194733377973003497982139693/420509006100727\ 5790758547*c_0101_5^4 - 254396879257022886564262558/420509006100727\ 5790758547*c_0101_5^3 + 39581740258526937331648483/4205090061007275\ 790758547*c_0101_5^2 + 23551093970624444863550626/42050900610072757\ 90758547*c_0101_5 - 5568200611037406146898030/420509006100727579075\ 8547, c_0101_2 + 22806921746833655313911295/4205090061007275790758547*c_0101_\ 5^20 + 70867984364507798670489844/4205090061007275790758547*c_0101_\ 5^19 - 120797028887209109110139924/4205090061007275790758547*c_0101\ _5^18 - 185811119160561370883975405/4205090061007275790758547*c_010\ 1_5^17 + 1072814798216306957932451813/4205090061007275790758547*c_0\ 101_5^16 + 5493175926242375318719683/4205090061007275790758547*c_01\ 01_5^15 - 4242786077395086265046292485/4205090061007275790758547*c_\ 0101_5^14 + 1426027194151059335842093852/4205090061007275790758547*\ c_0101_5^13 + 7462028201454852056708691802/420509006100727579075854\ 7*c_0101_5^12 - 4979188495201237140787223616/4205090061007275790758\ 547*c_0101_5^11 - 5537256261739000760558656314/42050900610072757907\ 58547*c_0101_5^10 + 7177074564785297472083170605/420509006100727579\ 0758547*c_0101_5^9 - 1548124583787531752573317365/42050900610072757\ 90758547*c_0101_5^8 - 1001015931025275745480440347/4205090061007275\ 790758547*c_0101_5^7 + 1307477856194970413426041247/420509006100727\ 5790758547*c_0101_5^6 - 958198213213400710146113319/420509006100727\ 5790758547*c_0101_5^5 - 349629811329684618547282689/420509006100727\ 5790758547*c_0101_5^4 + 332679124203178409199476668/420509006100727\ 5790758547*c_0101_5^3 + 92513959493551063129093453/4205090061007275\ 790758547*c_0101_5^2 - 32934872035056855115475530/42050900610072757\ 90758547*c_0101_5 - 6086497851376343614322213/420509006100727579075\ 8547, c_0101_4 - 39243013233662138781772200/4205090061007275790758547*c_0101_\ 5^20 - 101071583956033955652295915/4205090061007275790758547*c_0101\ _5^19 + 271857900888131531372758200/4205090061007275790758547*c_010\ 1_5^18 + 208173754427594286347992542/4205090061007275790758547*c_01\ 01_5^17 - 2005894251235015001257232747/4205090061007275790758547*c_\ 0101_5^16 + 972847435567321692139387213/4205090061007275790758547*c\ _0101_5^15 + 7249593940129828910104443377/4205090061007275790758547\ *c_0101_5^14 - 6267387057401948746226679349/42050900610072757907585\ 47*c_0101_5^13 - 11347453796086674596732660429/42050900610072757907\ 58547*c_0101_5^12 + 15048440913597113179465527570/42050900610072757\ 90758547*c_0101_5^11 + 4671621012493190553202401794/420509006100727\ 5790758547*c_0101_5^10 - 16688012954486464431147139198/420509006100\ 7275790758547*c_0101_5^9 + 9286550973336185650907598329/42050900610\ 07275790758547*c_0101_5^8 - 448384450392963360050115517/42050900610\ 07275790758547*c_0101_5^7 - 2728761493662466541815172144/4205090061\ 007275790758547*c_0101_5^6 + 2922935732849190820805840420/420509006\ 1007275790758547*c_0101_5^5 - 452815215840547713732889554/420509006\ 1007275790758547*c_0101_5^4 - 727205268306616796526577010/420509006\ 1007275790758547*c_0101_5^3 + 96938800686733157850659142/4205090061\ 007275790758547*c_0101_5^2 + 89176790150112645635813789/42050900610\ 07275790758547*c_0101_5 - 9820924511184508074176572/420509006100727\ 5790758547, c_0101_5^21 + 16/5*c_0101_5^20 - 26/5*c_0101_5^19 - 46/5*c_0101_5^18 + 237/5*c_0101_5^17 + 6*c_0101_5^16 - 976/5*c_0101_5^15 + 234/5*c_0101_5^14 + 1842/5*c_0101_5^13 - 1027/5*c_0101_5^12 - 1613/5*c_0101_5^11 + 1711/5*c_0101_5^10 - 6/5*c_0101_5^9 - 571/5*c_0101_5^8 + 383/5*c_0101_5^7 - 172/5*c_0101_5^6 - 146/5*c_0101_5^5 + 113/5*c_0101_5^4 + 33/5*c_0101_5^3 - 17/5*c_0101_5^2 - 4/5*c_0101_5 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB