Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 240095789] 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' : negation(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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(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 + 30717851314311820135782683465650/6438531127327328206230620555857*c_\ 0101_4^19 + 27186370561407914476837226039914/6438531127327328206230\ 620555857*c_0101_4^18 - 430820456543883877315897904890337/643853112\ 7327328206230620555857*c_0101_4^17 - 100801352958107712548603654603498/6438531127327328206230620555857*c\ _0101_4^16 - 2324005373520977463846765693251605/6438531127327328206\ 230620555857*c_0101_4^15 - 10507803459607788382729835625927119/6438\ 531127327328206230620555857*c_0101_4^14 - 11509836502476888070039072405369322/6438531127327328206230620555857\ *c_0101_4^13 + 11728791410019620624028039435914137/6438531127327328\ 206230620555857*c_0101_4^12 + 34209183326486952683678837909761323/6\ 438531127327328206230620555857*c_0101_4^11 + 10647653788588976669356287507601202/6438531127327328206230620555857\ *c_0101_4^10 - 19960346669717754105022492683820811/6438531127327328\ 206230620555857*c_0101_4^9 - 2200635814298349226653598603844624/643\ 8531127327328206230620555857*c_0101_4^8 + 20467272972181291024307713330765822/6438531127327328206230620555857\ *c_0101_4^7 + 8571236769829718328385261760740578/643853112732732820\ 6230620555857*c_0101_4^6 - 605393995723634037586405491607774/643853\ 1127327328206230620555857*c_0101_4^5 - 1391274967807214226448888920093727/6438531127327328206230620555857*\ c_0101_4^4 - 1506499191700273184442678402004829/6438531127327328206\ 230620555857*c_0101_4^3 - 204103637787835547511123655610749/6438531\ 127327328206230620555857*c_0101_4^2 - 123668839702339281640717192275102/6438531127327328206230620555857*c\ _0101_4 + 132776241470809221605046031775292/64385311273273282062306\ 20555857, c_0011_0 - 1, c_0011_1 - 617521581028008592274230731/585321011575211655111874595987*c\ _0101_4^19 - 64439912083653530733724673589/585321011575211655111874\ 595987*c_0101_4^18 - 49766219830901641701622615976/5853210115752116\ 55111874595987*c_0101_4^17 + 888595148038392614193793091234/5853210\ 11575211655111874595987*c_0101_4^16 + 275007783592484371689345961893/585321011575211655111874595987*c_010\ 1_4^15 + 5163530093234793687577443792499/58532101157521165511187459\ 5987*c_0101_4^14 + 22268894988952973860680577159344/585321011575211\ 655111874595987*c_0101_4^13 + 24912919802580597565266837425805/5853\ 21011575211655111874595987*c_0101_4^12 - 21639386841073355932859225640816/585321011575211655111874595987*c_0\ 101_4^11 - 69047491261048973701330094508955/58532101157521165511187\ 4595987*c_0101_4^10 - 27415029965342147218067140579310/585321011575\ 211655111874595987*c_0101_4^9 + 30887225001720131124491079696883/58\ 5321011575211655111874595987*c_0101_4^8 + 2594265170821010600710823477332/585321011575211655111874595987*c_01\ 01_4^7 - 35069628442648978366862454757267/5853210115752116551118745\ 95987*c_0101_4^6 - 17029808825009266794353171835457/585321011575211\ 655111874595987*c_0101_4^5 - 5612477919522742267574639448838/585321\ 011575211655111874595987*c_0101_4^4 + 411406697797228213823640048686/585321011575211655111874595987*c_010\ 1_4^3 + 4605323034846113477163991090588/585321011575211655111874595\ 987*c_0101_4^2 + 1523460349518183041712258817548/585321011575211655\ 111874595987*c_0101_4 + 597989781396821951464161804242/585321011575\ 211655111874595987, c_0011_3 + 153231465394292015313034116268/58532101157521165511187459598\ 7*c_0101_4^19 + 133632043227251686716285910645/58532101157521165511\ 1874595987*c_0101_4^18 - 2119259415809787973783966156074/5853210115\ 75211655111874595987*c_0101_4^17 - 450371287570783283754525305299/585321011575211655111874595987*c_010\ 1_4^16 - 12032474435149869535527596347736/5853210115752116551118745\ 95987*c_0101_4^15 - 52327360312914089598189946305483/58532101157521\ 1655111874595987*c_0101_4^14 - 59113712644488201766605718780667/585\ 321011575211655111874595987*c_0101_4^13 + 48742480963697959792919853402630/585321011575211655111874595987*c_0\ 101_4^12 + 159189205911160644910118825677827/5853210115752116551118\ 74595987*c_0101_4^11 + 64552385298013128718795837657543/58532101157\ 5211655111874595987*c_0101_4^10 - 65310776806775384691885425696730/\ 585321011575211655111874595987*c_0101_4^9 - 1547243056852890853976112033839/585321011575211655111874595987*c_01\ 01_4^8 + 79291985586417896015966089493555/5853210115752116551118745\ 95987*c_0101_4^7 + 38682432445266424753001058678043/585321011575211\ 655111874595987*c_0101_4^6 + 17054956921064069859101063821876/58532\ 1011575211655111874595987*c_0101_4^5 + 450065669025583261827895467716/585321011575211655111874595987*c_010\ 1_4^4 - 9215619393952246617540341158742/585321011575211655111874595\ 987*c_0101_4^3 - 3378782587332722116195999616029/585321011575211655\ 111874595987*c_0101_4^2 - 2689840129309675972827913998702/585321011\ 575211655111874595987*c_0101_4 - 6549245073302129107286404774/58532\ 1011575211655111874595987, c_0011_5 - 131339605596680426786931334228/58532101157521165511187459598\ 7*c_0101_4^19 - 121808180838224450076376503897/58532101157521165511\ 1874595987*c_0101_4^18 + 1821665752726762757613684325569/5853210115\ 75211655111874595987*c_0101_4^17 + 494226965182339314371342280854/585321011575211655111874595987*c_010\ 1_4^16 + 10174635297986207657113384843426/5853210115752116551118745\ 95987*c_0101_4^15 + 45420147999223904956430602673135/58532101157521\ 1655111874595987*c_0101_4^14 + 52235805817092842496772904910590/585\ 321011575211655111874595987*c_0101_4^13 - 42700057328724248433808677991620/585321011575211655111874595987*c_0\ 101_4^12 - 142508694185770415045994573550650/5853210115752116551118\ 74595987*c_0101_4^11 - 58553229612227159227382207869886/58532101157\ 5211655111874595987*c_0101_4^10 + 64142491878321618156163139776011/\ 585321011575211655111874595987*c_0101_4^9 + 7529451254175406271124052094736/585321011575211655111874595987*c_01\ 01_4^8 - 73523549370743481983738100535254/5853210115752116551118745\ 95987*c_0101_4^7 - 36827086655098814670253535040093/585321011575211\ 655111874595987*c_0101_4^6 - 10698910580458522690925355170933/58532\ 1011575211655111874595987*c_0101_4^5 + 1286898452562188299188783439331/585321011575211655111874595987*c_01\ 01_4^4 + 8962359543177225773499274423509/58532101157521165511187459\ 5987*c_0101_4^3 + 3009520482359750535077743309103/58532101157521165\ 5111874595987*c_0101_4^2 + 2175962452478611336157962332731/58532101\ 1575211655111874595987*c_0101_4 - 2614290521450128933311675786/5853\ 21011575211655111874595987, c_0101_0 - 101451269307168053842369347133/58532101157521165511187459598\ 7*c_0101_4^19 - 98561670055732813849943357650/585321011575211655111\ 874595987*c_0101_4^18 + 1405408608955468234283080857916/58532101157\ 5211655111874595987*c_0101_4^17 + 439791051877983656080917280263/58\ 5321011575211655111874595987*c_0101_4^16 + 7844367798766364442989619419144/585321011575211655111874595987*c_01\ 01_4^15 + 35511670177018634292757649356703/585321011575211655111874\ 595987*c_0101_4^14 + 41619088717169396859442238337117/5853210115752\ 11655111874595987*c_0101_4^13 - 31535537082189928505229051001544/58\ 5321011575211655111874595987*c_0101_4^12 - 110973220481710962023861215495463/585321011575211655111874595987*c_\ 0101_4^11 - 49211008734904139642796500187517/5853210115752116551118\ 74595987*c_0101_4^10 + 46172542400695081184585262966308/58532101157\ 5211655111874595987*c_0101_4^9 + 5656954705334608041958140374652/58\ 5321011575211655111874595987*c_0101_4^8 - 53700017256977344941965745162059/585321011575211655111874595987*c_0\ 101_4^7 - 27879889848862933847506373495622/585321011575211655111874\ 595987*c_0101_4^6 - 11724659207484938518598858792594/58532101157521\ 1655111874595987*c_0101_4^5 - 672440654228877068029098516965/585321\ 011575211655111874595987*c_0101_4^4 + 9875070128139763058079915364975/585321011575211655111874595987*c_01\ 01_4^3 + 2914158830015550109628610863313/58532101157521165511187459\ 5987*c_0101_4^2 + 1307790656068261940404320925215/58532101157521165\ 5111874595987*c_0101_4 + 17846779511637365748986456032/585321011575\ 211655111874595987, c_0101_4^20 + c_0101_4^19 - 14*c_0101_4^18 - 5*c_0101_4^17 - 75*c_0101_4^16 - 350*c_0101_4^15 - 408*c_0101_4^14 + 368*c_0101_4^13 + 1200*c_0101_4^12 + 463*c_0101_4^11 - 704*c_0101_4^10 - 214*c_0101_4^9 + 685*c_0101_4^8 + 374*c_0101_4^7 - 38*c_0101_4^6 - 92*c_0101_4^5 - 67*c_0101_4^4 - 15*c_0101_4^3 - 4*c_0101_4^2 + 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB