Magma V2.19-8 Tue Aug 20 2013 16:14:20 on localhost [Seed = 2067457880] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s306 geometric_solution 4.47176257 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 1 0 1 2031 0132 1302 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 0.412107120551 0.115678554273 2 0 2 0 0132 0132 2310 1023 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 0 0 0 0 0 0 0 -0.162161460252 1.577609663804 1 1 3 4 0132 3201 0132 0132 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 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.760068620589 1.054955996576 5 4 4 2 0132 2031 1230 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -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 0.600306036755 0.780596373127 3 5 2 3 1302 0132 0132 3012 0 0 0 0 0 1 0 -1 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 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.600306036755 0.780596373127 3 4 5 5 0132 0132 2031 1302 0 0 0 0 0 -1 0 1 1 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 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.544951603176 0.303914467119 ==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_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_0101_2'], 'c_1100_4' : d['c_0110_4'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0110_4'], 'c_1100_2' : d['c_0110_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0110_0'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : d['c_0110_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0110_0'], 'c_1010_0' : d['c_0101_2']})} 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_0101_2, c_0101_3, c_0110_0, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 155080617902690675245344832658/12979134279431543453365445*c_0110_4^\ 14 + 18177301713943207784638949823/12979134279431543453365445*c_011\ 0_4^13 - 26671733851053200920210388581318/1297913427943154345336544\ 5*c_0110_4^12 + 200494606256481332653409732325601/12979134279431543\ 453365445*c_0110_4^11 - 476479862739985411833019152668076/129791342\ 79431543453365445*c_0110_4^10 + 580448891248869410366525398435723/1\ 2979134279431543453365445*c_0110_4^9 - 162108895728464787069400188986749/12979134279431543453365445*c_0110\ _4^8 - 715773129415455592767554587373053/12979134279431543453365445\ *c_0110_4^7 + 905517000797919992687568004282112/1297913427943154345\ 3365445*c_0110_4^6 - 493722824588123280602191603616892/129791342794\ 31543453365445*c_0110_4^5 + 1578353032540475603372789901248/2595826\ 855886308690673089*c_0110_4^4 + 260836608305722993863322256825738/1\ 2979134279431543453365445*c_0110_4^3 - 30670693270798023536671676771809/2595826855886308690673089*c_0110_4\ ^2 + 25760629832837184559142464554671/12979134279431543453365445*c_\ 0110_4 - 1323853879581527726943573858273/12979134279431543453365445\ , c_0011_0 - 1, c_0011_3 - 1985336430365974308719769851/12979134279431543453365445*c_01\ 10_4^14 - 240544924843650051305116856/12979134279431543453365445*c_\ 0110_4^13 + 341448661630592894684559314996/129791342794315434533654\ 45*c_0110_4^12 - 2565376567758770105000634476472/129791342794315434\ 53365445*c_0110_4^11 + 6089911874081505583142057029087/129791342794\ 31543453365445*c_0110_4^10 - 7408051345746001182102177543561/129791\ 34279431543453365445*c_0110_4^9 + 2048838598327186119121192976418/1\ 2979134279431543453365445*c_0110_4^8 + 9168167632219499315316219903586/12979134279431543453365445*c_0110_4\ ^7 - 11555595647532895919460081871149/12979134279431543453365445*c_\ 0110_4^6 + 6279461240983576646894726561134/129791342794315434533654\ 45*c_0110_4^5 - 16245936218232780726113711545/259582685588630869067\ 3089*c_0110_4^4 - 3337132951447328120542799885726/12979134279431543\ 453365445*c_0110_4^3 + 390060385398311445856718189026/2595826855886\ 308690673089*c_0110_4^2 - 323646216138050829885433620337/1297913427\ 9431543453365445*c_0110_4 + 16406104633681809684635260986/129791342\ 79431543453365445, c_0101_2 - 48271382588087496026018/297107343010908628897*c_0110_4^14 - 5832842343405234709303/297107343010908628897*c_0110_4^13 + 8301973827113594459570509/297107343010908628897*c_0110_4^12 - 62377160551709875676720709/297107343010908628897*c_0110_4^11 + 148089490364739578934784664/297107343010908628897*c_0110_4^10 - 180162258081268963596761441/297107343010908628897*c_0110_4^9 + 49863390199776906504528842/297107343010908628897*c_0110_4^8 + 222909807175526827270392564/297107343010908628897*c_0110_4^7 - 281035452208188818739964674/297107343010908628897*c_0110_4^6 + 152751704295802795857000574/297107343010908628897*c_0110_4^5 - 2008170124292384007746179/297107343010908628897*c_0110_4^4 - 81146004605806717755879543/297107343010908628897*c_0110_4^3 + 47443730501408442745752458/297107343010908628897*c_0110_4^2 - 7878939249305396588686694/297107343010908628897*c_0110_4 + 399731386123966348893494/297107343010908628897, c_0101_3 + 62413496015442170275031/12979134279431543453365445*c_0110_4^\ 14 - 97142218702757268893544/12979134279431543453365445*c_0110_4^13 - 10792776919449107721831301/12979134279431543453365445*c_0110_4^12 + 98634889308337234871222697/12979134279431543453365445*c_0110_4^11 - 318855531689235298989847142/12979134279431543453365445*c_0110_4^1\ 0 + 497441742269972547257882871/12979134279431543453365445*c_0110_4\ ^9 - 334247045489626905006889438/12979134279431543453365445*c_0110_\ 4^8 - 305826449910888263426591606/12979134279431543453365445*c_0110\ _4^7 + 845464149636128190813603669/12979134279431543453365445*c_011\ 0_4^6 - 593259105181853282760431484/12979134279431543453365445*c_01\ 10_4^5 + 29428969098238981849861171/2595826855886308690673089*c_011\ 0_4^4 + 164903843413092224255797651/12979134279431543453365445*c_01\ 10_4^3 - 45129339983456801932576163/2595826855886308690673089*c_011\ 0_4^2 + 48320635897125199538458702/12979134279431543453365445*c_011\ 0_4 + 387612302927510297086564/12979134279431543453365445, c_0110_0 + 384329702651611761513506/12979134279431543453365445*c_0110_4\ ^14 + 7925399796816601859187096/12979134279431543453365445*c_0110_4\ ^13 - 64302693142277779143276941/12979134279431543453365445*c_0110_\ 4^12 - 858262313661625989771567848/12979134279431543453365445*c_011\ 0_4^11 + 8857040595862144125684840748/12979134279431543453365445*c_\ 0110_4^10 - 21656979826195465141576358084/1297913427943154345336544\ 5*c_0110_4^9 + 26504730094532702486707346202/1297913427943154345336\ 5445*c_0110_4^8 - 6978054912291135656443946431/12979134279431543453\ 365445*c_0110_4^7 - 34746760497964719518201273336/12979134279431543\ 453365445*c_0110_4^6 + 40665201962163833353794627216/12979134279431\ 543453365445*c_0110_4^5 - 4062225263181351426387434567/259582685588\ 6308690673089*c_0110_4^4 - 1262765445883927749008150669/12979134279\ 431543453365445*c_0110_4^3 + 2537368346371038768233801494/259582685\ 5886308690673089*c_0110_4^2 - 6255419979357135443395427853/12979134\ 279431543453365445*c_0110_4 + 564098631263564269918140774/129791342\ 79431543453365445, c_0110_4^15 - 172*c_0110_4^13 + 1313*c_0110_4^12 - 3224*c_0110_4^11 + 4103*c_0110_4^10 - 1484*c_0110_4^9 - 4493*c_0110_4^8 + 6380*c_0110_4^7 - 3868*c_0110_4^6 + 424*c_0110_4^5 + 1676*c_0110_4^4 - 1186*c_0110_4^3 + 282*c_0110_4^2 - 28*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB