Magma V2.19-8 Tue Aug 20 2013 16:19:18 on localhost [Seed = 762097699] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3417 geometric_solution 6.58418388 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410101331394 0.632577001788 0 4 0 3 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410101331394 0.632577001788 5 0 6 3 0132 0132 0132 1230 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227119976547 1.364046155501 2 1 0 4 3012 2310 0132 2103 0 0 0 0 0 -1 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 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 1.178979517055 0.954082181962 5 1 6 3 1023 0132 3201 2103 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 -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.227119976547 1.364046155501 2 4 5 5 0132 1023 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 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.083116357453 0.916390691366 4 6 6 2 2310 3201 2310 0132 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 1 -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.168503984630 0.888073587503 ==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' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : 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_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_2']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0101_6']})} 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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 190602025298220452745644148154770494491/601647414867948845607408763\ 8234657032*c_0101_6^18 - 1824336027884740560765022310189170023135/3\ 008237074339744228037043819117328516*c_0101_6^17 + 18737754718692394441668609296452368427517/6016474148679488456074087\ 638234657032*c_0101_6^16 - 3955576662934050095197573236787345907701\ /1504118537169872114018521909558664258*c_0101_6^15 + 446335211504187257661792283562095673750/752059268584936057009260954\ 779332129*c_0101_6^14 - 47245568841415706633311509470484498189093/6\ 016474148679488456074087638234657032*c_0101_6^13 - 8250818550319679354097603734099952298261/75205926858493605700926095\ 4779332129*c_0101_6^12 + 21949582778561836750233330286781494284799/\ 3008237074339744228037043819117328516*c_0101_6^11 + 32913349073774415713130234237664149760723/6016474148679488456074087\ 638234657032*c_0101_6^10 - 494260064223530961385538295808367515077/\ 1504118537169872114018521909558664258*c_0101_6^9 + 65056687149331785641384244440682098874727/6016474148679488456074087\ 638234657032*c_0101_6^8 + 5354925216849122105671638918190633299635/\ 1504118537169872114018521909558664258*c_0101_6^7 + 13803654232249040741205409295642605726731/3008237074339744228037043\ 819117328516*c_0101_6^6 + 15124279691627811596923482681639676711767\ /6016474148679488456074087638234657032*c_0101_6^5 + 4742363609631478916923442844030014842707/30082370743397442280370438\ 19117328516*c_0101_6^4 + 3755628835514927843582934727310982389565/6\ 016474148679488456074087638234657032*c_0101_6^3 + 844187573479883222587064856172354978277/300823707433974422803704381\ 9117328516*c_0101_6^2 + 282144834515856752472652052303176394479/300\ 8237074339744228037043819117328516*c_0101_6 + 28640810894391315463364153052135208063/6016474148679488456074087638\ 234657032, c_0011_0 - 1, c_0011_3 - 2455149887948672060315590902266365591/7520592685849360570092\ 60954779332129*c_0101_6^18 + 45125771445811821193457639366320376564\ /752059268584936057009260954779332129*c_0101_6^17 - 206836407172590990353407715955305991435/752059268584936057009260954\ 779332129*c_0101_6^16 + 42579564064541345178674954618881190546/7520\ 59268584936057009260954779332129*c_0101_6^15 + 23865272235964071389017621126768520544/7520592685849360570092609547\ 79332129*c_0101_6^14 + 495358636134153767726016890394936636141/7520\ 59268584936057009260954779332129*c_0101_6^13 + 1242176819281024351667164610939736780606/75205926858493605700926095\ 4779332129*c_0101_6^12 + 360645933623912767495643143643045759879/75\ 2059268584936057009260954779332129*c_0101_6^11 + 139870955787826713428779727592218951156/752059268584936057009260954\ 779332129*c_0101_6^10 + 960670838382432079603465718105770481942/752\ 059268584936057009260954779332129*c_0101_6^9 + 254338305961774692224741239540461513616/752059268584936057009260954\ 779332129*c_0101_6^8 + 41861218390918123939980552931681480006/75205\ 9268584936057009260954779332129*c_0101_6^7 + 181630837159803138507961280694618194036/752059268584936057009260954\ 779332129*c_0101_6^6 + 87745438382553126535515543452988037948/75205\ 9268584936057009260954779332129*c_0101_6^5 + 3984891817429411494921341237971442962/75205926858493605700926095477\ 9332129*c_0101_6^4 + 7036667186605202089684400858101762672/75205926\ 8584936057009260954779332129*c_0101_6^3 + 9239940695051296747908896406279035614/75205926858493605700926095477\ 9332129*c_0101_6^2 + 1118481638658349976772570514757994657/75205926\ 8584936057009260954779332129*c_0101_6 - 1183617518880616554189825792864141222/75205926858493605700926095477\ 9332129, c_0011_6 - 594171245073488507978904090832852287/60164741486794884560740\ 87638234657032*c_0101_6^18 + 3663040444667016950203448681779549683/\ 3008237074339744228037043819117328516*c_0101_6^17 + 15004736301269701033370271898242963511/6016474148679488456074087638\ 234657032*c_0101_6^16 - 68669422064754666663165953101659336819/1504\ 118537169872114018521909558664258*c_0101_6^15 - 491329366944895517193930400231541104/752059268584936057009260954779\ 332129*c_0101_6^14 + 115276363199606676106192969685510790889/601647\ 4148679488456074087638234657032*c_0101_6^13 + 127649731607205336858120684307279910226/752059268584936057009260954\ 779332129*c_0101_6^12 + 1083898100526099585328425712476667059649/30\ 08237074339744228037043819117328516*c_0101_6^11 + 1222773047681158158672636408364904847561/60164741486794884560740876\ 38234657032*c_0101_6^10 + 247638579327165664827135743179284404811/1\ 504118537169872114018521909558664258*c_0101_6^9 + 1600555932962885313984006945030058906917/60164741486794884560740876\ 38234657032*c_0101_6^8 + 129970249829310421180653074349373148831/15\ 04118537169872114018521909558664258*c_0101_6^7 + 173143330453274534155766577065514489069/300823707433974422803704381\ 9117328516*c_0101_6^6 + 418116321454760201473289777753600115653/601\ 6474148679488456074087638234657032*c_0101_6^5 + 39949688427384901734994360591612866853/3008237074339744228037043819\ 117328516*c_0101_6^4 + 39331139773973051363749917115046275583/60164\ 74148679488456074087638234657032*c_0101_6^3 + 14562634040328256018016430359401919151/3008237074339744228037043819\ 117328516*c_0101_6^2 + 5571562203455876903297148078799627941/300823\ 7074339744228037043819117328516*c_0101_6 - 1461773567561365473934378268974941419/60164741486794884560740876382\ 34657032, c_0101_0 - 3094473697951228355048329320402926031/6016474148679488456074\ 087638234657032*c_0101_6^18 + 3314243098251078190640402423349396949\ 9/3008237074339744228037043819117328516*c_0101_6^17 - 438036754258929639916135829900770000033/601647414867948845607408763\ 8234657032*c_0101_6^16 + 232646803420426601587459128313829949979/15\ 04118537169872114018521909558664258*c_0101_6^15 - 70701783079652264453977141578735904108/7520592685849360570092609547\ 79332129*c_0101_6^14 + 922368407480771181938053220257292014289/6016\ 474148679488456074087638234657032*c_0101_6^13 - 71326779100426412013260810220260762720/7520592685849360570092609547\ 79332129*c_0101_6^12 - 1660795712032359004536491918678437926939/300\ 8237074339744228037043819117328516*c_0101_6^11 + 345798804589252740410707274779660533185/601647414867948845607408763\ 8234657032*c_0101_6^10 + 66993535280950119368281403688852466331/150\ 4118537169872114018521909558664258*c_0101_6^9 - 2483530589960499559427268406950612174595/60164741486794884560740876\ 38234657032*c_0101_6^8 + 171304126951688042187055413852479225237/15\ 04118537169872114018521909558664258*c_0101_6^7 - 253234301803485298389227793849798977695/300823707433974422803704381\ 9117328516*c_0101_6^6 - 49227579571367009565599719367144813507/6016\ 474148679488456074087638234657032*c_0101_6^5 - 77752909088016983240897917372140089567/3008237074339744228037043819\ 117328516*c_0101_6^4 + 55301938108579347333711714947219483815/60164\ 74148679488456074087638234657032*c_0101_6^3 - 15983316047440381844139868956555148573/3008237074339744228037043819\ 117328516*c_0101_6^2 - 2315608203389796243206584855031605519/300823\ 7074339744228037043819117328516*c_0101_6 - 917589257878517702654072816285558307/601647414867948845607408763823\ 4657032, c_0101_1 - 3094473697951228355048329320402926031/6016474148679488456074\ 087638234657032*c_0101_6^18 + 3314243098251078190640402423349396949\ 9/3008237074339744228037043819117328516*c_0101_6^17 - 438036754258929639916135829900770000033/601647414867948845607408763\ 8234657032*c_0101_6^16 + 232646803420426601587459128313829949979/15\ 04118537169872114018521909558664258*c_0101_6^15 - 70701783079652264453977141578735904108/7520592685849360570092609547\ 79332129*c_0101_6^14 + 922368407480771181938053220257292014289/6016\ 474148679488456074087638234657032*c_0101_6^13 - 71326779100426412013260810220260762720/7520592685849360570092609547\ 79332129*c_0101_6^12 - 1660795712032359004536491918678437926939/300\ 8237074339744228037043819117328516*c_0101_6^11 + 345798804589252740410707274779660533185/601647414867948845607408763\ 8234657032*c_0101_6^10 + 66993535280950119368281403688852466331/150\ 4118537169872114018521909558664258*c_0101_6^9 - 2483530589960499559427268406950612174595/60164741486794884560740876\ 38234657032*c_0101_6^8 + 171304126951688042187055413852479225237/15\ 04118537169872114018521909558664258*c_0101_6^7 - 253234301803485298389227793849798977695/300823707433974422803704381\ 9117328516*c_0101_6^6 - 49227579571367009565599719367144813507/6016\ 474148679488456074087638234657032*c_0101_6^5 - 77752909088016983240897917372140089567/3008237074339744228037043819\ 117328516*c_0101_6^4 + 55301938108579347333711714947219483815/60164\ 74148679488456074087638234657032*c_0101_6^3 - 15983316047440381844139868956555148573/3008237074339744228037043819\ 117328516*c_0101_6^2 - 2315608203389796243206584855031605519/300823\ 7074339744228037043819117328516*c_0101_6 - 917589257878517702654072816285558307/601647414867948845607408763823\ 4657032, c_0101_2 + 43592962578932791515599252165705817331/601647414867948845607\ 4087638234657032*c_0101_6^18 - 406940072265277844144127362157082203\ 859/3008237074339744228037043819117328516*c_0101_6^17 + 3914109672302898937787336450363928876349/60164741486794884560740876\ 38234657032*c_0101_6^16 - 499111349423048286695564984275221679439/1\ 504118537169872114018521909558664258*c_0101_6^15 + 84367004996040877147069399249132544149/7520592685849360570092609547\ 79332129*c_0101_6^14 - 9312590168417762274734879661868264371181/601\ 6474148679488456074087638234657032*c_0101_6^13 - 2415943131255583432876080379470472693402/75205926858493605700926095\ 4779332129*c_0101_6^12 - 987495360534113923370905867669971913829/30\ 08237074339744228037043819117328516*c_0101_6^11 - 4181855407798395955577491317292566972461/60164741486794884560740876\ 38234657032*c_0101_6^10 - 3850713832768835347513436960957855141545/\ 1504118537169872114018521909558664258*c_0101_6^9 + 9274659881496118171792032092427075479/60164741486794884560740876382\ 34657032*c_0101_6^8 - 643912189195225906880129428932058688405/15041\ 18537169872114018521909558664258*c_0101_6^7 - 1110116871783544015216990883182741235721/30082370743397442280370438\ 19117328516*c_0101_6^6 - 1013801951079268479242371845503762768257/6\ 016474148679488456074087638234657032*c_0101_6^5 - 18578912248761512948721444883400622921/3008237074339744228037043819\ 117328516*c_0101_6^4 - 207662469403990341607403959248438183451/6016\ 474148679488456074087638234657032*c_0101_6^3 - 47003913587665473660085211203805395371/3008237074339744228037043819\ 117328516*c_0101_6^2 - 4009580073192890503821997348061982425/300823\ 7074339744228037043819117328516*c_0101_6 + 2589919348386926117761421236730697823/60164741486794884560740876382\ 34657032, c_0101_6^19 - 201/11*c_0101_6^18 + 907/11*c_0101_6^17 - 129/11*c_0101_6^16 + 60/11*c_0101_6^15 - 2357/11*c_0101_6^14 - 5787/11*c_0101_6^13 - 2642/11*c_0101_6^12 - 1579/11*c_0101_6^11 - 4151/11*c_0101_6^10 - 1541/11*c_0101_6^9 - 883/11*c_0101_6^8 - 662/11*c_0101_6^7 - 45*c_0101_6^6 - 105/11*c_0101_6^5 - 49/11*c_0101_6^4 - 35/11*c_0101_6^3 - 12/11*c_0101_6^2 + 1/11*c_0101_6 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB