Magma V2.19-8 Tue Aug 20 2013 16:14:20 on localhost [Seed = 2000087892] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s307 geometric_solution 4.47190073 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 1 0132 0132 0132 1302 0 0 0 0 0 -1 -1 2 -1 0 0 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 1 -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.785918650196 0.844004396312 0 3 0 2 0132 3012 2031 1230 0 0 0 0 0 0 0 0 1 0 -2 1 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 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.282364312851 1.113206365836 1 0 4 4 3012 0132 2310 0132 0 0 0 0 0 1 0 -1 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 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.190410762122 0.456147940908 1 3 3 0 1230 3201 2310 0132 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 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.282364312851 1.113206365836 5 2 2 5 0132 3201 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 -0.503943479714 0.460440904828 4 5 5 4 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.059449704454 0.316824943855 ==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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_4'])})} 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_3, c_0011_4, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 7061508808957582562629770079207/17471215357354908364679778577*c_010\ 1_5^21 + 30740743446417401304477207431000/1747121535735490836467977\ 8577*c_0101_5^20 + 271577797537235270899025692545609/17471215357354\ 908364679778577*c_0101_5^19 - 1027964581611995748358364110705387/17\ 471215357354908364679778577*c_0101_5^18 - 1380170446610287922478110179413520/17471215357354908364679778577*c_\ 0101_5^17 + 8492034315846026208218949160013502/17471215357354908364\ 679778577*c_0101_5^16 - 2432460276565533364549926585437760/17471215\ 357354908364679778577*c_0101_5^15 - 29936522466791330004139286844680570/17471215357354908364679778577*c\ _0101_5^14 + 28355417455808701743559599589872411/174712153573549083\ 64679778577*c_0101_5^13 + 51446287885743230268939766395312016/17471\ 215357354908364679778577*c_0101_5^12 - 64662152307977119487820203058551862/17471215357354908364679778577*c\ _0101_5^11 - 48272340443884011156263840326231240/174712153573549083\ 64679778577*c_0101_5^10 + 67361175551674784005260518963203652/17471\ 215357354908364679778577*c_0101_5^9 + 1118611074809897461846873403753659/759618059015430798464338199*c_01\ 01_5^8 - 37914271069762677575460432730902410/1747121535735490836467\ 9778577*c_0101_5^7 - 7064566432970149057417359918229420/17471215357\ 354908364679778577*c_0101_5^6 + 12767928084060344524471820328535076\ /17471215357354908364679778577*c_0101_5^5 + 1023227974922340410613300403395951/17471215357354908364679778577*c_\ 0101_5^4 - 2562031416507892745775191957100005/174712153573549083646\ 79778577*c_0101_5^3 - 298415264054555979664396361563611/17471215357\ 354908364679778577*c_0101_5^2 + 158788876598470492424386086320950/1\ 7471215357354908364679778577*c_0101_5 + 22053795761596529317565378610097/17471215357354908364679778577, c_0011_0 - 1, c_0011_3 - 377962009330039612601577224122/17471215357354908364679778577\ *c_0101_5^21 + 1660686372309309805613031284483/17471215357354908364\ 679778577*c_0101_5^20 + 14464026510941156470403590591632/1747121535\ 7354908364679778577*c_0101_5^19 - 55583821534526960575275300588888/\ 17471215357354908364679778577*c_0101_5^18 - 71452663753438390022611863813906/17471215357354908364679778577*c_01\ 01_5^17 + 456641645958689030003890974620339/17471215357354908364679\ 778577*c_0101_5^16 - 149196217494463128895196035560767/174712153573\ 54908364679778577*c_0101_5^15 - 1590274084392073973657451933355522/\ 17471215357354908364679778577*c_0101_5^14 + 1577292454260589866904674584342838/17471215357354908364679778577*c_\ 0101_5^13 + 2671918748189325331928211798980261/17471215357354908364\ 679778577*c_0101_5^12 - 3540608164541866802840214361390885/17471215\ 357354908364679778577*c_0101_5^11 - 2419759689793492935458580116752427/17471215357354908364679778577*c_\ 0101_5^10 + 3648461530326811964627514005015147/17471215357354908364\ 679778577*c_0101_5^9 + 53180136750683796189847665982901/75961805901\ 5430798464338199*c_0101_5^8 - 2029223617465980890741749907202018/17\ 471215357354908364679778577*c_0101_5^7 - 301564431910044635527955089426015/17471215357354908364679778577*c_0\ 101_5^6 + 672274438193388933958893969333189/17471215357354908364679\ 778577*c_0101_5^5 + 33275178689791278794571221490848/17471215357354\ 908364679778577*c_0101_5^4 - 132487969688161204205793832640025/1747\ 1215357354908364679778577*c_0101_5^3 - 12527974468597132249512892680181/17471215357354908364679778577*c_01\ 01_5^2 + 8118449207202853464281028534350/17471215357354908364679778\ 577*c_0101_5 + 985629715720926913835372010920/174712153573549083646\ 79778577, c_0011_4 - 73627499955101872918775610607/17471215357354908364679778577*\ c_0101_5^21 + 327229664863499571120265015976/1747121535735490836467\ 9778577*c_0101_5^20 + 2799295088601924367684379147717/1747121535735\ 4908364679778577*c_0101_5^19 - 10961635020813338244713689216249/174\ 71215357354908364679778577*c_0101_5^18 - 13297913684299906529255552946729/17471215357354908364679778577*c_01\ 01_5^17 + 89366391674766161846583492747096/174712153573549083646797\ 78577*c_0101_5^16 - 33888329024139711150889989614228/17471215357354\ 908364679778577*c_0101_5^15 - 305970831799731490008019585103748/174\ 71215357354908364679778577*c_0101_5^14 + 321816062910561234998160754846924/17471215357354908364679778577*c_0\ 101_5^13 + 497217701221323431889570036160243/1747121535735490836467\ 9778577*c_0101_5^12 - 706922465091795893584781161792242/17471215357\ 354908364679778577*c_0101_5^11 - 425151995899512682148094312634624/\ 17471215357354908364679778577*c_0101_5^10 + 715437115260382221495574797298334/17471215357354908364679778577*c_0\ 101_5^9 + 8482023377414384623270533984975/7596180590154307984643381\ 99*c_0101_5^8 - 389161799519321373940516110555180/17471215357354908\ 364679778577*c_0101_5^7 - 37832139350334703369190348716753/17471215\ 357354908364679778577*c_0101_5^6 + 125023321328120117702955284191288/17471215357354908364679778577*c_0\ 101_5^5 + 1007412093242406237330030198162/1747121535735490836467977\ 8577*c_0101_5^4 - 23763192428361282766059436659897/1747121535735490\ 8364679778577*c_0101_5^3 - 1634255473952549397877120283719/17471215\ 357354908364679778577*c_0101_5^2 + 1397081787347323008256028317942/17471215357354908364679778577*c_010\ 1_5 + 153434677630870073547867181178/17471215357354908364679778577, c_0101_2 + 207918720337684278401785680080/17471215357354908364679778577\ *c_0101_5^21 - 902702660173754573725680082427/174712153573549083646\ 79778577*c_0101_5^20 - 8009246367390617773045412248835/174712153573\ 54908364679778577*c_0101_5^19 + 30185432792667588377990229303360/17\ 471215357354908364679778577*c_0101_5^18 + 41075862962765750607663402104395/17471215357354908364679778577*c_01\ 01_5^17 - 249947871548218615072724352342228/17471215357354908364679\ 778577*c_0101_5^16 + 68439004283919969406314495767118/1747121535735\ 4908364679778577*c_0101_5^15 + 885210470681240458249852273749189/17\ 471215357354908364679778577*c_0101_5^14 - 826906841604119436797226584469027/17471215357354908364679778577*c_0\ 101_5^13 - 1533105010554035476826194798600724/174712153573549083646\ 79778577*c_0101_5^12 + 1899882555211063620324326334174303/174712153\ 57354908364679778577*c_0101_5^11 + 1453012029118586339377043967566852/17471215357354908364679778577*c_\ 0101_5^10 - 1992458044722671195162258437929571/17471215357354908364\ 679778577*c_0101_5^9 - 34013228760828689424373800628041/75961805901\ 5430798464338199*c_0101_5^8 + 1129814399825600797463498016952818/17\ 471215357354908364679778577*c_0101_5^7 + 216650304543456459722305264509463/17471215357354908364679778577*c_0\ 101_5^6 - 383419843710153771795441597275112/17471215357354908364679\ 778577*c_0101_5^5 - 30827375581092429766560781859285/17471215357354\ 908364679778577*c_0101_5^4 + 77336318776406663888024716410440/17471\ 215357354908364679778577*c_0101_5^3 + 8514239720695314328768501863576/17471215357354908364679778577*c_010\ 1_5^2 - 4789184779461398045018565051012/174712153573549083646797785\ 77*c_0101_5 - 598329803632300264901571211120/1747121535735490836467\ 9778577, c_0101_4 - 72055419528057860715775892648/17471215357354908364679778577*\ c_0101_5^21 + 311690541774789213474090502085/1747121535735490836467\ 9778577*c_0101_5^20 + 2781463566660828977039834689243/1747121535735\ 4908364679778577*c_0101_5^19 - 10420959104427710553013375667605/174\ 71215357354908364679778577*c_0101_5^18 - 14431116989242337265946489166180/17471215357354908364679778577*c_01\ 01_5^17 + 86535680768772743136489252262537/174712153573549083646797\ 78577*c_0101_5^16 - 22262512532535197632339267649858/17471215357354\ 908364679778577*c_0101_5^15 - 308223645558703442831042109217206/174\ 71215357354908364679778577*c_0101_5^14 + 282646209293052501671467654798516/17471215357354908364679778577*c_0\ 101_5^13 + 538914943274286850135884112402024/1747121535735490836467\ 9778577*c_0101_5^12 - 655336424351495004739480679546827/17471215357\ 354908364679778577*c_0101_5^11 - 517011567577005704131792491845998/\ 17471215357354908364679778577*c_0101_5^10 + 692461506864292594098923097820391/17471215357354908364679778577*c_0\ 101_5^9 + 12251996962071424463828732109612/759618059015430798464338\ 199*c_0101_5^8 - 395655792119164444498032558003202/1747121535735490\ 8364679778577*c_0101_5^7 - 79031402329692742596603172862626/1747121\ 5357354908364679778577*c_0101_5^6 + 135112376339910953189304289678212/17471215357354908364679778577*c_0\ 101_5^5 + 11325843061337024879938365395589/174712153573549083646797\ 78577*c_0101_5^4 - 27296944092348570926173001753781/174712153573549\ 08364679778577*c_0101_5^3 - 3016134705207258804264723362666/1747121\ 5357354908364679778577*c_0101_5^2 + 1663734902963394860779974430512/17471215357354908364679778577*c_010\ 1_5 + 210617709597642907500576959092/17471215357354908364679778577, c_0101_5^22 - 4*c_0101_5^21 - 40*c_0101_5^20 + 132*c_0101_5^19 + 247*c_0101_5^18 - 1134*c_0101_5^17 - 81*c_0101_5^16 + 4365*c_0101_5^15 - 2519*c_0101_5^14 - 8718*c_0101_5^13 + 6597*c_0101_5^12 + 10095*c_0101_5^11 - 7157*c_0101_5^10 - 7035*c_0101_5^9 + 4118*c_0101_5^8 + 2907*c_0101_5^7 - 1476*c_0101_5^6 - 785*c_0101_5^5 + 319*c_0101_5^4 + 170*c_0101_5^3 - 9*c_0101_5^2 - 11*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB