Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 2715827576] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1743 geometric_solution 5.44026462 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 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.241648400094 0.549812038318 3 2 4 0 0132 3012 0132 0132 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 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.568410709097 1.129005890913 1 3 0 4 1230 0132 0132 3201 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 0 1 -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 0 0 0 0.568410709097 1.129005890913 1 2 3 3 0132 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556551686530 0.996341468892 5 2 5 1 0132 2310 2310 0132 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 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634774157483 1.626781471779 4 4 6 6 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.296552100153 0.169869189995 5 6 5 6 2310 2310 0132 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 1 0 -1 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.653034638510 0.439910871717 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], '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_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 48*c_0101_1^5 + 74*c_0101_1^4 + 368*c_0101_1^3 - 115*c_0101_1^2 - 282*c_0101_1 + 100, c_0011_0 - 1, c_0011_1 - c_0101_1^5 + 2*c_0101_1^4 + 7*c_0101_1^3 - 6*c_0101_1^2 - 6*c_0101_1 + 4, c_0011_4 + 5*c_0101_1^5 - 8*c_0101_1^4 - 38*c_0101_1^3 + 14*c_0101_1^2 + 30*c_0101_1 - 12, c_0011_6 + 4*c_0101_1^5 - 6*c_0101_1^4 - 31*c_0101_1^3 + 9*c_0101_1^2 + 24*c_0101_1 - 9, c_0101_0 - 3*c_0101_1^5 + 5*c_0101_1^4 + 23*c_0101_1^3 - 11*c_0101_1^2 - 20*c_0101_1 + 9, c_0101_1^6 - 2*c_0101_1^5 - 7*c_0101_1^4 + 6*c_0101_1^3 + 5*c_0101_1^2 - 5*c_0101_1 + 1, c_0101_4 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 890341732136981987127197773722/674896475642563190261898829*c_0101_4\ ^17 + 1280733254253184515378457921095/674896475642563190261898829*c\ _0101_4^16 + 12293851698086734377492118573448/674896475642563190261\ 898829*c_0101_4^15 - 180800974630643484428771105222/197916855027144\ 6305753369*c_0101_4^14 + 16125977260109328864784362660460/674896475\ 642563190261898829*c_0101_4^13 + 379451233024796250566534487497369/\ 674896475642563190261898829*c_0101_4^12 - 718215684281252024835318634504762/674896475642563190261898829*c_010\ 1_4^11 + 93316894650171466763369816234554/6135422505841483547835443\ 9*c_0101_4^10 - 1067957029732879858401506632747669/6748964756425631\ 90261898829*c_0101_4^9 + 8309400268659161723327825090239/2177085405\ 2985909363287059*c_0101_4^8 + 73699301546321777893855574976425/6135\ 4225058414835478354439*c_0101_4^7 - 1095583559156284518953723009787315/674896475642563190261898829*c_01\ 01_4^6 + 297130512084735025895796931616287/674896475642563190261898\ 829*c_0101_4^5 + 352163488726606170124841791621081/6748964756425631\ 90261898829*c_0101_4^4 - 259773870210003198528454928699334/67489647\ 5642563190261898829*c_0101_4^3 - 11544599728725362939163623963078/6\ 74896475642563190261898829*c_0101_4^2 + 65622589108051147447555132540399/674896475642563190261898829*c_0101\ _4 - 17427370507259547830257851951858/674896475642563190261898829, c_0011_0 - 1, c_0011_1 - 12171542293256106385977043/1979168550271446305753369*c_0101_\ 4^17 + 17961464367625041051019332/1979168550271446305753369*c_0101_\ 4^16 + 167619418427367818519886062/1979168550271446305753369*c_0101\ _4^15 - 849282785865798861782740238/1979168550271446305753369*c_010\ 1_4^14 + 248869412612473049230748842/1979168550271446305753369*c_01\ 01_4^13 + 5191891112029099446676542696/1979168550271446305753369*c_\ 0101_4^12 - 10008558251116018313161549587/1979168550271446305753369\ *c_0101_4^11 + 14311395587649680950964387167/1979168550271446305753\ 369*c_0101_4^10 - 15000717260290656491931050649/1979168550271446305\ 753369*c_0101_4^9 + 3892692558044586515981161415/197916855027144630\ 5753369*c_0101_4^8 + 11106014154487713169173694326/1979168550271446\ 305753369*c_0101_4^7 - 15362975113278947934277538366/19791685502714\ 46305753369*c_0101_4^6 + 4438357470256336655676226719/1979168550271\ 446305753369*c_0101_4^5 + 4824872706249351529151993774/197916855027\ 1446305753369*c_0101_4^4 - 3713195157087505520230442472/19791685502\ 71446305753369*c_0101_4^3 - 102243545166654214184281385/19791685502\ 71446305753369*c_0101_4^2 + 926112684010334460533207577/19791685502\ 71446305753369*c_0101_4 - 257990809571220197664986477/1979168550271\ 446305753369, c_0011_4 - 16096852247828430017170602/1979168550271446305753369*c_0101_\ 4^17 + 23652217676986950196194920/1979168550271446305753369*c_0101_\ 4^16 + 221723151129236100939815239/1979168550271446305753369*c_0101\ _4^15 - 1121716981921298084389922736/1979168550271446305753369*c_01\ 01_4^14 + 323530841678309908222551613/1979168550271446305753369*c_0\ 101_4^13 + 6862504798283200138480914197/1979168550271446305753369*c\ _0101_4^12 - 13196560734694875964269187912/197916855027144630575336\ 9*c_0101_4^11 + 18885329094180977035188918812/197916855027144630575\ 3369*c_0101_4^10 - 19763953843952267545545574821/197916855027144630\ 5753369*c_0101_4^9 + 5092180276473206019909466091/19791685502714463\ 05753369*c_0101_4^8 + 14668787619975164279127748849/197916855027144\ 6305753369*c_0101_4^7 - 20257988238513850363911141864/1979168550271\ 446305753369*c_0101_4^6 + 5823073367002535813264815511/197916855027\ 1446305753369*c_0101_4^5 + 6364177978049398871769461966/19791685502\ 71446305753369*c_0101_4^4 - 4896508953998913309383180165/1979168550\ 271446305753369*c_0101_4^3 - 138123451688498627592511751/1979168550\ 271446305753369*c_0101_4^2 + 1220256285676524358368621228/197916855\ 0271446305753369*c_0101_4 - 338322071288741539315159259/19791685502\ 71446305753369, c_0011_6 + 12317418948483179836373397/1979168550271446305753369*c_0101_\ 4^17 - 18186541874831069677752144/1979168550271446305753369*c_0101_\ 4^16 - 169612663662230598885092343/1979168550271446305753369*c_0101\ _4^15 + 859613549256816347069965895/1979168550271446305753369*c_010\ 1_4^14 - 252567345285995425596120302/1979168550271446305753369*c_01\ 01_4^13 - 5254098996140824343362330295/1979168550271446305753369*c_\ 0101_4^12 + 10133782685947108865768218467/1979168550271446305753369\ *c_0101_4^11 - 14491088605772143095387839135/1979168550271446305753\ 369*c_0101_4^10 + 15185425925221773235801647066/1979168550271446305\ 753369*c_0101_4^9 - 3943178002539318469567418137/197916855027144630\ 5753369*c_0101_4^8 - 11249739946598843802392024372/1979168550271446\ 305753369*c_0101_4^7 + 15569847131540768176408720821/19791685502714\ 46305753369*c_0101_4^6 - 4505802072787878121687440732/1979168550271\ 446305753369*c_0101_4^5 - 4887775877107517252064262959/197916855027\ 1446305753369*c_0101_4^4 + 3770498739396449877267031147/19791685502\ 71446305753369*c_0101_4^3 + 102769790755709740653502901/19791685502\ 71446305753369*c_0101_4^2 - 938507081320598255642042156/19791685502\ 71446305753369*c_0101_4 + 261436642987656745022971093/1979168550271\ 446305753369, c_0101_0 - 9455437728856671936702335/1979168550271446305753369*c_0101_4\ ^17 + 12836142144429580975904109/1979168550271446305753369*c_0101_4\ ^16 + 131268097220339248221302916/1979168550271446305753369*c_0101_\ 4^15 - 643821033353381159820954749/1979168550271446305753369*c_0101\ _4^14 + 123880516150657010289967441/1979168550271446305753369*c_010\ 1_4^13 + 4019200644664254716776527272/1979168550271446305753369*c_0\ 101_4^12 - 7306355446843643279112682146/1979168550271446305753369*c\ _0101_4^11 + 10448869962525705496699861550/197916855027144630575336\ 9*c_0101_4^10 - 10694303792046588735646546878/197916855027144630575\ 3369*c_0101_4^9 + 2155582585834430854631339305/19791685502714463057\ 53369*c_0101_4^8 + 8524776285620689035469299368/1979168550271446305\ 753369*c_0101_4^7 - 10971545455981622668627617569/19791685502714463\ 05753369*c_0101_4^6 + 2548452274971239182949309892/1979168550271446\ 305753369*c_0101_4^5 + 3683662144656448538942260987/197916855027144\ 6305753369*c_0101_4^4 - 2480546571192728689989633385/19791685502714\ 46305753369*c_0101_4^3 - 206369548268396779923448816/19791685502714\ 46305753369*c_0101_4^2 + 644408024068956958012611864/19791685502714\ 46305753369*c_0101_4 - 156015552947040562622394916/1979168550271446\ 305753369, c_0101_1 - 9530260951483336536853805/1979168550271446305753369*c_0101_4\ ^17 + 14156538965818525154534317/1979168550271446305753369*c_0101_4\ ^16 + 131113701615301572957732218/1979168550271446305753369*c_0101_\ 4^15 - 666302288235268206974795296/1979168550271446305753369*c_0101\ _4^14 + 201286239977278368583705268/1979168550271446305753369*c_010\ 1_4^13 + 4064166864217828994767007302/1979168550271446305753369*c_0\ 101_4^12 - 7878215687213457939677998191/1979168550271446305753369*c\ _0101_4^11 + 11278897199449965954834443752/197916855027144630575336\ 9*c_0101_4^10 - 11837060032570446048748650363/197916855027144630575\ 3369*c_0101_4^9 + 3140270760027965430836999308/19791685502714463057\ 53369*c_0101_4^8 + 8696636848017037876738889403/1979168550271446305\ 753369*c_0101_4^7 - 12136342001899238309759088069/19791685502714463\ 05753369*c_0101_4^6 + 3583292118864382201289537085/1979168550271446\ 305753369*c_0101_4^5 + 3773076095152412732461295973/197916855027144\ 6305753369*c_0101_4^4 - 2960355093668938836881146838/19791685502714\ 46305753369*c_0101_4^3 - 60627499474582431487147432/197916855027144\ 6305753369*c_0101_4^2 + 732835463848228550736469810/197916855027144\ 6305753369*c_0101_4 - 207813685650146629235302177/19791685502714463\ 05753369, c_0101_4^18 - 2*c_0101_4^17 - 13*c_0101_4^16 + 77*c_0101_4^15 - 57*c_0101_4^14 - 416*c_0101_4^13 + 1046*c_0101_4^12 - 1606*c_0101_4^11 + 1847*c_0101_4^10 - 963*c_0101_4^9 - 748*c_0101_4^8 + 1742*c_0101_4^7 - 1025*c_0101_4^6 - 208*c_0101_4^5 + 514*c_0101_4^4 - 151*c_0101_4^3 - 81*c_0101_4^2 + 61*c_0101_4 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB