Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 2362249304] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1392 geometric_solution 5.24108057 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 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.175562483724 0.527977178856 0 2 2 0 0132 0132 3201 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 0 1 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.066504910811 0.800052587565 1 1 3 4 2310 0132 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.637283553882 0.272413305105 4 5 6 2 1230 0132 0132 0132 0 0 0 0 0 1 0 -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 0 0 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.687645070531 1.297704508360 5 3 2 6 2310 3012 0132 0132 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 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.687645070531 1.297704508360 5 3 4 5 3201 0132 3201 2310 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 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.707619235032 0.656040624228 6 6 4 3 1230 3012 0132 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 1 0 -1 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.127844253655 0.656625928651 ==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_1100_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_1100_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_1100_2'], 'c_1100_2' : d['c_1100_2'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], '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_1'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], '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_0011_3'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_3']), '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_0011_6, c_0101_0, c_0101_1, c_0101_5, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 125114377429057392652556601867/777452154167601871359124160*c_1100_2\ ^16 - 129879137161216735943084441323/77745215416760187135912416*c_1\ 100_2^15 + 21146221255906443925182138107823/77745215416760187135912\ 4160*c_1100_2^14 - 15939517328464072026161439981907/155490430833520\ 374271824832*c_1100_2^13 + 7167693879309362915987964225197/97181519\ 270950233919890520*c_1100_2^12 + 410528522678987945707053254441691/\ 777452154167601871359124160*c_1100_2^11 - 329205696802834446796915866140069/194363038541900467839781040*c_110\ 0_2^10 + 1173040416238427014691950758793793/77745215416760187135912\ 4160*c_1100_2^9 + 214032900608368379669415130593113/971815192709502\ 33919890520*c_1100_2^8 - 5241995395649225917341964174313797/7774521\ 54167601871359124160*c_1100_2^7 + 470211739081455698437571401473255\ 3/777452154167601871359124160*c_1100_2^6 - 244202328719988922961147219582911/777452154167601871359124160*c_110\ 0_2^5 - 296097766246037521979058416794523/7774521541676018713591241\ 6*c_1100_2^4 + 2689850543307768411483418279521847/77745215416760187\ 1359124160*c_1100_2^3 - 1152355972471505734258389279343171/77745215\ 4167601871359124160*c_1100_2^2 + 253567183354893156642159183250323/\ 777452154167601871359124160*c_1100_2 - 2816431690310890672647403066011/97181519270950233919890520, c_0011_0 - 1, c_0011_3 - 553689647468692267837153/1833613571150004413582840*c_1100_2^\ 16 - 3017780914585343090682157/916806785575002206791420*c_1100_2^15 + 90339662868748169437465213/1833613571150004413582840*c_1100_2^14 - 306918407834874100378928173/1833613571150004413582840*c_1100_2^13 + 13877588979196870397849082/229201696393750551697855*c_1100_2^12 + 1821562680802268432498478833/1833613571150004413582840*c_1100_2^11 - 1219387600127230405914945957/458403392787501103395710*c_1100_2^10 + 3005402274872281852083168411/1833613571150004413582840*c_1100_2^9 + 1040950217242461434950228842/229201696393750551697855*c_1100_2^8 - 3715761963336960837372057331/366722714230000882716568*c_1100_2^7 + 12853425728688804397881611491/1833613571150004413582840*c_1100_2^6 + 2641381966502197037103118731/1833613571150004413582840*c_1100_2^5 - 5162266934915512332307085361/916806785575002206791420*c_1100_2^4 + 7543493566760500381527141141/1833613571150004413582840*c_1100_2^3 - 2794918250182845762831514377/1833613571150004413582840*c_1100_2^2 + 540583738457522610513764857/1833613571150004413582840*c_1100_2 - 5457491763176116486483227/229201696393750551697855, c_0011_6 - 3203192629047239969163559/19436303854190046783978104*c_1100_\ 2^16 - 17437838022781357049586543/9718151927095023391989052*c_1100_\ 2^15 + 523363907875075160119092843/19436303854190046783978104*c_110\ 0_2^14 - 1779041361336173168416000491/19436303854190046783978104*c_\ 1100_2^13 + 77502596628589270134895648/2429537981773755847997263*c_\ 1100_2^12 + 10662894360001813155611563727/1943630385419004678397810\ 4*c_1100_2^11 - 7079937663206025450890306943/4859075963547511695994\ 526*c_1100_2^10 + 16790320993410757388210593461/1943630385419004678\ 3978104*c_1100_2^9 + 6237098190997180399337660099/24295379817737558\ 47997263*c_1100_2^8 - 108259838573349106819239107881/19436303854190\ 046783978104*c_1100_2^7 + 70946320871079401757525689693/19436303854\ 190046783978104*c_1100_2^6 + 20893493010532180563045518997/19436303\ 854190046783978104*c_1100_2^5 - 30800091729939609866218728775/97181\ 51927095023391989052*c_1100_2^4 + 41157582942028041473391937699/194\ 36303854190046783978104*c_1100_2^3 - 13408038099938277212900681127/19436303854190046783978104*c_1100_2^2 + 2003937538487314853671250991/19436303854190046783978104*c_1100_2 - 10048519585763773288377856/2429537981773755847997263, c_0101_0 + 86535682083576991968232/229201696393750551697855*c_1100_2^16 + 181461599579202404605274/45840339278750110339571*c_1100_2^15 - 14530611291530237179555123/229201696393750551697855*c_1100_2^14 + 10723290095315677138739311/45840339278750110339571*c_1100_2^13 - 34313305486011559081852411/229201696393750551697855*c_1100_2^12 - 286176498538136051293989751/229201696393750551697855*c_1100_2^11 + 879262928546983020076945386/229201696393750551697855*c_1100_2^10 - 725620268859591600552056328/229201696393750551697855*c_1100_2^9 - 1236075248837832208347384574/229201696393750551697855*c_1100_2^8 + 3473042698512189881262710327/229201696393750551697855*c_1100_2^7 - 2923680840689517820395200808/229201696393750551697855*c_1100_2^6 - 36460172872013362884176914/229201696393750551697855*c_1100_2^5 + 394722960876899066034421421/45840339278750110339571*c_1100_2^4 - 1674574226593320885332695827/229201696393750551697855*c_1100_2^3 + 679327105846821793404783781/229201696393750551697855*c_1100_2^2 - 139674454785636579604917393/229201696393750551697855*c_1100_2 + 11244681847239515127763973/229201696393750551697855, c_0101_1 - 35225989086971162493/91905847884818024840*c_1100_2^16 - 37297029804351199237/9190584788481802484*c_1100_2^15 + 5871969894132213847097/91905847884818024840*c_1100_2^14 - 4255124591674290006989/18381169576963604968*c_1100_2^13 + 1553799605253376871338/11488230985602253105*c_1100_2^12 + 116183324523739474744149/91905847884818024840*c_1100_2^11 - 86765235888404487323641/22976461971204506210*c_1100_2^10 + 272295511667894741693327/91905847884818024840*c_1100_2^9 + 63626352801795212779642/11488230985602253105*c_1100_2^8 - 1363627625792011409215323/91905847884818024840*c_1100_2^7 + 1106505526877156084072327/91905847884818024840*c_1100_2^6 + 55641374988189355796951/91905847884818024840*c_1100_2^5 - 77440037622609747071737/9190584788481802484*c_1100_2^4 + 633044629858604601708593/91905847884818024840*c_1100_2^3 - 251255959306736904768549/91905847884818024840*c_1100_2^2 + 51011722619482125127437/91905847884818024840*c_1100_2 - 513572177992671752119/11488230985602253105, c_0101_5 - 38709848335576183205868793/97181519270950233919890520*c_1100\ _2^16 - 40882205311100977949290085/9718151927095023391989052*c_1100\ _2^15 + 6463975643820162856994320797/97181519270950233919890520*c_1\ 100_2^14 - 4709198315312730534742838969/19436303854190046783978104*\ c_1100_2^13 + 1784329714396587246791010173/121476899088687792399863\ 15*c_1100_2^12 + 127079809485163300416181031729/9718151927095023391\ 9890520*c_1100_2^11 - 96049845617659035463171027681/242953798177375\ 58479972630*c_1100_2^10 + 309941882854663000751406879227/9718151927\ 0950233919890520*c_1100_2^9 + 68353140205635812160911563937/1214768\ 9908868779239986315*c_1100_2^8 - 1507860189252376625016254034223/97\ 181519270950233919890520*c_1100_2^7 + 1262651184257285566358504922747/97181519270950233919890520*c_1100_2\ ^6 + 9227803068520309594093669691/97181519270950233919890520*c_1100\ _2^5 - 84419103954464663422945822533/9718151927095023391989052*c_11\ 00_2^4 + 727755862816890614059299159013/97181519270950233919890520*\ c_1100_2^3 - 304057402465181414232968012729/97181519270950233919890\ 520*c_1100_2^2 + 66088327699877770319252954337/97181519270950233919\ 890520*c_1100_2 - 742006958784317893698425504/121476899088687792399\ 86315, c_1100_2^17 + 10*c_1100_2^16 - 173*c_1100_2^15 + 701*c_1100_2^14 - 696*c_1100_2^13 - 3121*c_1100_2^12 + 11772*c_1100_2^11 - 13283*c_1100_2^10 - 10328*c_1100_2^9 + 47151*c_1100_2^8 - 53051*c_1100_2^7 + 15517*c_1100_2^6 + 23210*c_1100_2^5 - 30213*c_1100_2^4 + 17001*c_1100_2^3 - 5337*c_1100_2^2 + 904*c_1100_2 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB