Magma V2.19-8 Tue Aug 20 2013 16:17:39 on localhost [Seed = 1014866138] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1889 geometric_solution 5.50827678 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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 -1 0 1 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.304118907430 0.376498302385 0 1 0 1 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 -1 0 1 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 -1.297018745918 0.619622309728 4 3 5 0 0132 3012 0132 0132 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 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.671379799496 1.007629086523 2 4 0 5 1230 0132 0132 3201 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 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 0 0 0 0.671379799496 1.007629086523 2 3 6 6 0132 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.223142694415 1.458102274535 5 3 5 2 2310 2310 3201 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 -1 0 1 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.168097834641 1.175195586590 6 4 6 4 2031 2310 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.427288226741 0.999306218875 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 15937857748335353065344601569931784/1571366867865733904171916839725\ *c_0101_2^25 + 51351168029489893521948873531745757/3142733735731467\ 80834383367945*c_0101_2^23 - 1273691464619160687747775841465055617/\ 1571366867865733904171916839725*c_0101_2^21 + 3378495679487819927269186476866210833/15713668678657339041719168397\ 25*c_0101_2^19 - 4648377666279015596495285474325976019/157136686786\ 5733904171916839725*c_0101_2^17 + 488607786123137970532575024461576\ 869/1571366867865733904171916839725*c_0101_2^15 + 1211990930587678382380178407121665022/31427337357314678083438336794\ 5*c_0101_2^13 - 2289170148261184497534245790205159298/3142733735731\ 46780834383367945*c_0101_2^11 + 94962693961686276319755389316010217\ 04/1571366867865733904171916839725*c_0101_2^9 - 4078807477538545519018408991615263226/15713668678657339041719168397\ 25*c_0101_2^7 + 906068933861705944145138817913945506/15713668678657\ 33904171916839725*c_0101_2^5 - 76852930308104379609839785747393844/\ 1571366867865733904171916839725*c_0101_2^3 + 1022416656592393398094878890820074/1571366867865733904171916839725*\ c_0101_2, c_0011_0 - 1, c_0011_2 - 2931736033720462059758392398008/6285467471462935616687667358\ 9*c_0101_2^25 + 236345754137569302175795196449763/31427337357314678\ 0834383367945*c_0101_2^23 - 1174714937803809121603616410370059/3142\ 73373573146780834383367945*c_0101_2^21 + 3124264077571281721776705035535473/314273373573146780834383367945*c\ _0101_2^19 - 4322748438590723021419087883928659/3142733735731467808\ 34383367945*c_0101_2^17 + 521380465980218460181345691955203/3142733\ 73573146780834383367945*c_0101_2^15 + 1109806393836784498941092753004794/62854674714629356166876673589*c_\ 0101_2^13 - 10603995375680910154874121354829866/3142733735731467808\ 34383367945*c_0101_2^11 + 8904219051373054396907710618864522/314273\ 373573146780834383367945*c_0101_2^9 - 3916070141257520954111219360949114/314273373573146780834383367945*c\ _0101_2^7 + 917440446006964407401465171825482/314273373573146780834\ 383367945*c_0101_2^5 - 91894465144432056833684177837721/31427337357\ 3146780834383367945*c_0101_2^3 + 3033966576884092030620994599471/31\ 4273373573146780834383367945*c_0101_2, c_0011_5 - 24641210406826425973770062527352/314273373573146780834383367\ 945*c_0101_2^24 + 397225480150724777476327966274239/314273373573146\ 780834383367945*c_0101_2^22 - 1973423876827049437315074648067451/31\ 4273373573146780834383367945*c_0101_2^20 + 5244243119644176251562243717375719/314273373573146780834383367945*c\ _0101_2^18 - 7241995207929890533149366211878926/3142733735731467808\ 34383367945*c_0101_2^16 + 831461655011579919017467993419098/3142733\ 73573146780834383367945*c_0101_2^14 + 9361035083630132937725231661288024/314273373573146780834383367945*c\ _0101_2^12 - 17795042235758229217536448574611334/314273373573146780\ 834383367945*c_0101_2^10 + 14868688285282831323669669667112753/3142\ 73373573146780834383367945*c_0101_2^8 - 6462025917088041110766807088553267/314273373573146780834383367945*c\ _0101_2^6 + 1467844924661686065304942874365321/31427337357314678083\ 4383367945*c_0101_2^4 - 26870470351347581751683727693504/6285467471\ 4629356166876673589*c_0101_2^2 + 2858621698954119557733843460441/31\ 4273373573146780834383367945, c_0011_6 - 13928307631655337361879144154336/314273373573146780834383367\ 945*c_0101_2^25 + 224345602797457518210125591966948/314273373573146\ 780834383367945*c_0101_2^23 - 1112613358865321005234654425587901/31\ 4273373573146780834383367945*c_0101_2^21 + 2951319062552197452087781883385173/314273373573146780834383367945*c\ _0101_2^19 - 4062903197072917238141223028420261/3142733735731467808\ 34383367945*c_0101_2^17 + 87569871681126642517146895952518/62854674\ 714629356166876673589*c_0101_2^15 + 5269325668316138075307481692035477/314273373573146780834383367945*c\ _0101_2^13 - 9990907978469244474583750621277409/3142733735731467808\ 34383367945*c_0101_2^11 + 8313890367815821640239929808518293/314273\ 373573146780834383367945*c_0101_2^9 - 3613169085694550862338963752656194/314273373573146780834383367945*c\ _0101_2^7 + 833682933125237881980804957141047/314273373573146780834\ 383367945*c_0101_2^5 - 82757507106316049076108902922502/31427337357\ 3146780834383367945*c_0101_2^3 + 641790640978498659900526067077/628\ 54674714629356166876673589*c_0101_2, c_0101_0 - 3720092062752642016524081923464/3142733735731467808343833679\ 45*c_0101_2^24 + 11938215068589485717418977088869/62854674714629356\ 166876673589*c_0101_2^22 - 293456416148831155187117615539088/314273\ 373573146780834383367945*c_0101_2^20 + 153932155835275805395788826794625/62854674714629356166876673589*c_0\ 101_2^18 - 1035328896331375597246365606758578/314273373573146780834\ 383367945*c_0101_2^16 + 47349826281762144460293775465468/3142733735\ 73146780834383367945*c_0101_2^14 + 1416807572863497417113777502636538/314273373573146780834383367945*c\ _0101_2^12 - 2578234137242346459714506034798182/3142733735731467808\ 34383367945*c_0101_2^10 + 2050200584312472807765619285938959/314273\ 373573146780834383367945*c_0101_2^8 - 164234909807720204071406637640474/62854674714629356166876673589*c_0\ 101_2^6 + 32461957981115177549477732472156/628546747146293561668766\ 73589*c_0101_2^4 - 9519348657967794128366031680804/3142733735731467\ 80834383367945*c_0101_2^2 - 42147861762122892764182942299/314273373\ 573146780834383367945, c_0101_1 + 14864874393688018314082723789632/314273373573146780834383367\ 945*c_0101_2^24 - 239946623325925536402115431857736/314273373573146\ 780834383367945*c_0101_2^22 + 1195643243864689313378864143369252/31\ 4273373573146780834383367945*c_0101_2^20 - 3189507240998885145252157091952746/314273373573146780834383367945*c\ _0101_2^18 + 4437993059760308530173219564515237/3142733735731467808\ 34383367945*c_0101_2^16 - 119556995403151957287620381956326/6285467\ 4714629356166876673589*c_0101_2^14 - 5635633013434359604182753699619614/314273373573146780834383367945*c\ _0101_2^12 + 10862314117012613039078060445072133/314273373573146780\ 834383367945*c_0101_2^10 - 9206086191212672195696604028001621/31427\ 3373573146780834383367945*c_0101_2^8 + 4095143709808491912872823809183078/314273373573146780834383367945*c\ _0101_2^6 - 964768156723045438979682362841849/314273373573146780834\ 383367945*c_0101_2^4 + 95589278666146070447659387647434/31427337357\ 3146780834383367945*c_0101_2^2 - 491051691519728115897043870489/628\ 54674714629356166876673589, c_0101_2^26 - 911/56*c_0101_2^24 + 2309/28*c_0101_2^22 - 3145/14*c_0101_2^20 + 9109/28*c_0101_2^18 - 2161/28*c_0101_2^16 - 20989/56*c_0101_2^14 + 10895/14*c_0101_2^12 - 19883/28*c_0101_2^10 + 19685/56*c_0101_2^8 - 5513/56*c_0101_2^6 + 100/7*c_0101_2^4 - 13/14*c_0101_2^2 + 1/56 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB