Magma V2.19-8 Tue Aug 20 2013 16:18:53 on localhost [Seed = 189437565] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3043 geometric_solution 6.21706096 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 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 -1 0 1 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.430564572399 0.581473186066 0 3 5 4 0132 0132 0132 0132 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 -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.709310623745 0.801568796509 3 0 4 5 3201 0132 3201 2310 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 -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.709310623745 0.801568796509 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374696153643 1.238146668702 2 6 1 6 2310 0132 0132 1023 0 0 0 0 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 -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 1.029542431090 0.692562968849 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 0 0 1 -1 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.964113746125 0.675435711050 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 -1 1 1 0 -1 0 1 -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 1 -1 -1 0 1 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553915155545 0.211275861026 ==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_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(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_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 257/7*c_0110_6^3 - 296/7*c_0110_6^2 - 2525/7*c_0110_6 - 1674/7, c_0011_0 - 1, c_0011_4 - 2/7*c_0110_6^3 + 5/7*c_0110_6^2 + 16/7*c_0110_6 + 6/7, c_0101_0 + 5/7*c_0110_6^3 - 9/7*c_0110_6^2 - 40/7*c_0110_6 - 8/7, c_0101_1 - 3/7*c_0110_6^3 + 4/7*c_0110_6^2 + 31/7*c_0110_6 + 9/7, c_0101_2 + 2/7*c_0110_6^3 - 5/7*c_0110_6^2 - 16/7*c_0110_6 + 1/7, c_0101_5 + 3/7*c_0110_6^3 - 4/7*c_0110_6^2 - 24/7*c_0110_6 - 9/7, c_0110_6^4 - c_0110_6^3 - 10*c_0110_6^2 - 8*c_0110_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 19182634626103324157030753575822309/1274259040694880668882607333847\ 2797*c_0110_6^19 - 884012104723719803605150095319599754/38227771220\ 846420066478220015418391*c_0110_6^18 + 580849417245360481036458357642309146/382277712208464200664782200154\ 18391*c_0110_6^17 + 4723298351207628805127055406825881959/382277712\ 20846420066478220015418391*c_0110_6^16 - 17160181768168144972506976718326771763/3822777122084642006647822001\ 5418391*c_0110_6^15 - 3571950321709367316374161215876635390/1274259\ 0406948806688826073338472797*c_0110_6^14 + 75262397787406836147255477483950098061/3822777122084642006647822001\ 5418391*c_0110_6^13 + 80462727954276719965067041824303110278/382277\ 71220846420066478220015418391*c_0110_6^12 - 27130912595956043362599757480332264438/1274259040694880668882607333\ 8472797*c_0110_6^11 - 82034595906479018513663469246844084303/382277\ 71220846420066478220015418391*c_0110_6^10 + 52417438897857625431873114577167108856/3822777122084642006647822001\ 5418391*c_0110_6^9 - 14622735962863789961982071190445171889/1274259\ 0406948806688826073338472797*c_0110_6^8 - 41243749647674866856626975357668958721/3822777122084642006647822001\ 5418391*c_0110_6^7 + 35181509794145614523577650188676252864/3822777\ 1220846420066478220015418391*c_0110_6^6 - 3447646247253038508305962249199082629/38227771220846420066478220015\ 418391*c_0110_6^5 + 210111074533128971295334605643586391/1274259040\ 6948806688826073338472797*c_0110_6^4 + 7568678668702722390215290802704904546/38227771220846420066478220015\ 418391*c_0110_6^3 - 1168254685094519877483540289199494406/382277712\ 20846420066478220015418391*c_0110_6^2 + 31060011713250299060933740268601677/3822777122084642006647822001541\ 8391*c_0110_6 + 427735152215421331564890470534616658/38227771220846\ 420066478220015418391, c_0011_0 - 1, c_0011_4 - 17842415278678508184481677552831/554025669867339421253307536\ 455339*c_0110_6^19 - 241534455405817575198747412313012/554025669867\ 339421253307536455339*c_0110_6^18 + 681044078592197497762800046278402/554025669867339421253307536455339\ *c_0110_6^17 + 1142128485969602131955552205689553/55402566986733942\ 1253307536455339*c_0110_6^16 - 8140112328410476771806568974744118/5\ 54025669867339421253307536455339*c_0110_6^15 + 6285343477491505385829469520276044/55402566986733942125330753645533\ 9*c_0110_6^14 + 30406479106368291512628701240388025/554025669867339\ 421253307536455339*c_0110_6^13 - 1935110724367354122597062443292710\ 6/554025669867339421253307536455339*c_0110_6^12 - 75312831079712288708251885526137439/5540256698673394212533075364553\ 39*c_0110_6^11 + 27837108222250569628141341501289762/55402566986733\ 9421253307536455339*c_0110_6^10 + 851459207685305942012829022678782\ 47/554025669867339421253307536455339*c_0110_6^9 - 38716570941304438858824369726054173/5540256698673394212533075364553\ 39*c_0110_6^8 - 10823520071912122662041601558981672/554025669867339\ 421253307536455339*c_0110_6^7 + 18491352953370385499719572862734032\ /554025669867339421253307536455339*c_0110_6^6 - 23325443770004621620327258147246615/5540256698673394212533075364553\ 39*c_0110_6^5 + 6162489994900047399460905862175433/5540256698673394\ 21253307536455339*c_0110_6^4 + 4118415550671890412054939487037652/5\ 54025669867339421253307536455339*c_0110_6^3 - 4649192471120031514519933868162880/55402566986733942125330753645533\ 9*c_0110_6^2 + 1758366361044205419648055922833860/55402566986733942\ 1253307536455339*c_0110_6 - 254869146970628461730297445327492/55402\ 5669867339421253307536455339, c_0101_0 + 207875094785886630667841945589070/55402566986733942125330753\ 6455339*c_0110_6^19 + 3182158865679018322413649228049169/5540256698\ 67339421253307536455339*c_0110_6^18 - 2348696484370117051093608516519047/55402566986733942125330753645533\ 9*c_0110_6^17 - 18239489098153285317519825132743365/554025669867339\ 421253307536455339*c_0110_6^16 + 6286923219338152353200550936366770\ 2/554025669867339421253307536455339*c_0110_6^15 + 42739255079353720711289467526536515/5540256698673394212533075364553\ 39*c_0110_6^14 - 293008496915734747615062802829748595/5540256698673\ 39421253307536455339*c_0110_6^13 - 308474692699989934022165450882786141/554025669867339421253307536455\ 339*c_0110_6^12 + 404548411444876347804518741813167611/554025669867\ 339421253307536455339*c_0110_6^11 + 474339257553691038785701909696148876/554025669867339421253307536455\ 339*c_0110_6^10 - 243800924171981239696972128969418572/554025669867\ 339421253307536455339*c_0110_6^9 - 76002340294027091917610745226955366/5540256698673394212533075364553\ 39*c_0110_6^8 + 83592876746311095630381722685284975/554025669867339\ 421253307536455339*c_0110_6^7 - 97525881371305387932084119510117541\ /554025669867339421253307536455339*c_0110_6^6 + 11438102826397023346710891676791692/5540256698673394212533075364553\ 39*c_0110_6^5 + 20585143992665401809833193643586356/554025669867339\ 421253307536455339*c_0110_6^4 - 15868166548475906212151656009969693\ /554025669867339421253307536455339*c_0110_6^3 + 3213503434319582586316095256907461/55402566986733942125330753645533\ 9*c_0110_6^2 + 1023393833094028215011313562669312/55402566986733942\ 1253307536455339*c_0110_6 - 285906273931150868615099213027926/55402\ 5669867339421253307536455339, c_0101_1 + 131324052163701094255350749560778/55402566986733942125330753\ 6455339*c_0110_6^19 + 1915354590540578400061965501089738/5540256698\ 67339421253307536455339*c_0110_6^18 - 2927680798839382902519654968373353/55402566986733942125330753645533\ 9*c_0110_6^17 - 10291494684910602228289420927494618/554025669867339\ 421253307536455339*c_0110_6^16 + 4809372482903355491627048563903063\ 4/554025669867339421253307536455339*c_0110_6^15 - 2538622130025732211316745645942260/55402566986733942125330753645533\ 9*c_0110_6^14 - 202623716262634148143491776515892614/55402566986733\ 9421253307536455339*c_0110_6^13 - 569645280517634256506472402249371\ 83/554025669867339421253307536455339*c_0110_6^12 + 387490850420819832968787476043989390/554025669867339421253307536455\ 339*c_0110_6^11 + 88970061977117260634718531118549936/5540256698673\ 39421253307536455339*c_0110_6^10 - 378717552943766354983847347721890969/554025669867339421253307536455\ 339*c_0110_6^9 + 90307941531336565016284734190191866/55402566986733\ 9421253307536455339*c_0110_6^8 + 1153516245750171657390123233477518\ 31/554025669867339421253307536455339*c_0110_6^7 - 93739575398909105345623441637715663/5540256698673394212533075364553\ 39*c_0110_6^6 + 41496160975423502816939671791979908/554025669867339\ 421253307536455339*c_0110_6^5 + 4025993861899720981509215751150803/\ 554025669867339421253307536455339*c_0110_6^4 - 19023469677506210439714885954531028/5540256698673394212533075364553\ 39*c_0110_6^3 + 6209202579740334833109056795582978/5540256698673394\ 21253307536455339*c_0110_6^2 - 910398899700757987889770772777358/55\ 4025669867339421253307536455339*c_0110_6 - 149716209315221327002535342920461/554025669867339421253307536455339\ , c_0101_2 - 17176789630784420015832400833990/554025669867339421253307536\ 455339*c_0110_6^19 - 235039164990584567205784393484320/554025669867\ 339421253307536455339*c_0110_6^18 + 607070089050297996018186998064018/554025669867339421253307536455339\ *c_0110_6^17 + 965341829071279387260861233865184/554025669867339421\ 253307536455339*c_0110_6^16 - 7632845559803191813935200392884425/55\ 4025669867339421253307536455339*c_0110_6^15 + 6273915853329074438680193980836390/55402566986733942125330753645533\ 9*c_0110_6^14 + 26440440921495493168991071661853357/554025669867339\ 421253307536455339*c_0110_6^13 - 1972570258674704318789736834478101\ 0/554025669867339421253307536455339*c_0110_6^12 - 56151588508009362619261764325314819/5540256698673394212533075364553\ 39*c_0110_6^11 + 48396478558334673585591562788814952/55402566986733\ 9421253307536455339*c_0110_6^10 + 692831063440308760090641493659769\ 97/554025669867339421253307536455339*c_0110_6^9 - 72365092722948938800762630825733484/5540256698673394212533075364553\ 39*c_0110_6^8 - 17298472353263775056732177452834997/554025669867339\ 421253307536455339*c_0110_6^7 + 26312048651018573519222851300332785\ /554025669867339421253307536455339*c_0110_6^6 - 22444120369554547921364537435621370/5540256698673394212533075364553\ 39*c_0110_6^5 + 11006890345715924164590698322979630/554025669867339\ 421253307536455339*c_0110_6^4 + 5987639759761326745332549454773869/\ 554025669867339421253307536455339*c_0110_6^3 - 5379928654468930227981579740619450/55402566986733942125330753645533\ 9*c_0110_6^2 + 1965274688227254188708808029294747/55402566986733942\ 1253307536455339*c_0110_6 - 163205471583776367272691119430470/55402\ 5669867339421253307536455339, c_0101_5 + 35721266897071906355208906874802/554025669867339421253307536\ 455339*c_0110_6^19 + 499704987776962751479173792587732/554025669867\ 339421253307536455339*c_0110_6^18 - 1105293893174137518482445624619942/55402566986733942125330753645533\ 9*c_0110_6^17 - 2302192955860286923521838855087472/5540256698673394\ 21253307536455339*c_0110_6^16 + 14714996230494055906068497555803085\ /554025669867339421253307536455339*c_0110_6^15 - 8643733978522753237659744995434346/55402566986733942125330753645533\ 9*c_0110_6^14 - 54124164361429002967470247918683300/554025669867339\ 421253307536455339*c_0110_6^13 + 1754237275293128102067084646991792\ 4/554025669867339421253307536455339*c_0110_6^12 + 111622212706769851630996567682787533/554025669867339421253307536455\ 339*c_0110_6^11 - 39897641190046052701249304773671321/5540256698673\ 39421253307536455339*c_0110_6^10 - 110151703784652455340483461125966346/554025669867339421253307536455\ 339*c_0110_6^9 + 91125720880981783755720421785877370/55402566986733\ 9421253307536455339*c_0110_6^8 + 9050951968726133029761850998178295\ /554025669867339421253307536455339*c_0110_6^7 - 49429303857091962108808309264278702/5540256698673394212533075364553\ 39*c_0110_6^6 + 28464809201402827000867710461351861/554025669867339\ 421253307536455339*c_0110_6^5 - 3700984001736387546113854126749889/\ 554025669867339421253307536455339*c_0110_6^4 - 4836686411711352457366602249455974/55402566986733942125330753645533\ 9*c_0110_6^3 + 3972680876323786212475877323643536/55402566986733942\ 1253307536455339*c_0110_6^2 - 1741133666356530673404476171935432/55\ 4025669867339421253307536455339*c_0110_6 + 37552441740410456635707508747428/554025669867339421253307536455339, c_0110_6^20 + 15*c_0110_6^19 - 16*c_0110_6^18 - 84*c_0110_6^17 + 330*c_0110_6^16 + 110*c_0110_6^15 - 1472*c_0110_6^14 - 1029*c_0110_6^13 + 2378*c_0110_6^12 + 1594*c_0110_6^11 - 1860*c_0110_6^10 + 153*c_0110_6^9 + 518*c_0110_6^8 - 691*c_0110_6^7 + 243*c_0110_6^6 + 62*c_0110_6^5 - 119*c_0110_6^4 + 55*c_0110_6^3 - 10*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB