Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 2378961221] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1585 geometric_solution 5.36002772 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 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 1 1 -2 0 0 0 0 1 0 0 -1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.207140248400 0.696263657655 0 0 3 2 0132 3201 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 2 0 -2 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.257846731624 0.445734371649 4 5 1 4 0132 0132 0132 3201 0 0 0 0 0 0 -1 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 0 0 2 -2 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.634872561302 0.592242550897 5 6 6 1 0132 0132 3201 0132 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 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634872561302 0.592242550897 2 2 6 6 0132 2310 2031 1302 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 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.733643206780 1.040134422218 3 2 5 5 0132 0132 1230 3012 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 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.338986030358 0.764316282010 3 3 4 4 2310 0132 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 -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 1.733643206780 1.040134422218 ==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_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_0101_4'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(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_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 9466531525226863928811454051374/44583507072478861931804973151*c_010\ 1_6^18 + 49872553076513652520341856256779/4458350707247886193180497\ 3151*c_0101_6^17 - 28324617586789453278220808740905/405304609749807\ 8357436815741*c_0101_6^16 - 730934911351560463283709612478870/44583\ 507072478861931804973151*c_0101_6^15 + 2939046088551368998896321234211923/44583507072478861931804973151*c_\ 0101_6^14 + 2744849163575732059232879669828382/44583507072478861931\ 804973151*c_0101_6^13 - 2736492105391883943677350520146598/44583507\ 072478861931804973151*c_0101_6^12 - 378559843199885309514106798778564/6369072438925551704543567593*c_01\ 01_6^11 + 4193941269221185926853915529540911/4458350707247886193180\ 4973151*c_0101_6^10 + 10139904771313356117562081888701855/445835070\ 72478861931804973151*c_0101_6^9 + 389401692642377463113640358076376\ 0/44583507072478861931804973151*c_0101_6^8 - 4207356587137648174605020065523057/44583507072478861931804973151*c_\ 0101_6^7 - 36193004183049655182645362171999/75565266224540443952211\ 8189*c_0101_6^6 - 1341999558253355133554803356993894/44583507072478\ 861931804973151*c_0101_6^5 - 951139965828643632131505055372525/4458\ 3507072478861931804973151*c_0101_6^4 - 224637992548581981136953038699050/44583507072478861931804973151*c_0\ 101_6^3 - 24180653218082602297346839298347/445835070724788619318049\ 73151*c_0101_6^2 + 65088662992967157953316673689445/445835070724788\ 61931804973151*c_0101_6 + 6734881183436448516921930400903/445835070\ 72478861931804973151, c_0011_0 - 1, c_0011_2 + 5938165974088426500586484666/579006585356868336776687963*c_0\ 101_6^18 + 31989758711531588944740404569/57900658535686833677668796\ 3*c_0101_6^17 - 191821273408753474612950349599/57900658535686833677\ 6687963*c_0101_6^16 - 482242930135196635759916278694/57900658535686\ 8336776687963*c_0101_6^15 + 1792282060518285254208007886191/5790065\ 85356868336776687963*c_0101_6^14 + 1948499628633636288224160817230/579006585356868336776687963*c_0101_\ 6^13 - 1541594588838329945854069207726/579006585356868336776687963*\ c_0101_6^12 - 1895430173582191060999653657942/579006585356868336776\ 687963*c_0101_6^11 + 2458969978016513398032979100089/57900658535686\ 8336776687963*c_0101_6^10 + 6700591949723562884333819092251/5790065\ 85356868336776687963*c_0101_6^9 + 3157447524773111806587008705170/5\ 79006585356868336776687963*c_0101_6^8 - 2454033330691403027136421950588/579006585356868336776687963*c_0101_\ 6^7 - 28787157175269332775552431017/9813670938252005708079457*c_010\ 1_6^6 - 963193021526853574563047402385/579006585356868336776687963*\ c_0101_6^5 - 675340776524647884968232895646/57900658535686833677668\ 7963*c_0101_6^4 - 196396833085833306595820484576/579006585356868336\ 776687963*c_0101_6^3 - 20718025473869019905187027281/57900658535686\ 8336776687963*c_0101_6^2 + 43559626953436093363463164814/5790065853\ 56868336776687963*c_0101_6 + 9649852394722294358254966766/579006585\ 356868336776687963, c_0101_0 + 64449940348075723744369355/579006585356868336776687963*c_010\ 1_6^18 + 413725631942307497418214442/579006585356868336776687963*c_\ 0101_6^17 - 1743880746882133220200273404/57900658535686833677668796\ 3*c_0101_6^16 - 7481032428284019839785700219/5790065853568683367766\ 87963*c_0101_6^15 + 14769788088301073042474861897/57900658535686833\ 6776687963*c_0101_6^14 + 42515931413144747460512604465/579006585356\ 868336776687963*c_0101_6^13 - 2022756003367129992632711614/57900658\ 5356868336776687963*c_0101_6^12 - 41162934554149996984585107299/579\ 006585356868336776687963*c_0101_6^11 + 15028747493493590890675529254/579006585356868336776687963*c_0101_6^\ 10 + 104055535316948908126350103157/579006585356868336776687963*c_0\ 101_6^9 + 96707015211147934951947032998/579006585356868336776687963\ *c_0101_6^8 - 9976627388919072373660216979/579006585356868336776687\ 963*c_0101_6^7 - 720077937985827931036028557/9813670938252005708079\ 457*c_0101_6^6 - 13696169471939308580301757611/57900658535686833677\ 6687963*c_0101_6^5 - 17030006492577396248347472621/5790065853568683\ 36776687963*c_0101_6^4 - 10546977081034855128922916324/579006585356\ 868336776687963*c_0101_6^3 - 1831084163713276951783241209/579006585\ 356868336776687963*c_0101_6^2 + 119788267066689178730193838/5790065\ 85356868336776687963*c_0101_6 + 227011592625301828338910415/5790065\ 85356868336776687963, c_0101_1 - 10162410596046101970150951260/579006585356868336776687963*c_\ 0101_6^18 - 54714838769470776659219774881/5790065853568683367766879\ 63*c_0101_6^17 + 328448809496781624000476834728/5790065853568683367\ 76687963*c_0101_6^16 + 824281610311699929403013291656/5790065853568\ 68336776687963*c_0101_6^15 - 3069885774034906518724608883139/579006\ 585356868336776687963*c_0101_6^14 - 3325053501828432401061923705792/579006585356868336776687963*c_0101_\ 6^13 + 2649239667159262518903693101566/579006585356868336776687963*\ c_0101_6^12 + 3234587398030707322661785432464/579006585356868336776\ 687963*c_0101_6^11 - 4219043435969472373598475125505/57900658535686\ 8336776687963*c_0101_6^10 - 11452600298669327993999873484131/579006\ 585356868336776687963*c_0101_6^9 - 5367298792163978901454670657722/579006585356868336776687963*c_0101_\ 6^8 + 4215337940911570400902311080868/579006585356868336776687963*c\ _0101_6^7 + 49015552297722876281958336774/9813670938252005708079457\ *c_0101_6^6 + 1640332796933900440282667857522/579006585356868336776\ 687963*c_0101_6^5 + 1152077618642443495697010464996/579006585356868\ 336776687963*c_0101_6^4 + 331776369116196786688813778415/5790065853\ 56868336776687963*c_0101_6^3 + 34478576569566037307706728612/579006\ 585356868336776687963*c_0101_6^2 - 73024244784830899560683045068/579006585356868336776687963*c_0101_6 - 16284371643489591359341342935/579006585356868336776687963, c_0101_3 - 6961427611004277707651405944/579006585356868336776687963*c_0\ 101_6^18 - 37608107907549829337787370570/57900658535686833677668796\ 3*c_0101_6^17 + 224328778924715917131797455902/57900658535686833677\ 6687963*c_0101_6^16 + 568873049463146715348913040472/57900658535686\ 8336776687963*c_0101_6^15 - 2093364460002572445888421710382/5790065\ 85356868336776687963*c_0101_6^14 - 2317554724556225711384624590391/579006585356868336776687963*c_0101_\ 6^13 + 1780607387796877688322091495775/579006585356868336776687963*\ c_0101_6^12 + 2251762310094932299418296271208/579006585356868336776\ 687963*c_0101_6^11 - 2857576980282602892449859341769/57900658535686\ 8336776687963*c_0101_6^10 - 7901248272147760370278516466032/5790065\ 85356868336776687963*c_0101_6^9 - 3808883797229237663490838448951/5\ 79006585356868336776687963*c_0101_6^8 + 2838652097003737039667096703865/579006585356868336776687963*c_0101_\ 6^7 + 34464140012878413642920391592/9813670938252005708079457*c_010\ 1_6^6 + 1148178609322175681769868031235/579006585356868336776687963\ *c_0101_6^5 + 808772361270837271597979158982/5790065853568683367766\ 87963*c_0101_6^4 + 238967698911910886763081137504/57900658535686833\ 6776687963*c_0101_6^3 + 26900583503998000950869054179/5790065853568\ 68336776687963*c_0101_6^2 - 49914132645738425541530440712/579006585\ 356868336776687963*c_0101_6 - 11890518160988203348091762147/5790065\ 85356868336776687963, c_0101_4 - c_0101_6, c_0101_6^19 + 6*c_0101_6^18 - 29*c_0101_6^17 - 101*c_0101_6^16 + 252*c_0101_6^15 + 513*c_0101_6^14 - 58*c_0101_6^13 - 478*c_0101_6^12 + 218*c_0101_6^11 + 1382*c_0101_6^10 + 1224*c_0101_6^9 - 86*c_0101_6^8 - 539*c_0101_6^7 - 338*c_0101_6^6 - 213*c_0101_6^5 - 103*c_0101_6^4 - 24*c_0101_6^3 + 5*c_0101_6^2 + 6*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB