Magma V2.19-8 Wed Aug 21 2013 01:03:27 on localhost [Seed = 156176641] Type ? for help. Type -D to quit. Loading file "L14n20195__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n20195 geometric_solution 12.28774260 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 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 -1 1 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823292362335 0.683009734599 0 5 7 6 0132 0132 0132 0132 1 1 0 1 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 0 -13 13 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.414877009580 0.794191668686 8 0 7 9 0132 0132 3120 0132 1 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 0 0 0 0 0 0 0 -1 0 0 1 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355028605718 1.372255308090 5 8 7 0 0132 0132 2310 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 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 1 0 -1 1 -14 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760066611911 0.800000856472 10 5 0 11 0132 1302 0132 0132 1 1 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 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.931982941194 0.619812747718 3 1 6 4 0132 0132 2103 2031 1 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 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.343956296991 1.146840522589 5 9 1 10 2103 1023 0132 3012 1 1 1 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 -13 14 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 1.156541968765 0.880130700542 12 3 2 1 0132 3201 3120 0132 1 1 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 0 0 0 -13 0 13 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.601292144754 0.816138178858 2 3 9 10 0132 0132 0213 2031 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 -1 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 14 0 -14 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.256056301460 0.494757755275 6 8 2 11 1023 0213 0132 2310 1 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 0 0 0 0 0 0 0 0 1 0 -1 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.375819189045 0.656975553895 4 8 6 12 0132 1302 1230 0132 1 1 1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821883080735 0.803868781256 9 12 4 12 3201 0321 0132 2031 1 1 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 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 0.375819189045 0.656975553895 7 11 10 11 0132 1302 0132 0321 1 1 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 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.452451775534 0.416685269877 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_6'], 'c_1001_10' : d['c_0101_2'], 'c_1001_12' : d['c_0110_11'], 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_0101_3'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_12'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_0110_11'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0110_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : negation(d['c_0011_12']), 'c_1100_7' : negation(d['c_0101_2']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0011_12']), 'c_1100_3' : negation(d['c_0011_12']), 'c_1100_2' : d['c_0011_11'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_11'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_0110_6'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_0101_3'], 'c_1010_9' : negation(d['c_0110_11']), 'c_1010_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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_0110_6'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_6'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_12']), '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_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : d['c_0011_6'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} 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_2, c_0101_3, c_0110_11, c_0110_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 364480711492202053/1264340338042557600*c_1001_0^14 - 476972941841045959/316085084510639400*c_1001_0^13 + 7561473616525962217/1264340338042557600*c_1001_0^12 + 16421817971773368509/1264340338042557600*c_1001_0^11 - 25782170548154226409/1264340338042557600*c_1001_0^10 - 77999452464804561133/1264340338042557600*c_1001_0^9 - 15658097680717815739/1264340338042557600*c_1001_0^8 + 152350131797800981807/1264340338042557600*c_1001_0^7 + 123558513525685420931/421446779347519200*c_1001_0^6 + 342236702130289626919/632170169021278800*c_1001_0^5 + 171211593321629594857/252868067608511520*c_1001_0^4 + 336214954343459055413/632170169021278800*c_1001_0^3 + 8319128878353054719/38313343577047200*c_1001_0^2 + 2019233428178592389/421446779347519200*c_1001_0 - 1514680351347237889/79021271127659850, c_0011_0 - 1, c_0011_10 + 138096907949881/2657650945309260*c_1001_0^14 + 494320701748979/1328825472654630*c_1001_0^13 - 621384585622681/2657650945309260*c_1001_0^12 - 2346661817312377/1328825472654630*c_1001_0^11 + 231880231438441/664412736327315*c_1001_0^10 + 3304386801857237/531530189061852*c_1001_0^9 + 32911422409126153/2657650945309260*c_1001_0^8 + 54266609691775739/2657650945309260*c_1001_0^7 + 12704358742544863/442941824218210*c_1001_0^6 + 15879042955271533/664412736327315*c_1001_0^5 + 19138359489558941/1328825472654630*c_1001_0^4 + 3623694331826899/531530189061852*c_1001_0^3 + 1993021460430141/442941824218210*c_1001_0^2 + 625758957011056/221470912109105*c_1001_0 - 42977554203283/132882547265463, c_0011_11 + 196720469104823/6644127363273150*c_1001_0^14 + 1767139665865717/13288254726546300*c_1001_0^13 - 7073300750755399/13288254726546300*c_1001_0^12 + 843697470051043/3322063681636575*c_1001_0^11 + 1918570983540757/3322063681636575*c_1001_0^10 + 8819961660398483/6644127363273150*c_1001_0^9 + 22126544299566373/13288254726546300*c_1001_0^8 + 18483507127090424/3322063681636575*c_1001_0^7 + 13689884548481553/4429418242182100*c_1001_0^6 + 66453549154751479/13288254726546300*c_1001_0^5 + 9990124979270237/2657650945309260*c_1001_0^4 + 52461296776831673/13288254726546300*c_1001_0^3 + 2221085484814881/2214709121091050*c_1001_0^2 - 1278350779109209/2214709121091050*c_1001_0 + 2537183984621287/3322063681636575, c_0011_12 - 150450796383718/3322063681636575*c_1001_0^14 - 4154616821290819/13288254726546300*c_1001_0^13 + 877720097453692/3322063681636575*c_1001_0^12 + 18259004582781521/13288254726546300*c_1001_0^11 - 2185414954740323/6644127363273150*c_1001_0^10 - 17242343337512878/3322063681636575*c_1001_0^9 - 136499327201574661/13288254726546300*c_1001_0^8 - 219147249149089847/13288254726546300*c_1001_0^7 - 95725041752486971/4429418242182100*c_1001_0^6 - 118682204073923639/6644127363273150*c_1001_0^5 - 12967856237752267/1328825472654630*c_1001_0^4 - 23152146911090593/6644127363273150*c_1001_0^3 - 14391249470243859/4429418242182100*c_1001_0^2 - 6587768053335937/2214709121091050*c_1001_0 + 1392556727466607/6644127363273150, c_0011_6 - 629358230882/16863267419475*c_1001_0^14 - 19630419061601/67453069677900*c_1001_0^13 + 717197406368/16863267419475*c_1001_0^12 + 108772425781849/67453069677900*c_1001_0^11 - 3951347223037/33726534838950*c_1001_0^10 - 83395636377842/16863267419475*c_1001_0^9 - 711860790644789/67453069677900*c_1001_0^8 - 1160279514907063/67453069677900*c_1001_0^7 - 578080549180389/22484356559300*c_1001_0^6 - 364500415496633/16863267419475*c_1001_0^5 - 48475068514651/3372653483895*c_1001_0^4 - 239724778098677/33726534838950*c_1001_0^3 - 113407095713741/22484356559300*c_1001_0^2 - 38584179371283/11242178279650*c_1001_0 + 3380700847073/33726534838950, c_0101_0 + 152514145783/1349061393558*c_1001_0^14 + 8861709378031/13490613935580*c_1001_0^13 - 9239208091181/6745306967790*c_1001_0^12 - 25896126569771/13490613935580*c_1001_0^11 + 17854782662873/6745306967790*c_1001_0^10 + 35040154441516/3372653483895*c_1001_0^9 + 39752061340085/2698122787116*c_1001_0^8 + 337478409476063/13490613935580*c_1001_0^7 + 114907893053453/4496871311860*c_1001_0^6 + 97235192511419/6745306967790*c_1001_0^5 + 9641916034078/3372653483895*c_1001_0^4 + 3112532143201/6745306967790*c_1001_0^3 + 3747202970633/899374262372*c_1001_0^2 + 2042287081901/2248435655930*c_1001_0 - 6688759823149/6745306967790, c_0101_1 - 1, c_0101_10 + 285105544945309/2214709121091050*c_1001_0^14 + 3844459757262831/4429418242182100*c_1001_0^13 - 4064581790192207/4429418242182100*c_1001_0^12 - 8654803812382247/2214709121091050*c_1001_0^11 + 4202759131981647/2214709121091050*c_1001_0^10 + 32725773625130629/2214709121091050*c_1001_0^9 + 115953982549569559/4429418242182100*c_1001_0^8 + 44977808716285832/1107354560545525*c_1001_0^7 + 230432575795520427/4429418242182100*c_1001_0^6 + 156447915698626967/4429418242182100*c_1001_0^5 + 12288459851592799/885883648436420*c_1001_0^4 + 4474653112124799/4429418242182100*c_1001_0^3 + 5731909175974997/1107354560545525*c_1001_0^2 + 10721225324144669/2214709121091050*c_1001_0 - 2154877788795019/1107354560545525, c_0101_2 - 1557879281780/44294182421821*c_1001_0^14 - 32584895796353/221470912109105*c_1001_0^13 + 640776867926319/885883648436420*c_1001_0^12 - 238549421211173/885883648436420*c_1001_0^11 - 525087664292961/442941824218210*c_1001_0^10 - 380494401740262/221470912109105*c_1001_0^9 - 27946122025362/44294182421821*c_1001_0^8 - 2376230723369031/885883648436420*c_1001_0^7 + 644186658312983/221470912109105*c_1001_0^6 + 3624857654610289/885883648436420*c_1001_0^5 + 4457737771941031/885883648436420*c_1001_0^4 + 2687424144936121/885883648436420*c_1001_0^3 + 190131105841607/177176729687284*c_1001_0^2 + 264929278366692/221470912109105*c_1001_0 - 72389235837797/442941824218210, c_0101_3 + 604132399386727/4429418242182100*c_1001_0^14 + 1752148050671157/2214709121091050*c_1001_0^13 - 7201346220462583/4429418242182100*c_1001_0^12 - 4628270429957573/2214709121091050*c_1001_0^11 + 6275210523239823/2214709121091050*c_1001_0^10 + 51871436201237357/4429418242182100*c_1001_0^9 + 82282111969814301/4429418242182100*c_1001_0^8 + 148805135323822807/4429418242182100*c_1001_0^7 + 77972855156865699/2214709121091050*c_1001_0^6 + 27378015653422032/1107354560545525*c_1001_0^5 + 5043837286887649/442941824218210*c_1001_0^4 + 18766660185799421/4429418242182100*c_1001_0^3 + 11682862157705341/2214709121091050*c_1001_0^2 + 2932657625738981/2214709121091050*c_1001_0 - 390276048343401/1107354560545525, c_0110_11 + 54431838576984/1107354560545525*c_1001_0^14 + 779208454557101/2214709121091050*c_1001_0^13 - 1099337502401219/4429418242182100*c_1001_0^12 - 8119012652577653/4429418242182100*c_1001_0^11 + 657070079943832/1107354560545525*c_1001_0^10 + 7058879333553319/1107354560545525*c_1001_0^9 + 25148264685022309/2214709121091050*c_1001_0^8 + 74535111144266951/4429418242182100*c_1001_0^7 + 25168355991160891/1107354560545525*c_1001_0^6 + 64570118325471879/4429418242182100*c_1001_0^5 + 3413427476781779/885883648436420*c_1001_0^4 - 4925171127352547/4429418242182100*c_1001_0^3 + 5343153713282051/4429418242182100*c_1001_0^2 + 1920102191800254/1107354560545525*c_1001_0 - 2309901940198311/2214709121091050, c_0110_6 - 253825024627921/6644127363273150*c_1001_0^14 - 3118774579761509/13288254726546300*c_1001_0^13 + 4791952101554573/13288254726546300*c_1001_0^12 + 2134286556769414/3322063681636575*c_1001_0^11 - 1087144202895539/3322063681636575*c_1001_0^10 - 22933354586031391/6644127363273150*c_1001_0^9 - 88147380027631871/13288254726546300*c_1001_0^8 - 41809350818421898/3322063681636575*c_1001_0^7 - 66964024943887081/4429418242182100*c_1001_0^6 - 194584478620574483/13288254726546300*c_1001_0^5 - 24135756024793369/2657650945309260*c_1001_0^4 - 72245021500586071/13288254726546300*c_1001_0^3 - 3598671672298181/1107354560545525*c_1001_0^2 - 4658537665267607/2214709121091050*c_1001_0 - 2513422327701074/3322063681636575, c_1001_0^15 + 6*c_1001_0^14 - 11*c_1001_0^13 - 19*c_1001_0^12 + 21*c_1001_0^11 + 93*c_1001_0^10 + 147*c_1001_0^9 + 253*c_1001_0^8 + 283*c_1001_0^7 + 190*c_1001_0^6 + 81*c_1001_0^5 + 28*c_1001_0^4 + 43*c_1001_0^3 + 15*c_1001_0^2 - 8*c_1001_0 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.270 Total time: 0.480 seconds, Total memory usage: 32.09MB