Magma V2.19-8 Tue Aug 20 2013 16:16:56 on localhost [Seed = 4189611305] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1187 geometric_solution 5.05922636 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 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 -1 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.900430045259 0.714970656312 0 4 3 5 0132 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.098252669648 0.684199411634 0 0 6 6 2310 0132 3201 0132 0 0 0 0 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.347696795837 1.065694242471 1 5 0 4 2310 1023 0132 2310 0 0 0 0 0 0 1 -1 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 1 -1 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.098252669648 0.684199411634 3 1 4 4 3201 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.285073093955 0.543903612314 3 5 1 5 1023 2310 0132 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 -1 0 0 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.205643123584 1.432031360233 2 6 2 6 2310 1302 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.809172146363 0.229252152791 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0011_6']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], '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_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0110_4']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : 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_2, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 762509772520910994016214/1385645981935001341127*c_0110_4^26 + 12600017445823403861142518/1385645981935001341127*c_0110_4^25 - 33599685491646822569840237/1385645981935001341127*c_0110_4^24 - 187602553665370444543828965/1385645981935001341127*c_0110_4^23 + 747334188943428634496156271/1385645981935001341127*c_0110_4^22 + 426891244137723072737018046/1385645981935001341127*c_0110_4^21 - 3634830253290110290570824402/1385645981935001341127*c_0110_4^20 + 1031058172660233293263957466/1385645981935001341127*c_0110_4^19 + 5917274910867501850565449619/1385645981935001341127*c_0110_4^18 - 3847617658769534987411006251/1385645981935001341127*c_0110_4^17 - 878371089433175659540090208/1385645981935001341127*c_0110_4^16 + 1998215555438447261034241170/1385645981935001341127*c_0110_4^15 - 4731356451278271711399394384/1385645981935001341127*c_0110_4^14 + 2599388289366543266644368131/1385645981935001341127*c_0110_4^13 + 758105265208377793414331248/1385645981935001341127*c_0110_4^12 - 1309644065346066579611309036/1385645981935001341127*c_0110_4^11 + 2267511626603387727903441865/1385645981935001341127*c_0110_4^10 - 1207682593339124073214048870/1385645981935001341127*c_0110_4^9 + 397813938646501633020155797/1385645981935001341127*c_0110_4^8 + 108029935927764940332600273/1385645981935001341127*c_0110_4^7 - 459213552360749026402153287/1385645981935001341127*c_0110_4^6 + 282582229484441955351884250/1385645981935001341127*c_0110_4^5 - 279998703816582035513496510/1385645981935001341127*c_0110_4^4 + 84182242607788308358018411/1385645981935001341127*c_0110_4^3 - 63841875845243737203086568/1385645981935001341127*c_0110_4^2 + 8163093123777649401890281/1385645981935001341127*c_0110_4 - 5460716578239130357414492/1385645981935001341127, c_0011_0 - 1, c_0011_3 - 128714124271105921154248/1385645981935001341127*c_0110_4^26 + 2217088576166592131188669/1385645981935001341127*c_0110_4^25 - 6932099808494613214879944/1385645981935001341127*c_0110_4^24 - 30910809549505024375858646/1385645981935001341127*c_0110_4^23 + 150353046268112860364384883/1385645981935001341127*c_0110_4^22 + 45390384362002464746804057/1385645981935001341127*c_0110_4^21 - 733984809384068620043172770/1385645981935001341127*c_0110_4^20 + 296632067076334187348625748/1385645981935001341127*c_0110_4^19 + 1202232941844604043887561440/1385645981935001341127*c_0110_4^18 - 827708695728699919414517516/1385645981935001341127*c_0110_4^17 - 180563426678047415533945155/1385645981935001341127*c_0110_4^16 + 351835532827564579898132177/1385645981935001341127*c_0110_4^15 - 968171545541291013238985181/1385645981935001341127*c_0110_4^14 + 564884150995959779282077169/1385645981935001341127*c_0110_4^13 + 150879140000917979799774858/1385645981935001341127*c_0110_4^12 - 238461775921735289114894356/1385645981935001341127*c_0110_4^11 + 470087204168469589464060591/1385645981935001341127*c_0110_4^10 - 252456821458398541638778644/1385645981935001341127*c_0110_4^9 + 86922619764154236328332217/1385645981935001341127*c_0110_4^8 + 13998998470791668255353466/1385645981935001341127*c_0110_4^7 - 95345479326220627913145177/1385645981935001341127*c_0110_4^6 + 55602208422891484937066276/1385645981935001341127*c_0110_4^5 - 59973652686796078572314757/1385645981935001341127*c_0110_4^4 + 17001193100151317251055451/1385645981935001341127*c_0110_4^3 - 14040324198286017344213356/1385645981935001341127*c_0110_4^2 + 1667302217852000297949772/1385645981935001341127*c_0110_4 - 1234543755697244786515488/1385645981935001341127, c_0011_6 - 194690880243261781839895/1385645981935001341127*c_0110_4^26 + 1262391130197396096403153/1385645981935001341127*c_0110_4^25 + 18768186091889255066472170/1385645981935001341127*c_0110_4^24 - 64567679360737335318001204/1385645981935001341127*c_0110_4^23 - 334543221473331611794777175/1385645981935001341127*c_0110_4^22 + 693791022830900116686047748/1385645981935001341127*c_0110_4^21 + 1692836814351905354183007848/1385645981935001341127*c_0110_4^20 - 2442969461314167559531427691/1385645981935001341127*c_0110_4^19 - 2953616996097754521433963724/1385645981935001341127*c_0110_4^18 + 3016659845632347593966275222/1385645981935001341127*c_0110_4^17 + 580773158044838278796205142/1385645981935001341127*c_0110_4^16 + 68188108059687357330177524/1385645981935001341127*c_0110_4^15 + 2439425895974447436597033715/1385645981935001341127*c_0110_4^14 - 2121536312306568653450189932/1385645981935001341127*c_0110_4^13 - 398600261241597078734064617/1385645981935001341127*c_0110_4^12 + 169758163048543706324594829/1385645981935001341127*c_0110_4^11 - 1284263239756964625095954318/1385645981935001341127*c_0110_4^10 + 733811528072734469221214110/1385645981935001341127*c_0110_4^9 - 277699739598533510907258828/1385645981935001341127*c_0110_4^8 + 86078885969321628276677171/1385645981935001341127*c_0110_4^7 + 274243392525975216943258892/1385645981935001341127*c_0110_4^6 - 100119027200987048652951487/1385645981935001341127*c_0110_4^5 + 190789099036995147409235181/1385645981935001341127*c_0110_4^4 - 35664425456638158659491042/1385645981935001341127*c_0110_4^3 + 47811445212900372586047296/1385645981935001341127*c_0110_4^2 - 3590516394777750924116193/1385645981935001341127*c_0110_4 + 4436061209551656971093226/1385645981935001341127, c_0101_0 + 434144108136690512775411/1385645981935001341127*c_0110_4^26 - 7312561269610911965371242/1385645981935001341127*c_0110_4^25 + 21062195428720535705041283/1385645981935001341127*c_0110_4^24 + 105720239322977684425257781/1385645981935001341127*c_0110_4^23 - 462660739645437700174816665/1385645981935001341127*c_0110_4^22 - 203594073550618593151440662/1385645981935001341127*c_0110_4^21 + 2254582705739698639518197385/1385645981935001341127*c_0110_4^20 - 766036845507971153873500525/1385645981935001341127*c_0110_4^19 - 3680993114040110275104477383/1385645981935001341127*c_0110_4^18 + 2442045490708655430031467856/1385645981935001341127*c_0110_4^17 + 547183671955581562042089543/1385645981935001341127*c_0110_4^16 - 1141822542831443689323506894/1385645981935001341127*c_0110_4^15 + 2954527959293985134096422260/1385645981935001341127*c_0110_4^14 - 1666405620790947083025625804/1385645981935001341127*c_0110_4^13 - 461258404133325549509583336/1385645981935001341127*c_0110_4^12 + 758347565821534022184856676/1385645981935001341127*c_0110_4^11 - 1426676109680911401570054066/1385645981935001341127*c_0110_4^10 + 761718350670940122434495006/1385645981935001341127*c_0110_4^9 - 260576723991408217633798503/1385645981935001341127*c_0110_4^8 - 51812087360430355695206649/1385645981935001341127*c_0110_4^7 + 288317555434217523529955977/1385645981935001341127*c_0110_4^6 - 172461611828599398246518596/1385645981935001341127*c_0110_4^5 + 180081005812824249729508059/1385645981935001341127*c_0110_4^4 - 52333657353605062250345062/1385645981935001341127*c_0110_4^3 + 41964633663365991441973650/1385645981935001341127*c_0110_4^2 - 5127278883808467153842774/1385645981935001341127*c_0110_4 + 3677432489612100179778887/1385645981935001341127, c_0101_1 - 415090836371109235029197/1385645981935001341127*c_0110_4^26 + 5773672690054659924491712/1385645981935001341127*c_0110_4^25 - 3069719258066938808862826/1385645981935001341127*c_0110_4^24 - 111867523111052189939264731/1385645981935001341127*c_0110_4^23 + 115244842728337724853697447/1385645981935001341127*c_0110_4^22 + 566913876080173134384958866/1385645981935001341127*c_0110_4^21 - 531149201498289175691665604/1385645981935001341127*c_0110_4^20 - 995389344140936828592684904/1385645981935001341127*c_0110_4^19 + 779827041499848516745137260/1385645981935001341127*c_0110_4^18 + 238613496724316185974511003/1385645981935001341127*c_0110_4^17 - 93634999539726102062710689/1385645981935001341127*c_0110_4^16 + 772912219022023330847990965/1385645981935001341127*c_0110_4^15 - 521764919365139295695404089/1385645981935001341127*c_0110_4^14 - 178552676719205752847938178/1385645981935001341127*c_0110_4^13 + 102410946567176330454854220/1385645981935001341127*c_0110_4^12 - 389254734126215070979192847/1385645981935001341127*c_0110_4^11 + 185782905085965674480878180/1385645981935001341127*c_0110_4^10 - 59892653667221992885940137/1385645981935001341127*c_0110_4^9 + 3377408305807631100470014/1385645981935001341127*c_0110_4^8 + 85048349384532154220805337/1385645981935001341127*c_0110_4^7 - 29601955320128088863908180/1385645981935001341127*c_0110_4^6 + 52250805230529723303059877/1385645981935001341127*c_0110_4^5 - 6961491407005055401024107/1385645981935001341127*c_0110_4^4 + 12367040582761640369208132/1385645981935001341127*c_0110_4^3 + 134695521943482598209700/1385645981935001341127*c_0110_4^2 + 1105829631426138865361240/1385645981935001341127*c_0110_4 + 130099770253040922495375/1385645981935001341127, c_0101_2 + 300819788441436675024807/1385645981935001341127*c_0110_4^26 - 3767100700286248078572094/1385645981935001341127*c_0110_4^25 - 3601301505821618741420993/1385645981935001341127*c_0110_4^24 + 84497249503171646533716007/1385645981935001341127*c_0110_4^23 + 28600927354790314988668753/1385645981935001341127*c_0110_4^22 - 532952997372473388419185362/1385645981935001341127*c_0110_4^21 - 175976291846652877572907603/1385645981935001341127*c_0110_4^20 + 1283627360502642829028234280/1385645981935001341127*c_0110_4^19 + 395161406264023878243487247/1385645981935001341127*c_0110_4^18 - 993066519456363985329932675/1385645981935001341127*c_0110_4^17 - 115876744716436358382630496/1385645981935001341127*c_0110_4^16 - 489047610380419364011690787/1385645981935001341127*c_0110_4^15 - 394858818732189761254599164/1385645981935001341127*c_0110_4^14 + 712725545710618435240369847/1385645981935001341127*c_0110_4^13 + 54486972145812230143019413/1385645981935001341127*c_0110_4^12 + 188174701950082337301959166/1385645981935001341127*c_0110_4^11 + 260594183648168618636387865/1385645981935001341127*c_0110_4^10 - 174768023030665040056229946/1385645981935001341127*c_0110_4^9 + 79061831951798630821876764/1385645981935001341127*c_0110_4^8 - 76404071051751043041465916/1385645981935001341127*c_0110_4^7 - 61301502223932485905072212/1385645981935001341127*c_0110_4^6 - 2604390196943638547768192/1385645981935001341127*c_0110_4^5 - 51312234169737484987132161/1385645981935001341127*c_0110_4^4 + 2875604871622858320543511/1385645981935001341127*c_0110_4^3 - 14114466353237936155438354/1385645981935001341127*c_0110_4^2 + 374527085289395095222655/1385645981935001341127*c_0110_4 - 1395132625696567654289155/1385645981935001341127, c_0110_4^27 - 14*c_0110_4^26 + 9*c_0110_4^25 + 264*c_0110_4^24 - 299*c_0110_4^23 - 1248*c_0110_4^22 + 1298*c_0110_4^21 + 1822*c_0110_4^20 - 1607*c_0110_4^19 + 372*c_0110_4^18 - 451*c_0110_4^17 - 2006*c_0110_4^16 + 1517*c_0110_4^15 - 335*c_0110_4^14 + 215*c_0110_4^13 + 1057*c_0110_4^12 - 628*c_0110_4^11 + 518*c_0110_4^10 - 210*c_0110_4^9 - 135*c_0110_4^8 + 80*c_0110_4^7 - 202*c_0110_4^6 + 60*c_0110_4^5 - 78*c_0110_4^4 + 13*c_0110_4^3 - 14*c_0110_4^2 + c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB