Magma V2.19-8 Tue Aug 20 2013 16:18:44 on localhost [Seed = 3103335884] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2900 geometric_solution 6.10811906 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 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 -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.148077555280 0.517425753242 0 1 1 4 0132 3201 2310 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.237109642120 1.126016666491 4 0 3 5 3012 0132 2103 0132 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 -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.380057395857 0.595345915706 2 6 5 0 2103 0132 1302 0132 0 0 0 0 0 0 1 -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 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.160839905050 0.805865787917 1 5 0 2 3012 2310 0132 1230 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597205154575 1.146855520729 3 6 2 4 2031 1302 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 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 1 -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 0 0 0 0.761820685744 1.193364051594 6 3 6 5 2310 0132 3201 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 1 -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.637606000425 0.725037751440 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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_6']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_3']})} 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_5, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 11600370330933147796641556736/268721612007718278566547*c_0101_6^21 - 116259636021447735294463818208/268721612007718278566547*c_0101_6^20 + 2205073479840321582980646192/29857956889746475396283*c_0101_6^19 + 45198502973594263261589849648/89573870669239426188849*c_0101_6^18 - 199470065189986138219173551732/268721612007718278566547*c_0101_6^17 + 405144630365265377897045431936/268721612007718278566547*c_0101_6^\ 16 + 920285300497353568204944352660/268721612007718278566547*c_0101\ _6^15 - 598749692817827367972174809728/268721612007718278566547*c_0\ 101_6^14 - 266065569210584154315541693380/29857956889746475396283*c\ _0101_6^13 - 8670604499155569162996986434/20670893231362944505119*c\ _0101_6^12 + 3011674161536541649219355472680/2687216120077182785665\ 47*c_0101_6^11 + 247408235207574547552505137690/8957387066923942618\ 8849*c_0101_6^10 - 2141774289718567226529585772222/2687216120077182\ 78566547*c_0101_6^9 - 199807080998632622186621502074/89573870669239\ 426188849*c_0101_6^8 + 969069221890145122350556372093/2687216120077\ 18278566547*c_0101_6^7 + 210260400684890456612569642949/26872161200\ 7718278566547*c_0101_6^6 - 287139242814333566331633427585/268721612\ 007718278566547*c_0101_6^5 - 9442429353761301351300230791/895738706\ 69239426188849*c_0101_6^4 + 52161276909344280749741007571/268721612\ 007718278566547*c_0101_6^3 - 652169361339849987492605255/8957387066\ 9239426188849*c_0101_6^2 - 4535877549881279535029372515/26872161200\ 7718278566547*c_0101_6 + 774986911875969497926832341/26872161200771\ 8278566547, c_0011_0 - 1, c_0011_3 - 109264655595021006507621792/11483829572979413613955*c_0101_6\ ^21 + 1096904278382684693027476848/11483829572979413613955*c_0101_6\ ^20 - 204180921297610621152185376/11483829572979413613955*c_0101_6^\ 19 - 1285604977450530285448251052/11483829572979413613955*c_0101_6^\ 18 + 378537354968211482999251532/2296765914595882722791*c_0101_6^17 - 767065515302237443307217384/2296765914595882722791*c_0101_6^16 - 8615380564967465841654710144/11483829572979413613955*c_0101_6^15 + 5817271700543082646977789848/11483829572979413613955*c_0101_6^14 + 22590762233062263620877247294/11483829572979413613955*c_0101_6^13 + 707835898477615861672084226/11483829572979413613955*c_0101_6^12 - 28655138571138237939993133652/11483829572979413613955*c_0101_6^11 - 6733887376902065889279705854/11483829572979413613955*c_0101_6^10 + 20514061425457840657644063186/11483829572979413613955*c_0101_6^9 + 5590499907643741162448012367/11483829572979413613955*c_0101_6^8 - 1859889843531526657624869540/2296765914595882722791*c_0101_6^7 - 1992132757126764637115704537/11483829572979413613955*c_0101_6^6 + 549422715664335654649085476/2296765914595882722791*c_0101_6^5 + 54627942926952098723967470/2296765914595882722791*c_0101_6^4 - 496529531970505104710851981/11483829572979413613955*c_0101_6^3 + 17599746023701770504955279/11483829572979413613955*c_0101_6^2 + 42969445695017427710314411/11483829572979413613955*c_0101_6 - 7263367770863687864834699/11483829572979413613955, c_0011_4 - 5659490259118492280041248/11483829572979413613955*c_0101_6^2\ 1 + 65882601575932649904410832/11483829572979413613955*c_0101_6^20 - 97520350598374099389499344/11483829572979413613955*c_0101_6^19 - 88658785668896694660055228/11483829572979413613955*c_0101_6^18 + 38737179650119983318217144/2296765914595882722791*c_0101_6^17 - 62566123935540137306407684/2296765914595882722791*c_0101_6^16 - 178457057531721479742136516/11483829572979413613955*c_0101_6^15 + 1135258852536805165259436872/11483829572979413613955*c_0101_6^14 + 1066401580158795425383809846/11483829572979413613955*c_0101_6^13 - 1874987065283445515330890416/11483829572979413613955*c_0101_6^12 - 2404193771364821794677139398/11483829572979413613955*c_0101_6^11 + 1593720654480677465504108704/11483829572979413613955*c_0101_6^10 + 2484926473963358202148121964/11483829572979413613955*c_0101_6^9 - 753235486978419686562697747/11483829572979413613955*c_0101_6^8 - 280061930672580205493458395/2296765914595882722791*c_0101_6^7 + 246732255706230953358708857/11483829572979413613955*c_0101_6^6 + 91392697485123218118885224/2296765914595882722791*c_0101_6^5 - 14059508165985783970818643/2296765914595882722791*c_0101_6^4 - 84192689961252784999844369/11483829572979413613955*c_0101_6^3 + 15589096267021762920519611/11483829572979413613955*c_0101_6^2 + 7077673199773788598080519/11483829572979413613955*c_0101_6 - 1750091866691665864901811/11483829572979413613955, c_0011_5 + 60742390560784792551443264/11483829572979413613955*c_0101_6^\ 21 - 610290223849484584825953696/11483829572979413613955*c_0101_6^2\ 0 + 117363922284100790583771232/11483829572979413613955*c_0101_6^19 + 724350832999608963792854744/11483829572979413613955*c_0101_6^18 - 210129709846741601797802304/2296765914595882722791*c_0101_6^17 + 426462789793746175090812984/2296765914595882722791*c_0101_6^16 + 4783221652357207988125950568/11483829572979413613955*c_0101_6^15 - 3302895392834011684241197896/11483829572979413613955*c_0101_6^14 - 12651046712958618686710624708/11483829572979413613955*c_0101_6^13 - 330498905679059978864119632/11483829572979413613955*c_0101_6^12 + 16153727526845662806765887084/11483829572979413613955*c_0101_6^11 + 3823958860541639137945146128/11483829572979413613955*c_0101_6^10 - 11579928083019810654589463432/11483829572979413613955*c_0101_6^9 - 3247616671202492909669261154/11483829572979413613955*c_0101_6^8 + 1044094304360440563640572850/2296765914595882722791*c_0101_6^7 + 1180898349521114286740036104/11483829572979413613955*c_0101_6^6 - 306094380685643333394072328/2296765914595882722791*c_0101_6^5 - 34198309683359650212144830/2296765914595882722791*c_0101_6^4 + 275239092052943264841354742/11483829572979413613955*c_0101_6^3 - 7038274826222554526725568/11483829572979413613955*c_0101_6^2 - 23780291012358895653462112/11483829572979413613955*c_0101_6 + 3853968027731753761052963/11483829572979413613955, c_0101_1 + 236553083178512357909017408/34451488718938240841865*c_0101_6\ ^21 - 2382351444532735365265370912/34451488718938240841865*c_0101_6\ ^20 + 173073667802147441476353248/11483829572979413613955*c_0101_6^\ 19 + 920621202400913618501666856/11483829572979413613955*c_0101_6^1\ 8 - 839575950692714651970611552/6890297743787648168373*c_0101_6^17 + 1687081190552071963370176984/6890297743787648168373*c_0101_6^16 + 18383526916172402727621320516/34451488718938240841865*c_0101_6^15 - 13174575122722316226407276672/34451488718938240841865*c_0101_6^14 - 16134594302856435478489150432/11483829572979413613955*c_0101_6^13 + 140395421588099200036837036/34451488718938240841865*c_0101_6^12 + 61951944359127913962147897568/34451488718938240841865*c_0101_6^11 + 4094363040793105803923817582/11483829572979413613955*c_0101_6^10 - 44928342549317021156373500144/34451488718938240841865*c_0101_6^9 - 3465026810601465435546009596/11483829572979413613955*c_0101_6^8 + 4140973299994953682207131430/6890297743787648168373*c_0101_6^7 + 3563090011035456701675094208/34451488718938240841865*c_0101_6^6 - 1242310322747157102575373973/6890297743787648168373*c_0101_6^5 - 26098529416401854895219441/2296765914595882722791*c_0101_6^4 + 1133931396904166508778856579/34451488718938240841865*c_0101_6^3 - 23261596784265390982504932/11483829572979413613955*c_0101_6^2 - 98441064654392518707073424/34451488718938240841865*c_0101_6 + 18187157727725652243931841/34451488718938240841865, c_0101_5 - 178499408887721600252762272/34451488718938240841865*c_0101_6\ ^21 + 1784699865711168449858654768/34451488718938240841865*c_0101_6\ ^20 - 88646624868343066122422272/11483829572979413613955*c_0101_6^1\ 9 - 688393562595890638203256804/11483829572979413613955*c_0101_6^18 + 605654785539185387141557076/6890297743787648168373*c_0101_6^17 - 1239014294433062501726569360/6890297743787648168373*c_0101_6^16 - 14274203294610461569086326804/34451488718938240841865*c_0101_6^15 + 8791453577613743930866339268/34451488718938240841865*c_0101_6^14 + 12261698893291241881673401658/11483829572979413613955*c_0101_6^13 + 2640775072067957558656296866/34451488718938240841865*c_0101_6^12 - 45641428586013826009939382332/34451488718938240841865*c_0101_6^11 - 4060039797901280618497807048/11483829572979413613955*c_0101_6^10 + 32012116673396110154966228036/34451488718938240841865*c_0101_6^9 + 3152761941839120838536934269/11483829572979413613955*c_0101_6^8 - 2870560134956100312210764722/6890297743787648168373*c_0101_6^7 - 3225666790919370833665777087/34451488718938240841865*c_0101_6^6 + 849781495753562921742429649/6890297743787648168373*c_0101_6^5 + 27815747235372412269902850/2296765914595882722791*c_0101_6^4 - 775458621517211793798154436/34451488718938240841865*c_0101_6^3 + 11042101912682881550783108/11483829572979413613955*c_0101_6^2 + 67819961233660163521749566/34451488718938240841865*c_0101_6 - 12011531652703000097255459/34451488718938240841865, c_0101_6^22 - 21/2*c_0101_6^21 + 13/2*c_0101_6^20 + 87/8*c_0101_6^19 - 91/4*c_0101_6^18 + 345/8*c_0101_6^17 + 501/8*c_0101_6^16 - 179/2*c_0101_6^15 - 2911/16*c_0101_6^14 + 355/4*c_0101_6^13 + 4233/16*c_0101_6^12 - 119/2*c_0101_6^11 - 1723/8*c_0101_6^10 + 1147/32*c_0101_6^9 + 3463/32*c_0101_6^8 - 683/32*c_0101_6^7 - 267/8*c_0101_6^6 + 295/32*c_0101_6^5 + 181/32*c_0101_6^4 - 73/32*c_0101_6^3 - 5/16*c_0101_6^2 + 1/4*c_0101_6 - 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB