Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 4038159376] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0666 geometric_solution 4.64142161 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396147129001 0.051297777318 0 2 0 2 0132 0132 1023 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 -1 1 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 -1.094999998444 0.953328143753 1 1 3 4 3201 0132 0132 0132 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 -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.832701990380 1.597883284389 5 5 4 2 0132 2310 1230 0132 0 0 0 0 0 1 0 -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 -1 0 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.295112096305 0.897007352255 6 6 2 3 0132 2310 0132 3012 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 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.295112096305 0.897007352255 3 6 6 3 0132 1230 3012 3201 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 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.433432158882 0.538837713254 4 5 5 4 0132 1230 3012 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.433432158882 0.538837713254 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(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_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(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_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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), '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_0101_3'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_0011_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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 47112468198501351753344236741/548827409642464075909679016*c_0101_6^\ 17 + 61782400777895029165923560597/274413704821232037954839508*c_01\ 01_6^16 - 541859539847687624502333739703/27441370482123203795483950\ 8*c_0101_6^15 + 125457114781343403039851357111/68603426205308009488\ 709877*c_0101_6^14 - 1167881936255402997304018753957/54882740964246\ 4075909679016*c_0101_6^13 - 8067590627871540968738566791955/2744137\ 04821232037954839508*c_0101_6^12 + 7317175870968896989641530398899/182942469880821358636559672*c_0101_\ 6^11 - 10482488494161786319571087958279/182942469880821358636559672\ *c_0101_6^10 - 26476803726809502160348946091091/2744137048212320379\ 54839508*c_0101_6^9 + 349678481391817504408117164944/22867808735102\ 669829569959*c_0101_6^8 - 2170621844229467323564003605439/914712349\ 40410679318279836*c_0101_6^7 + 22810396173763342487632037816287/548\ 827409642464075909679016*c_0101_6^6 - 3468799138335679848926147713095/182942469880821358636559672*c_0101_\ 6^5 + 1141148837336854011608213184133/91471234940410679318279836*c_\ 0101_6^4 + 386424500371195850959589869111/2744137048212320379548395\ 08*c_0101_6^3 - 394918590479648408808568340247/18294246988082135863\ 6559672*c_0101_6^2 + 218303364225938408623030084401/182942469880821\ 358636559672*c_0101_6 - 121164074678966722578326506061/548827409642\ 464075909679016, c_0011_0 - 1, c_0011_3 - 10859923685457227797935077/22867808735102669829569959*c_0101\ _6^17 + 30613961063490733607426536/22867808735102669829569959*c_010\ 1_6^16 - 255519773594054569981265405/22867808735102669829569959*c_0\ 101_6^15 + 280701948562231357274198602/22867808735102669829569959*c\ _0101_6^14 - 317386438165742934158534780/22867808735102669829569959\ *c_0101_6^13 - 3663788194420769892539228104/22867808735102669829569\ 959*c_0101_6^12 + 5787816005472381889073455960/22867808735102669829\ 569959*c_0101_6^11 - 8284079524009027212245150777/22867808735102669\ 829569959*c_0101_6^10 - 10722337010326237390364638045/2286780873510\ 2669829569959*c_0101_6^9 + 4261692938018860666187087855/22867808735\ 102669829569959*c_0101_6^8 - 3528465447606453398873343821/228678087\ 35102669829569959*c_0101_6^7 + 5910931336762442713368897944/2286780\ 8735102669829569959*c_0101_6^6 - 3399738833580854479419739504/22867\ 808735102669829569959*c_0101_6^5 + 2141558042823184106126667602/22867808735102669829569959*c_0101_6^4 - 140463684440559717163263688/22867808735102669829569959*c_0101_6^3 - 287104448644781681905489830/22867808735102669829569959*c_0101_6^2 + 202349714942512603983299868/22867808735102669829569959*c_0101_6 - 60206751005463172415846669/22867808735102669829569959, c_0011_4 - 10859923685457227797935077/22867808735102669829569959*c_0101\ _6^17 + 30613961063490733607426536/22867808735102669829569959*c_010\ 1_6^16 - 255519773594054569981265405/22867808735102669829569959*c_0\ 101_6^15 + 280701948562231357274198602/22867808735102669829569959*c\ _0101_6^14 - 317386438165742934158534780/22867808735102669829569959\ *c_0101_6^13 - 3663788194420769892539228104/22867808735102669829569\ 959*c_0101_6^12 + 5787816005472381889073455960/22867808735102669829\ 569959*c_0101_6^11 - 8284079524009027212245150777/22867808735102669\ 829569959*c_0101_6^10 - 10722337010326237390364638045/2286780873510\ 2669829569959*c_0101_6^9 + 4261692938018860666187087855/22867808735\ 102669829569959*c_0101_6^8 - 3528465447606453398873343821/228678087\ 35102669829569959*c_0101_6^7 + 5910931336762442713368897944/2286780\ 8735102669829569959*c_0101_6^6 - 3399738833580854479419739504/22867\ 808735102669829569959*c_0101_6^5 + 2141558042823184106126667602/22867808735102669829569959*c_0101_6^4 - 140463684440559717163263688/22867808735102669829569959*c_0101_6^3 - 287104448644781681905489830/22867808735102669829569959*c_0101_6^2 + 202349714942512603983299868/22867808735102669829569959*c_0101_6 - 60206751005463172415846669/22867808735102669829569959, c_0101_0 + 7698536513742283418627522/22867808735102669829569959*c_0101_\ 6^17 - 23123206347474187147654490/22867808735102669829569959*c_0101\ _6^16 + 184195512224418608721299417/22867808735102669829569959*c_01\ 01_6^15 - 230000104263771492168697710/22867808735102669829569959*c_\ 0101_6^14 + 240126060004351338617637153/22867808735102669829569959*\ c_0101_6^13 + 2574490353970249719587647922/228678087351026698295699\ 59*c_0101_6^12 - 4603946147286400521491768395/228678087351026698295\ 69959*c_0101_6^11 + 6304302208720808317919540377/228678087351026698\ 29569959*c_0101_6^10 + 6938774484051234964214145454/228678087351026\ 69829569959*c_0101_6^9 - 5017080604156522425435398108/2286780873510\ 2669829569959*c_0101_6^8 + 1954756252028846129818033098/22867808735\ 102669829569959*c_0101_6^7 - 4535827201289628342253233871/228678087\ 35102669829569959*c_0101_6^6 + 2989645817539996166407358314/2286780\ 8735102669829569959*c_0101_6^5 - 1465483589573363751660072475/22867\ 808735102669829569959*c_0101_6^4 + 247843814778201983624210830/22867808735102669829569959*c_0101_6^3 + 331256064574911854845996990/22867808735102669829569959*c_0101_6^2 - 163506317542853550784979021/22867808735102669829569959*c_0101_6 + 39954150838487877059813340/22867808735102669829569959, c_0101_1 + 4626363660186665056463312/22867808735102669829569959*c_0101_\ 6^17 - 11181279705071030662369224/22867808735102669829569959*c_0101\ _6^16 + 105504278085546061330435431/22867808735102669829569959*c_01\ 01_6^15 - 80545675147020772677259760/22867808735102669829569959*c_0\ 101_6^14 + 129952064167404684545478106/22867808735102669829569959*c\ _0101_6^13 + 1580491650412687923856620680/2286780873510266982956995\ 9*c_0101_6^12 - 1799566757742262632607231677/2286780873510266982956\ 9959*c_0101_6^11 + 3193142955415438407499964692/2286780873510266982\ 9569959*c_0101_6^10 + 5183691731284667866224940173/2286780873510266\ 9829569959*c_0101_6^9 + 1114281034311690722900553053/22867808735102\ 669829569959*c_0101_6^8 + 3093401931873044572453953969/228678087351\ 02669829569959*c_0101_6^7 - 2020743610360781634629565776/2286780873\ 5102669829569959*c_0101_6^6 + 620314056899781809090701830/228678087\ 35102669829569959*c_0101_6^5 - 1299938384500160385984784935/2286780\ 8735102669829569959*c_0101_6^4 + 33134063452098517581626603/2286780\ 8735102669829569959*c_0101_6^3 + 12809923173411346311379918/2286780\ 8735102669829569959*c_0101_6^2 - 72263865774386253427535772/2286780\ 8735102669829569959*c_0101_6 + 32172993629238064671420023/228678087\ 35102669829569959, c_0101_3 + 23398516872701745202038801/22867808735102669829569959*c_0101\ _6^17 - 63208374786286377197882867/22867808735102669829569959*c_010\ 1_6^16 + 543396938689483205237456582/22867808735102669829569959*c_0\ 101_6^15 - 541503489304420680065504116/22867808735102669829569959*c\ _0101_6^14 + 626546313860611460316135303/22867808735102669829569959\ *c_0101_6^13 + 7964796607967207604998606588/22867808735102669829569\ 959*c_0101_6^12 - 11528527258778852496489328076/2286780873510266982\ 9569959*c_0101_6^11 + 16596065039304428130967865501/228678087351026\ 69829569959*c_0101_6^10 + 24973092673584227217580336345/22867808735\ 102669829569959*c_0101_6^9 - 6107382522787618335232641558/228678087\ 35102669829569959*c_0101_6^8 + 7294557633533819970747755098/2286780\ 8735102669829569959*c_0101_6^7 - 11698289585194625429118324211/2286\ 7808735102669829569959*c_0101_6^6 + 6029967167064413728007394638/22867808735102669829569959*c_0101_6^5 - 3999183378936932839472417464/22867808735102669829569959*c_0101_6^4 - 85078597844920070515773671/22867808735102669829569959*c_0101_6^3 + 633077804344343307100103139/22867808735102669829569959*c_0101_6^2 - 374981152095308996756615521/22867808735102669829569959*c_0101_6 + 87680919784493734099753693/22867808735102669829569959, c_0101_6^18 - 3*c_0101_6^17 + 24*c_0101_6^16 - 30*c_0101_6^15 + 33*c_0101_6^14 + 333*c_0101_6^13 - 595*c_0101_6^12 + 846*c_0101_6^11 + 869*c_0101_6^10 - 598*c_0101_6^9 + 354*c_0101_6^8 - 589*c_0101_6^7 + 404*c_0101_6^6 - 231*c_0101_6^5 + 40*c_0101_6^4 + 31*c_0101_6^3 - 24*c_0101_6^2 + 8*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB