Magma V2.19-8 Sun Nov 17 2013 13:30:01 on localhost [Seed = 1021797679] Type ? for help. Type -D to quit. Loading file "m023__sl3_c4.magma" ==TRIANGULATION=BEGINS== % Triangulation m023 geometric_solution 2.98912028 oriented_manifold CS_unknown 1 0 torus 0.000000000000 0.000000000000 4 1 2 2 1 0132 0132 1023 3201 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 -1 0 1 1 0 0 -1 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203723267852 0.560667728005 0 0 3 3 0132 2310 2310 0132 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 -1 0 1 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.154659644077 1.804008823480 3 0 0 3 3012 0132 1023 1230 0 0 0 0 0 0 1 -1 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 1 0 -1 0 0 0 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.203723267852 0.560667728005 2 1 1 2 3012 3201 0132 1230 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 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.251686680526 0.393228424280 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0102_0'], 'c_1020_3' : d['c_0102_0'], 'c_1020_0' : d['c_0102_0'], 'c_1020_1' : d['c_0201_1'], 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['c_0201_1'], 'c_0201_2' : d['c_0201_0'], 'c_0201_3' : d['c_0201_0'], 'c_2100_0' : d['c_0012_1'] * d['u'] ** 1, 'c_2100_1' : d['c_0021_3'], 'c_2100_2' : d['1'] * d['u'] ** 1, 'c_2100_3' : d['c_0021_3'] * d['u'] ** 2, 'c_2010_2' : d['c_0201_0'], 'c_2010_3' : d['c_0201_0'], 'c_2010_0' : d['c_0201_0'], 'c_2010_1' : d['c_0102_1'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0102_1'], 'c_0102_2' : d['c_0102_0'], 'c_0102_3' : d['c_0102_0'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1011_3'], 'c_1101_2' : negation(d['c_1101_0']), 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0012_1'] * d['u'] ** 1, 'c_1200_3' : d['c_0012_3'] * d['u'] ** 1, 'c_1200_0' : d['1'] * d['u'] ** 1, 'c_1200_1' : d['c_0012_3'], 'c_1110_2' : d['c_0111_3'], 'c_1110_3' : d['c_0111_2'] * d['u'] ** 2, 'c_1110_0' : negation(d['c_1011_1']) * d['u'] ** 1, 'c_1110_1' : d['c_1101_3'] * d['u'] ** 1, 'c_0120_0' : d['c_0102_1'] * d['u'] ** 1, 'c_0120_1' : d['c_0102_0'] * d['u'] ** 1, 'c_0120_2' : d['c_0012_3'], 'c_0120_3' : d['c_0012_1'] * d['u'] ** 1, 'c_2001_0' : d['c_0201_0'], 'c_2001_1' : d['c_0102_0'], 'c_2001_2' : d['c_0201_0'], 'c_2001_3' : d['c_0102_1'], 'c_0012_2' : d['c_0012_1'] * d['u'] ** 2, 'c_0012_3' : d['c_0012_3'], 'c_0012_0' : d['1'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['1'], 'c_0111_1' : negation(d['1']), 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0021_3'], 'c_0210_3' : d['1'] * d['u'] ** 1, 'c_0210_0' : d['c_0201_1'] * d['u'] ** 2, 'c_0210_1' : d['c_0201_0'] * d['u'] ** 2, 'c_1002_2' : d['c_0102_0'], 'c_1002_3' : d['c_0201_1'], 'c_1002_0' : d['c_0102_0'], 'c_1002_1' : d['c_0201_0'], 'c_1011_2' : negation(d['c_1011_0']), 'c_1011_3' : d['c_1011_3'], 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'] * d['u'] ** 2, 'c_0021_1' : d['1'] * d['u'] ** 2, 'c_0021_2' : d['1'], 'c_0021_3' : d['c_0021_3']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 81925.140 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_1, c_0111_2, c_0111_3, c_0201_0, c_0201_1, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 2801249817838749782964330153665431084/99614254032221755043261939594\ 647065629*c_1101_3^16*u - 30724359318427911134329877187890673577/99\ 614254032221755043261939594647065629*c_1101_3^16 - 226878312345376834547354600839108788495/996142540322217550432619395\ 94647065629*c_1101_3^13*u + 6367159328992609994724860868239657901/9\ 9614254032221755043261939594647065629*c_1101_3^13 - 589998322613228917648482914596240996739/996142540322217550432619395\ 94647065629*c_1101_3^10*u + 887336278117112066007114584460669723282\ /99614254032221755043261939594647065629*c_1101_3^10 + 12364224644500658903279699222786342256/8370945716993424793551423495\ 34849291*c_1101_3^7*u + 2045134339299610478568304556546597332796/99\ 614254032221755043261939594647065629*c_1101_3^7 - 1402957948292614911951465489297101122833/99614254032221755043261939\ 594647065629*c_1101_3^4*u - 188280672486567745951182604563733343828\ /99614254032221755043261939594647065629*c_1101_3^4 + 118509560933674496393015343816299517594/142306077188888221490374199\ 42092437947*c_1101_3*u + 373881913967030901318982214136904800414/14\ 230607718888822149037419942092437947*c_1101_3, c_0012_1 + u + 1, c_0012_3 - 8059226212288975312048461682136545/4382572688398219628756839\ 44770322759*c_1101_3^17*u - 14030187801441077065630194721753337/438\ 257268839821962875683944770322759*c_1101_3^17 - 16215374949230115578906452915599548/1460857562799406542918946482567\ 74253*c_1101_3^14*u + 2360857093240752501465051317910727/1623175069\ 7771183810210516472974917*c_1101_3^14 + 3014990676470372004877835158671567/16231750697771183810210516472974\ 917*c_1101_3^11*u + 181002065224363933646405895147196780/1460857562\ 79940654291894648256774253*c_1101_3^11 + 898628110327103293411813856474086079/438257268839821962875683944770\ 322759*c_1101_3^8*u + 444882489352067004783045958800100000/43825726\ 8839821962875683944770322759*c_1101_3^8 - 23784871487203104157687827633411563/1460857562799406542918946482567\ 74253*c_1101_3^5*u + 104793972810026916231836546696409445/146085756\ 279940654291894648256774253*c_1101_3^5 + 20784882783609393941001745790184895/8944025894690244140320080505516\ 791*c_1101_3^2*u + 149499904928627383430102944482090731/62608181262\ 831708982240563538617537*c_1101_3^2, c_0021_3 + 2398119721792437681348821017096493/1460857562799406542918946\ 48256774253*c_1101_3^16*u - 1756274816641193120554829807621048/1460\ 85756279940654291894648256774253*c_1101_3^16 - 3384480447091729211097069379635000/16231750697771183810210516472974\ 917*c_1101_3^13*u - 5816743943320685955534425552353427/486952520933\ 13551430631549418924751*c_1101_3^13 - 53426379882430771698256881849350323/4869525209331355143063154941892\ 4751*c_1101_3^10*u - 8157190900415854914796605830000461/48695252093\ 313551430631549418924751*c_1101_3^10 + 32728381396616349227123404670473001/1460857562799406542918946482567\ 74253*c_1101_3^7*u + 156354435718872903717215581264423780/146085756\ 279940654291894648256774253*c_1101_3^7 - 29718986998202388981922756633942225/4869525209331355143063154941892\ 4751*c_1101_3^4*u - 470954335696193865414251371227653/2318821528253\ 026258601502353282131*c_1101_3^4 - 2226198233830482479840421470407670/29813419648967480467733601685055\ 97*c_1101_3*u + 418634826415667041996559797536047/29813419648967480\ 46773360168505597*c_1101_3, c_0102_0 - 10025527960930343898637695014565151/438257268839821962875683\ 944770322759*c_1101_3^17*u - 6910776443466716593127891893959218/438\ 257268839821962875683944770322759*c_1101_3^17 + 5531884599417842446649052043592630/14608575627994065429189464825677\ 4253*c_1101_3^14*u + 25892138671511558757948358648080458/1460857562\ 79940654291894648256774253*c_1101_3^14 + 121920040909808624831480235199709911/146085756279940654291894648256\ 774253*c_1101_3^11*u + 49530935273727282425821847248508786/48695252\ 093313551430631549418924751*c_1101_3^11 + 748536291775476548870881393726823705/438257268839821962875683944770\ 322759*c_1101_3^8*u + 126704138360760180459094055460539833/43825726\ 8839821962875683944770322759*c_1101_3^8 + 17029117075950231179974365662809624/4869525209331355143063154941892\ 4751*c_1101_3^5*u + 130007705011872185181443651944479179/1460857562\ 79940654291894648256774253*c_1101_3^5 + 92536766259354092460779849873650963/6260818126283170898224056353861\ 7537*c_1101_3^2*u + 44639781021844659530960039939898227/62608181262\ 831708982240563538617537*c_1101_3^2, c_0102_1 + 14030187801441077065630194721753337/438257268839821962875683\ 944770322759*c_1101_3^17*u + 5970961589152101753581733039616792/438\ 257268839821962875683944770322759*c_1101_3^17 - 2360857093240752501465051317910727/16231750697771183810210516472974\ 917*c_1101_3^14*u - 37463088788396888092091914776796091/14608575627\ 9940654291894648256774253*c_1101_3^14 - 181002065224363933646405895147196780/146085756279940654291894648256\ 774253*c_1101_3^11*u - 21981021305161512228929339817021811/20869393\ 754277236327413521179539179*c_1101_3^11 - 444882489352067004783045958800100000/438257268839821962875683944770\ 322759*c_1101_3^8*u + 453745620975036288628767897673986079/43825726\ 8839821962875683944770322759*c_1101_3^8 - 104793972810026916231836546696409445/146085756279940654291894648256\ 774253*c_1101_3^5*u - 42859614765743340129841458109940336/486952520\ 93313551430631549418924751*c_1101_3^5 - 149499904928627383430102944482090731/626081812628317089822405635386\ 17537*c_1101_3^2*u - 4005725443361625843090723950796466/62608181262\ 831708982240563538617537*c_1101_3^2, c_0111_2 + 3096045364945075410120926570649/3312602183218608940859289076\ 11733*c_1101_3^15*u - 1130771475342433449050339242953/3312602183218\ 60894085928907611733*c_1101_3^15 - 31887254365432442793207741934085/331260218321860894085928907611733*\ c_1101_3^12*u - 29366469039660253185329322603874/331260218321860894\ 085928907611733*c_1101_3^12 - 1519926321076152958294765582123571/23\ 18821528253026258601502353282131*c_1101_3^9*u - 336287855846315698313001307969054/231882152825302625860150235328213\ 1*c_1101_3^9 - 955354941883022933703877642400874/231882152825302625\ 8601502353282131*c_1101_3^6*u + 2187508005714438885643980610738791/\ 2318821528253026258601502353282131*c_1101_3^6 + 884230013234974925819980236808337/231882152825302625860150235328213\ 1*c_1101_3^3*u + 246755192727095939196661663930414/2318821528253026\ 258601502353282131*c_1101_3^3 - 266182175597674985695692825345183/3\ 31260218321860894085928907611733*u - 97895100804592813980882415566002/331260218321860894085928907611733, c_0111_3 - 747909464705917945964797563425309/48695252093313551430631549\ 418924751*c_1101_3^17*u - 3693548827184760307234621138859081/146085\ 756279940654291894648256774253*c_1101_3^17 - 14408471953294065449361311343493106/1460857562799406542918946482567\ 74253*c_1101_3^14*u + 14325396787196070530796165260096288/146085756\ 279940654291894648256774253*c_1101_3^14 + 22812455364603379884403795063952863/1460857562799406542918946482567\ 74253*c_1101_3^11*u + 23456293582355173622452862651791265/208693937\ 54277236327413521179539179*c_1101_3^11 + 259797187154573022137849684846919548/146085756279940654291894648256\ 774253*c_1101_3^8*u + 241370134236874640471398896554380334/14608575\ 6279940654291894648256774253*c_1101_3^8 + 20058153538570040065104711555375611/1460857562799406542918946482567\ 74253*c_1101_3^5*u + 79268716500029481588197076182556391/1460857562\ 79940654291894648256774253*c_1101_3^5 + 14943549308971976572464606247722632/2086939375427723632741352117953\ 9179*c_1101_3^2*u + 548067449936500689934808763183399/3312602183218\ 60894085928907611733*c_1101_3^2, c_0201_0 + 5285222674382052340524956506907588/1460857562799406542918946\ 48256774253*c_1101_3^16*u + 3201833448901228741899687718330513/1460\ 85756279940654291894648256774253*c_1101_3^16 - 4580842947507284341291309516667182/48695252093313551430631549418924\ 751*c_1101_3^13*u - 12574930066846065143398188120871786/48695252093\ 313551430631549418924751*c_1101_3^13 - 57686238837129524511810221807321078/4869525209331355143063154941892\ 4751*c_1101_3^10*u - 3439057726325141067769477885697823/23188215282\ 53026258601502353282131*c_1101_3^10 - 200574389658878950177773310555226011/146085756279940654291894648256\ 774253*c_1101_3^7*u - 31340926179505764049431466450855034/146085756\ 279940654291894648256774253*c_1101_3^7 - 4618780231618183281592453069582897/16231750697771183810210516472974\ 917*c_1101_3^4*u - 66281424507218098705462101099501556/486952520933\ 13551430631549418924751*c_1101_3^4 - 4528223355528555321626247837009134/29813419648967480467733601685055\ 97*c_1101_3*u - 4019948688817311866646437553830029/2981341964896748\ 046773360168505597*c_1101_3, c_0201_1 - 4154394538433630801903650824717541/1460857562799406542918946\ 48256774253*c_1101_3^16*u - 2398119721792437681348821017096493/1460\ 85756279940654291894648256774253*c_1101_3^16 + 4336697397954501677756782586551573/48695252093313551430631549418924\ 751*c_1101_3^13*u + 3384480447091729211097069379635000/162317506977\ 71183810210516472974917*c_1101_3^13 + 15089729660671638927820092006449954/1623175069777118381021051647297\ 4917*c_1101_3^10*u + 53426379882430771698256881849350323/4869525209\ 3313551430631549418924751*c_1101_3^10 + 17660864903179507784298882370564397/2086939375427723632741352117953\ 9179*c_1101_3^7*u - 32728381396616349227123404670473001/14608575627\ 9940654291894648256774253*c_1101_3^7 + 19828945948582317808223477838161512/4869525209331355143063154941892\ 4751*c_1101_3^4*u + 29718986998202388981922756633942225/48695252093\ 313551430631549418924751*c_1101_3^4 + 2644833060246149521836981267943717/29813419648967480467733601685055\ 97*c_1101_3*u + 2226198233830482479840421470407670/2981341964896748\ 046773360168505597*c_1101_3, c_1011_0 - 655091296534213987023529109232/33126021832186089408592890761\ 1733*c_1101_3^15*u + 1785862771876647436073868352185/33126021832186\ 0894085928907611733*c_1101_3^15 + 20417907801697565326179021512653/\ 331260218321860894085928907611733*c_1101_3^12*u + 8948561237962687859150301091221/331260218321860894085928907611733*c\ _1101_3^12 + 618738058974156218869255630030875/23188215282530262586\ 01502353282131*c_1101_3^9*u - 282450203127840520556254322061821/231\ 8821528253026258601502353282131*c_1101_3^9 - 410717687943805317313367656112639/231882152825302625860150235328213\ 1*c_1101_3^6*u - 1776790317770633568330612954626152/231882152825302\ 6258601502353282131*c_1101_3^6 - 376995068654023621672213966912917/\ 2318821528253026258601502353282131*c_1101_3^3*u + 130239875926927682475552302982503/231882152825302625860150235328213\ 1*c_1101_3^3 + 231779164908042897920834716174306/331260218321860894\ 085928907611733*u - 133884064103450083939952300608304/3312602183218\ 60894085928907611733, c_1011_1 - 687496667297467723551557855605042/20869393754277236327413521\ 179539179*c_1101_3^17*u - 340463790460532735937230977631008/2086939\ 3754277236327413521179539179*c_1101_3^17 + 2213708789722362406611473422608580/20869393754277236327413521179539\ 179*c_1101_3^14*u + 5133809044678696623915516331675532/208693937542\ 77236327413521179539179*c_1101_3^14 + 186012079123537287749509704338322082/146085756279940654291894648256\ 774253*c_1101_3^11*u + 189464843375871062413993887470582312/1460857\ 56279940654291894648256774253*c_1101_3^11 + 259878877574673329167210991203756669/146085756279940654291894648256\ 774253*c_1101_3^8*u + 9052435098074810530399853616162229/4869525209\ 3313551430631549418924751*c_1101_3^8 + 126340884225278381769765115444999676/146085756279940654291894648256\ 774253*c_1101_3^5*u + 219157865001925292211402304315191262/14608575\ 6279940654291894648256774253*c_1101_3^5 + 19387915524685529703185555678776688/6956464584759078775804507059846\ 393*c_1101_3^2*u + 12644886708984358377622658669014844/208693937542\ 77236327413521179539179*c_1101_3^2, c_1011_3 - 883397783697249547872716109208807/48695252093313551430631549\ 418924751*c_1101_3^16*u - 168286348718183478948844099808197/4869525\ 2093313551430631549418924751*c_1101_3^16 + 4555499441275951771599258869157034/48695252093313551430631549418924\ 751*c_1101_3^13*u + 7235543172033192028739839275137567/486952520933\ 13551430631549418924751*c_1101_3^13 + 6694814267434107608055858761357263/69564645847590787758045070598463\ 93*c_1101_3^10*u + 30662639860315203303393082055319443/486952520933\ 13551430631549418924751*c_1101_3^10 + 74369178222884964701756769108993031/4869525209331355143063154941892\ 4751*c_1101_3^7*u - 2882746900251692495015715956022028/162317506977\ 71183810210516472974917*c_1101_3^7 + 36465650811615739008813240140873390/4869525209331355143063154941892\ 4751*c_1101_3^4*u + 22600464190679434411436037255300655/48695252093\ 313551430631549418924751*c_1101_3^4 + 471482400537097783127368088085792/331260218321860894085928907611733\ *c_1101_3*u + 179501844665932633265403543443162/9937806549655826822\ 57786722835199*c_1101_3, c_1101_0 + 1963764538889232794463114175577942/1460857562799406542918946\ 48256774253*c_1101_3^17*u - 233148616521005800176260394179033/48695\ 252093313551430631549418924751*c_1101_3^17 - 18764763310449073656657256200600190/1460857562799406542918946482567\ 74253*c_1101_3^14*u - 16001335261441336395267209422964762/146085756\ 279940654291894648256774253*c_1101_3^14 - 126641372689764810773350634743111420/146085756279940654291894648256\ 774253*c_1101_3^11*u - 5857920948436454178329083850241095/208693937\ 54277236327413521179539179*c_1101_3^11 - 32844783822802577402715190210501843/4869525209331355143063154941892\ 4751*c_1101_3^8*u + 89885789511981989312758104432395177/14608575627\ 9940654291894648256774253*c_1101_3^8 - 137100571939057241435447093641104950/146085756279940654291894648256\ 774253*c_1101_3^5*u - 34985125337619150594387171411643027/146085756\ 279940654291894648256774253*c_1101_3^5 - 5532608499627882561348736209992131/20869393754277236327413521179539\ 179*c_1101_3^2*u + 16523219018700569827389792496753214/208693937542\ 77236327413521179539179*c_1101_3^2, c_1101_3^18 + 2767/343*c_1101_3^15*u + 272/343*c_1101_3^15 + 3070840/117649*c_1101_3^12*u - 3109279/117649*c_1101_3^12 - 4602601/117649*c_1101_3^9*u - 9214039/117649*c_1101_3^9 + 4097588/117649*c_1101_3^6*u - 1671704/117649*c_1101_3^6 - 17599/2401*c_1101_3^3*u - 215211/2401*c_1101_3^3 + 999/343*u - 8721/343, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 81925.150 Total time: 81925.350 seconds, Total memory usage: 30957.47MB