Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 1595851675] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0437 geometric_solution 4.48719799 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.151877534939 0.193831157871 0 0 2 2 0132 2310 2310 0132 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 -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 1.660446006784 3.054502168705 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 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.264036427476 0.275667240763 2 5 4 4 0132 0132 1302 3201 0 0 0 0 0 -1 1 0 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 -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.142223893662 0.809663414407 3 3 2 5 2031 2310 0132 2310 0 0 0 0 0 -1 0 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 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.142223893662 0.809663414407 4 3 6 6 3201 0132 0132 2310 0 0 0 0 0 1 -1 0 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 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.029723051621 2.100761836114 5 6 6 5 3201 3201 2310 0132 0 0 0 0 0 -1 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.538610201800 0.228545000999 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : 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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], '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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), '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_4']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 201754892092186137818481076/291469684481032773899375*c_0101_5^16 - 1840194883504848087832346383/874409053443098321698125*c_0101_5^15 - 14452614319762212486230548658/874409053443098321698125*c_0101_5^14 + 49610850209212975493150303482/874409053443098321698125*c_0101_5^13 + 28389101338332992865367479492/291469684481032773899375*c_0101_5^12 - 347269088704227054594926084312/874409053443098321698125*c_0101_5^11 - 14684144032836174163730670166/58293936896206554779875*c_0101_5^10 + 999985268008217171193870562906/874409053443098321698125*c_0101_5^\ 9 + 166096026043160369023006495349/291469684481032773899375*c_0101_\ 5^8 - 1274916484511009040293221129042/874409053443098321698125*c_01\ 01_5^7 - 342509913630729991088847117396/291469684481032773899375*c_\ 0101_5^6 + 22873467273214939746815140013/58293936896206554779875*c_\ 0101_5^5 + 411083369782720021991251215121/874409053443098321698125*\ c_0101_5^4 - 36404296451878601440553009764/874409053443098321698125\ *c_0101_5^3 + 5712272768087222673346046458/874409053443098321698125\ *c_0101_5^2 + 8229523020918666800776204728/291469684481032773899375\ *c_0101_5 - 14961065171770436586656737216/874409053443098321698125, c_0011_0 - 1, c_0011_2 - 518420746823103074622/11658787379241310955975*c_0101_5^16 + 1778170681748653560342/11658787379241310955975*c_0101_5^15 + 11565688817858889192992/11658787379241310955975*c_0101_5^14 - 46547162306096932022168/11658787379241310955975*c_0101_5^13 - 52263522095619901539349/11658787379241310955975*c_0101_5^12 + 306147732938973946023863/11658787379241310955975*c_0101_5^11 + 12155154900368888003797/2331757475848262191195*c_0101_5^10 - 805736491614428013973994/11658787379241310955975*c_0101_5^9 - 120316485834784777220678/11658787379241310955975*c_0101_5^8 + 950026765170576120063908/11658787379241310955975*c_0101_5^7 + 528862168936681669315287/11658787379241310955975*c_0101_5^6 - 54432804414776743206891/2331757475848262191195*c_0101_5^5 - 154921764147556735514829/11658787379241310955975*c_0101_5^4 - 17558983560171559639264/11658787379241310955975*c_0101_5^3 - 57468970433007568537417/11658787379241310955975*c_0101_5^2 + 739083240462997525234/11658787379241310955975*c_0101_5 + 5457863094360801584509/11658787379241310955975, c_0011_4 - 833619138131018861848/11658787379241310955975*c_0101_5^16 + 2865056636103912074003/11658787379241310955975*c_0101_5^15 + 18488450980312806375603/11658787379241310955975*c_0101_5^14 - 74679572890471364856462/11658787379241310955975*c_0101_5^13 - 81536379352567544304316/11658787379241310955975*c_0101_5^12 + 485130237168327379157842/11658787379241310955975*c_0101_5^11 + 17106667031001435341328/2331757475848262191195*c_0101_5^10 - 1246593190708276465579321/11658787379241310955975*c_0101_5^9 - 176907214105206761259277/11658787379241310955975*c_0101_5^8 + 1407327622299676092216097/11658787379241310955975*c_0101_5^7 + 834934873327914837371758/11658787379241310955975*c_0101_5^6 - 66473824495633161134859/2331757475848262191195*c_0101_5^5 - 191674020627935670978711/11658787379241310955975*c_0101_5^4 - 7523504721624578133351/11658787379241310955975*c_0101_5^3 - 81646481410920021053378/11658787379241310955975*c_0101_5^2 + 4513971092942576702781/11658787379241310955975*c_0101_5 + 549301487650754258831/11658787379241310955975, c_0011_6 - 581650451124030101659/11658787379241310955975*c_0101_5^16 + 1882246673415775659049/11658787379241310955975*c_0101_5^15 + 13398635823091553557149/11658787379241310955975*c_0101_5^14 - 49886834797101287801746/11658787379241310955975*c_0101_5^13 - 69335386890628718710753/11658787379241310955975*c_0101_5^12 + 336484495144909413705761/11658787379241310955975*c_0101_5^11 + 26555253033916006880314/2331757475848262191195*c_0101_5^10 - 915119818685784151273818/11658787379241310955975*c_0101_5^9 - 280528246460918363329266/11658787379241310955975*c_0101_5^8 + 1087635706867274049358326/11658787379241310955975*c_0101_5^7 + 732992493902184532406614/11658787379241310955975*c_0101_5^6 - 48279235255858614201407/2331757475848262191195*c_0101_5^5 - 202652906086596689381338/11658787379241310955975*c_0101_5^4 + 4405503197646561730267/11658787379241310955975*c_0101_5^3 - 60335214100281472345749/11658787379241310955975*c_0101_5^2 - 12559505538785146747227/11658787379241310955975*c_0101_5 + 4473978805129627934648/11658787379241310955975, c_0101_0 - 230310650056776789478/11658787379241310955975*c_0101_5^16 + 994058596633174449558/11658787379241310955975*c_0101_5^15 + 4538483335936482389433/11658787379241310955975*c_0101_5^14 - 25567712440644009233582/11658787379241310955975*c_0101_5^13 - 7122033139256206719926/11658787379241310955975*c_0101_5^12 + 165229649872131676177737/11658787379241310955975*c_0101_5^11 - 16676854735739872129497/2331757475848262191195*c_0101_5^10 - 436091746190079471725981/11658787379241310955975*c_0101_5^9 + 247163686879628221344153/11658787379241310955975*c_0101_5^8 + 602101856450146394546992/11658787379241310955975*c_0101_5^7 - 86396336588967990322862/11658787379241310955975*c_0101_5^6 - 94648278944361072419564/2331757475848262191195*c_0101_5^5 - 108139764697568745544296/11658787379241310955975*c_0101_5^4 + 81314020463472962363739/11658787379241310955975*c_0101_5^3 + 3165728363308572908167/11658787379241310955975*c_0101_5^2 + 11380202981420528883066/11658787379241310955975*c_0101_5 + 5587808885722781719441/11658787379241310955975, c_0101_1 - 196261139072273047114/11658787379241310955975*c_0101_5^16 + 685603568619257479129/11658787379241310955975*c_0101_5^15 + 4351896643846407321379/11658787379241310955975*c_0101_5^14 - 17946822650633033866366/11658787379241310955975*c_0101_5^13 - 19046040001831004471913/11658787379241310955975*c_0101_5^12 + 118449625392637313768831/11658787379241310955975*c_0101_5^11 + 3541244265848979711574/2331757475848262191195*c_0101_5^10 - 315442300611437788946053/11658787379241310955975*c_0101_5^9 - 29630671534305279293761/11658787379241310955975*c_0101_5^8 + 385607230643678597964971/11658787379241310955975*c_0101_5^7 + 181810233340042303859844/11658787379241310955975*c_0101_5^6 - 26875425528705062556692/2331757475848262191195*c_0101_5^5 - 67815901062223491831848/11658787379241310955975*c_0101_5^4 - 10217419027804113055218/11658787379241310955975*c_0101_5^3 - 23972579938126909019004/11658787379241310955975*c_0101_5^2 + 217511623186546918483/11658787379241310955975*c_0101_5 + 9453136293840495365158/11658787379241310955975, c_0101_5^17 - 3*c_0101_5^16 - 24*c_0101_5^15 + 81*c_0101_5^14 + 144*c_0101_5^13 - 568*c_0101_5^12 - 387*c_0101_5^11 + 1637*c_0101_5^10 + 890*c_0101_5^9 - 2072*c_0101_5^8 - 1783*c_0101_5^7 + 497*c_0101_5^6 + 702*c_0101_5^5 - 32*c_0101_5^4 + 7*c_0101_5^3 + 41*c_0101_5^2 - 23*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB