Magma V2.19-8 Wed Aug 21 2013 01:02:57 on localhost [Seed = 509085198] Type ? for help. Type -D to quit. Loading file "L14n16607__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n16607 geometric_solution 10.72522683 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 1023 0132 0 0 1 1 0 -2 1 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 1 0 -1 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.357496503004 0.679630934254 0 4 0 5 0132 0132 1023 0132 0 0 1 1 0 0 -1 1 1 0 -1 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 -1 -6 0 7 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.303781273491 0.437681592562 6 0 3 7 0132 0132 2103 0132 0 0 1 1 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 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.580108788269 0.966960866357 2 8 0 5 2103 0132 0132 1023 0 0 0 1 0 1 -1 0 0 0 0 0 2 -1 0 -1 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 -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.746753594945 1.604002977034 9 1 10 11 0132 0132 0132 0132 0 1 1 1 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 0 0 0 0 7 0 0 -7 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.162197524616 0.821041529255 11 8 1 3 1023 3201 0132 1023 0 0 0 1 0 1 -1 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 0 0 0 0 0 0 0 1 0 -1 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.731708307491 1.171757265271 2 9 10 7 0132 0132 1023 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 0 0 0 0 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.106905828911 0.325286159020 10 6 2 11 1023 1302 0132 0213 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 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.245311909882 1.177091303778 12 3 5 12 0132 0132 2310 2031 0 1 1 0 0 -1 1 0 1 0 -1 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 -1 0 7 0 -7 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.134408115144 1.045617504983 4 6 10 12 0132 0132 2103 1302 1 1 1 1 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 -7 0 6 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.925495940370 0.787028793559 9 7 6 4 2103 1023 1023 0132 0 1 1 1 0 0 0 0 -1 0 1 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 -6 0 6 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.143269110581 1.024705152041 12 5 4 7 3120 1023 0132 0213 0 1 0 1 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 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.194048523538 0.621751789846 8 8 9 11 0132 1302 2031 3120 1 1 0 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 0 0 0 0 0 0 0 -7 0 0 7 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.879062127488 0.940826797388 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_0'], 'c_1001_10' : d['c_0101_6'], 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_0110_3']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0110_3']), 'c_1010_10' : negation(d['c_0101_8']), 's_3_11' : d['1'], 's_0_11' : 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' : 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_1100_9' : d['c_0101_12'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : d['c_1010_7'], 'c_1100_7' : negation(d['c_0110_3']), 'c_1100_6' : negation(d['c_1010_7']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0110_3']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1010_7'], 'c_1100_10' : d['c_1010_7'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0110_3'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0110_3']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_0011_12'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : d['c_0011_12'], 'c_1100_8' : d['c_0011_11'], '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_10']), '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_0']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_12']), 'c_0101_3' : d['c_0101_1'], '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_10'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0110_3']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_8']), 'c_0110_6' : d['c_0101_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_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_6, c_0101_8, c_0110_3, c_1010_7, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 222792194995388890441172173167359/2432478193565142738916165131009*c\ _1100_0^10 + 133599518743939976592298115415426685/17027347354955999\ 172413155917063*c_1100_0^9 + 53741179817335824921071060934931927/18\ 91927483883999908045906213007*c_1100_0^8 + 27177593166083068759564502952775169/1547940668632363561128468719733\ *c_1100_0^7 - 626355930205087093466647870269601916/1702734735495599\ 9172413155917063*c_1100_0^6 - 159688244243810983701880038292044149/\ 2432478193565142738916165131009*c_1100_0^5 - 74425195085200419246626905524937210/1547940668632363561128468719733\ *c_1100_0^4 - 430959925907845738343098523244129745/1702734735495599\ 9172413155917063*c_1100_0^3 - 192823552132052502359385743043332749/\ 17027347354955999172413155917063*c_1100_0^2 - 150828175739849413001218911483895/85564559572643211921674150337*c_1\ 100_0 + 1444171464756223248570155232044427/189192748388399990804590\ 6213007, c_0011_0 - 1, c_0011_10 - 46690589079388293444063344/9497675610239006762312593*c_1100\ _0^10 - 4105319534201690119771861907/9497675610239006762312593*c_11\ 00_0^9 - 23680546863168050669220037145/9497675610239006762312593*c_\ 1100_0^8 - 55544131673498224577582028829/9497675610239006762312593*\ c_1100_0^7 - 71029777154967361389545418409/949767561023900676231259\ 3*c_1100_0^6 - 56598323839764307298503171641/9497675610239006762312\ 593*c_1100_0^5 - 31572529101641571706923777017/94976756102390067623\ 12593*c_1100_0^4 - 13539505769518257075697059804/949767561023900676\ 2312593*c_1100_0^3 - 3840457587990969247890253179/94976756102390067\ 62312593*c_1100_0^2 - 88676640847087404205400521/949767561023900676\ 2312593*c_1100_0 + 239986601164930343029257640/94976756102390067623\ 12593, c_0011_11 - 37546278864995482531204794/9497675610239006762312593*c_1100\ _0^10 - 3300708428401326467999079846/9497675610239006762312593*c_11\ 00_0^9 - 18990389828431988184585386116/9497675610239006762312593*c_\ 1100_0^8 - 44312271442130123217591963708/9497675610239006762312593*\ c_1100_0^7 - 56227410695644167620436467072/949767561023900676231259\ 3*c_1100_0^6 - 44498044779699160911798809229/9497675610239006762312\ 593*c_1100_0^5 - 24837403598270044653179324720/94976756102390067623\ 12593*c_1100_0^4 - 10720923052164589694369126954/949767561023900676\ 2312593*c_1100_0^3 - 3004086960710969893095198814/94976756102390067\ 62312593*c_1100_0^2 - 62808536141719339225902597/949767561023900676\ 2312593*c_1100_0 + 169582591843624517702140164/94976756102390067623\ 12593, c_0011_12 - 18143763346065142700528684/9497675610239006762312593*c_1100\ _0^10 - 1594389374305241318240230980/9497675610239006762312593*c_11\ 00_0^9 - 9121759166886544289216726345/9497675610239006762312593*c_1\ 100_0^8 - 21162516139040513298687103364/9497675610239006762312593*c\ _1100_0^7 - 26755697199503706060822114456/9497675610239006762312593\ *c_1100_0^6 - 21141198402397685398249735004/94976756102390067623125\ 93*c_1100_0^5 - 11807188248302210665623239290/949767561023900676231\ 2593*c_1100_0^4 - 5126703564900954162784342352/94976756102390067623\ 12593*c_1100_0^3 - 1463294719763423267894898160/9497675610239006762\ 312593*c_1100_0^2 - 44657789598829052139890013/94976756102390067623\ 12593*c_1100_0 + 82365426501706552089861275/94976756102390067623125\ 93, c_0101_0 - 1, c_0101_1 + 25355905449118355006254646/9497675610239006762312593*c_1100_\ 0^10 + 2233654217324358683559961022/9497675610239006762312593*c_110\ 0_0^9 + 13223949014483144366972904798/9497675610239006762312593*c_1\ 100_0^8 + 31762916666757218978826600782/9497675610239006762312593*c\ _1100_0^7 + 41086136928606606631296263890/9497675610239006762312593\ *c_1100_0^6 + 32880627830069313035117577766/94976756102390067623125\ 93*c_1100_0^5 + 18446547041503510063974261915/949767561023900676231\ 2593*c_1100_0^4 + 8005137878802564429848009550/94976756102390067623\ 12593*c_1100_0^3 + 2263245228184420245630803976/9497675610239006762\ 312593*c_1100_0^2 + 35346133968508507121178894/94976756102390067623\ 12593*c_1100_0 - 141417904743246250432611661/9497675610239006762312\ 593, c_0101_10 + 60210101670337761077621504/9497675610239006762312593*c_1100\ _0^10 + 5278759023591270438620675607/9497675610239006762312593*c_11\ 00_0^9 + 29204721757847147664997089875/9497675610239006762312593*c_\ 1100_0^8 + 64811549750100454421881820531/9497675610239006762312593*\ c_1100_0^7 + 78326950204877080346187870972/949767561023900676231259\ 3*c_1100_0^6 + 59651807314508325612233661835/9497675610239006762312\ 593*c_1100_0^5 + 32556704813509133656533675247/94976756102390067623\ 12593*c_1100_0^4 + 13788224572827865642703428146/949767561023900676\ 2312593*c_1100_0^3 + 3661876463990311300506939951/94976756102390067\ 62312593*c_1100_0^2 - 9712985624553061967251656/9497675610239006762\ 312593*c_1100_0 - 219098755345626269378245604/949767561023900676231\ 2593, c_0101_12 + 22619557806458956702294068/9497675610239006762312593*c_1100\ _0^10 + 1988995774255639831617320452/9497675610239006762312593*c_11\ 00_0^9 + 11485716145001177827872063240/9497675610239006762312593*c_\ 1100_0^8 + 27034449927666339889364510023/9497675610239006762312593*\ c_1100_0^7 + 34879054009162013285296613968/949767561023900676231259\ 3*c_1100_0^6 + 28308615726734052944819632632/9497675610239006762312\ 593*c_1100_0^5 + 16254931758852112202828682316/94976756102390067623\ 12593*c_1100_0^4 + 7179391600262215643873801870/9497675610239006762\ 312593*c_1100_0^3 + 2097244600676111417505450916/949767561023900676\ 2312593*c_1100_0^2 + 98378016139651232592057596/9497675610239006762\ 312593*c_1100_0 - 112251259982031795771110264/949767561023900676231\ 2593, c_0101_6 + 37519991895652633933213263/9497675610239006762312593*c_1100_\ 0^10 + 3297430202221054421722752881/9497675610239006762312593*c_110\ 0_0^9 + 18893274053631595580753468910/9497675610239006762312593*c_1\ 100_0^8 + 43897503907430961999486380188/9497675610239006762312593*c\ _1100_0^7 + 55527001979096744087041247677/9497675610239006762312593\ *c_1100_0^6 + 43804866398226247471923778716/94976756102390067623125\ 93*c_1100_0^5 + 24336170867444893178119992261/949767561023900676231\ 2593*c_1100_0^4 + 10470560978584716332388112684/9497675610239006762\ 312593*c_1100_0^3 + 2930930950455204786368934167/949767561023900676\ 2312593*c_1100_0^2 + 29954802411522684163795590/9497675610239006762\ 312593*c_1100_0 - 180330122263537551016238938/949767561023900676231\ 2593, c_0101_8 - 15093140995663304580829865/9497675610239006762312593*c_1100_\ 0^10 - 1322399030059625982829709282/9497675610239006762312593*c_110\ 0_0^9 - 7245917891784698561921867299/9497675610239006762312593*c_11\ 00_0^8 - 15807802129792065934234031531/9497675610239006762312593*c_\ 1100_0^7 - 18637129369172999666211564246/9497675610239006762312593*\ c_1100_0^6 - 13803620051775860926600295171/949767561023900676231259\ 3*c_1100_0^5 - 7333289406091711330206392095/94976756102390067623125\ 93*c_1100_0^4 - 2997844105385138196613536698/9497675610239006762312\ 593*c_1100_0^3 - 724787824191643402066240409/9497675610239006762312\ 593*c_1100_0^2 + 39610527182118892591729492/94976756102390067623125\ 93*c_1100_0 + 52248046103234894373553536/9497675610239006762312593, c_0110_3 - 30294341220347788933051136/9497675610239006762312593*c_1100_\ 0^10 - 2663227212957905917285098041/9497675610239006762312593*c_110\ 0_0^9 - 15326237641697856401630110861/9497675610239006762312593*c_1\ 100_0^8 - 35799593312518348090393458383/9497675610239006762312593*c\ _1100_0^7 - 45522259067317298595803029551/9497675610239006762312593\ *c_1100_0^6 - 36103124845757171812347171440/94976756102390067623125\ 93*c_1100_0^5 - 20151509386253597984819709196/949767561023900676231\ 2593*c_1100_0^4 - 8693502824388249352301442451/94976756102390067623\ 12593*c_1100_0^3 - 2442829717791927956734494984/9497675610239006762\ 312593*c_1100_0^2 - 42070445642713158548276661/94976756102390067623\ 12593*c_1100_0 + 146605456728762260008652513/9497675610239006762312\ 593, c_1010_7 - 31554552165490433289904631/9497675610239006762312593*c_1100_\ 0^10 - 2775314384595435830047283744/9497675610239006762312593*c_110\ 0_0^9 - 16077870211177479692779897470/9497675610239006762312593*c_1\ 100_0^8 - 37929089269870329685007589405/9497675610239006762312593*c\ _1100_0^7 - 48845109539694637173719654514/9497675610239006762312593\ *c_1100_0^6 - 39287537620767571707316550730/94976756102390067623125\ 93*c_1100_0^5 - 22175457878272338753728593857/949767561023900676231\ 2593*c_1100_0^4 - 9647905396478637802029537909/94976756102390067623\ 12593*c_1100_0^3 - 2802822444706604871207914968/9497675610239006762\ 312593*c_1100_0^2 - 106197206357682681628579629/9497675610239006762\ 312593*c_1100_0 + 162616897334752538894886160/949767561023900676231\ 2593, c_1100_0^11 + 4348/49*c_1100_0^10 + 28335/49*c_1100_0^9 + 78324/49*c_1100_0^8 + 17343/7*c_1100_0^7 + 119284/49*c_1100_0^6 + 81010/49*c_1100_0^5 + 41130/49*c_1100_0^4 + 15649/49*c_1100_0^3 + 3383/49*c_1100_0^2 - 167/49*c_1100_0 - 199/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.230 Total time: 0.440 seconds, Total memory usage: 32.09MB