Magma V2.19-8 Tue Aug 20 2013 23:47:35 on localhost [Seed = 156197719] Type ? for help. Type -D to quit. Loading file "L11a165__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a165 geometric_solution 11.08710277 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 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 0 1 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.914016156692 0.564771664797 0 0 4 4 0132 1302 0213 0132 1 1 1 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 0 0 0 0 0 0 0 1 -1 0 -1 0 1 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.208227615122 0.489237093539 5 0 5 6 0132 0132 3012 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 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.392190714844 0.799265711987 7 7 4 0 0132 3201 3201 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.442785934691 0.466550134239 3 1 1 5 2310 0213 0132 2103 1 1 1 1 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 1 0 -1 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.914016156692 0.564771664797 2 2 8 4 0132 1230 0132 2103 1 1 1 1 0 0 1 -1 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 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.602831222186 0.792719587831 9 7 2 10 0132 3120 0132 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 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.178278762462 1.148483193089 3 6 3 8 0132 3120 2310 3012 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.500261754563 0.825642710352 11 10 7 5 0132 1302 1230 0132 1 1 1 1 0 1 0 -1 -1 0 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 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.868019571051 0.850226366684 6 11 11 11 0132 0321 0213 0132 0 1 1 1 0 -1 0 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 2 1 -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 0 0 0 0.297174218979 0.791300806355 10 10 6 8 1302 2031 0132 2031 1 1 1 1 0 -1 1 0 1 0 0 -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 -1 1 0 1 0 0 -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.320654877928 0.877203604896 8 9 9 9 0132 0213 0132 0321 0 1 1 1 0 0 -1 1 1 0 0 -1 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 3 -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.627455206208 0.706442227977 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_3'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : negation(d['c_1001_0']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_1001_11'], 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_11' : d['c_1001_11'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : negation(d['1']), 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_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_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' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : negation(d['c_1001_5']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_1001_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_11'], 'c_1100_10' : negation(d['c_1001_5']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : d['c_1001_5'], 'c_1100_8' : d['c_0101_3'], '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' : negation(d['c_0011_6']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0011_6'], 'c_0110_10' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0011_4'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0011_6'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_10'])})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_11, c_0101_2, c_0101_3, c_1001_0, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 49006093296775653537808248660174112/6078230254651358015097338255669\ 4997919*c_1001_5^13 + 67961626336820360555684484129837575/868318607\ 8073368592996197508099285417*c_1001_5^12 - 3908366891970343910592327719249659933/12156460509302716030194676511\ 3389995838*c_1001_5^11 + 6774198810746856982585578543990834050/6078\ 2302546513580150973382556694997919*c_1001_5^10 - 16348813623953641499810392793901783698/6078230254651358015097338255\ 6694997919*c_1001_5^9 + 89426586797632245050823376619750259433/1215\ 64605093027160301946765113389995838*c_1001_5^8 - 191137711954170315182104280081293891345/121564605093027160301946765\ 113389995838*c_1001_5^7 + 365678857132485115322542824345253164285/1\ 21564605093027160301946765113389995838*c_1001_5^6 - 456366562700700857736182642722320961541/121564605093027160301946765\ 113389995838*c_1001_5^5 + 263578479053987397174171502471528688480/6\ 0782302546513580150973382556694997919*c_1001_5^4 - 822957788910373761702546956995773855363/121564605093027160301946765\ 113389995838*c_1001_5^3 + 1218384250005315580052721901858698005679/\ 121564605093027160301946765113389995838*c_1001_5^2 - 35284212066719966711789163418221947596/8683186078073368592996197508\ 099285417*c_1001_5 + 176873998606372263342527847074365554648/607823\ 02546513580150973382556694997919, c_0011_0 - 1, c_0011_10 - 2543757389723936416344500522/706600964797115439913041647965\ 1*c_1001_5^13 + 22124323032871832218115824530/706600964797115439913\ 0416479651*c_1001_5^12 - 75953744254233027716843550530/706600964797\ 1154399130416479651*c_1001_5^11 + 246875445602317388907455532004/70\ 66009647971154399130416479651*c_1001_5^10 - 495991607047979650341945379780/7066009647971154399130416479651*c_10\ 01_5^9 + 1466020808879998221709185160615/70660096479711543991304164\ 79651*c_1001_5^8 - 2704413251577946055797596594752/7066009647971154\ 399130416479651*c_1001_5^7 + 4553693560351606678386230551031/706600\ 9647971154399130416479651*c_1001_5^6 - 2964790401802659729339795965482/7066009647971154399130416479651*c_1\ 001_5^5 + 2671067680233209024041055067275/7066009647971154399130416\ 479651*c_1001_5^4 - 11248181307234881729062480762946/70660096479711\ 54399130416479651*c_1001_5^3 + 12712823779229226327515680117298/706\ 6009647971154399130416479651*c_1001_5^2 + 14670302937258459010763450957896/7066009647971154399130416479651*c_\ 1001_5 + 1117700799239319028426711439047/70660096479711543991304164\ 79651, c_0011_3 - 1414002047887683585188279916/7066009647971154399130416479651\ *c_1001_5^13 + 12265633977122468118799352344/7066009647971154399130\ 416479651*c_1001_5^12 - 42620838981513402185026616992/7066009647971\ 154399130416479651*c_1001_5^11 + 140478009868717224614655522919/706\ 6009647971154399130416479651*c_1001_5^10 - 280348451561865865702886049738/7066009647971154399130416479651*c_10\ 01_5^9 + 840883577830817825974833978025/706600964797115439913041647\ 9651*c_1001_5^8 - 1494045534616188193784585780726/70660096479711543\ 99130416479651*c_1001_5^7 + 2685382014050976655823954235078/7066009\ 647971154399130416479651*c_1001_5^6 - 1450719689908003056456162050020/7066009647971154399130416479651*c_1\ 001_5^5 + 1716994675371296441883904636203/7066009647971154399130416\ 479651*c_1001_5^4 - 3753778099475450398763407867482/706600964797115\ 4399130416479651*c_1001_5^3 + 6837951066197498026311312058333/70660\ 09647971154399130416479651*c_1001_5^2 + 14346065520271037856247654724182/7066009647971154399130416479651*c_\ 1001_5 - 335266977289313583602212284463/706600964797115439913041647\ 9651, c_0011_4 - 216786111672370778488248429/7066009647971154399130416479651*\ c_1001_5^13 + 1238201839387416287301409610/706600964797115439913041\ 6479651*c_1001_5^12 + 152805495579745870946444992/70660096479711543\ 99130416479651*c_1001_5^11 - 7098020085388940103152555782/706600964\ 7971154399130416479651*c_1001_5^10 + 53640447092779906571517037545/7066009647971154399130416479651*c_100\ 1_5^9 - 117760971814033866717075443644/7066009647971154399130416479\ 651*c_1001_5^8 + 397770592979016466312014228112/7066009647971154399\ 130416479651*c_1001_5^7 - 1074798496784995539781510018570/706600964\ 7971154399130416479651*c_1001_5^6 + 2245015229809432758028194861350/7066009647971154399130416479651*c_1\ 001_5^5 - 3224052260980916199356784905856/7066009647971154399130416\ 479651*c_1001_5^4 + 2104489021748181173495857232716/706600964797115\ 4399130416479651*c_1001_5^3 - 4534102069334689805055489366584/70660\ 09647971154399130416479651*c_1001_5^2 + 7742580843262853221837227708203/7066009647971154399130416479651*c_1\ 001_5 + 1920079331727499970926734049738/706600964797115439913041647\ 9651, c_0011_6 - 683835358585276296243674324/7066009647971154399130416479651*\ c_1001_5^13 + 6397240162595141643744854148/706600964797115439913041\ 6479651*c_1001_5^12 - 25169835456309798363540262320/706600964797115\ 4399130416479651*c_1001_5^11 + 87276173172774015552574372516/706600\ 9647971154399130416479651*c_1001_5^10 - 201652817316047068888574619536/7066009647971154399130416479651*c_10\ 01_5^9 + 556091647832549305258568176231/706600964797115439913041647\ 9651*c_1001_5^8 - 1142112700779610035011620559234/70660096479711543\ 99130416479651*c_1001_5^7 + 2126766938962023311158990932149/7066009\ 647971154399130416479651*c_1001_5^6 - 2530776804427900177206613439946/7066009647971154399130416479651*c_1\ 001_5^5 + 2374295980017113874057630101957/7066009647971154399130416\ 479651*c_1001_5^4 - 4752189265980390405246257299754/706600964797115\ 4399130416479651*c_1001_5^3 + 5558706118381166393063945574830/70660\ 09647971154399130416479651*c_1001_5^2 - 8447381696725159987679251666460/7066009647971154399130416479651*c_1\ 001_5 + 2246489574130195594746615289231/706600964797115439913041647\ 9651, c_0101_0 - 2041937251170089669263003644/7066009647971154399130416479651\ *c_1001_5^13 + 18003556212977187469368610681/7066009647971154399130\ 416479651*c_1001_5^12 - 62785584321009210139592623102/7066009647971\ 154399130416479651*c_1001_5^11 + 201424924041266935971108810029/706\ 6009647971154399130416479651*c_1001_5^10 - 401418952512953746448665558126/7066009647971154399130416479651*c_10\ 01_5^9 + 1167131833301960669101373328705/70660096479711543991304164\ 79651*c_1001_5^8 - 2179109827258811122717997739246/7066009647971154\ 399130416479651*c_1001_5^7 + 3571231054178459737080131931700/706600\ 9647971154399130416479651*c_1001_5^6 - 2182832281406292252215311072964/7066009647971154399130416479651*c_1\ 001_5^5 + 1231126592206378179314070517508/7066009647971154399130416\ 479651*c_1001_5^4 - 8671208211604352013173260735664/706600964797115\ 4399130416479651*c_1001_5^3 + 10382752437540568196525967237343/7066\ 009647971154399130416479651*c_1001_5^2 + 12210382808097175644165842633188/7066009647971154399130416479651*c_\ 1001_5 - 1847550442376515486390567149457/70660096479711543991304164\ 79651, c_0101_11 + 1859922031138660120100826198/706600964797115439913041647965\ 1*c_1001_5^13 - 15727082870276690574370970382/706600964797115439913\ 0416479651*c_1001_5^12 + 50783908797923229353303288210/706600964797\ 1154399130416479651*c_1001_5^11 - 159599272429543373354881159488/70\ 66009647971154399130416479651*c_1001_5^10 + 294338789731932581453370760244/7066009647971154399130416479651*c_10\ 01_5^9 - 909929161047448916450616984384/706600964797115439913041647\ 9651*c_1001_5^8 + 1562300550798336020785976035518/70660096479711543\ 99130416479651*c_1001_5^7 - 2426926621389583367227239618882/7066009\ 647971154399130416479651*c_1001_5^6 + 434013597374759552133182525536/7066009647971154399130416479651*c_10\ 01_5^5 - 296771700216095149983424965318/706600964797115439913041647\ 9651*c_1001_5^4 + 6495992041254491323816223463192/70660096479711543\ 99130416479651*c_1001_5^3 - 7154117660848059934451734542468/7066009\ 647971154399130416479651*c_1001_5^2 - 23117684633983618998442702624356/7066009647971154399130416479651*c_\ 1001_5 + 1128788774890876566319903850184/70660096479711543991304164\ 79651, c_0101_2 - 1, c_0101_3 + 1859922031138660120100826198/7066009647971154399130416479651\ *c_1001_5^13 - 15727082870276690574370970382/7066009647971154399130\ 416479651*c_1001_5^12 + 50783908797923229353303288210/7066009647971\ 154399130416479651*c_1001_5^11 - 159599272429543373354881159488/706\ 6009647971154399130416479651*c_1001_5^10 + 294338789731932581453370760244/7066009647971154399130416479651*c_10\ 01_5^9 - 909929161047448916450616984384/706600964797115439913041647\ 9651*c_1001_5^8 + 1562300550798336020785976035518/70660096479711543\ 99130416479651*c_1001_5^7 - 2426926621389583367227239618882/7066009\ 647971154399130416479651*c_1001_5^6 + 434013597374759552133182525536/7066009647971154399130416479651*c_10\ 01_5^5 - 296771700216095149983424965318/706600964797115439913041647\ 9651*c_1001_5^4 + 6495992041254491323816223463192/70660096479711543\ 99130416479651*c_1001_5^3 - 7154117660848059934451734542468/7066009\ 647971154399130416479651*c_1001_5^2 - 16051674986012464599312286144705/7066009647971154399130416479651*c_\ 1001_5 + 1128788774890876566319903850184/70660096479711543991304164\ 79651, c_1001_0 - 1859922031138660120100826198/7066009647971154399130416479651\ *c_1001_5^13 + 15727082870276690574370970382/7066009647971154399130\ 416479651*c_1001_5^12 - 50783908797923229353303288210/7066009647971\ 154399130416479651*c_1001_5^11 + 159599272429543373354881159488/706\ 6009647971154399130416479651*c_1001_5^10 - 294338789731932581453370760244/7066009647971154399130416479651*c_10\ 01_5^9 + 909929161047448916450616984384/706600964797115439913041647\ 9651*c_1001_5^8 - 1562300550798336020785976035518/70660096479711543\ 99130416479651*c_1001_5^7 + 2426926621389583367227239618882/7066009\ 647971154399130416479651*c_1001_5^6 - 434013597374759552133182525536/7066009647971154399130416479651*c_10\ 01_5^5 + 296771700216095149983424965318/706600964797115439913041647\ 9651*c_1001_5^4 - 6495992041254491323816223463192/70660096479711543\ 99130416479651*c_1001_5^3 + 7154117660848059934451734542468/7066009\ 647971154399130416479651*c_1001_5^2 + 16051674986012464599312286144705/7066009647971154399130416479651*c_\ 1001_5 - 1128788774890876566319903850184/70660096479711543991304164\ 79651, c_1001_11 - 1, c_1001_5^14 - 9*c_1001_5^13 + 33*c_1001_5^12 - 110*c_1001_5^11 + 236*c_1001_5^10 - 677*c_1001_5^9 + 1307*c_1001_5^8 - 2354*c_1001_5^7 + 2028*c_1001_5^6 - 2106*c_1001_5^5 + 4622*c_1001_5^4 - 6462*c_1001_5^3 - 3858*c_1001_5^2 - 109*c_1001_5 - 2323 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB