Magma V2.19-8 Tue Aug 20 2013 16:14:19 on localhost [Seed = 122067747] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s305 geometric_solution 4.46964708 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 0 1 1 0 3201 0132 1023 2310 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 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 2.087646340542 0.337702779092 2 0 0 2 0132 0132 1023 3201 0 0 0 0 0 1 0 -1 1 0 -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 -1 0 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.464953925806 0.431075646505 1 1 3 4 0132 2310 0132 0132 0 0 0 0 0 1 0 -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 0 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.214713450851 0.513088103796 5 4 4 2 0132 3012 2031 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 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.859604577930 0.798221490150 3 5 2 3 1230 2310 0132 1302 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.859604577930 0.798221490150 3 5 5 4 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 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.733657440485 1.111578093356 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_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_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_3'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : 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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 690718738868119913330647187862931/311389955734708218942739833605*c_\ 0101_3^18 - 650869497394087201829611857382781/622779911469416437885\ 47966721*c_0101_3^17 - 8614597908430718846587397393108044/622779911\ 46941643788547966721*c_0101_3^16 + 8723070743094702616272051471881790/8896855878134520541221138103*c_0\ 101_3^15 - 3699490101957416536428259809620827/889685587813452054122\ 1138103*c_0101_3^14 - 2850126401382855228766152248642151377/3113899\ 55734708218942739833605*c_0101_3^13 + 6846254879842503037735604553990604902/31138995573470821894273983360\ 5*c_0101_3^12 - 1047334766838898557952167239733048395/6227799114694\ 1643788547966721*c_0101_3^11 - 55439790542307058813623201070685183/\ 8896855878134520541221138103*c_0101_3^10 + 1243043459566311960832292721765805676/62277991146941643788547966721\ *c_0101_3^9 - 4800696055688840072177200235502932658/311389955734708\ 218942739833605*c_0101_3^8 + 713730912404383649511562976253087048/3\ 11389955734708218942739833605*c_0101_3^7 + 1797479064234958458178725867309998678/31138995573470821894273983360\ 5*c_0101_3^6 - 1479141294484190215375188661611336579/31138995573470\ 8218942739833605*c_0101_3^5 + 391497804375287788020947022045492999/\ 311389955734708218942739833605*c_0101_3^4 + 25348036609260580194970716870713509/62277991146941643788547966721*c\ _0101_3^3 - 121045473977992545824814281213253474/311389955734708218\ 942739833605*c_0101_3^2 + 29923227861413850431409059982624374/31138\ 9955734708218942739833605*c_0101_3 - 473639644281493466185455896587621/62277991146941643788547966721, c_0011_0 - 1, c_0011_3 + 2938526101131124202042229787476/6227799114694164378854796672\ 1*c_0101_3^18 - 13886368758902301120115550852051/622779911469416437\ 88547966721*c_0101_3^17 - 183061169180571795418997143647248/6227799\ 1146941643788547966721*c_0101_3^16 + 185928318414149082017189376742584/8896855878134520541221138103*c_01\ 01_3^15 - 81210016766190949876189068894858/889685587813452054122113\ 8103*c_0101_3^14 - 12122040509396071190058574484103251/622779911469\ 41643788547966721*c_0101_3^13 + 29297345501980059089003769325055640\ /62277991146941643788547966721*c_0101_3^12 - 22644256233113666426347829933960492/62277991146941643788547966721*c\ _0101_3^11 - 1147530994929064276175329232631541/8896855878134520541\ 221138103*c_0101_3^10 + 26607535324129794295877035520724349/6227799\ 1146941643788547966721*c_0101_3^9 - 20746217582216032375589033405910585/62277991146941643788547966721*c\ _0101_3^8 + 3240428329049819795119110337082303/62277991146941643788\ 547966721*c_0101_3^7 + 7652423273539425536716496732885341/622779911\ 46941643788547966721*c_0101_3^6 - 639451389890758496487345570432299\ 3/62277991146941643788547966721*c_0101_3^5 + 1726308971144100931947862561219065/62277991146941643788547966721*c_\ 0101_3^4 + 530779459625824316541387642030314/6227799114694164378854\ 7966721*c_0101_3^3 - 523966778139578852770483087400565/622779911469\ 41643788547966721*c_0101_3^2 + 131978735968073303371773989925520/62\ 277991146941643788547966721*c_0101_3 - 10687411362526305201328268396807/62277991146941643788547966721, c_0101_0 + 5770054308881026954325285547715/6227799114694164378854796672\ 1*c_0101_3^18 - 27194995202957037017985615569582/622779911469416437\ 88547966721*c_0101_3^17 - 359778441144299094231099696976923/6227799\ 1146941643788547966721*c_0101_3^16 + 364432835698279032810981091237287/8896855878134520541221138103*c_01\ 01_3^15 - 155073468025078968158003554929121/88968558781345205412211\ 38103*c_0101_3^14 - 23808584644675023605002802145350519/62277991146\ 941643788547966721*c_0101_3^13 + 5722927616019018583067928195074311\ 7/62277991146941643788547966721*c_0101_3^12 - 43824186009168346111005430912473171/62277991146941643788547966721*c\ _0101_3^11 - 2309009662485973475964401837053354/8896855878134520541\ 221138103*c_0101_3^10 + 51956069191738695195158186178277561/6227799\ 1146941643788547966721*c_0101_3^9 - 40171660921869850624889725368063873/62277991146941643788547966721*c\ _0101_3^8 + 6005813719771388718603349101455576/62277991146941643788\ 547966721*c_0101_3^7 + 15017020053022665616563779014688766/62277991\ 146941643788547966721*c_0101_3^6 - 12377863663669450792067288701192108/62277991146941643788547966721*c\ _0101_3^5 + 3283379674369820508327212406508857/62277991146941643788\ 547966721*c_0101_3^4 + 1056774213006417457052149259804001/622779911\ 46941643788547966721*c_0101_3^3 - 101321272310700237647768836011181\ 5/62277991146941643788547966721*c_0101_3^2 + 251033332661316090815953182310045/62277991146941643788547966721*c_0\ 101_3 - 19924213981403463114480239528888/62277991146941643788547966\ 721, c_0101_1 + 354432293504766841957621307093/62277991146941643788547966721\ *c_0101_3^18 - 1718249033161480309935374201194/62277991146941643788\ 547966721*c_0101_3^17 - 21889406866716988631396236366863/6227799114\ 6941643788547966721*c_0101_3^16 + 22820269645447213975171667714957/\ 8896855878134520541221138103*c_0101_3^15 - 12407721594408253993726848623214/8896855878134520541221138103*c_010\ 1_3^14 - 1459624826798608463645473048362976/62277991146941643788547\ 966721*c_0101_3^13 + 3712848979082832433529227362891936/62277991146\ 941643788547966721*c_0101_3^12 - 3104836292097435081759880747036428\ /62277991146941643788547966721*c_0101_3^11 - 107490648252204896695386416115742/8896855878134520541221138103*c_01\ 01_3^10 + 3389819887138454376488011717282424/6227799114694164378854\ 7966721*c_0101_3^9 - 2831396467832082480030815028836534/62277991146\ 941643788547966721*c_0101_3^8 + 593331840312603940754683885648782/6\ 2277991146941643788547966721*c_0101_3^7 + 935518163391424496056224840781009/62277991146941643788547966721*c_0\ 101_3^6 - 876893091286424637068273915503261/62277991146941643788547\ 966721*c_0101_3^5 + 268489485732796701857404663302867/6227799114694\ 1643788547966721*c_0101_3^4 + 56673358053731161706792512439670/6227\ 7991146941643788547966721*c_0101_3^3 - 72801092936220582759478576498019/62277991146941643788547966721*c_01\ 01_3^2 + 20542171657433610981172281763876/6227799114694164378854796\ 6721*c_0101_3 - 1838100799363418813649755029520/6227799114694164378\ 8547966721, c_0101_2 - 2858943541999628741292075844765/6227799114694164378854796672\ 1*c_0101_3^18 + 13467114437310566938779364991972/622779911469416437\ 88547966721*c_0101_3^17 + 178292413217246850451354808453867/6227799\ 1146941643788547966721*c_0101_3^16 - 180499369521843917276360778697072/8896855878134520541221138103*c_01\ 01_3^15 + 76416404133957798911683741365301/889685587813452054122113\ 8103*c_0101_3^14 + 11795820338836726484768386811758771/622779911469\ 41643788547966721*c_0101_3^13 - 28325421885014402026377384619918571\ /62277991146941643788547966721*c_0101_3^12 + 21662902639452196344895986042136844/62277991146941643788547966721*c\ _0101_3^11 + 1146115490846083524536196843240313/8896855878134520541\ 221138103*c_0101_3^10 - 25704723842984185993611116273871009/6227799\ 1146941643788547966721*c_0101_3^9 + 19864816874979177332204188850699185/62277991146941643788547966721*c\ _0101_3^8 - 2960414564362363790101939745314583/62277991146941643788\ 547966721*c_0101_3^7 - 7430192944667853676311979360661975/622779911\ 46941643788547966721*c_0101_3^6 + 611928777045949707429278186910819\ 4/62277991146941643788547966721*c_0101_3^5 - 1623263393484042393361582073152491/62277991146941643788547966721*c_\ 0101_3^4 - 522611834453591018525559435981197/6227799114694164378854\ 7966721*c_0101_3^3 + 500732131843886278500124363565906/622779911469\ 41643788547966721*c_0101_3^2 - 124250989482311973989351875443361/62\ 277991146941643788547966721*c_0101_3 + 9894993014846062804589981247249/62277991146941643788547966721, c_0101_3^19 - 5*c_0101_3^18 - 61*c_0101_3^17 + 460*c_0101_3^16 - 315*c_0101_3^15 - 4072*c_0101_3^14 + 11102*c_0101_3^13 - 10443*c_0101_3^12 - 617*c_0101_3^11 + 9805*c_0101_3^10 - 9548*c_0101_3^9 + 3043*c_0101_3^8 + 2301*c_0101_3^7 - 2892*c_0101_3^6 + 1186*c_0101_3^5 + 19*c_0101_3^4 - 228*c_0101_3^3 + 94*c_0101_3^2 - 16*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB