Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 3718005048] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0617 geometric_solution 4.61965834 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.719167393076 0.133702309350 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.744011803919 0.671683417277 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.025541255292 0.335427142180 2 4 5 2 0132 0132 0132 1023 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 -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.620774620720 0.249184085158 5 3 5 6 2103 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 -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 1 -1 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.479304250679 1.133315650416 4 6 4 3 2310 1023 2103 0132 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 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.479304250679 1.133315650416 5 6 4 6 1023 2310 0132 3201 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 -1 0 1 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.316552777859 0.748489538371 ==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_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' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], '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' : d['c_0011_2'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0110_6'], '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' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_5, c_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1635725704484882432859521484572861676223/62567346731846445117496501\ 736625591161*c_0110_6^21 - 1171940303201401706944047540400256913386\ /62567346731846445117496501736625591161*c_0110_6^20 + 17073307303938836612860537474328099300271/6256734673184644511749650\ 1736625591161*c_0110_6^19 + 286247049636493549026703399591139765383\ 85/62567346731846445117496501736625591161*c_0110_6^18 - 7945097346293295540139647468343604649156/62567346731846445117496501\ 736625591161*c_0110_6^17 - 1506647202107230830260846365582863629782\ 15/62567346731846445117496501736625591161*c_0110_6^16 + 16920588079382628112650017989657813125312/6256734673184644511749650\ 1736625591161*c_0110_6^15 + 774838238358067036846020331628912337989\ 300/62567346731846445117496501736625591161*c_0110_6^14 - 748223571071365593667909944817092756182867/625673467318464451174965\ 01736625591161*c_0110_6^13 - 21460040203869908611932527699358140600\ 42767/62567346731846445117496501736625591161*c_0110_6^12 + 1102979138933882915104992487261314043085914/62567346731846445117496\ 501736625591161*c_0110_6^11 + 3057443568839318071459044706754890930\ 887273/62567346731846445117496501736625591161*c_0110_6^10 + 2876035380010102325305281617465275567396524/62567346731846445117496\ 501736625591161*c_0110_6^9 - 69421002240217341000846890019296842584\ 60476/62567346731846445117496501736625591161*c_0110_6^8 + 20233287614837355605967157392859511022864/6256734673184644511749650\ 1736625591161*c_0110_6^7 + 4563482747171999138167861541408364970193\ 085/62567346731846445117496501736625591161*c_0110_6^6 - 5134046585793481580826833454476810880994852/62567346731846445117496\ 501736625591161*c_0110_6^5 + 20415576184154076568973727057171917751\ 25037/62567346731846445117496501736625591161*c_0110_6^4 + 1660854749389112067240512154364808410994956/62567346731846445117496\ 501736625591161*c_0110_6^3 - 88923876485599843504580132205029824586\ 2458/62567346731846445117496501736625591161*c_0110_6^2 - 118544706220389310497029910469610785525874/625673467318464451174965\ 01736625591161*c_0110_6 - 24422357921286591899998793335285310530151\ /62567346731846445117496501736625591161, c_0011_0 - 1, c_0011_2 + 1288279102361602311452390825325905063/6256734673184644511749\ 6501736625591161*c_0110_6^21 + 353068470937265804504001591268534587\ 3/62567346731846445117496501736625591161*c_0110_6^20 - 7853450770697256352286186295525268496/62567346731846445117496501736\ 625591161*c_0110_6^19 - 41975838053102129865017889360156833964/6256\ 7346731846445117496501736625591161*c_0110_6^18 - 67998034477956104868458975355013886118/6256734673184644511749650173\ 6625591161*c_0110_6^17 + 25747380031314673409635496731094923307/625\ 67346731846445117496501736625591161*c_0110_6^16 + 102838423645224398665146697855676791104/625673467318464451174965017\ 36625591161*c_0110_6^15 - 451316498154545357257412339075562794931/6\ 2567346731846445117496501736625591161*c_0110_6^14 - 409501836839598530188776023419929390112/625673467318464451174965017\ 36625591161*c_0110_6^13 + 1430706651253082540315478344730659390476/\ 62567346731846445117496501736625591161*c_0110_6^12 + 2233539430580895072690692693620844805802/62567346731846445117496501\ 736625591161*c_0110_6^11 + 444518779143397600631957698900798585281/\ 62567346731846445117496501736625591161*c_0110_6^10 - 3231190217809524541625498846387507236172/62567346731846445117496501\ 736625591161*c_0110_6^9 - 1197872538137765580721838137079568416090/\ 62567346731846445117496501736625591161*c_0110_6^8 + 1050832162605196849575324097211906475959/62567346731846445117496501\ 736625591161*c_0110_6^7 - 1607497672331133308467340833600169654823/\ 62567346731846445117496501736625591161*c_0110_6^6 + 524313790857889355695451141306958368999/625673467318464451174965017\ 36625591161*c_0110_6^5 + 1385947346384840899859031346862858741747/6\ 2567346731846445117496501736625591161*c_0110_6^4 - 276774265671488113582458197103803609964/625673467318464451174965017\ 36625591161*c_0110_6^3 - 35999727093744133079071417512327034726/625\ 67346731846445117496501736625591161*c_0110_6^2 - 4579153991400575279714279885767318369/62567346731846445117496501736\ 625591161*c_0110_6 - 19472263760535835550726903199208770501/6256734\ 6731846445117496501736625591161, c_0011_5 + 1621763518788375634402510256830402771/6256734673184644511749\ 6501736625591161*c_0110_6^21 + 305036039610634908666333640138191707\ 2/62567346731846445117496501736625591161*c_0110_6^20 - 13960224875492162689348127174021075251/6256734673184644511749650173\ 6625591161*c_0110_6^19 - 45368139631769398819854248919020261450/625\ 67346731846445117496501736625591161*c_0110_6^18 - 39421571419954079098016964855853720537/6256734673184644511749650173\ 6625591161*c_0110_6^17 + 116520237093344118667180230549687581544/62\ 567346731846445117496501736625591161*c_0110_6^16 + 124822188439799212841794789408178525241/625673467318464451174965017\ 36625591161*c_0110_6^15 - 670269123558256914763152762120582368035/6\ 2567346731846445117496501736625591161*c_0110_6^14 - 57540355953224098719673942817499911499/6256734673184644511749650173\ 6625591161*c_0110_6^13 + 2312512034599350560706751538474472172190/6\ 2567346731846445117496501736625591161*c_0110_6^12 + 1466994409208372248461068079683442306205/62567346731846445117496501\ 736625591161*c_0110_6^11 - 2084007978302628417296286923374379022242\ /62567346731846445117496501736625591161*c_0110_6^10 - 5365339934680884078137415625814900618831/62567346731846445117496501\ 736625591161*c_0110_6^9 + 1477687886906020159469192271145893350785/\ 62567346731846445117496501736625591161*c_0110_6^8 + 3232191742117388524985575319029258729737/62567346731846445117496501\ 736625591161*c_0110_6^7 - 2175876055362692557300440232183128925932/\ 62567346731846445117496501736625591161*c_0110_6^6 + 2185664217808990356028632415360677224652/62567346731846445117496501\ 736625591161*c_0110_6^5 + 1343997261855893671961421206387781334322/\ 62567346731846445117496501736625591161*c_0110_6^4 - 1308613670442922735356018358090222801091/62567346731846445117496501\ 736625591161*c_0110_6^3 - 369731591630209671067418257376077251833/6\ 2567346731846445117496501736625591161*c_0110_6^2 - 30226425162888532320627848790958444247/6256734673184644511749650173\ 6625591161*c_0110_6 + 111921411037748637960993257507175313/62567346\ 731846445117496501736625591161, c_0101_0 - 272167632623879112432459385179921330/62567346731846445117496\ 501736625591161*c_0110_6^21 - 3442479993985509051538776006270981384\ /62567346731846445117496501736625591161*c_0110_6^20 - 4277452368961088210842186772139551370/62567346731846445117496501736\ 625591161*c_0110_6^19 + 28512934027091876830830379981579403710/6256\ 7346731846445117496501736625591161*c_0110_6^18 + 91868472892020056328867434513710687798/6256734673184644511749650173\ 6625591161*c_0110_6^17 + 95441229634093244200834679401324707162/625\ 67346731846445117496501736625591161*c_0110_6^16 - 132041242217632339747690677637377643737/625673467318464451174965017\ 36625591161*c_0110_6^15 - 66257317545694287306458364397470727058/62\ 567346731846445117496501736625591161*c_0110_6^14 + 1113752374393575287129232553494070465815/62567346731846445117496501\ 736625591161*c_0110_6^13 + 15509143536485867520810136753363340013/6\ 2567346731846445117496501736625591161*c_0110_6^12 - 3629826311326998781011515025627227728066/62567346731846445117496501\ 736625591161*c_0110_6^11 - 3158210185414697220016530691725680476303\ /62567346731846445117496501736625591161*c_0110_6^10 + 1425257390720991366382182296278241444351/62567346731846445117496501\ 736625591161*c_0110_6^9 + 6910551062223548611760113952962169568486/\ 62567346731846445117496501736625591161*c_0110_6^8 - 1177030193570158065032361747983956783946/62567346731846445117496501\ 736625591161*c_0110_6^7 - 1585364020941419055363049616436550254504/\ 62567346731846445117496501736625591161*c_0110_6^6 + 3747229368799929682471859677856105176548/62567346731846445117496501\ 736625591161*c_0110_6^5 - 3098243405428303184725902375104242260592/\ 62567346731846445117496501736625591161*c_0110_6^4 - 1170754133231025596431965850525391249081/62567346731846445117496501\ 736625591161*c_0110_6^3 + 699951172386527774923740622739394774710/6\ 2567346731846445117496501736625591161*c_0110_6^2 + 71161696016622441483608557849257024017/6256734673184644511749650173\ 6625591161*c_0110_6 + 10125632720551149577611311489150833745/625673\ 46731846445117496501736625591161, c_0101_1 + 1762419171874656488724931342761561118/6256734673184644511749\ 6501736625591161*c_0110_6^21 + 214038923120885226948646705873151254\ 4/62567346731846445117496501736625591161*c_0110_6^20 - 15775659561718972264935295457481502293/6256734673184644511749650173\ 6625591161*c_0110_6^19 - 35376165469035592168472852222068946779/625\ 67346731846445117496501736625591161*c_0110_6^18 - 20676091101944220702086812994249744313/6256734673184644511749650173\ 6625591161*c_0110_6^17 + 107902757371737493409908146009573192990/62\ 567346731846445117496501736625591161*c_0110_6^16 - 19213948294924764417430484767122698948/6256734673184644511749650173\ 6625591161*c_0110_6^15 - 774599398423103038562079226558726964044/62\ 567346731846445117496501736625591161*c_0110_6^14 + 512858197753477859582034782159172296961/625673467318464451174965017\ 36625591161*c_0110_6^13 + 1966020659491751295771054593616119905571/\ 62567346731846445117496501736625591161*c_0110_6^12 - 362680125468273076718702036810560715429/625673467318464451174965017\ 36625591161*c_0110_6^11 - 1616112362744656801111720367669939157237/\ 62567346731846445117496501736625591161*c_0110_6^10 - 2236845798999460925216204646648529725534/62567346731846445117496501\ 736625591161*c_0110_6^9 + 5721952975964458131607857371181068666956/\ 62567346731846445117496501736625591161*c_0110_6^8 - 1110293123866347106232642241315288379272/62567346731846445117496501\ 736625591161*c_0110_6^7 - 4651166280190781853267112931596210966363/\ 62567346731846445117496501736625591161*c_0110_6^6 + 4538161348623164125138345742725293583029/62567346731846445117496501\ 736625591161*c_0110_6^5 - 2140367327368229508351799423196053814319/\ 62567346731846445117496501736625591161*c_0110_6^4 - 1141042729191220482104168689815374538748/62567346731846445117496501\ 736625591161*c_0110_6^3 + 1025989806897177146449282357745345162313/\ 62567346731846445117496501736625591161*c_0110_6^2 + 121852028885656043814084798562927669718/625673467318464451174965017\ 36625591161*c_0110_6 + 10301269271577688886064907771303654745/62567\ 346731846445117496501736625591161, c_0101_3 - 576902226623329177773207934187174263/62567346731846445117496\ 501736625591161*c_0110_6^21 - 141190241642397921682054644040116658/\ 62567346731846445117496501736625591161*c_0110_6^20 + 6400727959951601625538740507911595889/62567346731846445117496501736\ 625591161*c_0110_6^19 + 7617422658685081891973289372306879050/62567\ 346731846445117496501736625591161*c_0110_6^18 - 9111579830199645684668540650443266431/62567346731846445117496501736\ 625591161*c_0110_6^17 - 57070168905451520699381397029072233885/6256\ 7346731846445117496501736625591161*c_0110_6^16 + 26046762111901202291200619240151694266/6256734673184644511749650173\ 6625591161*c_0110_6^15 + 282837256456722631802483315276145637829/62\ 567346731846445117496501736625591161*c_0110_6^14 - 378044901526453575345718400460979817538/625673467318464451174965017\ 36625591161*c_0110_6^13 - 706323916236950805217999687716577888509/6\ 2567346731846445117496501736625591161*c_0110_6^12 + 736293815942545719950272377868966440318/625673467318464451174965017\ 36625591161*c_0110_6^11 + 1154439893880429174024704745160272903831/\ 62567346731846445117496501736625591161*c_0110_6^10 + 685340485671058151802153797081586685501/625673467318464451174965017\ 36625591161*c_0110_6^9 - 3128285725892345334767497812799397673321/6\ 2567346731846445117496501736625591161*c_0110_6^8 + 570581446973858267053731708871399009781/625673467318464451174965017\ 36625591161*c_0110_6^7 + 1700881737726405158898833551652084964082/6\ 2567346731846445117496501736625591161*c_0110_6^6 - 2274133075208575827137721471951746627096/62567346731846445117496501\ 736625591161*c_0110_6^5 + 1273850049018573972650126100908237593575/\ 62567346731846445117496501736625591161*c_0110_6^4 + 540650610374786714258252532071404424914/625673467318464451174965017\ 36625591161*c_0110_6^3 - 371703826688917352536811583843557100564/62\ 567346731846445117496501736625591161*c_0110_6^2 - 5297263626187263786653485148228691873/62567346731846445117496501736\ 625591161*c_0110_6 - 4728772986307611808673147941850610557/62567346\ 731846445117496501736625591161, c_0110_6^22 + 2*c_0110_6^21 - 8*c_0110_6^20 - 28*c_0110_6^19 - 30*c_0110_6^18 + 57*c_0110_6^17 + 66*c_0110_6^16 - 397*c_0110_6^15 - 59*c_0110_6^14 + 1289*c_0110_6^13 + 977*c_0110_6^12 - 781*c_0110_6^11 - 2853*c_0110_6^10 + 702*c_0110_6^9 + 1233*c_0110_6^8 - 1370*c_0110_6^7 + 1253*c_0110_6^6 + 562*c_0110_6^5 - 495*c_0110_6^4 - 121*c_0110_6^3 - 14*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB