Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 1916006046] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1950 geometric_solution 5.53537981 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.302543334188 0.215138540075 2 0 3 0 0132 2310 0132 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 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.502203530105 1.345905784299 1 4 5 4 0132 0132 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 -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.592389742532 1.540381461805 4 5 4 1 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 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 -2 1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592389742532 1.540381461805 3 2 3 2 2310 0132 3201 1023 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 2 -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.323280765617 0.353773848743 3 6 6 2 1023 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 -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.361322180646 0.448009710713 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 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 1 -1 0 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 1.795212307344 0.850348452664 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_1']), '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 34559335458309892805366781006592206771873653055/1124718977994313691\ 24468041137920576134618112*c_0101_6^27 + 1355846537952042852160181008293282748720670723767/28117974449857842\ 281117010284480144033654528*c_0101_6^25 - 77809997765577715916957126375119423069048390902865/5623594889971568\ 4562234020568960288067309056*c_0101_6^23 + 1000377650391631370940446131390269477493149530682175/56235948899715\ 684562234020568960288067309056*c_0101_6^21 - 14379244432899644398390943421530637119323986711647871/5623594889971\ 5684562234020568960288067309056*c_0101_6^19 + 168865209377706084113739949361477929116251566799707599/112471897799\ 431369124468041137920576134618112*c_0101_6^17 - 140409037372335329221091657842449348409643610591779263/562359488997\ 15684562234020568960288067309056*c_0101_6^15 + 17073125630393076139366590666112739118441533038254347/7029493612464\ 460570279252571120036008413632*c_0101_6^13 - 91610674519544825749957220495903841238438719740955851/5623594889971\ 5684562234020568960288067309056*c_0101_6^11 + 82934515991396023562618889056414347564753236673500075/1124718977994\ 31369124468041137920576134618112*c_0101_6^9 - 11788022476314270098380547269823717688773895319354701/5623594889971\ 5684562234020568960288067309056*c_0101_6^7 + 1004650510319262876139476821144467930700978883531833/28117974449857\ 842281117010284480144033654528*c_0101_6^5 - 392303888924738493982587619067121585335328973229059/112471897799431\ 369124468041137920576134618112*c_0101_6^3 + 2266225991996281850678241030228916373450271523653/14058987224928921\ 140558505142240072016827264*c_0101_6, c_0011_0 - 1, c_0011_1 + 811204975421494386104428832550781651668117/27432170194983260\ 76206537588729770149624832*c_0101_6^26 - 31783784613455091776371361464234397271116289/6858042548745815190516\ 34397182442537406208*c_0101_6^24 + 1813333207621953453866377451710512234138579371/13716085097491630381\ 03268794364885074812416*c_0101_6^22 - 23108492539565588385478689576638523454713561845/1371608509749163038\ 103268794364885074812416*c_0101_6^20 + 332767929087108156222763178306959398758864805909/137160850974916303\ 8103268794364885074812416*c_0101_6^18 - 3826826261432732084662041165126381908299050258181/27432170194983260\ 76206537588729770149624832*c_0101_6^16 + 2902630288617260992512862036672884070365272642029/13716085097491630\ 38103268794364885074812416*c_0101_6^14 - 326610155588500378163759472741445511010293291467/171451063718645379\ 762908599295610634351552*c_0101_6^12 + 1619044852248958939824720016184033366585169582809/13716085097491630\ 38103268794364885074812416*c_0101_6^10 - 1291933803318063454491975675048824740165023462809/27432170194983260\ 76206537588729770149624832*c_0101_6^8 + 147374144340694266539800720124761800064671628535/137160850974916303\ 8103268794364885074812416*c_0101_6^6 - 9137547260931200671159927098802866407541909795/68580425487458151905\ 1634397182442537406208*c_0101_6^4 + 2349693664360243603283144195566812829050781729/27432170194983260762\ 06537588729770149624832*c_0101_6^2 - 3186119117099270991188043845734477162596861/34290212743729075952581\ 7198591221268703104, c_0011_3 + 127795314266501151279896369734489031846325/27432170194983260\ 76206537588729770149624832*c_0101_6^26 - 2503012391222314972058573268884466389000503/34290212743729075952581\ 7198591221268703104*c_0101_6^24 + 285318210753247464082157670131120\ 755885939289/1371608509749163038103268794364885074812416*c_0101_6^2\ 2 - 3630506769729971685285427861545745049076738323/1371608509749163\ 038103268794364885074812416*c_0101_6^20 + 52297325985630798515572678242755053169335720971/1371608509749163038\ 103268794364885074812416*c_0101_6^18 - 599232186179540654502974991214689804600576254945/274321701949832607\ 6206537588729770149624832*c_0101_6^16 + 446948478530425948329964882287533886039627561289/137160850974916303\ 8103268794364885074812416*c_0101_6^14 - 24805961592702428446531492002389978693031023137/8572553185932268988\ 1454299647805317175776*c_0101_6^12 + 242606203955374634051480017116939038439320152001/137160850974916303\ 8103268794364885074812416*c_0101_6^10 - 189074810524106869560169578500405142548827310577/274321701949832607\ 6206537588729770149624832*c_0101_6^8 + 20681989839969656988320108380450299087359386173/1371608509749163038\ 103268794364885074812416*c_0101_6^6 - 613298154368163483961582780651758642038497383/342902127437290759525\ 817198591221268703104*c_0101_6^4 + 315618595702164046364440487966863412914508677/274321701949832607620\ 6537588729770149624832*c_0101_6^2 - 380663364700096644968352201317960538946929/342902127437290759525817\ 198591221268703104, c_0101_0 - 1802245921131964577044297853681248041911813/2743217019498326\ 076206537588729770149624832*c_0101_6^27 + 35306628438085999337479622431933124038779903/3429021274372907595258\ 17198591221268703104*c_0101_6^25 - 4028519856296773003961893134443539690908979841/13716085097491630381\ 03268794364885074812416*c_0101_6^23 + 51335667251198344197759589472385956353993257907/1371608509749163038\ 103268794364885074812416*c_0101_6^21 - 739250832091279607611306361749961353792496438259/137160850974916303\ 8103268794364885074812416*c_0101_6^19 + 8500415038988847034449520220202010314445325430609/27432170194983260\ 76206537588729770149624832*c_0101_6^17 - 6443664840088805337009086206553587281239182019185/13716085097491630\ 38103268794364885074812416*c_0101_6^15 + 724280501233492411858003132403448388161205245645/171451063718645379\ 762908599295610634351552*c_0101_6^13 - 3585904956854949800528007121026534557045775370233/13716085097491630\ 38103268794364885074812416*c_0101_6^11 + 2854513378906959213172079772012362108938901716017/27432170194983260\ 76206537588729770149624832*c_0101_6^9 - 323660864113601417893236055826286718723941886853/137160850974916303\ 8103268794364885074812416*c_0101_6^7 + 9888272847616208048193328223873512011257959267/34290212743729075952\ 5817198591221268703104*c_0101_6^5 - 4908593854316432072294046633255507872185620357/27432170194983260762\ 06537588729770149624832*c_0101_6^3 + 4449548925408775686124129718499995950886385/34290212743729075952581\ 7198591221268703104*c_0101_6, c_0101_1 + 110387821703397895845499738419334694913831/68580425487458151\ 9051634397182442537406208*c_0101_6^26 - 17299819928826671291871899831311249638496285/6858042548745815190516\ 34397182442537406208*c_0101_6^24 + 493421512375182476158884841713162152369268593/685804254874581519051\ 634397182442537406208*c_0101_6^22 - 6286556741248673107377068607823319320110834753/68580425487458151905\ 1634397182442537406208*c_0101_6^20 + 90532248484078579624974674441354828459468608529/6858042548745815190\ 51634397182442537406208*c_0101_6^18 - 260136832288444407242617755991258701936467215949/342902127437290759\ 525817198591221268703104*c_0101_6^16 + 49202085423049002738389662627361779389087985519/4286276592966134494\ 0727149823902658587888*c_0101_6^14 - 88372793348727777236555921112805145552445653003/8572553185932268988\ 1454299647805317175776*c_0101_6^12 + 218546372891791692610808768059452702223970789439/342902127437290759\ 525817198591221268703104*c_0101_6^10 - 173706814486479791098247205733395268268883176085/685804254874581519\ 051634397182442537406208*c_0101_6^8 + 39354715583862248866199900598051438933364437989/6858042548745815190\ 51634397182442537406208*c_0101_6^6 - 4846813797158130288413256456128611777378622739/68580425487458151905\ 1634397182442537406208*c_0101_6^4 + 78326270107047756458749259702738278580178663/1714510637186453797629\ 08599295610634351552*c_0101_6^2 - 103308037423481531472944558841371\ 290380989/21431382964830672470363574911951329293944, c_0101_3 - 191671045979363665120745852659487048570177/27432170194983260\ 76206537588729770149624832*c_0101_6^27 + 1878225953818363811263458818092243074208033/17145106371864537976290\ 8599295610634351552*c_0101_6^25 - 429408100692993267666211060834999\ 297675455361/1371608509749163038103268794364885074812416*c_0101_6^2\ 3 + 5487160784406307690751870818661475139548966891/1371608509749163\ 038103268794364885074812416*c_0101_6^21 - 78968945548294712695287547470604261227183474299/1371608509749163038\ 103268794364885074812416*c_0101_6^19 + 914087487159644601523080037188420116591828375877/274321701949832607\ 6206537588729770149624832*c_0101_6^17 - 713736488320355583394845678036041268863392814629/137160850974916303\ 8103268794364885074812416*c_0101_6^15 + 82012480152584382394687118219606459818855213915/1714510637186453797\ 62908599295610634351552*c_0101_6^13 - 414824776332007046873161662734557542161490452885/137160850974916303\ 8103268794364885074812416*c_0101_6^11 + 341825286184034112853524261480899950680913309389/274321701949832607\ 6206537588729770149624832*c_0101_6^9 - 40974780226660230416737780159426359662421746885/1371608509749163038\ 103268794364885074812416*c_0101_6^7 + 10218041534004207791025542719157778192887347/2678922870603834058795\ 446863993916161743*c_0101_6^5 - 61365441952045801283925327758592393\ 4465486617/2743217019498326076206537588729770149624832*c_0101_6^3 + 218096675580433676964324535098806599649077/342902127437290759525817\ 198591221268703104*c_0101_6, c_0101_6^28 - 157*c_0101_6^26 + 4514*c_0101_6^24 - 58208*c_0101_6^22 + 836164*c_0101_6^20 - 4944051*c_0101_6^18 + 8459259*c_0101_6^16 - 8418642*c_0101_6^14 + 5771482*c_0101_6^12 - 2695663*c_0101_6^10 + 803603*c_0101_6^8 - 145586*c_0101_6^6 + 15369*c_0101_6^4 - 829*c_0101_6^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB