Magma V2.19-8 Wed Aug 21 2013 00:36:02 on localhost [Seed = 3599812433] Type ? for help. Type -D to quit. Loading file "K14n23721__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n23721 geometric_solution 10.44184193 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 1 -1 -11 0 0 11 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.600021050106 0.165398784589 0 5 7 6 0132 0132 0132 0132 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 11 0 0 -11 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.586388621723 0.867131862688 5 0 4 8 0132 0132 2103 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 11 0 -11 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.048840467650 0.771838186990 9 10 6 0 0132 0132 2031 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 1 0 -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.850741009815 1.499853356689 2 11 0 6 2103 0132 0132 2031 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 1 0 11 0 -11 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.464861234172 0.791345291532 2 1 8 10 0132 0132 1230 3012 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 -11 0 0 11 -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.382152421632 1.424204763227 9 4 1 3 1230 1302 0132 1302 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 -11 0 11 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.751799470423 0.953201788420 9 11 9 1 2103 1230 1230 0132 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 -12 12 0 -12 0 12 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.506581304539 1.783603267119 12 12 2 5 0132 2310 0132 3012 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 1.124133422157 1.629583128861 3 6 7 7 0132 3012 2103 3012 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 12 -12 1 11 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.697520850139 0.426750989461 11 3 5 11 0321 0132 1230 1023 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 -11 12 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.713875093307 0.504437186857 10 4 7 10 0321 0132 3012 1023 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 1 0 -1 0 0 12 -12 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.713875093307 0.504437186857 8 12 12 8 0132 3201 2310 3201 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.629266528609 0.330379101905 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_10'], 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : negation(d['c_0101_12']), 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : negation(d['c_0011_11']), 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : d['c_0110_4'], 'c_1001_1' : negation(d['c_0101_10']), 'c_1001_0' : negation(d['c_0101_12']), 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : negation(d['c_0011_11']), 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : negation(d['c_0101_10']), 'c_0101_10' : d['c_0101_10'], '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_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0110_4']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_12'], 'c_1100_4' : negation(d['c_1010_6']), 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_1010_6']), 'c_1100_3' : negation(d['c_1010_6']), 'c_1100_2' : negation(d['c_0110_4']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_1']), 'c_1100_10' : d['c_0101_1'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0101_12']), 'c_1010_2' : negation(d['c_0101_12']), 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : negation(d['c_0011_11']), 'c_1010_9' : negation(d['c_0101_0']), 'c_1010_8' : negation(d['c_0101_5']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_12'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_6']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_5'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_5, c_0110_4, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 17231973389693439628054190/109071064570695189624641*c_1010_6^10 + 555172108347168557087101493/109071064570695189624641*c_1010_6^9 - 1762598939814832670758539091/109071064570695189624641*c_1010_6^8 - 322112771835892506382431019/6415944974746775860273*c_1010_6^7 + 11332398606547787766689051750/109071064570695189624641*c_1010_6^6 + 3487022029194566625916369684/15581580652956455660663*c_1010_6^5 + 15368241757626799039715877578/109071064570695189624641*c_1010_6^4 - 3505766276017336183521524280/109071064570695189624641*c_1010_6^3 + 2829328142612792174626062718/109071064570695189624641*c_1010_6^2 - 163715191667938664195205115/15581580652956455660663*c_1010_6 - 201280177530206927564983021/109071064570695189624641, c_0011_0 - 1, c_0011_10 + 508393285955165358/116182477857899351*c_1010_6^10 - 16087443887194644291/116182477857899351*c_1010_6^9 + 42565337836978546236/116182477857899351*c_1010_6^8 + 192596828197739438811/116182477857899351*c_1010_6^7 - 245570240291665693420/116182477857899351*c_1010_6^6 - 923307518470562911056/116182477857899351*c_1010_6^5 - 840884986789041847159/116182477857899351*c_1010_6^4 - 107365826279919381235/116182477857899351*c_1010_6^3 + 2883883961191295436/116182477857899351*c_1010_6^2 - 25041783309940811509/116182477857899351*c_1010_6 + 32767850190077885336/116182477857899351, c_0011_11 - 355590993469619446/116182477857899351*c_1010_6^10 + 11251793439202257836/116182477857899351*c_1010_6^9 - 29758748556194833324/116182477857899351*c_1010_6^8 - 134741089411080108983/116182477857899351*c_1010_6^7 + 171588676636620216128/116182477857899351*c_1010_6^6 + 645960239157671357107/116182477857899351*c_1010_6^5 + 589008028886617196399/116182477857899351*c_1010_6^4 + 75988600952711179312/116182477857899351*c_1010_6^3 - 1825565755271008068/116182477857899351*c_1010_6^2 + 17414957545864015399/116182477857899351*c_1010_6 - 23000580731524010060/116182477857899351, c_0011_12 + 1211638414309387702/116182477857899351*c_1010_6^10 - 38340517931651070619/116182477857899351*c_1010_6^9 + 101438454339754916456/116182477857899351*c_1010_6^8 + 459021395572087922204/116182477857899351*c_1010_6^7 - 585167968478926779492/116182477857899351*c_1010_6^6 - 2200520404291660581401/116182477857899351*c_1010_6^5 - 2004498231306083434758/116182477857899351*c_1010_6^4 - 256612148216671692900/116182477857899351*c_1010_6^3 + 6501232207295352130/116182477857899351*c_1010_6^2 - 59537116345196265920/116182477857899351*c_1010_6 + 78161523190201663065/116182477857899351, c_0011_6 + 278714952377016875/116182477857899351*c_1010_6^10 - 8819652718459162052/116182477857899351*c_1010_6^9 + 23338449151776858553/116182477857899351*c_1010_6^8 + 105566336836734303569/116182477857899351*c_1010_6^7 - 134613711344773066577/116182477857899351*c_1010_6^6 - 506015430807718956494/116182477857899351*c_1010_6^5 - 461142643145552062853/116182477857899351*c_1010_6^4 - 59291267469546295311/116182477857899351*c_1010_6^3 + 1298507101511960978/116182477857899351*c_1010_6^2 - 13559529073998260451/116182477857899351*c_1010_6 + 18075869925303123164/116182477857899351, c_0101_0 + 74701735056600743/116182477857899351*c_1010_6^10 - 2363640205191961720/116182477857899351*c_1010_6^9 + 6247893454153359587/116182477857899351*c_1010_6^8 + 28323531715315272053/116182477857899351*c_1010_6^7 - 36028659559326730828/116182477857899351*c_1010_6^6 - 135842645201952401911/116182477857899351*c_1010_6^5 - 123805904830011474457/116182477857899351*c_1010_6^4 - 15740339814801934409/116182477857899351*c_1010_6^3 + 772766201040492978/116182477857899351*c_1010_6^2 - 3666413067592154315/116182477857899351*c_1010_6 + 4815573784749275841/116182477857899351, c_0101_1 + 189291852683022919/116182477857899351*c_1010_6^10 - 5989436035298556413/116182477857899351*c_1010_6^9 + 15833756745393113916/116182477857899351*c_1010_6^8 + 71756530264262409986/116182477857899351*c_1010_6^7 - 91288181797498185507/116182477857899351*c_1010_6^6 - 344068529419434609730/116182477857899351*c_1010_6^5 - 313721050477450762313/116182477857899351*c_1010_6^4 - 40463292542219025672/116182477857899351*c_1010_6^3 + 982947195412765805/116182477857899351*c_1010_6^2 - 9465280459745018615/116182477857899351*c_1010_6 + 12253013832742313706/116182477857899351, c_0101_10 + 451694458419550777/116182477857899351*c_1010_6^10 - 14293939354486703226/116182477857899351*c_1010_6^9 + 37839215732503857397/116182477857899351*c_1010_6^8 + 171054499665405004110/116182477857899351*c_1010_6^7 - 218399304313710331250/116182477857899351*c_1010_6^6 - 819965528587022824393/116182477857899351*c_1010_6^5 - 746150821087209599549/116182477857899351*c_1010_6^4 - 94502037432943026942/116182477857899351*c_1010_6^3 + 2866867341095326959/116182477857899351*c_1010_6^2 - 22016922486879912868/116182477857899351*c_1010_6 + 29049924213672986171/116182477857899351, c_0101_12 + 924068790640431624/116182477857899351*c_1010_6^10 - 29240435465516934752/116182477857899351*c_1010_6^9 + 77351824467788163283/116182477857899351*c_1010_6^8 + 350100234194470083730/116182477857899351*c_1010_6^7 - 446122853271818060140/116182477857899351*c_1010_6^6 - 1678344422294874505683/116182477857899351*c_1010_6^5 - 1529574907716986610206/116182477857899351*c_1010_6^4 - 196678425525857870006/116182477857899351*c_1010_6^3 + 4722690973339713322/116182477857899351*c_1010_6^2 - 45280855540161749203/116182477857899351*c_1010_6 + 59633846375980862842/116182477857899351, c_0101_3 + 47619166692631435/116182477857899351*c_1010_6^10 - 1507674259137627241/116182477857899351*c_1010_6^9 + 4013582365471631904/116182477857899351*c_1010_6^8 + 17955536295837888197/116182477857899351*c_1010_6^7 - 23269639201231198378/116182477857899351*c_1010_6^6 - 85927781956449322508/116182477857899351*c_1010_6^5 - 77549788423607627347/116182477857899351*c_1010_6^4 - 9397335357926441405/116182477857899351*c_1010_6^3 + 10606191793749255/116182477857899351*c_1010_6^2 - 2237114030372248214/116182477857899351*c_1010_6 + 3058941158757704776/116182477857899351, c_0101_5 + 640986311102573696/116182477857899351*c_1010_6^10 - 20283375389785259639/116182477857899351*c_1010_6^9 + 53672972477896971313/116182477857899351*c_1010_6^8 + 242811029929667414096/116182477857899351*c_1010_6^7 - 309687486111208516757/116182477857899351*c_1010_6^6 - 1164034058006457434123/116182477857899351*c_1010_6^5 - 1059871871564660361862/116182477857899351*c_1010_6^4 - 134965329975162052614/116182477857899351*c_1010_6^3 + 3849814536508092764/116182477857899351*c_1010_6^2 - 31482202946624931483/116182477857899351*c_1010_6 + 41302938046415299877/116182477857899351, c_0110_4 + 433691550898564615/116182477857899351*c_1010_6^10 - 13723803682002682571/116182477857899351*c_1010_6^9 + 36317444382825186649/116182477857899351*c_1010_6^8 + 164273296482424166758/116182477857899351*c_1010_6^7 - 209541580732338962592/116182477857899351*c_1010_6^6 - 787464873268610509145/116182477857899351*c_1010_6^5 - 717079081959030372702/116182477857899351*c_1010_6^4 - 91625486465117446826/116182477857899351*c_1010_6^3 + 2111117760150802458/116182477857899351*c_1010_6^2 - 21491552720206556545/116182477857899351*c_1010_6 + 27952276405328609495/116182477857899351, c_1010_6^11 - 32*c_1010_6^10 + 95*c_1010_6^9 + 349*c_1010_6^8 - 618*c_1010_6^7 - 1644*c_1010_6^6 - 1007*c_1010_6^5 + 378*c_1010_6^4 + 81*c_1010_6^3 - 51*c_1010_6^2 + 82*c_1010_6 - 23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11.180 Total time: 11.390 seconds, Total memory usage: 84.12MB