Magma V2.19-8 Wed Aug 21 2013 01:04:02 on localhost [Seed = 1730248496] Type ? for help. Type -D to quit. Loading file "L14n23977__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n23977 geometric_solution 12.25465883 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 0 -1 0 1 -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 2 1 -3 2 0 0 -2 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.799862716795 1.417660506411 0 3 6 5 0132 3120 0132 0132 1 1 1 1 0 0 0 0 1 0 0 -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 -2 0 0 2 -1 3 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625705651301 0.511609647780 5 0 7 5 3120 0132 0132 0321 1 1 1 1 0 1 -1 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 -2 2 0 -2 0 0 2 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.759041120422 0.913452602324 8 1 9 0 0132 3120 0132 0132 1 1 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 0 1 0 -1 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.149484178506 0.784646025518 8 10 0 7 1230 0132 0132 3012 1 1 1 1 0 1 -1 0 0 0 -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 -3 3 0 0 0 2 -2 -3 3 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.034396823811 0.840137597583 8 2 1 2 2103 0321 0132 3120 1 1 1 1 0 0 0 0 0 0 1 -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 -2 2 -1 1 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.269994994970 1.023525803246 10 7 9 1 3120 3120 0321 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 0 0 0 0 0 0 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.203242905261 0.862806721156 9 6 4 2 1302 3120 1230 0132 1 1 1 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.613051352134 0.563211728544 3 4 5 10 0132 3012 2103 2310 1 1 1 1 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 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.874382557483 0.618641558149 11 7 6 3 0132 2031 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620369760094 0.997294705687 8 4 12 6 3201 0132 0132 3120 1 1 1 1 0 -1 1 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 3 -3 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.918078586793 0.755149626233 9 12 12 12 0132 3120 3201 3012 0 1 1 1 0 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 -3 2 1 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578200144320 0.656726823100 11 11 11 10 2310 3120 1230 0132 1 1 1 0 0 0 1 -1 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 3 0 0 -3 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244780603228 0.857787463490 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_1001_6']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_0011_7']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0011_7'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_6']), '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'], 'c_0101_12' : d['c_0011_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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : d['c_1001_6'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_1001_6'], 'c_1100_3' : d['c_1001_6'], 'c_1100_2' : negation(d['c_0011_3']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : negation(d['c_0101_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_0011_7'], 'c_1010_8' : negation(d['c_0101_1']), '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' : negation(d['c_0101_6']), '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' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_6']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_6']), 'c_0101_8' : d['c_0101_0'], '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' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : 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_3, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_6, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 1082889534933112642308957824/68674976222209389765625*c_1001_6^9 + 381440563606684413504065657/13734995244441877953125*c_1001_6^8 + 3777714861671088362521229267/68674976222209389765625*c_1001_6^7 - 3855377866912083491062346024/68674976222209389765625*c_1001_6^6 + 8303955218446396019046818313/68674976222209389765625*c_1001_6^5 - 2089824328613102265485105491/13734995244441877953125*c_1001_6^4 + 4759375871230721709924029467/68674976222209389765625*c_1001_6^3 - 23778744654247183534624084599/68674976222209389765625*c_1001_6^2 + 13947180671728547392261031819/68674976222209389765625*c_1001_6 - 12780921574398078805421619767/68674976222209389765625, c_0011_0 - 1, c_0011_10 - 60406784216801/659444632891433*c_1001_6^9 - 133094904947048/659444632891433*c_1001_6^8 - 283886317114538/659444632891433*c_1001_6^7 + 78164246545628/659444632891433*c_1001_6^6 - 474928983948559/659444632891433*c_1001_6^5 + 406757279788848/659444632891433*c_1001_6^4 - 373374903421962/659444632891433*c_1001_6^3 + 1438507532419768/659444632891433*c_1001_6^2 - 370302597146185/659444632891433*c_1001_6 + 792421582489485/659444632891433, c_0011_11 - 130977896807186/659444632891433*c_1001_6^9 - 319491271845317/659444632891433*c_1001_6^8 - 581173289343601/659444632891433*c_1001_6^7 + 263265548395640/659444632891433*c_1001_6^6 - 429519776765155/659444632891433*c_1001_6^5 + 788170321239816/659444632891433*c_1001_6^4 + 770457880752868/659444632891433*c_1001_6^3 + 2870112740461425/659444632891433*c_1001_6^2 + 743588171759952/659444632891433*c_1001_6 - 136371121705566/659444632891433, c_0011_12 + 1, c_0011_3 - 96782092665698/659444632891433*c_1001_6^9 - 259197135048885/659444632891433*c_1001_6^8 - 510375321827166/659444632891433*c_1001_6^7 + 88999558110479/659444632891433*c_1001_6^6 - 220510644617867/659444632891433*c_1001_6^5 + 823555654711151/659444632891433*c_1001_6^4 + 392152512899527/659444632891433*c_1001_6^3 + 2013623919245928/659444632891433*c_1001_6^2 + 449134939299901/659444632891433*c_1001_6 + 229655527055977/659444632891433, c_0011_6 - 114165940771520/659444632891433*c_1001_6^9 - 257780368895786/659444632891433*c_1001_6^8 - 422232421431805/659444632891433*c_1001_6^7 + 418225168701755/659444632891433*c_1001_6^6 - 292908186478637/659444632891433*c_1001_6^5 + 613664638940672/659444632891433*c_1001_6^4 + 55954699044022/659444632891433*c_1001_6^3 + 1790757462454617/659444632891433*c_1001_6^2 - 795363120135704/659444632891433*c_1001_6 + 25951189472224/659444632891433, c_0011_7 - 89406037839987/659444632891433*c_1001_6^9 - 214671970323910/659444632891433*c_1001_6^8 - 353477321955223/659444632891433*c_1001_6^7 + 258894148708783/659444632891433*c_1001_6^6 - 246295197909319/659444632891433*c_1001_6^5 + 309197241077915/659444632891433*c_1001_6^4 + 439394480480422/659444632891433*c_1001_6^3 + 1705868846584078/659444632891433*c_1001_6^2 - 421016272408931/659444632891433*c_1001_6 - 250184024468855/659444632891433, c_0101_0 + 22137568215048/659444632891433*c_1001_6^9 - 6488429443771/659444632891433*c_1001_6^8 - 14790759659140/659444632891433*c_1001_6^7 - 215443073713591/659444632891433*c_1001_6^6 + 395052789002203/659444632891433*c_1001_6^5 - 279945093552888/659444632891433*c_1001_6^4 + 450074515573077/659444632891433*c_1001_6^3 - 384315228906957/659444632891433*c_1001_6^2 + 881774857830283/659444632891433*c_1001_6 - 450992383339156/659444632891433, c_0101_1 + 52587898982014/659444632891433*c_1001_6^9 + 104781005511831/659444632891433*c_1001_6^8 + 199133495303066/659444632891433*c_1001_6^7 - 140740212144241/659444632891433*c_1001_6^6 + 385725866194916/659444632891433*c_1001_6^5 - 320060270239381/659444632891433*c_1001_6^4 + 5545621509596/659444632891433*c_1001_6^3 - 1148806638404999/659444632891433*c_1001_6^2 + 563452882081059/659444632891433*c_1001_6 - 290699793690765/659444632891433, c_0101_10 + 103149900756705/659444632891433*c_1001_6^9 + 257818664905362/659444632891433*c_1001_6^8 + 450794893517117/659444632891433*c_1001_6^7 - 281856356244371/659444632891433*c_1001_6^6 + 90406899139557/659444632891433*c_1001_6^5 - 772577448863192/659444632891433*c_1001_6^4 - 392563720826064/659444632891433*c_1001_6^3 - 1806194717926965/659444632891433*c_1001_6^2 - 273249573222805/659444632891433*c_1001_6 + 150935701455252/659444632891433, c_0101_2 - 59775140607028/659444632891433*c_1001_6^9 - 234968767585728/659444632891433*c_1001_6^8 - 505282365453796/659444632891433*c_1001_6^7 - 321695951624492/659444632891433*c_1001_6^6 + 776926642493/659444632891433*c_1001_6^5 + 352882363808435/659444632891433*c_1001_6^4 + 930789880553499/659444632891433*c_1001_6^3 + 1153834834870929/659444632891433*c_1001_6^2 + 1688106199876107/659444632891433*c_1001_6 + 113800369835287/659444632891433, c_0101_6 - 27827996050481/659444632891433*c_1001_6^9 - 61672606939955/659444632891433*c_1001_6^8 - 130378395826484/659444632891433*c_1001_6^7 - 18590807848731/659444632891433*c_1001_6^6 - 339112877625598/659444632891433*c_1001_6^5 + 15592872376624/659444632891433*c_1001_6^4 + 377894159926804/659444632891433*c_1001_6^3 + 1063918022534460/659444632891433*c_1001_6^2 + 470338598537147/659444632891433*c_1001_6 + 14564579749686/659444632891433, c_1001_6^10 + 2*c_1001_6^9 + 43/11*c_1001_6^8 - 30/11*c_1001_6^7 + 75/11*c_1001_6^6 - 86/11*c_1001_6^5 + 23/11*c_1001_6^4 - 230/11*c_1001_6^3 + 84/11*c_1001_6^2 - 96/11*c_1001_6 - 31/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.940 Total time: 1.149 seconds, Total memory usage: 32.09MB