Magma V2.19-8 Tue Aug 20 2013 16:14:51 on localhost [Seed = 2581071349] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s825 geometric_solution 5.39112248 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479156394260 0.249517059511 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 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 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.879051488584 0.605433737990 1 3 4 5 0132 0213 0132 0132 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558071914722 0.692382879093 5 4 2 1 1023 1023 0213 0132 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 1 0 -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.558071914722 0.692382879093 3 4 4 2 1023 3201 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.847305897343 0.741957530835 5 3 2 5 3201 1023 0132 2310 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 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.040733909194 0.997611545898 ==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' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 139595926736645106170254601323214581645/109780018735883918613764808\ 7897054130552*c_0101_4^27 + 222866888172601953413494669535217308567\ 3/548900093679419593068824043948527065276*c_0101_4^25 - 12549123290105978535663949688549342769601/5489000936794195930688240\ 43948527065276*c_0101_4^23 + 11516693585776639714625140435286608454\ 1893/1097800187358839186137648087897054130552*c_0101_4^21 - 501347387748608772351238160582339657838317/109780018735883918613764\ 8087897054130552*c_0101_4^19 + 476710308660537884625790711920481764\ 056629/548900093679419593068824043948527065276*c_0101_4^17 - 12042474510471788019916387448335190807093/4536364410573715645196892\ 925194438556*c_0101_4^15 + 1790091198958037461800724734885725620210\ 493/548900093679419593068824043948527065276*c_0101_4^13 - 1635524989859272533885639361871514013296283/54890009367941959306882\ 4043948527065276*c_0101_4^11 + 703099023375884833981239453420702703\ 6163575/1097800187358839186137648087897054130552*c_0101_4^9 - 745479721941012637574672098992929821135849/137225023419854898267206\ 010987131766319*c_0101_4^7 + 14559346874787194245898196830112080220\ 26653/1097800187358839186137648087897054130552*c_0101_4^5 + 61970509885083618058849221136290286163367/1097800187358839186137648\ 087897054130552*c_0101_4^3 - 29727931241043832397460383477830213085\ 031/1097800187358839186137648087897054130552*c_0101_4, c_0011_0 - 1, c_0011_1 - 4485981489187670536341156313085174/1134091102643428911299223\ 231298609639*c_0101_4^26 + 143384724546406799919913292098135248/113\ 4091102643428911299223231298609639*c_0101_4^24 - 810934291980547535271200189148395337/113409110264342891129922323129\ 8609639*c_0101_4^22 + 3718742427714885718318824941384875329/1134091\ 102643428911299223231298609639*c_0101_4^20 - 16190775793247951590906569389007349097/1134091102643428911299223231\ 298609639*c_0101_4^18 + 30980605494739914484984073107653698056/1134\ 091102643428911299223231298609639*c_0101_4^16 - 93862999438926659269997138225000415941/1134091102643428911299223231\ 298609639*c_0101_4^14 + 117082986248890983166088117877417026411/113\ 4091102643428911299223231298609639*c_0101_4^12 - 104496987515199919943783420808244116525/113409110264342891129922323\ 1298609639*c_0101_4^10 + 227290701637080045932512083905592034559/11\ 34091102643428911299223231298609639*c_0101_4^8 - 196757126936900644088920988093290521874/113409110264342891129922323\ 1298609639*c_0101_4^6 + 43548083254333024149568607299962265993/1134\ 091102643428911299223231298609639*c_0101_4^4 + 653468572012756258538923175254738780/113409110264342891129922323129\ 8609639*c_0101_4^2 + 428724838088144240372224064790857327/113409110\ 2643428911299223231298609639, c_0011_3 - 9810082219727726028907187927570706/1134091102643428911299223\ 231298609639*c_0101_4^27 + 311573550745645142983670763643605348/113\ 4091102643428911299223231298609639*c_0101_4^25 - 1710945784314172267337854700151839076/11340911026434289112992232312\ 98609639*c_0101_4^23 + 7805177447133775172038240021344947973/113409\ 1102643428911299223231298609639*c_0101_4^21 - 33930956551823278394942842606517376504/1134091102643428911299223231\ 298609639*c_0101_4^19 + 61356498294272181407932958165061391265/1134\ 091102643428911299223231298609639*c_0101_4^17 - 194897473743008845834888228666409068923/113409110264342891129922323\ 1298609639*c_0101_4^15 + 220233440187726695911008079128799729703/11\ 34091102643428911299223231298609639*c_0101_4^13 - 195679491981365308882561178348730620297/113409110264342891129922323\ 1298609639*c_0101_4^11 + 470068383932996146778307324594790574036/11\ 34091102643428911299223231298609639*c_0101_4^9 - 346321414277118696866217386178014809313/113409110264342891129922323\ 1298609639*c_0101_4^7 + 53188151549975783153400900471655351856/1134\ 091102643428911299223231298609639*c_0101_4^5 - 6504600297984513540479953372260281332/11340911026434289112992232312\ 98609639*c_0101_4^3 + 2998210390705724634210874410828451990/1134091\ 102643428911299223231298609639*c_0101_4, c_0101_0 - 11873732409686204881474302801514903/113409110264342891129922\ 3231298609639*c_0101_4^27 + 379973464735490919127375291223753885/11\ 34091102643428911299223231298609639*c_0101_4^25 - 2161159000709109919066339895416057147/11340911026434289112992232312\ 98609639*c_0101_4^23 + 9931234052895042881205978334921259441/113409\ 1102643428911299223231298609639*c_0101_4^21 - 43267188241447394957553533367752282981/1134091102643428911299223231\ 298609639*c_0101_4^19 + 83806782214222932236758083558480634332/1134\ 091102643428911299223231298609639*c_0101_4^17 - 252292578334149509507182431651620988137/113409110264342891129922323\ 1298609639*c_0101_4^15 + 320863097145775373708739067975058958256/11\ 34091102643428911299223231298609639*c_0101_4^13 - 292545808669137404478503181649549715371/113409110264342891129922323\ 1298609639*c_0101_4^11 + 617633996195761449901157523741083869741/11\ 34091102643428911299223231298609639*c_0101_4^9 - 548338661281130055015900090513897366432/113409110264342891129922323\ 1298609639*c_0101_4^7 + 143972049316171635365498172382614116222/113\ 4091102643428911299223231298609639*c_0101_4^5 - 11898411611954805629762521612813251352/1134091102643428911299223231\ 298609639*c_0101_4^3 + 4558239168043889710990555692426016253/113409\ 1102643428911299223231298609639*c_0101_4, c_0101_1 - 2472733736383511015449471217643642/1134091102643428911299223\ 231298609639*c_0101_4^26 + 79138251639151703716007346170384866/1134\ 091102643428911299223231298609639*c_0101_4^24 - 450122953525130448108077896695756622/113409110264342891129922323129\ 8609639*c_0101_4^22 + 2063454337649909835161578021910913900/1134091\ 102643428911299223231298609639*c_0101_4^20 - 8983478919467310940484765040328490619/11340911026434289112992232312\ 98609639*c_0101_4^18 + 17329314683948964530011232585881669392/11340\ 91102643428911299223231298609639*c_0101_4^16 - 51936577582303020139625346224476092915/1134091102643428911299223231\ 298609639*c_0101_4^14 + 65831667474538577371501945999412634730/1134\ 091102643428911299223231298609639*c_0101_4^12 - 57428246317055631041252181808957397704/1134091102643428911299223231\ 298609639*c_0101_4^10 + 124923659997410310631888479766680468386/113\ 4091102643428911299223231298609639*c_0101_4^8 - 111456989461149709831800148182555903177/113409110264342891129922323\ 1298609639*c_0101_4^6 + 22418892626520712388968392715002228264/1134\ 091102643428911299223231298609639*c_0101_4^4 + 2791221912281680133906996482393411488/11340911026434289112992232312\ 98609639*c_0101_4^2 + 884151173519123234001881277062842715/11340911\ 02643428911299223231298609639, c_0101_4^28 - 32*c_0101_4^26 + 182*c_0101_4^24 - 837*c_0101_4^22 + 3647*c_0101_4^20 - 7072*c_0101_4^18 + 21318*c_0101_4^16 - 27110*c_0101_4^14 + 25042*c_0101_4^12 - 52287*c_0101_4^10 + 46386*c_0101_4^8 - 13113*c_0101_4^6 + 1235*c_0101_4^4 - 219*c_0101_4^2 + 22 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB