Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 2665415263] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0315 geometric_solution 4.35066393 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.642951960642 0.060852707309 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -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 -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.815530535519 0.085045461163 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 1 0 -1 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 -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.652693202485 0.313425495245 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 1 0 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 -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 1.725758471981 1.922792012059 3 6 5 5 0132 0132 2310 1230 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 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.184695351916 1.179186219886 4 4 6 3 3012 3201 3201 0132 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 -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.184695351916 1.179186219886 5 4 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387404572403 0.251650395861 ==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' : d['c_0101_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_1'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], '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' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_5, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 322221734900623458369498134087472726521450561419/263488619469346553\ 9297633310922172418980592599*c_0101_5^23 + 2961232959232072942286217947108405344951512345125/26348861946934655\ 39297633310922172418980592599*c_0101_5^22 - 412846669825024673608599256534599549093034087177/263488619469346553\ 9297633310922172418980592599*c_0101_5^21 - 42701953781280046632874021582255943458851054525049/2634886194693465\ 539297633310922172418980592599*c_0101_5^20 - 7848539470905770312260091815148589370659886252341/26348861946934655\ 39297633310922172418980592599*c_0101_5^19 + 57757652012596662921817014922475716696032023772751/2634886194693465\ 539297633310922172418980592599*c_0101_5^18 - 15817806417290978781200560615153226529206564519289/2634886194693465\ 539297633310922172418980592599*c_0101_5^17 + 47801920644710259865035670653924761499578304890835/2395351086084968\ 67208875755538379310816417509*c_0101_5^16 + 274734774173594393759950326096478475272469533379226/263488619469346\ 5539297633310922172418980592599*c_0101_5^15 - 492913165019271183769567343724845507208654379815/239535108608496867\ 208875755538379310816417509*c_0101_5^14 + 186462349180340632442346890356746207827515494264150/263488619469346\ 5539297633310922172418980592599*c_0101_5^13 - 1362562721621048557650577072486313640569967474660921/26348861946934\ 65539297633310922172418980592599*c_0101_5^12 - 1247254645832235898661476259543304322651800746287689/26348861946934\ 65539297633310922172418980592599*c_0101_5^11 - 1521675376941987143544669936706769138732954189999069/26348861946934\ 65539297633310922172418980592599*c_0101_5^10 - 656827787462025609016155385611627807111248648397264/263488619469346\ 5539297633310922172418980592599*c_0101_5^9 + 66234099421157803905224430215971748849986093850342/2395351086084968\ 67208875755538379310816417509*c_0101_5^8 + 1173337806547449316880502117460572051641700223406469/26348861946934\ 65539297633310922172418980592599*c_0101_5^7 + 1374670167855329858645963213621372742001627229793509/26348861946934\ 65539297633310922172418980592599*c_0101_5^6 + 942311552808575336902504870906320810510913593932092/263488619469346\ 5539297633310922172418980592599*c_0101_5^5 + 569002834056375123350557452357032516153862773441184/263488619469346\ 5539297633310922172418980592599*c_0101_5^4 + 239837185122221624490045304679189652798756982948950/263488619469346\ 5539297633310922172418980592599*c_0101_5^3 + 84594013793000071315851645244328317969412979892865/2634886194693465\ 539297633310922172418980592599*c_0101_5^2 + 19453782758757216395413948789963826115015214029058/2634886194693465\ 539297633310922172418980592599*c_0101_5 + 3022747493173002475189351557809092116993707371789/26348861946934655\ 39297633310922172418980592599, c_0011_0 - 1, c_0011_1 - 44678591107130705454760331784230315619332555/239535108608496\ 867208875755538379310816417509*c_0101_5^23 - 410815007079171605837624082539083861169850550/239535108608496867208\ 875755538379310816417509*c_0101_5^22 + 68969779859090165783302230776681853600987480/2395351086084968672088\ 75755538379310816417509*c_0101_5^21 + 6044302347799584481188911618271137070511462958/23953510860849686720\ 8875755538379310816417509*c_0101_5^20 + 1069279925648755862421900182540923075811063593/23953510860849686720\ 8875755538379310816417509*c_0101_5^19 - 9840317238592762886223197030593474613107353514/23953510860849686720\ 8875755538379310816417509*c_0101_5^18 + 2229226278522150173885599488841673827365990904/23953510860849686720\ 8875755538379310816417509*c_0101_5^17 - 70017934578971986541037876641527740644311037572/2395351086084968672\ 08875755538379310816417509*c_0101_5^16 - 39720373320125943008905338150842381647284333087/2395351086084968672\ 08875755538379310816417509*c_0101_5^15 + 22557135466442126251831424291863470916330455256/2395351086084968672\ 08875755538379310816417509*c_0101_5^14 - 18722521165853405802858521569615673515104833056/2395351086084968672\ 08875755538379310816417509*c_0101_5^13 + 181755731566456390483462397869460640714486867088/239535108608496867\ 208875755538379310816417509*c_0101_5^12 + 181097607138281191484817920917806675036550110102/239535108608496867\ 208875755538379310816417509*c_0101_5^11 + 153587203364731881421784388732233464048787231331/239535108608496867\ 208875755538379310816417509*c_0101_5^10 + 50046139238533957043063059616613685782111081796/2395351086084968672\ 08875755538379310816417509*c_0101_5^9 - 142164832551955336432586768961752911394640281168/239535108608496867\ 208875755538379310816417509*c_0101_5^8 - 170680964017524873964613072048237395896334302554/239535108608496867\ 208875755538379310816417509*c_0101_5^7 - 147427906478749063209813338081359964604364057042/239535108608496867\ 208875755538379310816417509*c_0101_5^6 - 87911590629539547333503820060228040807808513822/2395351086084968672\ 08875755538379310816417509*c_0101_5^5 - 41093344838140160578387805967918648063827663634/2395351086084968672\ 08875755538379310816417509*c_0101_5^4 - 13516415445188687451676102619318608910209971636/2395351086084968672\ 08875755538379310816417509*c_0101_5^3 - 2674683027902383727293928705133822645146741809/23953510860849686720\ 8875755538379310816417509*c_0101_5^2 - 383320035233717712049996934789183369744447512/239535108608496867208\ 875755538379310816417509*c_0101_5 + 44329792186333198791014830121641289824073650/2395351086084968672088\ 75755538379310816417509, c_0011_5 - 42469072585264044482612409503911272560458184/239535108608496\ 867208875755538379310816417509*c_0101_5^23 - 369161135413676017759185492140472670996763513/239535108608496867208\ 875755538379310816417509*c_0101_5^22 + 248835029976647194956159800106254897898102027/239535108608496867208\ 875755538379310816417509*c_0101_5^21 + 5598947010640030597604909238982000973768126714/23953510860849686720\ 8875755538379310816417509*c_0101_5^20 - 1802158904321176239716608888565562626811180396/23953510860849686720\ 8875755538379310816417509*c_0101_5^19 - 8130795684490895775755095144664271542832613825/23953510860849686720\ 8875755538379310816417509*c_0101_5^18 + 6406068080059094751254680543208859862787656308/23953510860849686720\ 8875755538379310816417509*c_0101_5^17 - 70506904071328684292981953145236761577487748266/2395351086084968672\ 08875755538379310816417509*c_0101_5^16 - 2405450228149712057851713062797606643916874653/23953510860849686720\ 8875755538379310816417509*c_0101_5^15 + 19750237092412381657462768810497165530696368411/2395351086084968672\ 08875755538379310816417509*c_0101_5^14 - 31881048334436272686354296661006167052626642506/2395351086084968672\ 08875755538379310816417509*c_0101_5^13 + 192078582276259349855732664671770202755392954430/239535108608496867\ 208875755538379310816417509*c_0101_5^12 + 75757470667031840221869792569559157988884091614/2395351086084968672\ 08875755538379310816417509*c_0101_5^11 + 114310802897251634852498178857325864715494158600/239535108608496867\ 208875755538379310816417509*c_0101_5^10 + 5524341411213365980661358384029640618083691099/23953510860849686720\ 8875755538379310816417509*c_0101_5^9 - 134121484138159503949348650432874609288510659127/239535108608496867\ 208875755538379310816417509*c_0101_5^8 - 93045536192413231286259488068840991741664084337/2395351086084968672\ 08875755538379310816417509*c_0101_5^7 - 101785887522657375884672811518555622449403265024/239535108608496867\ 208875755538379310816417509*c_0101_5^6 - 44198532929810063628420909371106167426577695565/2395351086084968672\ 08875755538379310816417509*c_0101_5^5 - 21146396346359765228872826282020829615632863069/2395351086084968672\ 08875755538379310816417509*c_0101_5^4 - 6208933022919363602224397841422474623589401975/23953510860849686720\ 8875755538379310816417509*c_0101_5^3 - 997710885752947229485176303658513460322537262/239535108608496867208\ 875755538379310816417509*c_0101_5^2 - 316910161842712263737079365630706304007967939/239535108608496867208\ 875755538379310816417509*c_0101_5 - 51294525862038759252971077210205113676760066/2395351086084968672088\ 75755538379310816417509, c_0101_0 + 114704808896207967229611462200605895437943386/23953510860849\ 6867208875755538379310816417509*c_0101_5^23 + 1023870344149994881705404789559204039238439153/23953510860849686720\ 8875755538379310816417509*c_0101_5^22 - 430884846609260406414191381128658168143194366/239535108608496867208\ 875755538379310816417509*c_0101_5^21 - 15210833880618451140164702753485876506218263753/2395351086084968672\ 08875755538379310816417509*c_0101_5^20 + 1262006958372789909367100553050503912526496915/23953510860849686720\ 8875755538379310816417509*c_0101_5^19 + 22051917884750285222388754500122581947073146662/2395351086084968672\ 08875755538379310816417509*c_0101_5^18 - 11445872916587574246620708132671649722694083331/2395351086084968672\ 08875755538379310816417509*c_0101_5^17 + 187520138911701389376490885157488415623345455986/239535108608496867\ 208875755538379310816417509*c_0101_5^16 + 49369548588966073862842075463022432740143105421/2395351086084968672\ 08875755538379310816417509*c_0101_5^15 - 37146533025009570243187867128189773296067958244/2395351086084968672\ 08875755538379310816417509*c_0101_5^14 + 68545598313265487896817262890568054208763676228/2395351086084968672\ 08875755538379310816417509*c_0101_5^13 - 499000384495611568717536688354589575894377050165/239535108608496867\ 208875755538379310816417509*c_0101_5^12 - 318827909626535684991736406921674494054391122158/239535108608496867\ 208875755538379310816417509*c_0101_5^11 - 398957505408837295127921199967197234936608401839/239535108608496867\ 208875755538379310816417509*c_0101_5^10 - 85927981350078734310455575206609521800687549431/2395351086084968672\ 08875755538379310816417509*c_0101_5^9 + 332775756740800724724408767990571016692281106739/239535108608496867\ 208875755538379310816417509*c_0101_5^8 + 340117330065844609325279273332388685031536956601/239535108608496867\ 208875755538379310816417509*c_0101_5^7 + 359367129942190084814751463701930543064413911681/239535108608496867\ 208875755538379310816417509*c_0101_5^6 + 195605948422681863543629245407859668397353073826/239535108608496867\ 208875755538379310816417509*c_0101_5^5 + 105356560810759768286835553008638432343408024417/239535108608496867\ 208875755538379310816417509*c_0101_5^4 + 33539776500227838225967157280995775339679850235/2395351086084968672\ 08875755538379310816417509*c_0101_5^3 + 8274230814889838645349366815723368356683353744/23953510860849686720\ 8875755538379310816417509*c_0101_5^2 + 1138800038262746453492459927986093081384749324/23953510860849686720\ 8875755538379310816417509*c_0101_5 - 31166005390732905360678515264208770023535436/2395351086084968672088\ 75755538379310816417509, c_0101_1 + 20957580959036285709259453175336846989493482/239535108608496\ 867208875755538379310816417509*c_0101_5^23 + 198211602570638401195179643501601896488925407/239535108608496867208\ 875755538379310816417509*c_0101_5^22 + 13878613493429978709494329970128605739677778/2395351086084968672088\ 75755538379310816417509*c_0101_5^21 - 2884070874579915194411571795582642135983566949/23953510860849686720\ 8875755538379310816417509*c_0101_5^20 - 1236460230111899395872935568318218174876128035/23953510860849686720\ 8875755538379310816417509*c_0101_5^19 + 5086924899661051674146050628906871772169391690/23953510860849686720\ 8875755538379310816417509*c_0101_5^18 + 228679244485442075872519464833497844233276440/239535108608496867208\ 875755538379310816417509*c_0101_5^17 + 31510481602922643930695186926779997095145783191/2395351086084968672\ 08875755538379310816417509*c_0101_5^16 + 27542729854796813282017505019068371567088930865/2395351086084968672\ 08875755538379310816417509*c_0101_5^15 - 12492764716852554807418864760950643837183880432/2395351086084968672\ 08875755538379310816417509*c_0101_5^14 + 2559514212542238141903236254582178559550881919/23953510860849686720\ 8875755538379310816417509*c_0101_5^13 - 79587237617289568236283246629335193243330775828/2395351086084968672\ 08875755538379310816417509*c_0101_5^12 - 108886355362176324639109077592877230885530202766/239535108608496867\ 208875755538379310816417509*c_0101_5^11 - 76648870110083009051014100446462071667165357458/2395351086084968672\ 08875755538379310816417509*c_0101_5^10 - 25713013651034408639363095254222970611549846005/2395351086084968672\ 08875755538379310816417509*c_0101_5^9 + 72236157658907186244165171420902656434266272182/2395351086084968672\ 08875755538379310816417509*c_0101_5^8 + 99319431667313916102955911263574659116880340699/2395351086084968672\ 08875755538379310816417509*c_0101_5^7 + 74100790950007090206992233335526133664636027474/2395351086084968672\ 08875755538379310816417509*c_0101_5^6 + 43395181677023575920870468006980670531667544412/2395351086084968672\ 08875755538379310816417509*c_0101_5^5 + 18861139878190465205864838274745397913619660339/2395351086084968672\ 08875755538379310816417509*c_0101_5^4 + 5678919928266480857257484641755340332261087680/23953510860849686720\ 8875755538379310816417509*c_0101_5^3 + 1037834615061097440705645085032466691393814520/23953510860849686720\ 8875755538379310816417509*c_0101_5^2 + 101831133145936811162909876706742077525445987/239535108608496867208\ 875755538379310816417509*c_0101_5 + 136683312463889709919925676511385919450377676/239535108608496867208\ 875755538379310816417509, c_0101_4 + 20342411609353694101331656346725828472811398/239535108608496\ 867208875755538379310816417509*c_0101_5^23 + 193352490965180063261849414074864597451323923/239535108608496867208\ 875755538379310816417509*c_0101_5^22 + 25878114349971263223266286167181550561905963/2395351086084968672088\ 75755538379310816417509*c_0101_5^21 - 2768696028161879760945261130817665027219527671/23953510860849686720\ 8875755538379310816417509*c_0101_5^20 - 1342176584844663373181334772600224018084034437/23953510860849686720\ 8875755538379310816417509*c_0101_5^19 + 4435367069873298480709438212810532556805556348/23953510860849686720\ 8875755538379310816417509*c_0101_5^18 + 447641360905924751642886917741419242826285725/239535108608496867208\ 875755538379310816417509*c_0101_5^17 + 31266674043913786813157536777396072371004723775/2395351086084968672\ 08875755538379310816417509*c_0101_5^16 + 27974050579782144967029852711008238931059958379/2395351086084968672\ 08875755538379310816417509*c_0101_5^15 - 5503602703696592260365316226114413484968380158/23953510860849686720\ 8875755538379310816417509*c_0101_5^14 + 3725579957921014784751862756187898009165245956/23953510860849686720\ 8875755538379310816417509*c_0101_5^13 - 78243373087526686523045758195894349274981815103/2395351086084968672\ 08875755538379310816417509*c_0101_5^12 - 108397269284838148530067361072534310092805878955/239535108608496867\ 208875755538379310816417509*c_0101_5^11 - 93700161996788716828195874764094077541468211327/2395351086084968672\ 08875755538379310816417509*c_0101_5^10 - 38628620388631978551157543428650090319938933467/2395351086084968672\ 08875755538379310816417509*c_0101_5^9 + 56703134634978918078775401827455418536045926975/2395351086084968672\ 08875755538379310816417509*c_0101_5^8 + 98816221042632229691848908750249040729108962194/2395351086084968672\ 08875755538379310816417509*c_0101_5^7 + 87638249663271951492671812925342886272756047850/2395351086084968672\ 08875755538379310816417509*c_0101_5^6 + 57149609175891246219056863619564397577576854062/2395351086084968672\ 08875755538379310816417509*c_0101_5^5 + 30933325626585900259732239950848485853583112199/2395351086084968672\ 08875755538379310816417509*c_0101_5^4 + 11029181988040685982428017458742232316495185253/2395351086084968672\ 08875755538379310816417509*c_0101_5^3 + 3212050025839090557354942644527623070709000916/23953510860849686720\ 8875755538379310816417509*c_0101_5^2 + 504998627922545736292984337005326334914810491/239535108608496867208\ 875755538379310816417509*c_0101_5 + 34229300154655259599276029174781765382559162/2395351086084968672088\ 75755538379310816417509, c_0101_5^24 + 9*c_0101_5^23 - 3*c_0101_5^22 - 132*c_0101_5^21 + c_0101_5^20 + 180*c_0101_5^19 - 87*c_0101_5^18 + 1648*c_0101_5^17 + 545*c_0101_5^16 - 138*c_0101_5^15 + 648*c_0101_5^14 - 4349*c_0101_5^13 - 3055*c_0101_5^12 - 4086*c_0101_5^11 - 1365*c_0101_5^10 + 2505*c_0101_5^9 + 3078*c_0101_5^8 + 3652*c_0101_5^7 + 2280*c_0101_5^6 + 1368*c_0101_5^5 + 548*c_0101_5^4 + 186*c_0101_5^3 + 46*c_0101_5^2 + 6*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB