Magma V2.19-8 Tue Aug 20 2013 16:18:19 on localhost [Seed = 2816883342] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2524 geometric_solution 5.84040881 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 1 -1 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 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.495755800398 1.062962120647 0 0 3 2 0132 3201 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 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.106804644946 1.329610047978 4 5 1 5 0132 0132 0132 2103 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 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.189167571046 0.629824043799 5 4 4 1 2031 1302 0321 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.669799264102 1.133532149266 2 6 3 3 0132 0132 0321 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 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.850505467821 1.467081055138 6 2 3 2 0132 0132 1302 2103 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 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.763114869219 0.813192952745 5 4 6 6 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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.051039732423 0.802478075554 ==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_3']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0101_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0101_3']), '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' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_0'], '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' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 321442109013055826638/21475405031944937*c_0101_6^18 - 1047081473839597437393/21475405031944937*c_0101_6^17 - 694519540618271814914/21475405031944937*c_0101_6^16 + 7892485745008898112561/21475405031944937*c_0101_6^15 + 218285848329962195084/21475405031944937*c_0101_6^14 - 35730520034718961038118/21475405031944937*c_0101_6^13 - 23591992040617831872450/21475405031944937*c_0101_6^12 + 70981105539129080320289/21475405031944937*c_0101_6^11 + 123480717846080967821062/21475405031944937*c_0101_6^10 - 556264672250250890226/21475405031944937*c_0101_6^9 - 159879723418314592040320/21475405031944937*c_0101_6^8 - 115742105307526858771920/21475405031944937*c_0101_6^7 + 39346152486681539520626/21475405031944937*c_0101_6^6 + 106209935914623990946057/21475405031944937*c_0101_6^5 + 59814745100761207060903/21475405031944937*c_0101_6^4 - 12696169719264015510/1130284475365523*c_0101_6^3 - 17927915032703806915766/21475405031944937*c_0101_6^2 - 8894880776192940347977/21475405031944937*c_0101_6 - 1254786652133739267412/21475405031944937, c_0011_0 - 1, c_0011_2 - 31594952293997532/21475405031944937*c_0101_6^18 + 104385881583654076/21475405031944937*c_0101_6^17 + 62404193848097952/21475405031944937*c_0101_6^16 - 774131842346406104/21475405031944937*c_0101_6^15 + 11516631023095184/21475405031944937*c_0101_6^14 + 3488571708356884492/21475405031944937*c_0101_6^13 + 2185760436128795745/21475405031944937*c_0101_6^12 - 6994247362819640636/21475405031944937*c_0101_6^11 - 11853185067169083221/21475405031944937*c_0101_6^10 + 412434618622181567/21475405031944937*c_0101_6^9 + 15570732998412640764/21475405031944937*c_0101_6^8 + 10852303489876636492/21475405031944937*c_0101_6^7 - 4118138923765521637/21475405031944937*c_0101_6^6 - 10282451810052586170/21475405031944937*c_0101_6^5 - 5511833784061215297/21475405031944937*c_0101_6^4 + 8199006981374365/1130284475365523*c_0101_6^3 + 1719819767231227696/21475405031944937*c_0101_6^2 + 830383389239695770/21475405031944937*c_0101_6 + 107551163716276667/21475405031944937, c_0011_3 - 3292048375784111/21475405031944937*c_0101_6^18 + 13372849995469689/21475405031944937*c_0101_6^17 - 3946042631127522/21475405031944937*c_0101_6^16 - 77223481948787552/21475405031944937*c_0101_6^15 + 62895418506459407/21475405031944937*c_0101_6^14 + 306627808418233508/21475405031944937*c_0101_6^13 - 17628988312593806/21475405031944937*c_0101_6^12 - 664861875392594792/21475405031944937*c_0101_6^11 - 662923149262529690/21475405031944937*c_0101_6^10 + 451610864823573302/21475405031944937*c_0101_6^9 + 1064417357679499294/21475405031944937*c_0101_6^8 + 272695538356946261/21475405031944937*c_0101_6^7 - 387410742349038675/21475405031944937*c_0101_6^6 - 568883384734313036/21475405031944937*c_0101_6^5 - 224006596764238254/21475405031944937*c_0101_6^4 + 3159990504290690/1130284475365523*c_0101_6^3 + 92513094659792400/21475405031944937*c_0101_6^2 + 13725960498490854/21475405031944937*c_0101_6 - 3703466883972750/21475405031944937, c_0101_0 + 336545040183807/4170791422013*c_0101_6^18 - 1094275460171981/4170791422013*c_0101_6^17 - 734442271110179/4170791422013*c_0101_6^16 + 8261853198866177/4170791422013*c_0101_6^15 + 277963539996589/4170791422013*c_0101_6^14 - 37426778084757076/4170791422013*c_0101_6^13 - 24914577603562245/4170791422013*c_0101_6^12 + 74249714902147290/4170791422013*c_0101_6^11 + 129742436728400480/4170791422013*c_0101_6^10 + 10903928402034/4170791422013*c_0101_6^9 - 167604537196136662/4170791422013*c_0101_6^8 - 122077953597503742/4170791422013*c_0101_6^7 + 40803276857453282/4170791422013*c_0101_6^6 + 111567513948476954/4170791422013*c_0101_6^5 + 63141694397876802/4170791422013*c_0101_6^4 - 64423984572567/4170791422013*c_0101_6^3 - 18830903846038256/4170791422013*c_0101_6^2 - 9396663075191766/4170791422013*c_0101_6 - 1335400851989172/4170791422013, c_0101_1 - 2007240783199772262/21475405031944937*c_0101_6^18 + 6532701740126021055/21475405031944937*c_0101_6^17 + 4358312827338184904/21475405031944937*c_0101_6^16 - 49282045565532802280/21475405031944937*c_0101_6^15 - 1504103689435849680/21475405031944937*c_0101_6^14 + 223177783548643592482/21475405031944937*c_0101_6^13 + 147921350743481138566/21475405031944937*c_0101_6^12 - 443075910178524137558/21475405031944937*c_0101_6^11 - 772356390445913889157/21475405031944937*c_0101_6^10 + 1830071979697705074/21475405031944937*c_0101_6^9 + 998950277612921566477/21475405031944937*c_0101_6^8 + 725214245258649936101/21475405031944937*c_0101_6^7 - 244588477416749419200/21475405031944937*c_0101_6^6 - 664154470494507375689/21475405031944937*c_0101_6^5 - 374982107279634863956/21475405031944937*c_0101_6^4 + 48573110017234244/1130284475365523*c_0101_6^3 + 112107489496583125526/21475405031944937*c_0101_6^2 + 55791832935359658378/21475405031944937*c_0101_6 + 7914371945699625053/21475405031944937, c_0101_3 + 1919514543653634197/21475405031944937*c_0101_6^18 - 6240355255764077159/21475405031944937*c_0101_6^17 - 4193795111310523557/21475405031944937*c_0101_6^16 + 47127209111860246455/21475405031944937*c_0101_6^15 + 1607590798291050547/21475405031944937*c_0101_6^14 - 213510216852859846171/21475405031944937*c_0101_6^13 - 142176716907361313922/21475405031944937*c_0101_6^12 + 423601850634803481988/21475405031944937*c_0101_6^11 + 740201390103567593379/21475405031944937*c_0101_6^10 + 11051986259174646/21475405031944937*c_0101_6^9 - 956338921699934999770/21475405031944937*c_0101_6^8 - 696412634190798860998/21475405031944937*c_0101_6^7 + 233105788714039530138/21475405031944937*c_0101_6^6 + 636546682307822770019/21475405031944937*c_0101_6^5 + 360041509233960536987/21475405031944937*c_0101_6^4 - 28379224271065364/1130284475365523*c_0101_6^3 - 107452776412938194658/21475405031944937*c_0101_6^2 - 53567127342020384689/21475405031944937*c_0101_6 - 7606622097969251597/21475405031944937, c_0101_6^19 - 3*c_0101_6^18 - 3*c_0101_6^17 + 24*c_0101_6^16 + 7*c_0101_6^15 - 111*c_0101_6^14 - 102*c_0101_6^13 + 202*c_0101_6^12 + 441*c_0101_6^11 + 97*c_0101_6^10 - 498*c_0101_6^9 - 488*c_0101_6^8 + 30*c_0101_6^7 + 362*c_0101_6^6 + 271*c_0101_6^5 + 47*c_0101_6^4 - 56*c_0101_6^3 - 42*c_0101_6^2 - 11*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB