Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 812756217] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1650 geometric_solution 5.39201053 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 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 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.492562687375 0.390426311319 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 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 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 0.563993397476 0.655742030496 4 3 0 1 2310 3201 0132 1302 0 0 0 0 0 -1 0 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 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.563993397476 0.655742030496 1 5 2 5 0132 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.172736680942 1.259165304823 4 1 2 4 3012 0132 3201 1230 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 -1 0 1 -1 0 0 1 -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.246084976030 0.876559496710 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682767573851 0.265515206772 5 6 5 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771774553534 0.104228845252 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : 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' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), '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_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1173352593865963029736769611/2023412314691228254510248*c_0101_4*c_0\ 101_6^14 - 1002677332107575965670487815/2023412314691228254510248*c\ _0101_4*c_0101_6^13 + 35334690426241247423955170317/202341231469122\ 8254510248*c_0101_4*c_0101_6^12 - 1499547352465892047631831185/4935\ 1519870517762305128*c_0101_4*c_0101_6^11 + 7128770653777774858463271403/168617692890935687875854*c_0101_4*c_01\ 01_6^10 + 16061391613104684841658626859/337235385781871375751708*c_\ 0101_4*c_0101_6^9 - 371632576530784692247941303419/1011706157345614\ 127255124*c_0101_4*c_0101_6^8 + 34268804003725524801031855535/56205\ 897630311895958618*c_0101_4*c_0101_6^7 - 544086212545031005033692428999/674470771563742751503416*c_0101_4*c_\ 0101_6^6 + 66906169363341189070594345558/252926539336403531813781*c\ _0101_4*c_0101_6^5 + 901121373861867668228193346891/101170615734561\ 4127255124*c_0101_4*c_0101_6^4 - 113185524625530161366254092337/963\ 52967366248964500488*c_0101_4*c_0101_6^3 + 1344539860478268470638232573393/2023412314691228254510248*c_0101_4*\ c_0101_6^2 - 130595093546794714213027105535/67447077156374275150341\ 6*c_0101_4*c_0101_6 + 937467874122616600106707852/36132362762343361\ 687683*c_0101_4, c_0011_0 - 1, c_0011_1 + 351829133012827919452/12044120920781120562561*c_0101_4*c_010\ 1_6^14 + 514996454923476409813/24088241841562241125122*c_0101_4*c_0\ 101_6^13 - 21869525073535732420415/24088241841562241125122*c_0101_4\ *c_0101_6^12 + 466672773425280026440/293759046848320013721*c_0101_4\ *c_0101_6^11 - 6460712551686293680455/4014706973593706854187*c_0101\ _4*c_0101_6^10 - 10601065392031087082526/4014706973593706854187*c_0\ 101_4*c_0101_6^9 + 239043126585120681276586/12044120920781120562561\ *c_0101_4*c_0101_6^8 - 118651040580148032629549/4014706973593706854\ 187*c_0101_4*c_0101_6^7 + 128666719222786268728146/4014706973593706\ 854187*c_0101_4*c_0101_6^6 - 164000978320153007390953/2408824184156\ 2241125122*c_0101_4*c_0101_6^5 - 739933216551863924951333/120441209\ 20781120562561*c_0101_4*c_0101_6^4 + 415352649774926745607015/8029413947187413708374*c_0101_4*c_0101_6^3 - 267631011113060739439153/24088241841562241125122*c_0101_4*c_0101_\ 6^2 - 3440774573316527587552/4014706973593706854187*c_0101_4*c_0101\ _6 + 8201610338164255131769/12044120920781120562561*c_0101_4, c_0101_1 - 3566894468845309323/97919682282773337907*c_0101_6^14 - 4635404768261438215/97919682282773337907*c_0101_6^13 + 105189504817893886741/97919682282773337907*c_0101_6^12 - 140365574238035688465/97919682282773337907*c_0101_6^11 + 202326072289600182674/97919682282773337907*c_0101_6^10 + 378756695137914618870/97919682282773337907*c_0101_6^9 - 2085839810353911366760/97919682282773337907*c_0101_6^8 + 2842683250632801264284/97919682282773337907*c_0101_6^7 - 3779378567311331474763/97919682282773337907*c_0101_6^6 + 15378684327758960165/97919682282773337907*c_0101_6^5 + 5386943597847189580807/97919682282773337907*c_0101_6^4 - 4861979243221435620537/97919682282773337907*c_0101_6^3 + 2073757312496363598809/97919682282773337907*c_0101_6^2 - 173740677096447435841/97919682282773337907*c_0101_6 - 58298854301112249087/97919682282773337907, c_0101_2 + 1881175141927542991741/12044120920781120562561*c_0101_4*c_01\ 01_6^14 + 5481299466611239551007/24088241841562241125122*c_0101_4*c\ _0101_6^13 - 110514317430535925566625/24088241841562241125122*c_010\ 1_4*c_0101_6^12 + 1586063357005062722698/293759046848320013721*c_01\ 01_4*c_0101_6^11 - 30067626495409162345900/4014706973593706854187*c\ _0101_4*c_0101_6^10 - 73697615919563221000674/401470697359370685418\ 7*c_0101_4*c_0101_6^9 + 1073926576555525486258516/12044120920781120\ 562561*c_0101_4*c_0101_6^8 - 435532790460442842373776/4014706973593\ 706854187*c_0101_4*c_0101_6^7 + 555910590748207761324957/4014706973\ 593706854187*c_0101_4*c_0101_6^6 + 773860772422932967970399/24088241841562241125122*c_0101_4*c_0101_6^\ 5 - 2953682832433664896967903/12044120920781120562561*c_0101_4*c_01\ 01_6^4 + 1387327533761593096000339/8029413947187413708374*c_0101_4*\ c_0101_6^3 - 911858185652076165479293/24088241841562241125122*c_010\ 1_4*c_0101_6^2 - 27072449447541763704787/4014706973593706854187*c_0\ 101_4*c_0101_6 + 41522450395710325967503/12044120920781120562561*c_\ 0101_4, c_0101_4^2 - 181643045786384910700/12044120920781120562561*c_0101_6^14 + 161919271519306499956/12044120920781120562561*c_0101_6^13 + 6064138858197905379613/12044120920781120562561*c_0101_6^12 - 453674181821089792084/293759046848320013721*c_0101_6^11 + 6781230823115354926668/4014706973593706854187*c_0101_6^10 + 1007682508371455706432/4014706973593706854187*c_0101_6^9 - 156095875816329050097544/12044120920781120562561*c_0101_6^8 + 117761215238110360648085/4014706973593706854187*c_0101_6^7 - 132998364024375857122639/4014706973593706854187*c_0101_6^6 + 297327837518602170067553/12044120920781120562561*c_0101_6^5 + 415261355484654439402166/12044120920781120562561*c_0101_6^4 - 257069830115036112839359/4014706973593706854187*c_0101_6^3 + 291910206840478918973855/12044120920781120562561*c_0101_6^2 - 5890149705258380213849/4014706973593706854187*c_0101_6 - 13733242002383028135193/12044120920781120562561, c_0101_5 + 724399306918663786/97919682282773337907*c_0101_6^14 + 916594343858238462/97919682282773337907*c_0101_6^13 - 21305932485998645221/97919682282773337907*c_0101_6^12 + 29391068535434458026/97919682282773337907*c_0101_6^11 - 44646264213239090053/97919682282773337907*c_0101_6^10 - 73301610714995772899/97919682282773337907*c_0101_6^9 + 421818873306347862833/97919682282773337907*c_0101_6^8 - 597817215801018829028/97919682282773337907*c_0101_6^7 + 839231267602762169178/97919682282773337907*c_0101_6^6 - 70478627291097741667/97919682282773337907*c_0101_6^5 - 1009360107668810787049/97919682282773337907*c_0101_6^4 + 1014039435761531308965/97919682282773337907*c_0101_6^3 - 574197609150546945391/97919682282773337907*c_0101_6^2 + 22629828224543165013/97919682282773337907*c_0101_6 + 25544516220633874958/97919682282773337907, c_0101_6^15 + c_0101_6^14 - 30*c_0101_6^13 + 48*c_0101_6^12 - 65*c_0101_6^11 - 93*c_0101_6^10 + 622*c_0101_6^9 - 958*c_0101_6^8 + 1233*c_0101_6^7 - 248*c_0101_6^6 - 1611*c_0101_6^5 + 1799*c_0101_6^4 - 839*c_0101_6^3 + 158*c_0101_6^2 + 7*c_0101_6 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB