Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 2496989268] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0388 geometric_solution 4.45510593 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 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 -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 0 0 0 1.084213826705 0.185518645435 0 0 3 3 0132 2310 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 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 1.562866707428 0.319073366397 4 0 0 5 0132 0132 1023 0132 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 0 0 0 -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.900724477417 0.327968407274 3 1 1 3 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.787770712332 0.079594331899 2 5 6 5 0132 0321 0132 2031 0 0 0 0 0 -1 0 1 1 0 -1 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 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.637880321297 0.588581065410 6 4 2 4 1023 1302 0132 0321 0 0 0 0 0 0 -1 1 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 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.637880321297 0.588581065410 6 5 6 4 2031 1023 1302 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 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.409822386843 0.607394257868 ==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' : d['1'], 's_3_5' : negation(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' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], '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_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_2'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 24433787926583500/37250015921333757*c_0101_4^23 - 279090029531512178/37250015921333757*c_0101_4^22 - 1403152947825789497/37250015921333757*c_0101_4^21 - 4118094685687743547/37250015921333757*c_0101_4^20 - 7722644551188363037/37250015921333757*c_0101_4^19 - 166268321318677159/702830489081769*c_0101_4^18 - 316992947368198165/4138890657925973*c_0101_4^17 + 3628552413625649762/12416671973777919*c_0101_4^16 + 25805339764582247824/37250015921333757*c_0101_4^15 + 31682056026628719349/37250015921333757*c_0101_4^14 + 23480521160870065574/37250015921333757*c_0101_4^13 + 6175611417378260216/37250015921333757*c_0101_4^12 - 9927689953441143991/37250015921333757*c_0101_4^11 - 5903105869020067640/12416671973777919*c_0101_4^10 - 16869682435422592972/37250015921333757*c_0101_4^9 - 11292252099232411292/37250015921333757*c_0101_4^8 - 5418128745639678805/37250015921333757*c_0101_4^7 - 188266026214410448/4138890657925973*c_0101_4^6 - 242505005895289784/12416671973777919*c_0101_4^5 - 254363440263571451/37250015921333757*c_0101_4^4 + 175752940045717835/37250015921333757*c_0101_4^3 + 39592698408865483/12416671973777919*c_0101_4^2 + 686915484758098591/37250015921333757*c_0101_4 + 92326112891784095/37250015921333757, c_0011_0 - 1, c_0011_3 + 3352069070201227/12416671973777919*c_0101_4^23 + 40032797252040941/12416671973777919*c_0101_4^22 + 211052756035356902/12416671973777919*c_0101_4^21 + 648457976311142350/12416671973777919*c_0101_4^20 + 1262197840397177341/12416671973777919*c_0101_4^19 + 27568430754998047/234276829693923*c_0101_4^18 + 123348568944340084/4138890657925973*c_0101_4^17 - 745261889409391453/4138890657925973*c_0101_4^16 - 5089526964428142676/12416671973777919*c_0101_4^15 - 5987021572784315428/12416671973777919*c_0101_4^14 - 3687517248288880826/12416671973777919*c_0101_4^13 + 707693084397966571/12416671973777919*c_0101_4^12 + 4529873439515175094/12416671973777919*c_0101_4^11 + 1904415011366488442/4138890657925973*c_0101_4^10 + 4169123329553983459/12416671973777919*c_0101_4^9 + 1359346252195222238/12416671973777919*c_0101_4^8 - 976185641262608093/12416671973777919*c_0101_4^7 - 626669264903950497/4138890657925973*c_0101_4^6 - 476729548358042844/4138890657925973*c_0101_4^5 - 549458894743509994/12416671973777919*c_0101_4^4 + 20589487843870468/12416671973777919*c_0101_4^3 + 78671456513396641/4138890657925973*c_0101_4^2 + 136223837693579747/12416671973777919*c_0101_4 + 42549019658772202/12416671973777919, c_0011_5 - 355081167399041/12416671973777919*c_0101_4^23 - 3825524099825920/12416671973777919*c_0101_4^22 - 18203882339342341/12416671973777919*c_0101_4^21 - 51205293417064673/12416671973777919*c_0101_4^20 - 94084890358237706/12416671973777919*c_0101_4^19 - 2046406679905850/234276829693923*c_0101_4^18 - 13323366727398610/4138890657925973*c_0101_4^17 + 43348075599946133/4138890657925973*c_0101_4^16 + 336136077778920392/12416671973777919*c_0101_4^15 + 448696164994822622/12416671973777919*c_0101_4^14 + 364638694455130594/12416671973777919*c_0101_4^13 + 100632786591560986/12416671973777919*c_0101_4^12 - 204027107722612118/12416671973777919*c_0101_4^11 - 129273573539659807/4138890657925973*c_0101_4^10 - 377590764716798369/12416671973777919*c_0101_4^9 - 224008074055244434/12416671973777919*c_0101_4^8 - 38984530916385104/12416671973777919*c_0101_4^7 + 27606494552260311/4138890657925973*c_0101_4^6 + 36019314719661700/4138890657925973*c_0101_4^5 + 72051075939604106/12416671973777919*c_0101_4^4 + 24643949885711062/12416671973777919*c_0101_4^3 - 1412329487736898/4138890657925973*c_0101_4^2 + 2153359146225530/12416671973777919*c_0101_4 - 12306542416519103/12416671973777919, c_0101_0 - 128280661031442/4138890657925973*c_0101_4^23 - 1602123893320130/4138890657925973*c_0101_4^22 - 9038519737644086/4138890657925973*c_0101_4^21 - 30772455136440574/4138890657925973*c_0101_4^20 - 70166906365726738/4138890657925973*c_0101_4^19 - 2035669219987752/78092276564641*c_0101_4^18 - 93805383673037214/4138890657925973*c_0101_4^17 + 22806950225375618/4138890657925973*c_0101_4^16 + 230290293844934668/4138890657925973*c_0101_4^15 + 421816920950530389/4138890657925973*c_0101_4^14 + 453009709106910418/4138890657925973*c_0101_4^13 + 262925697523925067/4138890657925973*c_0101_4^12 - 57956661054372317/4138890657925973*c_0101_4^11 - 330063321774370236/4138890657925973*c_0101_4^10 - 419844151821905009/4138890657925973*c_0101_4^9 - 320332259484594831/4138890657925973*c_0101_4^8 - 128155978345589506/4138890657925973*c_0101_4^7 + 39853477098211173/4138890657925973*c_0101_4^6 + 111362392511165775/4138890657925973*c_0101_4^5 + 95409098567085761/4138890657925973*c_0101_4^4 + 42566966632263414/4138890657925973*c_0101_4^3 + 883989238546021/4138890657925973*c_0101_4^2 - 7592445131828458/4138890657925973*c_0101_4 - 8028992183357441/4138890657925973, c_0101_1 + 2087323388197570/12416671973777919*c_0101_4^23 + 25529373138013067/12416671973777919*c_0101_4^22 + 139365473049946982/12416671973777919*c_0101_4^21 + 450645553807039465/12416671973777919*c_0101_4^20 + 949238463412572202/12416671973777919*c_0101_4^19 + 24144351540486868/234276829693923*c_0101_4^18 + 257135789787975039/4138890657925973*c_0101_4^17 - 332711255288163432/4138890657925973*c_0101_4^16 - 3460988659106752576/12416671973777919*c_0101_4^15 - 5057369963899776016/12416671973777919*c_0101_4^14 - 4364732967670383311/12416671973777919*c_0101_4^13 - 1431723331126237910/12416671973777919*c_0101_4^12 + 2092697812857386377/12416671973777919*c_0101_4^11 + 1412893900705573562/4138890657925973*c_0101_4^10 + 4148727162277129546/12416671973777919*c_0101_4^9 + 2418185084661439448/12416671973777919*c_0101_4^8 + 378798579158278804/12416671973777919*c_0101_4^7 - 298107555462420323/4138890657925973*c_0101_4^6 - 362663722333409380/4138890657925973*c_0101_4^5 - 655809574898562595/12416671973777919*c_0101_4^4 - 187990609407185756/12416671973777919*c_0101_4^3 + 26126261175467837/4138890657925973*c_0101_4^2 + 82430345426103410/12416671973777919*c_0101_4 + 35658958545616741/12416671973777919, c_0101_2 + 26789580521177/4138890657925973*c_0101_4^23 + 231929424790121/4138890657925973*c_0101_4^22 + 654046296933409/4138890657925973*c_0101_4^21 - 257382881297564/4138890657925973*c_0101_4^20 - 6795935172513241/4138890657925973*c_0101_4^19 - 406481123968756/78092276564641*c_0101_4^18 - 35665307096275062/4138890657925973*c_0101_4^17 - 27591726740052865/4138890657925973*c_0101_4^16 + 18143427144638559/4138890657925973*c_0101_4^15 + 84694006932154547/4138890657925973*c_0101_4^14 + 124080071729380946/4138890657925973*c_0101_4^13 + 98217222507757943/4138890657925973*c_0101_4^12 + 17659857218355639/4138890657925973*c_0101_4^11 - 66115620333169771/4138890657925973*c_0101_4^10 - 106081355729202695/4138890657925973*c_0101_4^9 - 90504850996402174/4138890657925973*c_0101_4^8 - 41372813146450188/4138890657925973*c_0101_4^7 + 7878065990272574/4138890657925973*c_0101_4^6 + 30446242749609652/4138890657925973*c_0101_4^5 + 26195295429321359/4138890657925973*c_0101_4^4 + 12601979541684459/4138890657925973*c_0101_4^3 + 4158232848791839/4138890657925973*c_0101_4^2 - 1253907419036945/4138890657925973*c_0101_4 - 3983820416373354/4138890657925973, c_0101_4^24 + 12*c_0101_4^23 + 64*c_0101_4^22 + 201*c_0101_4^21 + 407*c_0101_4^20 + 513*c_0101_4^19 + 236*c_0101_4^18 - 555*c_0101_4^17 - 1546*c_0101_4^16 - 2057*c_0101_4^15 - 1575*c_0101_4^14 - 262*c_0101_4^13 + 1121*c_0101_4^12 + 1816*c_0101_4^11 + 1597*c_0101_4^10 + 798*c_0101_4^9 - 24*c_0101_4^8 - 473*c_0101_4^7 - 471*c_0101_4^6 - 250*c_0101_4^5 - 51*c_0101_4^4 + 49*c_0101_4^3 + 41*c_0101_4^2 + 18*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB