Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 2227509347] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1847 geometric_solution 5.49206692 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 3201 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 1 -1 0 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.946334182182 1.094021023742 0 0 3 2 0132 2310 0132 0132 0 0 0 0 0 0 0 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 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.068824893393 0.472931405879 3 4 1 5 1230 0132 0132 0132 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831996066259 1.350417553330 4 2 5 1 2310 3012 0132 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 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.831996066259 1.350417553330 4 2 3 4 3201 0132 3201 2310 0 0 0 0 0 0 0 0 -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 0 1 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.825480794962 0.732927439710 6 6 2 3 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 -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.681244883990 0.477107611452 5 6 6 5 0132 1230 3012 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 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.130548245013 0.933457069829 ==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' : d['c_1100_1'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_1100_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0011_2'], '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_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0011_2']), '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_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 4124686672836250137469/14585406064139638663*c_1100_1^18 + 17730799272012293440808/14585406064139638663*c_1100_1^17 - 1612997085514898667721/634148089745201681*c_1100_1^16 - 3754874467807774076388/205428254424501953*c_1100_1^15 - 3886653992198700344644/14585406064139638663*c_1100_1^14 + 1743617307193222812985938/14585406064139638663*c_1100_1^13 + 1703183549255717172610922/14585406064139638663*c_1100_1^12 - 5790296022254900970299960/14585406064139638663*c_1100_1^11 - 11516948070858872459729401/14585406064139638663*c_1100_1^10 + 4577442946219638817162566/14585406064139638663*c_1100_1^9 + 29282066040363707072729816/14585406064139638663*c_1100_1^8 + 19680277562786712803851921/14585406064139638663*c_1100_1^7 - 19481652446335465644102888/14585406064139638663*c_1100_1^6 - 33428298023720689500020062/14585406064139638663*c_1100_1^5 - 10823733535730253075742592/14585406064139638663*c_1100_1^4 + 575369304234763131041329/1121954312626126051*c_1100_1^3 + 5489146344544920294395488/14585406064139638663*c_1100_1^2 + 195355329993552907119161/14585406064139638663*c_1100_1 - 420942259916328798420867/14585406064139638663, c_0011_0 - 1, c_0011_2 + 599789814537857837/1279976046798819861*c_1100_1^18 + 736733422887115553/426658682266273287*c_1100_1^17 - 93280209128751103/18550377489837969*c_1100_1^16 - 33924751377380747902/1279976046798819861*c_1100_1^15 + 5373335648011245449/426658682266273287*c_1100_1^14 + 76459447482245832629/426658682266273287*c_1100_1^13 + 14164398027147138014/142219560755424429*c_1100_1^12 - 817516111929941708890/1279976046798819861*c_1100_1^11 - 397825406403820761221/426658682266273287*c_1100_1^10 + 987479172179618911967/1279976046798819861*c_1100_1^9 + 3375833917738469926780/1279976046798819861*c_1100_1^8 + 1539550179106860498080/1279976046798819861*c_1100_1^7 - 2650053609715914933125/1279976046798819861*c_1100_1^6 - 1127127184974851355593/426658682266273287*c_1100_1^5 - 249018485333343776879/426658682266273287*c_1100_1^4 + 839766072161067196463/1279976046798819861*c_1100_1^3 + 476314111574329777127/1279976046798819861*c_1100_1^2 - 1415179191863599295/1279976046798819861*c_1100_1 - 34358453249461028597/1279976046798819861, c_0011_5 + 193258361286230815/426658682266273287*c_1100_1^18 + 239679150701517280/142219560755424429*c_1100_1^17 - 30092391126549737/6183459163279323*c_1100_1^16 - 11066626090454032460/426658682266273287*c_1100_1^15 + 1736312238977689186/142219560755424429*c_1100_1^14 + 25034107695617898298/142219560755424429*c_1100_1^13 + 1527782601778146104/15802173417269381*c_1100_1^12 - 269432350643974601516/426658682266273287*c_1100_1^11 - 129101049357182350828/142219560755424429*c_1100_1^10 + 336062943093033664825/426658682266273287*c_1100_1^9 + 1102545398170437350177/426658682266273287*c_1100_1^8 + 468772864315409856997/426658682266273287*c_1100_1^7 - 888960165497869364902/426658682266273287*c_1100_1^6 - 359213686308793454812/142219560755424429*c_1100_1^5 - 69768240408744697081/142219560755424429*c_1100_1^4 + 278236677874379619499/426658682266273287*c_1100_1^3 + 148241423883233512825/426658682266273287*c_1100_1^2 - 2009057116023073846/426658682266273287*c_1100_1 - 10707746691296585722/426658682266273287, c_0101_0 + 11659164175029008/24150491449034337*c_1100_1^18 + 13505822918603915/8050163816344779*c_1100_1^17 - 1907724841089544/350007122449773*c_1100_1^16 - 626714427550822762/24150491449034337*c_1100_1^15 + 139250159725316699/8050163816344779*c_1100_1^14 + 1429600128125660900/8050163816344779*c_1100_1^13 + 191644645584708050/2683387938781593*c_1100_1^12 - 15655066181218004770/24150491449034337*c_1100_1^11 - 6722908473886883249/8050163816344779*c_1100_1^10 + 20990455267336452827/24150491449034337*c_1100_1^9 + 60005578688744570131/24150491449034337*c_1100_1^8 + 22005291989778289616/24150491449034337*c_1100_1^7 - 50149630850845093562/24150491449034337*c_1100_1^6 - 18952301673991834331/8050163816344779*c_1100_1^5 - 3228781581138819386/8050163816344779*c_1100_1^4 + 15013832917929037655/24150491449034337*c_1100_1^3 + 7543755894877756439/24150491449034337*c_1100_1^2 - 230563648274743478/24150491449034337*c_1100_1 - 548793279718913906/24150491449034337, c_0101_1 - 6119187944304287/24150491449034337*c_1100_1^18 - 7053520076397581/8050163816344779*c_1100_1^17 + 1006568331029830/350007122449773*c_1100_1^16 + 327357603676461703/24150491449034337*c_1100_1^15 - 75091860828112529/8050163816344779*c_1100_1^14 - 747028680427060838/8050163816344779*c_1100_1^13 - 95593481194234928/2683387938781593*c_1100_1^12 + 8189553157855850683/24150491449034337*c_1100_1^11 + 3464634544458206216/8050163816344779*c_1100_1^10 - 11041408041597966194/24150491449034337*c_1100_1^9 - 31059703490908459837/24150491449034337*c_1100_1^8 - 11261869135624800362/24150491449034337*c_1100_1^7 + 25896276558335065637/24150491449034337*c_1100_1^6 + 9788344912798886219/8050163816344779*c_1100_1^5 + 1736965510920763139/8050163816344779*c_1100_1^4 - 7593009743818220594/24150491449034337*c_1100_1^3 - 3961219510650037775/24150491449034337*c_1100_1^2 + 25125400083344168/24150491449034337*c_1100_1 + 279007376708145662/24150491449034337, c_0101_3 - 497200942105373855/1279976046798819861*c_1100_1^18 - 583750585645555145/426658682266273287*c_1100_1^17 + 80376201965766511/18550377489837969*c_1100_1^16 + 27001830343274839309/1279976046798819861*c_1100_1^15 - 5582078831686075994/426658682266273287*c_1100_1^14 - 61302341187903067811/426658682266273287*c_1100_1^13 - 9012851070493402331/142219560755424429*c_1100_1^12 + 665347463398125928891/1279976046798819861*c_1100_1^11 + 296407123716076454498/426658682266273287*c_1100_1^10 - 859273858780872479801/1279976046798819861*c_1100_1^9 - 2604518676353108936380/1279976046798819861*c_1100_1^8 - 1054769180356530078761/1279976046798819861*c_1100_1^7 + 2116947005704475829920/1279976046798819861*c_1100_1^6 + 848606456257653349886/426658682266273287*c_1100_1^5 + 169005116123401374488/426658682266273287*c_1100_1^4 - 657578078676844610342/1279976046798819861*c_1100_1^3 - 358442518095498023591/1279976046798819861*c_1100_1^2 + 4213006615152394265/1279976046798819861*c_1100_1 + 26770816180267032860/1279976046798819861, c_1100_1^19 + 5*c_1100_1^18 - 6*c_1100_1^17 - 71*c_1100_1^16 - 46*c_1100_1^15 + 423*c_1100_1^14 + 708*c_1100_1^13 - 1121*c_1100_1^12 - 3775*c_1100_1^11 - 821*c_1100_1^10 + 7894*c_1100_1^9 + 9698*c_1100_1^8 - 1448*c_1100_1^7 - 11399*c_1100_1^6 - 8226*c_1100_1^5 + 10*c_1100_1^4 + 2586*c_1100_1^3 + 967*c_1100_1^2 - 69*c_1100_1 - 71 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB