Magma V2.19-8 Tue Aug 20 2013 16:18:21 on localhost [Seed = 3600239608] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2560 geometric_solution 5.86536785 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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.204213737663 0.257986902759 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 0 0 0 0 0 0.909468061927 2.125032945524 1 4 5 6 0132 0132 0132 0132 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 -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.435149478547 0.466093927229 6 5 4 1 0132 0132 3201 0132 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 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.435149478547 0.466093927229 3 2 4 4 2310 0132 1230 3012 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 0 0 0 0 0.224382029193 1.380903658312 5 3 5 2 2031 0132 1302 0132 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 0.673629708186 0.412264140277 3 6 2 6 0132 1302 0132 2031 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 1 0 -1 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.950577663063 0.618156681176 ==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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 4027283092084015616302190553/30870088728869855270020576*c_0101_4^20 - 8242929067308501063609936867/30870088728869855270020576*c_0101_4^\ 19 - 23875278558780248059901613551/30870088728869855270020576*c_010\ 1_4^18 - 1338403393340993604363114589/15435044364434927635010288*c_\ 0101_4^17 + 56688502788231075959085462491/1543504436443492763501028\ 8*c_0101_4^16 + 2599802934334218708849092885/9646902727771829771881\ 43*c_0101_4^15 - 99193314904651860333647617287/30870088728869855270\ 020576*c_0101_4^14 - 48543194401233494724658013541/1543504436443492\ 7635010288*c_0101_4^13 + 357569529893221257826174676581/30870088728\ 869855270020576*c_0101_4^12 + 22501193715795514983504783347/1543504\ 4364434927635010288*c_0101_4^11 - 1078283854993161453557213881347/3\ 0870088728869855270020576*c_0101_4^10 - 31692675877128844229900656303/1929380545554365954376286*c_0101_4^9 - 728762228911803529597031840609/30870088728869855270020576*c_0101_4^\ 8 - 325183149466875197882560156369/30870088728869855270020576*c_010\ 1_4^7 + 975144958039068332402127253519/30870088728869855270020576*c\ _0101_4^6 + 1446494532314320837913456398043/30870088728869855270020\ 576*c_0101_4^5 + 1631806258766368582373381881433/308700887288698552\ 70020576*c_0101_4^4 + 29637349004228011697045951632/964690272777182\ 977188143*c_0101_4^3 + 146377349412414312094915113425/7717522182217\ 463817505144*c_0101_4^2 + 128764208830978072682103577757/1543504436\ 4434927635010288*c_0101_4 + 38126622906213141252575024577/308700887\ 28869855270020576, c_0011_0 - 1, c_0011_1 + 1914356524083908746668655/964690272777182977188143*c_0101_4^\ 20 - 4379896091576446188496061/964690272777182977188143*c_0101_4^19 - 10234601714234648157990664/964690272777182977188143*c_0101_4^18 + 1051316556691204471904406/964690272777182977188143*c_0101_4^17 + 53356532944432598124216209/964690272777182977188143*c_0101_4^16 + 26762379159150714567835005/964690272777182977188143*c_0101_4^15 - 51997767531384843321636727/964690272777182977188143*c_0101_4^14 - 33095416374326916599508864/964690272777182977188143*c_0101_4^13 + 176292939652703487790062234/964690272777182977188143*c_0101_4^12 - 21816038814193035377272061/964690272777182977188143*c_0101_4^11 - 501840634071323604786008900/964690272777182977188143*c_0101_4^10 - 121792980333626398793373153/964690272777182977188143*c_0101_4^9 - 332049543936495757577188711/964690272777182977188143*c_0101_4^8 - 75552204242018753943678655/964690272777182977188143*c_0101_4^7 + 471506601066738593518901412/964690272777182977188143*c_0101_4^6 + 573327789777750369201540296/964690272777182977188143*c_0101_4^5 + 651502524434068273977849378/964690272777182977188143*c_0101_4^4 + 309268972408877368092631374/964690272777182977188143*c_0101_4^3 + 221704384429199418327135405/964690272777182977188143*c_0101_4^2 + 76500133295306452815152053/964690272777182977188143*c_0101_4 + 6532892374691297135174357/964690272777182977188143, c_0011_3 - 6854696390707189377918429/7717522182217463817505144*c_0101_4\ ^20 + 15746501366337576371720963/7717522182217463817505144*c_0101_4\ ^19 + 36565208866725553498348959/7717522182217463817505144*c_0101_4\ ^18 - 2145700693737188644792059/3858761091108731908752572*c_0101_4^\ 17 - 95614803243343965919199651/3858761091108731908752572*c_0101_4^\ 16 - 11737199485192358107872915/964690272777182977188143*c_0101_4^1\ 5 + 188721875257595960909629635/7717522182217463817505144*c_0101_4^\ 14 + 58306245177120086816394291/3858761091108731908752572*c_0101_4^\ 13 - 633851953022373789709419361/7717522182217463817505144*c_0101_4\ ^12 + 41898042761414211628709113/3858761091108731908752572*c_0101_4\ ^11 + 1801925976929380293496723827/7717522182217463817505144*c_0101\ _4^10 + 51908530010198603280199309/964690272777182977188143*c_0101_\ 4^9 + 1172032420526721643636335173/7717522182217463817505144*c_0101\ _4^8 + 264016966104130991514454201/7717522182217463817505144*c_0101\ _4^7 - 1706537126600064059063428615/7717522182217463817505144*c_010\ 1_4^6 - 2028160652734862461234347079/7717522182217463817505144*c_01\ 01_4^5 - 2303428688058060911370585945/7717522182217463817505144*c_0\ 101_4^4 - 268872273497055836324633479/1929380545554365954376286*c_0\ 101_4^3 - 96663945294716465123923823/964690272777182977188143*c_010\ 1_4^2 - 134083605211582266364628053/3858761091108731908752572*c_010\ 1_4 - 14647745530162708476889577/7717522182217463817505144, c_0101_0 - 7128220291343322307277701/3858761091108731908752572*c_0101_4\ ^20 + 15743127893144889839562355/3858761091108731908752572*c_0101_4\ ^19 + 39496670931974686440198391/3858761091108731908752572*c_0101_4\ ^18 - 563550270266880850027077/1929380545554365954376286*c_0101_4^1\ 7 - 99714222682711212384672611/1929380545554365954376286*c_0101_4^1\ 6 - 28819977669960233672385599/964690272777182977188143*c_0101_4^15 + 188346551485511990018268231/3858761091108731908752572*c_0101_4^14 + 69680358939263744832806727/1929380545554365954376286*c_0101_4^13 - 649412855472310506836143949/3858761091108731908752572*c_0101_4^12 + 13798402209708202445490859/1929380545554365954376286*c_0101_4^11 + 1883927318978495983041659391/3858761091108731908752572*c_0101_4^10 + 149726798224877262076830235/964690272777182977188143*c_0101_4^9 + 1248264652450925540363512637/3858761091108731908752572*c_0101_4^8 + 376308283739015187392833105/3858761091108731908752572*c_0101_4^7 - 1748967086405966527069040563/3858761091108731908752572*c_0101_4^6 - 2270386052905341725512302859/3858761091108731908752572*c_0101_4^5 - 2573873129306760323605401285/3858761091108731908752572*c_0101_4^4 - 328808121805404925567285512/964690272777182977188143*c_0101_4^3 - 222589074686407379807715152/964690272777182977188143*c_0101_4^2 - 169569595160738127345979879/1929380545554365954376286*c_0101_4 - 35522576762067787273685421/3858761091108731908752572, c_0101_1 - 135911076485358936722147/964690272777182977188143*c_0101_4^2\ 0 + 382443113053218946400775/964690272777182977188143*c_0101_4^19 + 560501049668203161531374/964690272777182977188143*c_0101_4^18 - 448503185326675444976019/964690272777182977188143*c_0101_4^17 - 3746777334897981025811983/964690272777182977188143*c_0101_4^16 + 87815090171048903301407/964690272777182977188143*c_0101_4^15 + 4652684022846884390062026/964690272777182977188143*c_0101_4^14 + 470838102742241366447234/964690272777182977188143*c_0101_4^13 - 13774585530436364530770105/964690272777182977188143*c_0101_4^12 + 7956469129298732174649667/964690272777182977188143*c_0101_4^11 + 34484723878895053912933881/964690272777182977188143*c_0101_4^10 - 9736140385905068512128452/964690272777182977188143*c_0101_4^9 + 19236624105157994797160313/964690272777182977188143*c_0101_4^8 - 7858474209580226736249025/964690272777182977188143*c_0101_4^7 - 35454882796045591248345644/964690272777182977188143*c_0101_4^6 - 22644768280217388219989756/964690272777182977188143*c_0101_4^5 - 23628324514280823858120288/964690272777182977188143*c_0101_4^4 + 2383307451288354689000512/964690272777182977188143*c_0101_4^3 - 4628728079754348750755201/964690272777182977188143*c_0101_4^2 + 2445950024429060597105189/964690272777182977188143*c_0101_4 + 1522759661463803513315477/964690272777182977188143, c_0101_3 - 8602807568913314729624197/3858761091108731908752572*c_0101_4\ ^20 + 19605964504318608675077363/3858761091108731908752572*c_0101_4\ ^19 + 46124949157683268093170539/3858761091108731908752572*c_0101_4\ ^18 - 2097966766028918020103625/1929380545554365954376286*c_0101_4^\ 17 - 119821622564314238817023773/1929380545554365954376286*c_0101_4\ ^16 - 30630764068090252339684213/964690272777182977188143*c_0101_4^\ 15 + 231459319880922920620094907/3858761091108731908752572*c_0101_4\ ^14 + 75401393855917646405767401/1929380545554365954376286*c_0101_4\ ^13 - 789677612423452989357766701/3858761091108731908752572*c_0101_\ 4^12 + 45526985517058169359926063/1929380545554365954376286*c_0101_\ 4^11 + 2252010655601331540474233103/3858761091108731908752572*c_010\ 1_4^10 + 142517525743023667814260269/964690272777182977188143*c_010\ 1_4^9 + 1506728404003716335322150185/3858761091108731908752572*c_01\ 01_4^8 + 349500161915875911190253161/3858761091108731908752572*c_01\ 01_4^7 - 2107718204357254889010799167/3858761091108731908752572*c_0\ 101_4^6 - 2595581120210995055943903079/3858761091108731908752572*c_\ 0101_4^5 - 2963437679677066837320596381/3858761091108731908752572*c\ _0101_4^4 - 355589875908247573381699621/964690272777182977188143*c_\ 0101_4^3 - 253618497830622507205593258/964690272777182977188143*c_0\ 101_4^2 - 176303723860371539872913305/1929380545554365954376286*c_0\ 101_4 - 31347574488542388776726641/3858761091108731908752572, c_0101_4^21 - 2*c_0101_4^20 - 6*c_0101_4^19 - c_0101_4^18 + 28*c_0101_4^17 + 22*c_0101_4^16 - 23*c_0101_4^15 - 25*c_0101_4^14 + 87*c_0101_4^13 + 15*c_0101_4^12 - 265*c_0101_4^11 - 139*c_0101_4^10 - 193*c_0101_4^9 - 90*c_0101_4^8 + 234*c_0101_4^7 + 370*c_0101_4^6 + 428*c_0101_4^5 + 261*c_0101_4^4 + 164*c_0101_4^3 + 74*c_0101_4^2 + 15*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB