Magma V2.19-8 Tue Aug 20 2013 16:16:38 on localhost [Seed = 1983376045] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0933 geometric_solution 4.83570156 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3120 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 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.349655668963 0.659613701050 0 4 2 4 0132 0132 3201 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 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 0 0 0 0 0 0 -0.100641681766 3.018101777288 1 0 0 3 2310 0132 3120 3201 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 -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.349655668963 0.659613701050 5 2 0 5 0132 2310 0132 1023 0 0 0 0 0 0 -1 1 -1 0 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 -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.678010002043 0.238225071524 4 1 4 1 2310 0132 3201 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 -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.398616603055 0.194571692074 3 6 6 3 0132 0132 3201 1023 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.990477738899 0.351744476572 5 5 6 6 2310 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 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.468095431756 0.340087669892 ==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' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : 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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : negation(d['c_1001_0']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : negation(d['c_1001_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_1, c_0101_4, c_0101_5, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 1159545341698944791/555273806*c_1001_0^26 + 11233786910244350750/832910709*c_1001_0^25 - 41678140961507068465/832910709*c_1001_0^24 + 22018522052603307581/555273806*c_1001_0^23 + 20063096187668871287/555273806*c_1001_0^22 - 292125999669681558289/832910709*c_1001_0^21 + 727202186452424353889/1665821418*c_1001_0^20 + 35416783847260173949/1665821418*c_1001_0^19 - 395927394286246436897/1665821418*c_1001_0^18 + 3124843780966800430549/1665821418*c_1001_0^17 + 686408282071224377996/277636903*c_1001_0^16 + 3829056551563383797713/832910709*c_1001_0^15 + 12181551588240338720003/1665821418*c_1001_0^14 + 2143854797135052673019/277636903*c_1001_0^13 + 3048790190598272621841/277636903*c_1001_0^12 + 10920593187279105380747/832910709*c_1001_0^11 + 2026852427059363505478/277636903*c_1001_0^10 - 5512040947892772070999/1665821418*c_1001_0^9 - 10230055278713502244982/832910709*c_1001_0^8 - 22140947761114742513035/1665821418*c_1001_0^7 - 5108598032525554863277/832910709*c_1001_0^6 + 1725612402873813178007/1665821418*c_1001_0^5 + 4841513161094917195667/1665821418*c_1001_0^4 + 2744992522430484640999/1665821418*c_1001_0^3 + 395919669513823783405/832910709*c_1001_0^2 + 59906716148301534022/832910709*c_1001_0 + 7570462536548595437/1665821418, c_0011_0 - 1, c_0011_3 + 12031038687293291/277636903*c_1001_0^26 - 154518911381814277/555273806*c_1001_0^25 + 570344556270750759/555273806*c_1001_0^24 - 432179089682148963/555273806*c_1001_0^23 - 223320370819042408/277636903*c_1001_0^22 + 4042396716471145799/555273806*c_1001_0^21 - 4881198252744418617/555273806*c_1001_0^20 - 255781412681706462/277636903*c_1001_0^19 + 2874088769694991351/555273806*c_1001_0^18 - 10794094525362398434/277636903*c_1001_0^17 - 29301392646397486301/555273806*c_1001_0^16 - 53589344431302659901/555273806*c_1001_0^15 - 85894700901600146007/555273806*c_1001_0^14 - 45608891308626060148/277636903*c_1001_0^13 - 64314069387659541171/277636903*c_1001_0^12 - 77321809690051743965/277636903*c_1001_0^11 - 43900643892238877660/277636903*c_1001_0^10 + 18490540850038066283/277636903*c_1001_0^9 + 143544077897851621031/555273806*c_1001_0^8 + 157305828633552586237/555273806*c_1001_0^7 + 37058942380405037916/277636903*c_1001_0^6 - 5579531125897197564/277636903*c_1001_0^5 - 34341014146400172385/555273806*c_1001_0^4 - 9884876680037261521/277636903*c_1001_0^3 - 5762806322364849805/555273806*c_1001_0^2 - 879727072991513791/555273806*c_1001_0 - 56032501569066393/555273806, c_0101_1 + 31970424194479811/555273806*c_1001_0^26 - 205738175407170663/555273806*c_1001_0^25 + 760856888061457771/555273806*c_1001_0^24 - 293212739570566470/277636903*c_1001_0^23 - 578025209475492439/555273806*c_1001_0^22 + 5369444276217561897/555273806*c_1001_0^21 - 3278744335421745529/277636903*c_1001_0^20 - 546684088213206117/555273806*c_1001_0^19 + 1872508363348329205/277636903*c_1001_0^18 - 28689396046400362961/555273806*c_1001_0^17 - 38538290807107680059/555273806*c_1001_0^16 - 70918479729387102583/555273806*c_1001_0^15 - 56667300873362379654/277636903*c_1001_0^14 - 60069968652522474281/277636903*c_1001_0^13 - 84958079760927313535/277636903*c_1001_0^12 - 101881372741451258842/277636903*c_1001_0^11 - 57465193921462105652/277636903*c_1001_0^10 + 49643523551451228501/555273806*c_1001_0^9 + 189737610770462971347/555273806*c_1001_0^8 + 103514343845306789442/277636903*c_1001_0^7 + 48435356649398667259/277636903*c_1001_0^6 - 15163098670602047475/555273806*c_1001_0^5 - 22608271821061961377/277636903*c_1001_0^4 - 25903644734152113777/555273806*c_1001_0^3 - 7526616243309799023/555273806*c_1001_0^2 - 1145984322743865031/555273806*c_1001_0 - 36412726841307445/277636903, c_0101_4 + 27678895003635103/1665821418*c_1001_0^26 - 178556951048265193/1665821418*c_1001_0^25 + 661686215098152673/1665821418*c_1001_0^24 - 86522937781806415/277636903*c_1001_0^23 - 488407272876015029/1665821418*c_1001_0^22 + 1550871289963648187/555273806*c_1001_0^21 - 958750709468546430/277636903*c_1001_0^20 - 356394048737464987/1665821418*c_1001_0^19 + 1604732278702713121/832910709*c_1001_0^18 - 24882192406107861947/1665821418*c_1001_0^17 - 32953782278922941641/1665821418*c_1001_0^16 - 61023653435969088245/1665821418*c_1001_0^15 - 48649949595680410754/832910709*c_1001_0^14 - 17127878664588114894/277636903*c_1001_0^13 - 72970003899040469842/832910709*c_1001_0^12 - 87267710157832240423/832910709*c_1001_0^11 - 48709881222840537785/832910709*c_1001_0^10 + 43755334524618605563/1665821418*c_1001_0^9 + 163281301155958343695/1665821418*c_1001_0^8 + 29501231283837271193/277636903*c_1001_0^7 + 13646264692146010500/277636903*c_1001_0^6 - 13687595871115798337/1665821418*c_1001_0^5 - 6452144702572380270/277636903*c_1001_0^4 - 7323018252849653767/555273806*c_1001_0^3 - 6338674689859942409/1665821418*c_1001_0^2 - 958958513469443381/1665821418*c_1001_0 - 30283597718544407/832910709, c_0101_5 - 15009109313026033/555273806*c_1001_0^26 + 48369149760738486/277636903*c_1001_0^25 - 179111092724710365/277636903*c_1001_0^24 + 279258058398443187/555273806*c_1001_0^23 + 267212127001957597/555273806*c_1001_0^22 - 1261069377189552576/277636903*c_1001_0^21 + 3104516932874863151/555273806*c_1001_0^20 + 216323015123576959/555273806*c_1001_0^19 - 1746853641922845715/555273806*c_1001_0^18 + 13483775941643705183/555273806*c_1001_0^17 + 8975306518522793195/277636903*c_1001_0^16 + 16581896761537569434/277636903*c_1001_0^15 + 52922578597850399935/555273806*c_1001_0^14 + 27985360966078163804/277636903*c_1001_0^13 + 39682503813106019646/277636903*c_1001_0^12 + 47505397358593160866/277636903*c_1001_0^11 + 26617153924261857556/277636903*c_1001_0^10 - 23576843156385840469/555273806*c_1001_0^9 - 44367749027532756634/277636903*c_1001_0^8 - 96421126776200718891/555273806*c_1001_0^7 - 22393703935954887688/277636903*c_1001_0^6 + 7314559821874508763/555273806*c_1001_0^5 + 21078254787222328931/555273806*c_1001_0^4 + 12002140455430277753/555273806*c_1001_0^3 + 1735784868028336671/277636903*c_1001_0^2 + 263188732550707747/277636903*c_1001_0 + 33315952679002593/555273806, c_0101_6 - 37454388580531270/832910709*c_1001_0^26 + 241630513879016494/832910709*c_1001_0^25 - 895621091069690851/832910709*c_1001_0^24 + 234674954806603723/277636903*c_1001_0^23 + 655387954766979311/832910709*c_1001_0^22 - 2095887156194272462/277636903*c_1001_0^21 + 2593913176186322794/277636903*c_1001_0^20 + 453960744092834995/832910709*c_1001_0^19 - 4280074460121675503/832910709*c_1001_0^18 + 33614382506250906344/832910709*c_1001_0^17 + 44605407756904364683/832910709*c_1001_0^16 + 82703031260539437254/832910709*c_1001_0^15 + 131685019173130761757/832910709*c_1001_0^14 + 46435809974947340500/277636903*c_1001_0^13 + 197721084270633539030/832910709*c_1001_0^12 + 236374213277125049723/832910709*c_1001_0^11 + 132299996042203405723/832910709*c_1001_0^10 - 58822934591644352422/832910709*c_1001_0^9 - 220918785939103300036/832910709*c_1001_0^8 - 79945152951377747205/277636903*c_1001_0^7 - 37105054308779861312/277636903*c_1001_0^6 + 18196384864341466904/832910709*c_1001_0^5 + 17468279159925135818/277636903*c_1001_0^4 + 9952182606050388549/277636903*c_1001_0^3 + 8644497860735445998/832910709*c_1001_0^2 + 1312501336113980084/832910709*c_1001_0 + 83210230279997911/832910709, c_1001_0^27 - 6*c_1001_0^26 + 21*c_1001_0^25 - 8*c_1001_0^24 - 26*c_1001_0^23 + 160*c_1001_0^22 - 132*c_1001_0^21 - 106*c_1001_0^20 + 109*c_1001_0^19 - 846*c_1001_0^18 - 1596*c_1001_0^17 - 2745*c_1001_0^16 - 4512*c_1001_0^15 - 5305*c_1001_0^14 - 6956*c_1001_0^13 - 8692*c_1001_0^12 - 6378*c_1001_0^11 - 21*c_1001_0^10 + 6608*c_1001_0^9 + 9064*c_1001_0^8 + 5859*c_1001_0^7 + 853*c_1001_0^6 - 1619*c_1001_0^5 - 1428*c_1001_0^4 - 590*c_1001_0^3 - 139*c_1001_0^2 - 18*c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB