Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 4299983] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0379 geometric_solution 4.43770517 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.365066841516 0.143728988126 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 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 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 1.111364860937 0.131429153333 3 1 1 3 0132 0132 1023 1023 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 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 1.063296298714 0.284290790610 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 1 0 -1 0 0 0 0 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.703001138683 0.298092554137 5 3 5 6 2031 0132 1302 0132 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 -1 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 0 0 0 0.580486627271 0.386737886118 4 6 4 3 2031 2310 1302 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 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.580486627271 0.386737886118 6 6 4 5 1230 3012 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 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.806886454717 0.794888613664 ==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_1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_6, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 187243966039988027087731338/45139273879292184911419*c_0101_6^17 + 59555933821197032017845035/45139273879292184911419*c_0101_6^16 + 355668952246331984539177233/45139273879292184911419*c_0101_6^15 - 113169576118355509041480432/45139273879292184911419*c_0101_6^14 + 8836219368125221530488506558/45139273879292184911419*c_0101_6^13 - 29399058007379922475960395896/45139273879292184911419*c_0101_6^12 + 105401170267672174100924628138/45139273879292184911419*c_0101_6^11 - 199777557017125003536821927417/45139273879292184911419*c_0101_6^10 + 70400592629868305223950495706/45139273879292184911419*c_0101_6^9 + 205429525263593816463498744906/45139273879292184911419*c_0101_6^8 - 187094610783158534787667304837/45139273879292184911419*c_0101_6^7 - 429529218701803632484894998794/45139273879292184911419*c_0101_6^6 - 440523261355925211782018693253/45139273879292184911419*c_0101_6^5 - 286697285557591475112417923161/45139273879292184911419*c_0101_6^4 - 116568253354094718751205358270/45139273879292184911419*c_0101_6^3 - 32792656611744220889592506961/45139273879292184911419*c_0101_6^2 - 6368287540233706585023812819/45139273879292184911419*c_0101_6 - 586555838540823614841696907/45139273879292184911419, c_0011_0 - 1, c_0011_1 - 2363781482096230588787986/45139273879292184911419*c_0101_6^1\ 7 + 883245655342418762938947/45139273879292184911419*c_0101_6^16 + 4401645532944998165113241/45139273879292184911419*c_0101_6^15 - 1646385946167095135684044/45139273879292184911419*c_0101_6^14 + 111704773982016060829883105/45139273879292184911419*c_0101_6^13 - 377392511724667540880714731/45139273879292184911419*c_0101_6^12 + 1353441553686370819424697171/45139273879292184911419*c_0101_6^11 - 2604099698302463120321710682/45139273879292184911419*c_0101_6^10 + 1058150349476678410374369502/45139273879292184911419*c_0101_6^9 + 2483474788582424778361916733/45139273879292184911419*c_0101_6^8 - 2466022106077405696272415371/45139273879292184911419*c_0101_6^7 - 5255580580311048030126847134/45139273879292184911419*c_0101_6^6 - 5318298735360673468358475674/45139273879292184911419*c_0101_6^5 - 3395688845602911906248488568/45139273879292184911419*c_0101_6^4 - 1349087618812391431581585395/45139273879292184911419*c_0101_6^3 - 374882254281789663518729646/45139273879292184911419*c_0101_6^2 - 70966612035202455568307530/45139273879292184911419*c_0101_6 - 6137406117893738472331692/45139273879292184911419, c_0011_6 - 1081038274783709938694986/45139273879292184911419*c_0101_6^1\ 7 + 464234077579604776623649/45139273879292184911419*c_0101_6^16 + 1974636918028229679948963/45139273879292184911419*c_0101_6^15 - 854744140500329348721937/45139273879292184911419*c_0101_6^14 + 51154920002442863299398566/45139273879292184911419*c_0101_6^13 - 175462582279920097955108533/45139273879292184911419*c_0101_6^12 + 629356494196405300984651775/45139273879292184911419*c_0101_6^11 - 1228216209826173292767613814/45139273879292184911419*c_0101_6^10 + 560223562403871621420666276/45139273879292184911419*c_0101_6^9 + 1088480754619909559661133407/45139273879292184911419*c_0101_6^8 - 1178207726744437632985496247/45139273879292184911419*c_0101_6^7 - 2327713949273269981317122394/45139273879292184911419*c_0101_6^6 - 2318460058976105682352175015/45139273879292184911419*c_0101_6^5 - 1446714235320307498480609814/45139273879292184911419*c_0101_6^4 - 557580319429437883650423638/45139273879292184911419*c_0101_6^3 - 152023712790665204465839209/45139273879292184911419*c_0101_6^2 - 27724242090104558172485851/45139273879292184911419*c_0101_6 - 2168548153097133739516792/45139273879292184911419, c_0101_0 - 5287448436875783582211172/45139273879292184911419*c_0101_6^1\ 7 + 1718465791873833579717397/45139273879292184911419*c_0101_6^16 + 10006764251053139582424737/45139273879292184911419*c_0101_6^15 - 3243802288980547868486159/45139273879292184911419*c_0101_6^14 + 249577975280387676514548792/45139273879292184911419*c_0101_6^13 - 831946402454862320587814320/45139273879292184911419*c_0101_6^12 + 2983312135364411593648469782/45139273879292184911419*c_0101_6^11 - 5666625674607243352828892037/45139273879292184911419*c_0101_6^10 + 2043740955363983890471371315/45139273879292184911419*c_0101_6^9 + 5751466333598937393046434655/45139273879292184911419*c_0101_6^8 - 5294819233529782560675728490/45139273879292184911419*c_0101_6^7 - 12080199217586266287101984690/45139273879292184911419*c_0101_6^6 - 12387476588194514509837994392/45139273879292184911419*c_0101_6^5 - 8049705318893149332931078575/45139273879292184911419*c_0101_6^4 - 3271893679041796884894659360/45139273879292184911419*c_0101_6^3 - 921017377255998477655922669/45139273879292184911419*c_0101_6^2 - 178696372878868351328518142/45139273879292184911419*c_0101_6 - 16501646998477270690011905/45139273879292184911419, c_0101_2 - 3269921377944515774634293/45139273879292184911419*c_0101_6^1\ 7 + 1170111193702252511084179/45139273879292184911419*c_0101_6^16 + 6124741686952380328734992/45139273879292184911419*c_0101_6^15 - 2192066015678975196838651/45139273879292184911419*c_0101_6^14 + 154462543779994882747178560/45139273879292184911419*c_0101_6^13 - 519600136822082475079018160/45139273879292184911419*c_0101_6^12 + 1863235230011915564247647460/45139273879292184911419*c_0101_6^11 - 3569902121699231834170130677/45139273879292184911419*c_0101_6^10 + 1396581474421079699571159990/45139273879292184911419*c_0101_6^9 + 3479696534248021021018863113/45139273879292184911419*c_0101_6^8 - 3370451659580155352134811349/45139273879292184911419*c_0101_6^7 - 7337490357388138369735934052/45139273879292184911419*c_0101_6^6 - 7451423312386919095056328379/45139273879292184911419*c_0101_6^5 - 4782839777805501949656525550/45139273879292184911419*c_0101_6^4 - 1912380053001769172274854434/45139273879292184911419*c_0101_6^3 - 533025572646963340420256209/45139273879292184911419*c_0101_6^2 - 101654466648566675843923967/45139273879292184911419*c_0101_6 - 8969090518429588013301109/45139273879292184911419, c_0101_3 - 2342981427364144609886722/45139273879292184911419*c_0101_6^1\ 7 + 748252757881976154506255/45139273879292184911419*c_0101_6^16 + 4450113491565173275990067/45139273879292184911419*c_0101_6^15 - 1424291760270986247878024/45139273879292184911419*c_0101_6^14 + 110571074710856034175713353/45139273879292184911419*c_0101_6^13 - 368010571333825817104547152/45139273879292184911419*c_0101_6^12 + 1319327124155222557685883469/45139273879292184911419*c_0101_6^11 - 2501316372781211982979346479/45139273879292184911419*c_0101_6^10 + 883360900819261442020959501/45139273879292184911419*c_0101_6^9 + 2571714267381888982945639197/45139273879292184911419*c_0101_6^8 - 2348561230843020171574996622/45139273879292184911419*c_0101_6^7 - 5368158811165903290965347481/45139273879292184911419*c_0101_6^6 - 5505273489782572809438101665/45139273879292184911419*c_0101_6^5 - 3581628831245298709549041042/45139273879292184911419*c_0101_6^4 - 1455112128046092298836872899/45139273879292184911419*c_0101_6^3 - 409764792686723363934036960/45139273879292184911419*c_0101_6^2 - 79447317590376891655827803/45139273879292184911419*c_0101_6 - 7286717546923003786272970/45139273879292184911419, c_0101_6^18 - 2*c_0101_6^16 - 47*c_0101_6^14 + 142*c_0101_6^13 - 513*c_0101_6^12 + 888*c_0101_6^11 - 37*c_0101_6^10 - 1216*c_0101_6^9 + 650*c_0101_6^8 + 2611*c_0101_6^7 + 3083*c_0101_6^6 + 2281*c_0101_6^5 + 1111*c_0101_6^4 + 374*c_0101_6^3 + 90*c_0101_6^2 + 14*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB