Magma V2.19-8 Tue Aug 20 2013 16:15:56 on localhost [Seed = 1107549823] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0174 geometric_solution 3.97678775 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 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 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 -3.855756131136 3.192903627108 0 0 3 3 0132 3201 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 1 0 -1 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.195820004700 0.287789468596 0 0 4 4 3201 0132 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 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.105132323017 0.045686505117 1 5 1 6 2310 0132 0132 0132 0 0 0 0 0 -1 0 1 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 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 1.479813792369 0.918214376191 2 4 2 4 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8.911240542765 3.508626428447 6 3 6 6 3012 0132 2310 3120 0 0 0 0 0 1 0 -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 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.509019896206 0.840315662834 5 5 3 5 3120 3201 0132 1230 0 0 0 0 0 1 -1 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 -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.509019896206 0.840315662834 ==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' : 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' : 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_3']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : negation(d['c_0101_4'])})} 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_4, c_0011_6, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 77038472275573137992619440/847067885332784934022987*c_0101_5^17 - 293803761543679974434060159/847067885332784934022987*c_0101_5^16 - 2362886823367844416056056102/847067885332784934022987*c_0101_5^15 + 2860523368596990853461586988/847067885332784934022987*c_0101_5^14 + 5373367907013432750001634725/847067885332784934022987*c_0101_5^13 - 5725261998288380008780342895/847067885332784934022987*c_0101_5^12 + 9294602635951872104413459980/847067885332784934022987*c_0101_5^11 + 33723015445329535532097268992/847067885332784934022987*c_0101_5^10 - 36505624973343489176482571375/847067885332784934022987*c_0101_5^9 - 121335880924475487772617119323/847067885332784934022987*c_0101_5^8 - 23499867835652572514369206216/847067885332784934022987*c_0101_5^7 + 97908273419361987778710034493/847067885332784934022987*c_0101_5^6 + 60055262202435342186848182604/847067885332784934022987*c_0101_5^5 + 4516147144038833934892497372/847067885332784934022987*c_0101_5^4 - 3844421136738768613274395249/847067885332784934022987*c_0101_5^3 - 3938330962372731611004923994/847067885332784934022987*c_0101_5^2 - 698873758871485670813561361/847067885332784934022987*c_0101_5 + 260970192222724508836143118/847067885332784934022987, c_0011_0 - 1, c_0011_3 - 197129876158329206912176/847067885332784934022987*c_0101_5^1\ 7 + 833163681362871690499917/847067885332784934022987*c_0101_5^16 + 5688761069911053319489684/847067885332784934022987*c_0101_5^15 - 9595681518306217268521732/847067885332784934022987*c_0101_5^14 - 9461190161065284673958409/847067885332784934022987*c_0101_5^13 + 17503446684020901568501566/847067885332784934022987*c_0101_5^12 - 30857399023068925658006349/847067885332784934022987*c_0101_5^11 - 72052412548673434282532870/847067885332784934022987*c_0101_5^10 + 119889622334608215236696528/847067885332784934022987*c_0101_5^9 + 258717094288699708318795455/847067885332784934022987*c_0101_5^8 - 34284281928344523757905715/847067885332784934022987*c_0101_5^7 - 227646328547637272661467875/847067885332784934022987*c_0101_5^6 - 76448563624496895362240433/847067885332784934022987*c_0101_5^5 + 9040207207767010156194322/847067885332784934022987*c_0101_5^4 + 11105787164329336436573299/847067885332784934022987*c_0101_5^3 + 8489340391859545884342197/847067885332784934022987*c_0101_5^2 - 756267043004258044221931/847067885332784934022987*c_0101_5 - 661006891142049371216241/847067885332784934022987, c_0011_4 - 872291233779652265177069/847067885332784934022987*c_0101_5^1\ 7 + 3403963168795736300631386/847067885332784934022987*c_0101_5^16 + 26420993724709157429935752/847067885332784934022987*c_0101_5^15 - 34556656679815709752302660/847067885332784934022987*c_0101_5^14 - 57049770947787294044370473/847067885332784934022987*c_0101_5^13 + 67371557943338007502948115/847067885332784934022987*c_0101_5^12 - 110198902906915734106980664/847067885332784934022987*c_0101_5^11 - 369511045377921535166872703/847067885332784934022987*c_0101_5^10 + 438499760314829972721099110/847067885332784934022987*c_0101_5^9 + 1331160390724906975758862579/847067885332784934022987*c_0101_5^8 + 175070286250399421991278673/847067885332784934022987*c_0101_5^7 - 1109493547536682883430622482/847067885332784934022987*c_0101_5^6 - 615708288544729074379400123/847067885332784934022987*c_0101_5^5 - 12243425524265452392122715/847067885332784934022987*c_0101_5^4 + 55040202249335209016595126/847067885332784934022987*c_0101_5^3 + 46139140334525682520078855/847067885332784934022987*c_0101_5^2 + 6802935603937309551371035/847067885332784934022987*c_0101_5 - 4281776097333071536240610/847067885332784934022987, c_0011_6 + 247631300787944966167563/847067885332784934022987*c_0101_5^1\ 7 - 919256516793536843112844/847067885332784934022987*c_0101_5^16 - 7676774666632755241095746/847067885332784934022987*c_0101_5^15 + 8351374969215122018405794/847067885332784934022987*c_0101_5^14 + 17855035841224683693630474/847067885332784934022987*c_0101_5^13 - 15681811830564438285350776/847067885332784934022987*c_0101_5^12 + 27786700321209398505522106/847067885332784934022987*c_0101_5^11 + 110510274767343474122582417/847067885332784934022987*c_0101_5^10 - 103172474576755093202816691/847067885332784934022987*c_0101_5^9 - 399536760993070605957211866/847067885332784934022987*c_0101_5^8 - 125153084249181338223585504/847067885332784934022987*c_0101_5^7 + 297916244883442200598480126/847067885332784934022987*c_0101_5^6 + 233063134574365231688155170/847067885332784934022987*c_0101_5^5 + 39039683611152318217837028/847067885332784934022987*c_0101_5^4 - 10139991087386763810457644/847067885332784934022987*c_0101_5^3 - 12772425236237956792279340/847067885332784934022987*c_0101_5^2 - 4414890682538049236998213/847067885332784934022987*c_0101_5 + 1013433153475020514048068/847067885332784934022987, c_0101_0 - 1273461148894827616919953/847067885332784934022987*c_0101_5^\ 17 + 4780012653353556355309524/847067885332784934022987*c_0101_5^16 + 39439657116447773202089367/847067885332784934022987*c_0101_5^15 - 45308589563031517028678744/847067885332784934022987*c_0101_5^14 - 94210436508044612128969849/847067885332784934022987*c_0101_5^13 + 93550918776377914641012945/847067885332784934022987*c_0101_5^12 - 144013678398539746448353559/847067885332784934022987*c_0101_5^11 - 574055910503622994895877498/847067885332784934022987*c_0101_5^10 + 584264204417215539039717302/847067885332784934022987*c_0101_5^9 + 2073505737055952642261292784/847067885332784934022987*c_0101_5^8 + 457198937638733047156130768/847067885332784934022987*c_0101_5^7 - 1707192197722762082165129040/847067885332784934022987*c_0101_5^6 - 1080771437890758098241012517/847067885332784934022987*c_0101_5^5 - 46278477837170453714490946/847067885332784934022987*c_0101_5^4 + 92814110524930243640491430/847067885332784934022987*c_0101_5^3 + 74433087275093827751462910/847067885332784934022987*c_0101_5^2 + 14748438524425170954615275/847067885332784934022987*c_0101_5 - 6579757939522970508260739/847067885332784934022987, c_0101_4 - 1565654924876331757778508/847067885332784934022987*c_0101_5^\ 17 + 5923853789236061968455533/847067885332784934022987*c_0101_5^16 + 48264462693047678400997930/847067885332784934022987*c_0101_5^15 - 56934821261981420304533767/847067885332784934022987*c_0101_5^14 - 112902115130366976454457018/847067885332784934022987*c_0101_5^13 + 115559595086082139380707702/847067885332784934022987*c_0101_5^12 - 180982092311769993539041127/847067885332784934022987*c_0101_5^11 - 696627839674795367424890267/847067885332784934022987*c_0101_5^10 + 730137014897297896853382561/847067885332784934022987*c_0101_5^9 + 2515787048564603178303072481/847067885332784934022987*c_0101_5^8 + 518572257126615100994620156/847067885332784934022987*c_0101_5^7 - 2072807987925920104294586275/847067885332784934022987*c_0101_5^6 - 1289800027428873900329658579/847067885332784934022987*c_0101_5^5 - 52121275550503013907503418/847067885332784934022987*c_0101_5^4 + 112036954415594576286363573/847067885332784934022987*c_0101_5^3 + 89602575232280610506473741/847067885332784934022987*c_0101_5^2 + 17706365648532932043013290/847067885332784934022987*c_0101_5 - 8109410921111632051503998/847067885332784934022987, c_0101_5^18 - 4*c_0101_5^17 - 30*c_0101_5^16 + 43*c_0101_5^15 + 64*c_0101_5^14 - 89*c_0101_5^13 + 132*c_0101_5^12 + 419*c_0101_5^11 - 561*c_0101_5^10 - 1503*c_0101_5^9 + 11*c_0101_5^8 + 1385*c_0101_5^7 + 540*c_0101_5^6 - 137*c_0101_5^5 - 77*c_0101_5^4 - 40*c_0101_5^3 + c_0101_5^2 + 7*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB