Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 307465777] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s360 geometric_solution 4.57808729 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 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 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.199510715338 0.451616499079 2 2 3 0 1023 3012 0132 0132 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 -1 0 1 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.396287351770 1.160384849995 1 1 0 3 1230 1023 0132 2310 0 0 0 0 0 0 1 -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 -1 0 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.396287351770 1.160384849995 2 4 4 1 3201 0132 3201 0132 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 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.367991468518 0.543298839344 3 3 5 5 2310 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.404713505038 2.001233107752 5 4 4 5 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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.218294832487 0.142327746277 ==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_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' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : 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' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_1']), 'c_1010_2' : d['c_0101_0'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 758550405089956311039237559116/659552449599814227023191123235*c_010\ 1_4^19 - 1044439131885621789284058443560/13191048991996284540463822\ 4647*c_0101_4^18 + 2087810616279727698975958116393/6595524495998142\ 27023191123235*c_0101_4^17 + 9460273642813784164028919173702/131910\ 489919962845404638224647*c_0101_4^16 + 30102484903598137144578216684973/659552449599814227023191123235*c_0\ 101_4^15 - 45611081462072481197258596827121/65955244959981422702319\ 1123235*c_0101_4^14 + 29065675021046800390747098973886/659552449599\ 814227023191123235*c_0101_4^13 - 245342705399597245273475133377423/\ 659552449599814227023191123235*c_0101_4^12 - 597586377774051172766480114679281/659552449599814227023191123235*c_\ 0101_4^11 + 106820787054420569115119939029746/659552449599814227023\ 191123235*c_0101_4^10 + 624361686766623149332793397714177/659552449\ 599814227023191123235*c_0101_4^9 + 62808585080290621150366252967308/131910489919962845404638224647*c_0\ 101_4^8 - 321319849323194027604726878859606/65955244959981422702319\ 1123235*c_0101_4^7 - 76796643168188248463070935479334/6595524495998\ 14227023191123235*c_0101_4^6 + 322609848850909304181217134527114/65\ 9552449599814227023191123235*c_0101_4^5 - 14731444077525838515730617453809/659552449599814227023191123235*c_0\ 101_4^4 - 261333097737075711282852231379909/65955244959981422702319\ 1123235*c_0101_4^3 + 6488118591876764541504824291349/13191048991996\ 2845404638224647*c_0101_4^2 + 113245946019148116043784401407014/659\ 552449599814227023191123235*c_0101_4 - 37306290077656963809914358293886/659552449599814227023191123235, c_0011_0 - 1, c_0011_1 + 30366357957727842154309657541/131910489919962845404638224647\ *c_0101_4^19 + 228068679040423830742561197021/131910489919962845404\ 638224647*c_0101_4^18 + 56840528764814915794768001188/1319104899199\ 62845404638224647*c_0101_4^17 - 1876702019308644007057337519244/131\ 910489919962845404638224647*c_0101_4^16 - 2390422866814736036218825815789/131910489919962845404638224647*c_01\ 01_4^15 + 476677941046502211432220919407/13191048991996284540463822\ 4647*c_0101_4^14 - 634053692834786984010618701748/13191048991996284\ 5404638224647*c_0101_4^13 + 9434587264843077166375862898331/1319104\ 89919962845404638224647*c_0101_4^12 + 29899104824634325298176719745248/131910489919962845404638224647*c_0\ 101_4^11 + 13750887746314903169126285853563/13191048991996284540463\ 8224647*c_0101_4^10 - 18978642054818518107723233461078/131910489919\ 962845404638224647*c_0101_4^9 - 26185245230779295013597985577291/13\ 1910489919962845404638224647*c_0101_4^8 - 2472796737328055248290379774254/131910489919962845404638224647*c_01\ 01_4^7 + 3645349321847899063038268195913/13191048991996284540463822\ 4647*c_0101_4^6 - 10192378669448102648362825096089/1319104899199628\ 45404638224647*c_0101_4^5 - 5965164366288761201417689063546/1319104\ 89919962845404638224647*c_0101_4^4 + 7713171500746670802432793635908/131910489919962845404638224647*c_01\ 01_4^3 + 4394515895825861941244959031722/13191048991996284540463822\ 4647*c_0101_4^2 - 2299960768825895143360963508002/13191048991996284\ 5404638224647*c_0101_4 - 201942722181404239747597948324/13191048991\ 9962845404638224647, c_0011_3 - 818260953060830588071967216/11991862719996622309512565877*c_\ 0101_4^19 - 6034028286866553752800620651/11991862719996622309512565\ 877*c_0101_4^18 - 567844691410278691903510322/119918627199966223095\ 12565877*c_0101_4^17 + 51705411206152948153489676661/11991862719996\ 622309512565877*c_0101_4^16 + 57682182281351599777311780676/1199186\ 2719996622309512565877*c_0101_4^15 - 28949010752330531422159461107/11991862719996622309512565877*c_0101_\ 4^14 + 10091911669994529490259082119/11991862719996622309512565877*\ c_0101_4^13 - 257164243604691987120146116510/1199186271999662230951\ 2565877*c_0101_4^12 - 778088907984632205910594828019/11991862719996\ 622309512565877*c_0101_4^11 - 220103025466549370882239647513/119918\ 62719996622309512565877*c_0101_4^10 + 676255916863402119448025154958/11991862719996622309512565877*c_0101\ _4^9 + 696305764728929124757624708601/11991862719996622309512565877\ *c_0101_4^8 - 55459112535323963375829095451/11991862719996622309512\ 565877*c_0101_4^7 - 185008196249149822421748456861/1199186271999662\ 2309512565877*c_0101_4^6 + 268479113457644501650038963772/119918627\ 19996622309512565877*c_0101_4^5 + 105477708346493197657702028472/11\ 991862719996622309512565877*c_0101_4^4 - 285092660608842108261821987642/11991862719996622309512565877*c_0101\ _4^3 - 119849186145228721403352498541/11991862719996622309512565877\ *c_0101_4^2 + 85996174712666212492768739538/11991862719996622309512\ 565877*c_0101_4 + 3807312176411621937426096806/11991862719996622309\ 512565877, c_0011_5 + 3269404973357514361676641416/131910489919962845404638224647*\ c_0101_4^19 + 23066595998698028823965536185/13191048991996284540463\ 8224647*c_0101_4^18 - 5471439438430300289311399975/1319104899199628\ 45404638224647*c_0101_4^17 - 208283127070185459561145989050/1319104\ 89919962845404638224647*c_0101_4^16 - 168672373477110609360532044538/131910489919962845404638224647*c_010\ 1_4^15 + 192809460168419119336319303521/131910489919962845404638224\ 647*c_0101_4^14 - 44276401374062103026271947330/1319104899199628454\ 04638224647*c_0101_4^13 + 1070679090835773285699750622020/131910489\ 919962845404638224647*c_0101_4^12 + 2804444942322925316265901325982/131910489919962845404638224647*c_01\ 01_4^11 - 96219026227337926913435069306/131910489919962845404638224\ 647*c_0101_4^10 - 3220079522460397647078100714381/13191048991996284\ 5404638224647*c_0101_4^9 - 2367820553503558902831528608244/13191048\ 9919962845404638224647*c_0101_4^8 + 810853035959089727857349000022/131910489919962845404638224647*c_010\ 1_4^7 + 683054138079562916381056695061/1319104899199628454046382246\ 47*c_0101_4^6 - 1068874888857548606803094301201/1319104899199628454\ 04638224647*c_0101_4^5 + 115970811177495220971955069589/13191048991\ 9962845404638224647*c_0101_4^4 + 1449580921080681991175635961509/13\ 1910489919962845404638224647*c_0101_4^3 + 240659873703822206849407596705/131910489919962845404638224647*c_010\ 1_4^2 - 422166234591620885414487577365/1319104899199628454046382246\ 47*c_0101_4 + 38404985302122099303797821334/13191048991996284540463\ 8224647, c_0101_0 + 4510119422135820616223603291/131910489919962845404638224647*\ c_0101_4^19 + 31470534305760920521859834998/13191048991996284540463\ 8224647*c_0101_4^18 - 10178515570147099241528328720/131910489919962\ 845404638224647*c_0101_4^17 - 287815173331612188353017557111/131910\ 489919962845404638224647*c_0101_4^16 - 209764749749298680158921355540/131910489919962845404638224647*c_010\ 1_4^15 + 294568682865252332259196549549/131910489919962845404638224\ 647*c_0101_4^14 - 69444045771345564157138767567/1319104899199628454\ 04638224647*c_0101_4^13 + 1463809208840701080336371052676/131910489\ 919962845404638224647*c_0101_4^12 + 3708163111511823246499842649437/131910489919962845404638224647*c_01\ 01_4^11 - 475216413589414045582528468899/13191048991996284540463822\ 4647*c_0101_4^10 - 4574532534179678733481863648280/1319104899199628\ 45404638224647*c_0101_4^9 - 2928744631175152064947879665864/1319104\ 89919962845404638224647*c_0101_4^8 + 1915207005980338469020567936721/131910489919962845404638224647*c_01\ 01_4^7 + 1207695973824918736188635273250/13191048991996284540463822\ 4647*c_0101_4^6 - 1523844864920811536268477445018/13191048991996284\ 5404638224647*c_0101_4^5 - 26225827252261798466705944315/1319104899\ 19962845404638224647*c_0101_4^4 + 1947713467541241616938739256579/1\ 31910489919962845404638224647*c_0101_4^3 + 341000574378022259583497276659/131910489919962845404638224647*c_010\ 1_4^2 - 816269366461313028099098459837/1319104899199628454046382246\ 47*c_0101_4 + 5653800462072752521336497984/131910489919962845404638\ 224647, c_0101_4^20 + 7*c_0101_4^19 - 2*c_0101_4^18 - 63*c_0101_4^17 - 47*c_0101_4^16 + 58*c_0101_4^15 - 28*c_0101_4^14 + 320*c_0101_4^13 + 828*c_0101_4^12 - 63*c_0101_4^11 - 880*c_0101_4^10 - 538*c_0101_4^9 + 377*c_0101_4^8 + 174*c_0101_4^7 - 406*c_0101_4^6 - 20*c_0101_4^5 + 365*c_0101_4^4 + 11*c_0101_4^3 - 156*c_0101_4^2 + 32*c_0101_4 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB