Magma V2.19-8 Tue Aug 20 2013 23:47:08 on localhost [Seed = 2277633469] Type ? for help. Type -D to quit. Loading file "K14n8571__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n8571 geometric_solution 10.63908679 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -4 5 0 0 0 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519631323819 1.317882902626 0 4 6 5 0132 1302 0132 0132 0 0 0 0 0 1 0 -1 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 5 0 -5 0 0 0 0 0 -5 0 5 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607752566129 0.319874228282 7 0 8 8 0132 0132 0213 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 -1 0 4 0 -4 0 4 0 0 -4 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783994028563 0.926864510218 5 4 7 0 0132 0132 3012 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -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 0 -4 4 0 0 0 0 -5 5 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399790937255 0.368949170575 9 3 0 1 0132 0132 0132 2031 0 0 0 0 0 0 -1 1 1 0 0 -1 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 0 -5 5 5 0 0 -5 5 0 0 -5 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504826090146 1.498587904089 3 7 1 10 0132 0213 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 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 0 5 -5 0 0 0 0 4 -4 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.781449052588 0.644356179195 11 10 10 1 0132 2031 1230 0132 0 0 0 0 0 -1 1 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 -4 4 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.043814466304 0.514332899988 2 3 5 11 0132 1230 0213 2031 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 0 0 0 0 -4 0 4 0 4 -4 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.828867110623 0.614518128559 9 2 2 11 1302 0213 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 -1 -5 0 0 5 0 4 0 -4 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.238486574502 1.023326996927 4 8 10 11 0132 2031 0213 0132 0 0 0 0 0 0 1 -1 -1 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 5 -5 -5 0 4 1 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.077144543150 0.508661908045 6 9 5 6 1302 0213 0132 3012 0 0 0 0 0 -1 1 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 0 0 0 -5 5 0 4 0 0 -4 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.068128799033 0.811069437330 6 7 9 8 0132 1302 0132 1023 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 0 5 -5 0 0 -1 1 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.053585018082 1.205633338431 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_8'], 'c_1001_10' : negation(d['c_0110_8']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : negation(d['c_0110_10']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : negation(d['c_0110_8']), 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0110_8'], 'c_1010_10' : negation(d['c_0101_6']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0011_11'], '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_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' : negation(d['c_0101_6']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : negation(d['c_0110_8']), 'c_1100_6' : d['c_0110_10'], 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : d['c_0101_6'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_6']), 'c_1100_10' : d['c_0110_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0110_8']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_0'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_0101_6'], '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'], '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_3'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], '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' : d['c_0101_6'], 'c_0110_10' : d['c_0110_10'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : negation(d['c_0011_3']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0011_8'], 'c_1100_8' : d['c_0101_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_6, c_0110_10, c_0110_8, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 1281098487603363785537797/23276063818746463943880*c_1001_5^17 - 1845219029642270975309929/5819015954686615985970*c_1001_5^16 - 26618133768283177843356841/23276063818746463943880*c_1001_5^15 - 14098872363485515496374615/4655212763749292788776*c_1001_5^14 - 37883724842312893548249317/7758687939582154647960*c_1001_5^13 - 12497251677617006780717827/2586229313194051549320*c_1001_5^12 + 13145563516527902508416629/23276063818746463943880*c_1001_5^11 + 103899751658699089506134509/7758687939582154647960*c_1001_5^10 + 55679858713067265515126071/5819015954686615985970*c_1001_5^9 + 71737253583953751563412551/23276063818746463943880*c_1001_5^8 - 19592699775592410903248413/1551737587916430929592*c_1001_5^7 - 53120372387697671123549293/3879343969791077323980*c_1001_5^6 + 3824716902321143706722657/431038218865675258220*c_1001_5^5 + 5599006125564597232320263/1293114656597025774660*c_1001_5^4 - 5772792107668325704257746/2909507977343307992985*c_1001_5^3 + 11798475260522540680942721/23276063818746463943880*c_1001_5^2 - 7773844376432047254962839/23276063818746463943880*c_1001_5 + 2960537950703089457289/431038218865675258220, c_0011_0 - 1, c_0011_10 - 623074497991969536/501207231239157277*c_1001_5^17 - 4299065118520560606/501207231239157277*c_1001_5^16 - 17482295022831469079/501207231239157277*c_1001_5^15 - 51892507692619809547/501207231239157277*c_1001_5^14 - 105411197980060853674/501207231239157277*c_1001_5^13 - 149202367836702297820/501207231239157277*c_1001_5^12 - 115247726356527617522/501207231239157277*c_1001_5^11 + 82546956173577370495/501207231239157277*c_1001_5^10 + 236993989252106232982/501207231239157277*c_1001_5^9 + 236822489016931420069/501207231239157277*c_1001_5^8 + 16625018043866726039/501207231239157277*c_1001_5^7 - 227119631800329550544/501207231239157277*c_1001_5^6 - 122714328540484892953/501207231239157277*c_1001_5^5 + 26905020502808724003/501207231239157277*c_1001_5^4 + 32762878718930473840/501207231239157277*c_1001_5^3 + 17613655523297814128/501207231239157277*c_1001_5^2 + 3587691392485989526/501207231239157277*c_1001_5 + 939761793730462231/501207231239157277, c_0011_11 + 712665657693907358/501207231239157277*c_1001_5^17 + 4740489836808992884/501207231239157277*c_1001_5^16 + 18818761445386487291/501207231239157277*c_1001_5^15 + 54690489946433110417/501207231239157277*c_1001_5^14 + 107065114194853844598/501207231239157277*c_1001_5^13 + 144401896173316881181/501207231239157277*c_1001_5^12 + 97027535597752228813/501207231239157277*c_1001_5^11 - 116214866854342942606/501207231239157277*c_1001_5^10 - 238825729213195036205/501207231239157277*c_1001_5^9 - 208568734901125268488/501207231239157277*c_1001_5^8 + 31151669726111510188/501207231239157277*c_1001_5^7 + 246355302251114347343/501207231239157277*c_1001_5^6 + 74040864083309901902/501207231239157277*c_1001_5^5 - 50056656763206547685/501207231239157277*c_1001_5^4 - 18816356300511373914/501207231239157277*c_1001_5^3 - 12795631332196460757/501207231239157277*c_1001_5^2 - 2901394121505109099/501207231239157277*c_1001_5 - 747158953478202494/501207231239157277, c_0011_3 - 597371906502620463/501207231239157277*c_1001_5^17 - 3995958008759046976/501207231239157277*c_1001_5^16 - 16007237230298496389/501207231239157277*c_1001_5^15 - 46962477672714677630/501207231239157277*c_1001_5^14 - 93501083555288507247/501207231239157277*c_1001_5^13 - 130177103167165894487/501207231239157277*c_1001_5^12 - 96625386383465642321/501207231239157277*c_1001_5^11 + 80635922134394668896/501207231239157277*c_1001_5^10 + 196384740933769524985/501207231239157277*c_1001_5^9 + 197636214695021525940/501207231239157277*c_1001_5^8 + 2791480601845546997/501207231239157277*c_1001_5^7 - 189048978481928501881/501207231239157277*c_1001_5^6 - 79240563938393967383/501207231239157277*c_1001_5^5 + 14500165733021545921/501207231239157277*c_1001_5^4 + 15047479391692609036/501207231239157277*c_1001_5^3 + 16395141270604936946/501207231239157277*c_1001_5^2 + 4808598529792799021/501207231239157277*c_1001_5 + 1672604214655435788/501207231239157277, c_0011_8 + 34371704334920684/501207231239157277*c_1001_5^17 + 95003355235077138/501207231239157277*c_1001_5^16 + 42427745956328738/501207231239157277*c_1001_5^15 - 716390564099356178/501207231239157277*c_1001_5^14 - 4343907079667048600/501207231239157277*c_1001_5^13 - 10784310574532607033/501207231239157277*c_1001_5^12 - 17285033108175032387/501207231239157277*c_1001_5^11 - 15692309376017389602/501207231239157277*c_1001_5^10 + 18529574182869483924/501207231239157277*c_1001_5^9 + 35604528497648182365/501207231239157277*c_1001_5^8 + 32241825891307693173/501207231239157277*c_1001_5^7 - 6562771085983838876/501207231239157277*c_1001_5^6 - 48645290471250215543/501207231239157277*c_1001_5^5 - 10341290886287119085/501207231239157277*c_1001_5^4 + 15879060854529621495/501207231239157277*c_1001_5^3 + 4429570235243562090/501207231239157277*c_1001_5^2 + 868489377802962511/501207231239157277*c_1001_5 - 299231448143366379/501207231239157277, c_0101_0 + 49836051236336977/501207231239157277*c_1001_5^17 + 418275003762371543/501207231239157277*c_1001_5^16 + 1891044275100642907/501207231239157277*c_1001_5^15 + 6108534325593651551/501207231239157277*c_1001_5^14 + 14133976844044294997/501207231239157277*c_1001_5^13 + 23139320413123541292/501207231239157277*c_1001_5^12 + 24519724533200866864/501207231239157277*c_1001_5^11 + 4116639491980007729/501207231239157277*c_1001_5^10 - 30115576896255708565/501207231239157277*c_1001_5^9 - 42896921439844609564/501207231239157277*c_1001_5^8 - 23979178631075165690/501207231239157277*c_1001_5^7 + 19850573231348567422/501207231239157277*c_1001_5^6 + 34523475051466593380/501207231239157277*c_1001_5^5 + 6367984097990677145/501207231239157277*c_1001_5^4 - 5192435225725468607/501207231239157277*c_1001_5^3 - 3824960536500413634/501207231239157277*c_1001_5^2 - 2417616939217587091/501207231239157277*c_1001_5 - 149138552631011890/501207231239157277, c_0101_1 + 672910549228306513/501207231239157277*c_1001_5^17 + 4717340122282932149/501207231239157277*c_1001_5^16 + 19373339297932111986/501207231239157277*c_1001_5^15 + 58001042018213461098/501207231239157277*c_1001_5^14 + 119545174824105148671/501207231239157277*c_1001_5^13 + 172341688249825839112/501207231239157277*c_1001_5^12 + 139767450889728484386/501207231239157277*c_1001_5^11 - 78430316681597362766/501207231239157277*c_1001_5^10 - 267109566148361941547/501207231239157277*c_1001_5^9 - 279719410456776029633/501207231239157277*c_1001_5^8 - 40604196674941891729/501207231239157277*c_1001_5^7 + 246970205031678117966/501207231239157277*c_1001_5^6 + 157237803591951486333/501207231239157277*c_1001_5^5 - 20537036404818046858/501207231239157277*c_1001_5^4 - 37955313944655942447/501207231239157277*c_1001_5^3 - 21438616059798227762/501207231239157277*c_1001_5^2 - 6506515562942733894/501207231239157277*c_1001_5 - 1088900346361474121/501207231239157277, c_0101_6 + 244931769199171197/501207231239157277*c_1001_5^17 + 1606989467772357209/501207231239157277*c_1001_5^16 + 6300051829474356700/501207231239157277*c_1001_5^15 + 18064866206922564399/501207231239157277*c_1001_5^14 + 34496884156147372009/501207231239157277*c_1001_5^13 + 44506653414301249515/501207231239157277*c_1001_5^12 + 25141596800479477472/501207231239157277*c_1001_5^11 - 48262589520077947545/501207231239157277*c_1001_5^10 - 82852966988130143807/501207231239157277*c_1001_5^9 - 62144248791280019409/501207231239157277*c_1001_5^8 + 24963839182688090904/501207231239157277*c_1001_5^7 + 89761803381966474836/501207231239157277*c_1001_5^6 + 18459495037868882591/501207231239157277*c_1001_5^5 - 27709658277305180758/501207231239157277*c_1001_5^4 - 7314319951847001047/501207231239157277*c_1001_5^3 - 604680727141745341/501207231239157277*c_1001_5^2 - 723506125679510256/501207231239157277*c_1001_5 - 117721864735402721/501207231239157277, c_0110_10 - 8962448294584450/501207231239157277*c_1001_5^17 - 43422023417410690/501207231239157277*c_1001_5^16 - 100857696034907518/501207231239157277*c_1001_5^15 - 87764955792786069/501207231239157277*c_1001_5^14 + 545421625717523601/501207231239157277*c_1001_5^13 + 2408561066113907820/501207231239157277*c_1001_5^12 + 5228689124862082275/501207231239157277*c_1001_5^11 + 7312197484798756981/501207231239157277*c_1001_5^10 + 1368444631391990434/501207231239157277*c_1001_5^9 - 9456989626247623769/501207231239157277*c_1001_5^8 - 12867331800507769862/501207231239157277*c_1001_5^7 - 7207163457150045198/501207231239157277*c_1001_5^6 + 9520169462746123391/501207231239157277*c_1001_5^5 + 11591435793043349510/501207231239157277*c_1001_5^4 - 1132505044680793087/501207231239157277*c_1001_5^3 - 3117090060982517922/501207231239157277*c_1001_5^2 - 733298965784715007/501207231239157277*c_1001_5 - 226990012279267849/501207231239157277, c_0110_8 + 485675645414639509/501207231239157277*c_1001_5^17 + 3387512211427970240/501207231239157277*c_1001_5^16 + 13868403198660005303/501207231239157277*c_1001_5^15 + 41398936917991214844/501207231239157277*c_1001_5^14 + 84907857947278381465/501207231239157277*c_1001_5^13 + 121611453344231108378/501207231239157277*c_1001_5^12 + 96888874654430999483/501207231239157277*c_1001_5^11 - 59702272639244169953/501207231239157277*c_1001_5^10 - 190525373689573170181/501207231239157277*c_1001_5^9 - 195409818746644116586/501207231239157277*c_1001_5^8 - 20905633975322453122/501207231239157277*c_1001_5^7 + 180003119766157637904/501207231239157277*c_1001_5^6 + 107805858977134285433/501207231239157277*c_1001_5^5 - 20080564089360065350/501207231239157277*c_1001_5^4 - 29953812068996187726/501207231239157277*c_1001_5^3 - 13706036398029078311/501207231239157277*c_1001_5^2 - 2735174220153073214/501207231239157277*c_1001_5 - 694830024531291034/501207231239157277, c_1001_0 - 491528439858853658/501207231239157277*c_1001_5^17 - 3210354618638104263/501207231239157277*c_1001_5^16 - 12665910511936866422/501207231239157277*c_1001_5^15 - 36655982060544407495/501207231239157277*c_1001_5^14 - 71212192406349417709/501207231239157277*c_1001_5^13 - 96080305600363718042/501207231239157277*c_1001_5^12 - 64827298402745455581/501207231239157277*c_1001_5^11 + 75777521186197807630/501207231239157277*c_1001_5^10 + 148826160606388997426/501207231239157277*c_1001_5^9 + 139162973620474759351/501207231239157277*c_1001_5^8 - 18164064009029004155/501207231239157277*c_1001_5^7 - 150373045723284074619/501207231239157277*c_1001_5^6 - 40328300568991678426/501207231239157277*c_1001_5^5 + 17730690941923464800/501207231239157277*c_1001_5^4 + 7667357705848386064/501207231239157277*c_1001_5^3 + 11760069556797738412/501207231239157277*c_1001_5^2 + 2474313027306265168/501207231239157277*c_1001_5 + 1066003077963718466/501207231239157277, c_1001_5^18 + 6*c_1001_5^17 + 22*c_1001_5^16 + 59*c_1001_5^15 + 98*c_1001_5^14 + 98*c_1001_5^13 - 10*c_1001_5^12 - 272*c_1001_5^11 - 245*c_1001_5^10 - 64*c_1001_5^9 + 271*c_1001_5^8 + 349*c_1001_5^7 - 117*c_1001_5^6 - 174*c_1001_5^5 - 2*c_1001_5^4 + 9*c_1001_5^3 + 13*c_1001_5^2 + 3*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.010 Total time: 1.209 seconds, Total memory usage: 32.09MB