Magma V2.19-8 Tue Aug 20 2013 16:14:44 on localhost [Seed = 3701293252] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s712 geometric_solution 5.22126656 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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.474490962991 0.242891762637 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.855578138898 0.611945296360 1 4 5 5 0132 0132 0132 3201 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 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.418578580656 1.312250775361 5 5 4 1 2310 1023 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 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.418578580656 1.312250775361 4 2 4 3 2310 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 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.493040942046 0.806579126518 3 2 3 2 1023 2310 3201 0132 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 -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.220628477048 0.691673925645 ==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' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : negation(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_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_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0101_1']), '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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 3469635579540015182402396191/3429542274140353445044838*c_0101_3^23 + 58504151611909765593966771517/10288626822421060335134514*c_0101_3^2\ 2 + 106806486412146446426470024960/5144313411210530167567257*c_0101\ _3^21 - 165831334618868351810791600997/3429542274140353445044838*c_\ 0101_3^20 + 296285834762680487915502625519/102886268224210603351345\ 14*c_0101_3^19 + 3647564577658925303070425653678/514431341121053016\ 7567257*c_0101_3^18 + 648739921396980387238460449795/51443134112105\ 30167567257*c_0101_3^17 - 10197348281726705324976247633394/51443134\ 11210530167567257*c_0101_3^16 + 18413214612758100675116472638881/10\ 288626822421060335134514*c_0101_3^15 + 59148369650532991923553160876441/10288626822421060335134514*c_0101_\ 3^14 - 42155272721621492912801537639464/5144313411210530167567257*c\ _0101_3^13 - 187996575894377386051971193432913/10288626822421060335\ 134514*c_0101_3^12 + 6223529676860785614631181893471/10288626822421\ 060335134514*c_0101_3^11 + 102825842575468281361074574123015/102886\ 26822421060335134514*c_0101_3^10 - 57872372137965449411792633578949/10288626822421060335134514*c_0101_\ 3^9 - 76213937112031406263092423088615/10288626822421060335134514*c\ _0101_3^8 + 15636287024408485199888731424576/5144313411210530167567\ 257*c_0101_3^7 + 14851963605592374034417955981386/51443134112105301\ 67567257*c_0101_3^6 - 159107211158282306239560031751/24496730529573\ 9531788917*c_0101_3^5 - 1824802320657999463023271057361/51443134112\ 10530167567257*c_0101_3^4 + 245780527421927865834107386744/17147711\ 37070176722522419*c_0101_3^3 + 27628758316002011706615340549/514431\ 3411210530167567257*c_0101_3^2 - 73428778593639288435424877989/5144\ 313411210530167567257*c_0101_3 + 17888043921950120904103852441/1028\ 8626822421060335134514, c_0011_0 - 1, c_0011_1 + 206031626553136299780/1580260908776066701*c_0101_3^23 - 1162997159368860644731/1580260908776066701*c_0101_3^22 - 4195136749214011657744/1580260908776066701*c_0101_3^21 + 9917409979069669436785/1580260908776066701*c_0101_3^20 - 6185193289358495592258/1580260908776066701*c_0101_3^19 - 143957530843127683277025/1580260908776066701*c_0101_3^18 - 22541188079986162383575/1580260908776066701*c_0101_3^17 + 400982804343641994256108/1580260908776066701*c_0101_3^16 - 372602379945137829245877/1580260908776066701*c_0101_3^15 - 1153127924164115026066243/1580260908776066701*c_0101_3^14 + 1682149494496710017575401/1580260908776066701*c_0101_3^13 + 3662198345624549089891609/1580260908776066701*c_0101_3^12 - 159443534108378599918695/1580260908776066701*c_0101_3^11 - 1977074197317207817085297/1580260908776066701*c_0101_3^10 + 1154899918911499229606883/1580260908776066701*c_0101_3^9 + 1458133263680818506320107/1580260908776066701*c_0101_3^8 - 612789580494729042928217/1580260908776066701*c_0101_3^7 - 565229814985173822600445/1580260908776066701*c_0101_3^6 + 126604591093582666730178/1580260908776066701*c_0101_3^5 + 67965297975198210419397/1580260908776066701*c_0101_3^4 - 27446549815337087118900/1580260908776066701*c_0101_3^3 - 987304439035734178164/1580260908776066701*c_0101_3^2 + 2711188988021405242259/1580260908776066701*c_0101_3 - 317002936808507709032/1580260908776066701, c_0011_3 - 87062590112170353218163095/244967305295739531788917*c_0101_3\ ^23 + 490596490742927595824798177/244967305295739531788917*c_0101_3\ ^22 + 1777945136099569937205362822/244967305295739531788917*c_0101_\ 3^21 - 4175982053164559694739937726/244967305295739531788917*c_0101\ _3^20 + 2565471469659498270074488042/244967305295739531788917*c_010\ 1_3^19 + 60880408060516588941821270257/244967305295739531788917*c_0\ 101_3^18 + 10096831344669530458586641821/244967305295739531788917*c\ _0101_3^17 - 169627051288182261381520683110/24496730529573953178891\ 7*c_0101_3^16 + 155869627463295599009428070621/24496730529573953178\ 8917*c_0101_3^15 + 489577872311522976664595420900/24496730529573953\ 1788917*c_0101_3^14 - 707136036155708047706748183083/24496730529573\ 9531788917*c_0101_3^13 - 1556306201492001340177258413428/2449673052\ 95739531788917*c_0101_3^12 + 56394667932067290185571601735/24496730\ 5295739531788917*c_0101_3^11 + 841629652037391692227188270783/24496\ 7305295739531788917*c_0101_3^10 - 482522794973458775471607607221/24\ 4967305295739531788917*c_0101_3^9 - 623684723003433095645007904976/244967305295739531788917*c_0101_3^8 + 256434099248648261909301931793/244967305295739531788917*c_0101_3^7 + 242763394832920788545096374802/244967305295739531788917*c_0101_3^6 - 52982967512282770965355464346/244967305295739531788917*c_0101_3^5 - 29557005592693393253874427290/244967305295739531788917*c_0101_3^4 + 11704416452329809954174572162/244967305295739531788917*c_0101_3^3 + 485940170883290197919196300/244967305295739531788917*c_0101_3^2 - 1175129742475177825643696358/244967305295739531788917*c_0101_3 + 136789131946741678485689243/244967305295739531788917, c_0101_0 - 33522615496148777035562898/244967305295739531788917*c_0101_3\ ^23 + 188332691626557915333594831/244967305295739531788917*c_0101_3\ ^22 + 688192076613600597741450034/244967305295739531788917*c_0101_3\ ^21 - 1598977309009842922948818429/244967305295739531788917*c_0101_\ 3^20 + 953828355602034741374979976/244967305295739531788917*c_0101_\ 3^19 + 23482765473710843373809348310/244967305295739531788917*c_010\ 1_3^18 + 4255512098110294287754194684/244967305295739531788917*c_01\ 01_3^17 - 65521584010115190427455012052/244967305295739531788917*c_\ 0101_3^16 + 59047265271604940457321031251/244967305295739531788917*\ c_0101_3^15 + 190253662237492520590876043636/2449673052957395317889\ 17*c_0101_3^14 - 270333395930880469248254571059/2449673052957395317\ 88917*c_0101_3^13 - 605380217513152436318151692454/2449673052957395\ 31788917*c_0101_3^12 + 16048446550023198916982497986/24496730529573\ 9531788917*c_0101_3^11 + 328930634646673894963758369870/24496730529\ 5739531788917*c_0101_3^10 - 183719718559347933470701673153/24496730\ 5295739531788917*c_0101_3^9 - 245089405438257104742446399143/244967\ 305295739531788917*c_0101_3^8 + 98289620331304408829646968745/24496\ 7305295739531788917*c_0101_3^7 + 95694437081367398006741848726/2449\ 67305295739531788917*c_0101_3^6 - 20480243280019421741172836571/244\ 967305295739531788917*c_0101_3^5 - 11759170414446679632520235034/244967305295739531788917*c_0101_3^4 + 4605143309964355417494469349/244967305295739531788917*c_0101_3^3 + 205552920249750633700350505/244967305295739531788917*c_0101_3^2 - 465770699784853452395530998/244967305295739531788917*c_0101_3 + 54314900021404192941393631/244967305295739531788917, c_0101_1 - 575330410826458263738/1580260908776066701*c_0101_3^23 + 3245950838405613282648/1580260908776066701*c_0101_3^22 + 11724976180798245691795/1580260908776066701*c_0101_3^21 - 27666403810510273264881/1580260908776066701*c_0101_3^20 + 17173663420614145564358/1580260908776066701*c_0101_3^19 + 402098764842141383391784/1580260908776066701*c_0101_3^18 + 64043796063802927578521/1580260908776066701*c_0101_3^17 - 1120247128283426009703696/1580260908776066701*c_0101_3^16 + 1037422041126815435294702/1580260908776066701*c_0101_3^15 + 3224989246416006715083793/1580260908776066701*c_0101_3^14 - 4690765352333929705552926/1580260908776066701*c_0101_3^13 - 10244695485961072875491043/1580260908776066701*c_0101_3^12 + 426461744493420363602834/1580260908776066701*c_0101_3^11 + 5536339643621442742641067/1580260908776066701*c_0101_3^10 - 3215793191040839342104184/1580260908776066701*c_0101_3^9 - 4087662828373019352070705/1580260908776066701*c_0101_3^8 + 1708425576959041165506060/1580260908776066701*c_0101_3^7 + 1586554378808636302968713/1580260908776066701*c_0101_3^6 - 353365956853944436168450/1580260908776066701*c_0101_3^5 - 191503842910473388299254/1580260908776066701*c_0101_3^4 + 76936781658332058517079/1580260908776066701*c_0101_3^3 + 2864835542212730601979/1580260908776066701*c_0101_3^2 - 7632415472350355127896/1580260908776066701*c_0101_3 + 893913608543742039471/1580260908776066701, c_0101_3^24 - 5*c_0101_3^23 - 24*c_0101_3^22 + 35*c_0101_3^21 + c_0101_3^20 - 718*c_0101_3^19 - 560*c_0101_3^18 + 1875*c_0101_3^17 - 553*c_0101_3^16 - 6761*c_0101_3^15 + 4552*c_0101_3^14 + 23036*c_0101_3^13 + 10700*c_0101_3^12 - 10087*c_0101_3^11 - 597*c_0101_3^10 + 10687*c_0101_3^9 + 1601*c_0101_3^8 - 4662*c_0101_3^7 - 1161*c_0101_3^6 + 727*c_0101_3^5 + 81*c_0101_3^4 - 91*c_0101_3^3 + 10*c_0101_3^2 + 7*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.240 seconds, Total memory usage: 32.09MB