Magma V2.19-8 Tue Aug 20 2013 16:14:49 on localhost [Seed = 3532869309] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s796 geometric_solution 5.34290880 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 -1 1 -1 0 0 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.385791081550 0.509995335295 0 3 2 4 0132 0132 1230 0132 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 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.596342657174 0.913089386295 3 0 4 1 3201 0132 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596342657174 0.913089386295 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.133815580835 1.138817137923 5 5 1 2 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 0 0 0 -1 0 1 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.079452096558 1.610405929488 4 5 5 4 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 1 0 -1 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.193033017376 0.446914949374 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0110_2'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 4256957320251951331973666218637954/13645062353456940375172158672089\ 9*c_0110_2^19 + 6468599102851610709038719906449087/1364506235345694\ 03751721586720899*c_0110_2^18 - 44452317765362602465713831425508445\ /136450623534569403751721586720899*c_0110_2^17 - 41105851410632343173870679642665400/1364506235345694037517215867208\ 99*c_0110_2^16 - 95684030168259160331112244747721013/13645062353456\ 9403751721586720899*c_0110_2^15 + 156360737988854415843940117211658\ 807/136450623534569403751721586720899*c_0110_2^14 + 562235505248091908187766832639959584/136450623534569403751721586720\ 899*c_0110_2^13 - 598018770307101858028120874862700114/136450623534\ 569403751721586720899*c_0110_2^12 + 1546276754515416478197933544489657774/13645062353456940375172158672\ 0899*c_0110_2^11 + 43457240305132731055952265468128679/136450623534\ 569403751721586720899*c_0110_2^10 - 1848729969264243486065216666496633747/13645062353456940375172158672\ 0899*c_0110_2^9 + 518305879349108758749656382280780724/136450623534\ 569403751721586720899*c_0110_2^8 - 2455177200336320107359488208206703188/13645062353456940375172158672\ 0899*c_0110_2^7 - 790969286219605609777702838473438749/136450623534\ 569403751721586720899*c_0110_2^6 - 2443188018879497708139800827942182446/13645062353456940375172158672\ 0899*c_0110_2^5 + 406273372112251575040378261135391772/136450623534\ 569403751721586720899*c_0110_2^4 + 903329151066219518474411983426312450/136450623534569403751721586720\ 899*c_0110_2^3 - 10383421999033476059455554875677618/13645062353456\ 9403751721586720899*c_0110_2^2 - 4760163198411571471195517940235824\ 9/136450623534569403751721586720899*c_0110_2 + 846446021666765348602226997979980/136450623534569403751721586720899\ , c_0011_0 - 1, c_0011_4 + 495534696970912901047251599873116/13645062353456940375172158\ 6720899*c_0110_2^19 + 674324565577103668785947676881730/13645062353\ 4569403751721586720899*c_0110_2^18 - 5269199845569000170411519947141820/13645062353456940375172158672089\ 9*c_0110_2^17 - 3934641664806864911769744132356915/1364506235345694\ 03751721586720899*c_0110_2^16 - 10646628922743927500740191382539562\ /136450623534569403751721586720899*c_0110_2^15 + 19827163184029133544106074229555791/1364506235345694037517215867208\ 99*c_0110_2^14 + 62035109590260607068170452133322767/13645062353456\ 9403751721586720899*c_0110_2^13 - 789234375291306018045940291189726\ 63/136450623534569403751721586720899*c_0110_2^12 + 193900052288348772082559695139739620/136450623534569403751721586720\ 899*c_0110_2^11 - 27967788091176838966518104646755019/1364506235345\ 69403751721586720899*c_0110_2^10 - 205197069015826296032982453581278103/136450623534569403751721586720\ 899*c_0110_2^9 + 90770716713750715218406580558847042/13645062353456\ 9403751721586720899*c_0110_2^8 - 3042895933710940867759539498285490\ 36/136450623534569403751721586720899*c_0110_2^7 - 40420277942189194044169217960223408/1364506235345694037517215867208\ 99*c_0110_2^6 - 286856637911222343474592930626597108/13645062353456\ 9403751721586720899*c_0110_2^5 + 9391052913905585061145553137069650\ 9/136450623534569403751721586720899*c_0110_2^4 + 81973219541678348614085210048444313/1364506235345694037517215867208\ 99*c_0110_2^3 - 10483884467002161876084709375187317/136450623534569\ 403751721586720899*c_0110_2^2 - 3798749823294311901808216298719410/\ 136450623534569403751721586720899*c_0110_2 + 279916184189179271575390184830966/136450623534569403751721586720899\ , c_0101_0 - 76901086173293551364554739181030/136450623534569403751721586\ 720899*c_0110_2^19 - 75937932147931112875894391889315/1364506235345\ 69403751721586720899*c_0110_2^18 + 857246447514048322831699370889952/136450623534569403751721586720899\ *c_0110_2^17 + 307734411161699110826184481100676/136450623534569403\ 751721586720899*c_0110_2^16 + 1421845373583751637344453114128494/13\ 6450623534569403751721586720899*c_0110_2^15 - 3716037170774467716218843915603360/13645062353456940375172158672089\ 9*c_0110_2^14 - 8502912460342313440820389107656523/1364506235345694\ 03751721586720899*c_0110_2^13 + 15820380963198533424443461002967542\ /136450623534569403751721586720899*c_0110_2^12 - 34538396286170131006232913857725894/1364506235345694037517215867208\ 99*c_0110_2^11 + 15722769157480012954821252826480279/13645062353456\ 9403751721586720899*c_0110_2^10 + 301378524178027254632782649481469\ 79/136450623534569403751721586720899*c_0110_2^9 - 25292352244397577822331080333718358/1364506235345694037517215867208\ 99*c_0110_2^8 + 52204854354849886781856227435976761/136450623534569\ 403751721586720899*c_0110_2^7 - 11984113291155703406196058822322229\ /136450623534569403751721586720899*c_0110_2^6 + 42196729755194874370657809955001617/1364506235345694037517215867208\ 99*c_0110_2^5 - 32410827616032511260573001665460759/136450623534569\ 403751721586720899*c_0110_2^4 - 7747683018170144108731127475741120/\ 136450623534569403751721586720899*c_0110_2^3 + 5378212950376703046728700512643800/13645062353456940375172158672089\ 9*c_0110_2^2 + 287458011632483285352801361362520/136450623534569403\ 751721586720899*c_0110_2 - 74111609103227794556777971257364/1364506\ 23534569403751721586720899, c_0101_1 - 32448616447059359303885448221566/136450623534569403751721586\ 720899*c_0110_2^19 - 30770196855162970414011329829013/1364506235345\ 69403751721586720899*c_0110_2^18 + 363829605675254925826150793782963/136450623534569403751721586720899\ *c_0110_2^17 + 116582449513626127060338087640751/136450623534569403\ 751721586720899*c_0110_2^16 + 585495899706426074062244042501496/136\ 450623534569403751721586720899*c_0110_2^15 - 1595587845998790521371832538429585/13645062353456940375172158672089\ 9*c_0110_2^14 - 3543812857192334076413928237283488/1364506235345694\ 03751721586720899*c_0110_2^13 + 6855518219494517035385849532541047/\ 136450623534569403751721586720899*c_0110_2^12 - 14738806583095273343660884906845739/1364506235345694037517215867208\ 99*c_0110_2^11 + 7045984055456176203003293684102655/136450623534569\ 403751721586720899*c_0110_2^10 + 1284541073406040537011036898338579\ 4/136450623534569403751721586720899*c_0110_2^9 - 11340242998183862030015903768580841/1364506235345694037517215867208\ 99*c_0110_2^8 + 22126160945009165348154529431706210/136450623534569\ 403751721586720899*c_0110_2^7 - 5721633023397161206295925215741624/\ 136450623534569403751721586720899*c_0110_2^6 + 17405361615170507210511105980190634/1364506235345694037517215867208\ 99*c_0110_2^5 - 14263485069785705909468558699895817/136450623534569\ 403751721586720899*c_0110_2^4 - 3306928491108347358211822794776607/\ 136450623534569403751721586720899*c_0110_2^3 + 2854502755488630343549313276150560/13645062353456940375172158672089\ 9*c_0110_2^2 + 124830861485972761693206364238764/136450623534569403\ 751721586720899*c_0110_2 - 43779211864452022506096743155988/1364506\ 23534569403751721586720899, c_0101_2 + 130992934861504026910192/617544342070198235768833*c_0110_2^1\ 9 + 197692234489783806490416/617544342070198235768833*c_0110_2^18 - 1377319928647562832178156/617544342070198235768833*c_0110_2^17 - 1262861814147541836142582/617544342070198235768833*c_0110_2^16 - 2854242994128344321965651/617544342070198235768833*c_0110_2^15 + 4924407188083397108853007/617544342070198235768833*c_0110_2^14 + 17413447102170794942328960/617544342070198235768833*c_0110_2^13 - 18843711326699437512614159/617544342070198235768833*c_0110_2^12 + 46740192387406001070010567/617544342070198235768833*c_0110_2^11 + 1813454171627478307345160/617544342070198235768833*c_0110_2^10 - 59302128765249969882790790/617544342070198235768833*c_0110_2^9 + 15963762374039825846458167/617544342070198235768833*c_0110_2^8 - 72119202650900721677449521/617544342070198235768833*c_0110_2^7 - 24027423821727378899246812/617544342070198235768833*c_0110_2^6 - 71344578303590131708431537/617544342070198235768833*c_0110_2^5 + 15222312872034098930021017/617544342070198235768833*c_0110_2^4 + 31556273496254709419349714/617544342070198235768833*c_0110_2^3 - 997969865433455817899785/617544342070198235768833*c_0110_2^2 - 3882364804191615071557798/617544342070198235768833*c_0110_2 + 8830409945520937333925/617544342070198235768833, c_0110_2^20 + 3/2*c_0110_2^19 - 21/2*c_0110_2^18 - 19/2*c_0110_2^17 - 22*c_0110_2^16 + 75/2*c_0110_2^15 + 132*c_0110_2^14 - 144*c_0110_2^13 + 362*c_0110_2^12 + 13/2*c_0110_2^11 - 887/2*c_0110_2^10 + 255/2*c_0110_2^9 - 1131/2*c_0110_2^8 - 176*c_0110_2^7 - 556*c_0110_2^6 + 231/2*c_0110_2^5 + 225*c_0110_2^4 - 13/2*c_0110_2^3 - 20*c_0110_2^2 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB