Magma V2.19-8 Tue Aug 20 2013 23:41:09 on localhost [Seed = 4004022891] Type ? for help. Type -D to quit. Loading file "L12a679__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a679 geometric_solution 9.35076334 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 1 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 -1 0 1 1 0 -2 1 -1 -1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.268006850499 0.810490082867 0 5 7 6 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.225215714792 1.187814746866 5 0 6 8 3201 0132 2310 0132 1 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 1 -1 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 1.238267691225 0.687337143992 4 8 4 0 0132 0132 0213 0132 1 0 0 0 0 0 0 0 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 0 0 0 0 0 -2 2 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.224786568392 0.860339145629 3 3 0 9 0132 0213 0132 0132 1 0 0 0 0 0 0 0 0 0 -1 1 -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 0 -1 1 0 0 -1 1 -2 2 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406168276902 0.362915006463 10 1 10 2 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.674273113597 0.897880685065 7 2 1 8 0132 3201 0132 2103 0 0 1 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 1 0 -1 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.578026030406 0.641498716191 6 9 9 1 0132 3120 1230 0132 0 0 0 1 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 1 -1 0 -1 0 1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630954845294 1.223254152092 9 3 2 6 0213 0132 0132 2103 1 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 -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.814716867003 0.426459068285 8 7 4 7 0213 3120 0132 3012 1 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 2 -1 -1 1 0 -1 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.226055112797 0.749292740481 5 10 5 10 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506308566029 0.157771900782 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_6']), 'c_1001_10' : d['c_0101_5'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_7']), 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0011_0']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : negation(d['c_1001_7']), 'c_0011_10' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : negation(d['c_0110_8']), 'c_1100_6' : negation(d['c_0110_8']), 'c_1100_1' : negation(d['c_0110_8']), 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : d['c_0011_6'], 'c_1100_10' : d['c_0011_0'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : negation(d['c_1001_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_1001_2'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : negation(d['c_0011_6']), '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_0110_10' : d['c_0101_5'], 'c_0101_7' : negation(d['c_0011_6']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0101_10']), 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0011_9'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_8']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_9'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_0'], 'c_1100_8' : d['c_0011_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0011_9, c_0101_0, c_0101_10, c_0101_5, c_0110_8, c_1001_0, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 3230134576241440267387501/44931145351994446545*c_1001_7^13 + 176221121819163467161441/1152080650051139655*c_1001_7^12 - 649387703925435965340167/44931145351994446545*c_1001_7^11 - 11448739505832536702981/62840762730062163*c_1001_7^10 + 57220990095084760879813/568748675341701855*c_1001_7^9 + 3440274555183279358555057/44931145351994446545*c_1001_7^8 - 2138389234366275302944904/44931145351994446545*c_1001_7^7 - 2978838491770260295306148/44931145351994446545*c_1001_7^6 + 270796145726317934519932/3456241950153418965*c_1001_7^5 - 307687796767477903805374/8986229070398889309*c_1001_7^4 + 82330137715559954473822/6418735050284920935*c_1001_7^3 - 126250239361641895822789/14977048450664815515*c_1001_7^2 + 177500282120665021939888/44931145351994446545*c_1001_7 - 32670510537732256644071/44931145351994446545, c_0011_0 - 1, c_0011_3 + 21196657058167363375/2448341405067357*c_1001_7^13 - 14885867712331868455/816113801689119*c_1001_7^12 + 24613592959258863197/2448341405067357*c_1001_7^11 + 2268537837334153880/2448341405067357*c_1001_7^10 + 122149717142642231/30991663355283*c_1001_7^9 - 26094913336350056248/2448341405067357*c_1001_7^8 + 18959812186011313568/2448341405067357*c_1001_7^7 - 7602574727578300822/2448341405067357*c_1001_7^6 + 4262257660925205908/2448341405067357*c_1001_7^5 - 2858525166968542117/2448341405067357*c_1001_7^4 + 1035277943695239506/2448341405067357*c_1001_7^3 - 69958578197102927/816113801689119*c_1001_7^2 + 83864280937883720/2448341405067357*c_1001_7 - 32277916404507508/2448341405067357, c_0011_6 - 958488563212096933/816113801689119*c_1001_7^13 + 686036998421355646/272037933896373*c_1001_7^12 - 1081688608933528091/816113801689119*c_1001_7^11 - 302174403188080775/816113801689119*c_1001_7^10 - 4768580573718674/10330554451761*c_1001_7^9 + 1287715772729574466/816113801689119*c_1001_7^8 - 834093014984110553/816113801689119*c_1001_7^7 + 236800268039347579/816113801689119*c_1001_7^6 - 153143407556897651/816113801689119*c_1001_7^5 + 129480598043940592/816113801689119*c_1001_7^4 - 41629772476985081/816113801689119*c_1001_7^3 + 1809238795773800/272037933896373*c_1001_7^2 - 3865079288326982/816113801689119*c_1001_7 + 1664721573807184/816113801689119, c_0011_9 + 13738832952667266758/272037933896373*c_1001_7^13 - 9521747865862423529/90679311298791*c_1001_7^12 + 14988484234714565104/272037933896373*c_1001_7^11 + 1815370855558309852/272037933896373*c_1001_7^10 + 82225110478727446/3443518150587*c_1001_7^9 - 16678402472115914750/272037933896373*c_1001_7^8 + 11726210880144069892/272037933896373*c_1001_7^7 - 4654453947741067802/272037933896373*c_1001_7^6 + 2684769460020566230/272037933896373*c_1001_7^5 - 1786381618992770633/272037933896373*c_1001_7^4 + 627301787633771848/272037933896373*c_1001_7^3 - 41904983941482931/90679311298791*c_1001_7^2 + 53180064953689552/272037933896373*c_1001_7 - 19220047583055938/272037933896373, c_0101_0 - 5140809778276471865/2448341405067357*c_1001_7^13 + 3724969336006074854/816113801689119*c_1001_7^12 - 6477034877045248192/2448341405067357*c_1001_7^11 - 446619130019327131/2448341405067357*c_1001_7^10 - 28657286267000443/30991663355283*c_1001_7^9 + 6528209801509899566/2448341405067357*c_1001_7^8 - 4894169075485268515/2448341405067357*c_1001_7^7 + 1985634048823723355/2448341405067357*c_1001_7^6 - 1084804844700372025/2448341405067357*c_1001_7^5 + 734345885085998873/2448341405067357*c_1001_7^4 - 278454079415734162/2448341405067357*c_1001_7^3 + 19319875186900417/816113801689119*c_1001_7^2 - 24278382760062085/2448341405067357*c_1001_7 + 8699877407658383/2448341405067357, c_0101_10 - 7193135721287948039/272037933896373*c_1001_7^13 + 5157719550038487050/90679311298791*c_1001_7^12 - 8491195011844936237/272037933896373*c_1001_7^11 - 1007817918730651066/272037933896373*c_1001_7^10 - 41672437460303044/3443518150587*c_1001_7^9 + 9097903260129741383/272037933896373*c_1001_7^8 - 6480822187409071819/272037933896373*c_1001_7^7 + 2534519237735589641/272037933896373*c_1001_7^6 - 1455282795870234262/272037933896373*c_1001_7^5 + 987815662927802792/272037933896373*c_1001_7^4 - 348307455318306178/272037933896373*c_1001_7^3 + 22830599498917333/90679311298791*c_1001_7^2 - 29396984107655857/272037933896373*c_1001_7 + 10853942833825868/272037933896373, c_0101_5 - 2344884883277818856/272037933896373*c_1001_7^13 + 1832619101907550487/90679311298791*c_1001_7^12 - 3598394063333471971/272037933896373*c_1001_7^11 - 78254813773829176/272037933896373*c_1001_7^10 - 11339510778456919/3443518150587*c_1001_7^9 + 3215194916484229469/272037933896373*c_1001_7^8 - 2601638046389527162/272037933896373*c_1001_7^7 + 1063848447807473624/272037933896373*c_1001_7^6 - 542662700563542937/272037933896373*c_1001_7^5 + 379668721873102250/272037933896373*c_1001_7^4 - 146775075301457701/272037933896373*c_1001_7^3 + 9450260595861343/90679311298791*c_1001_7^2 - 10555686880511119/272037933896373*c_1001_7 + 4413826227425804/272037933896373, c_0110_8 + 90572405149841351971/2448341405067357*c_1001_7^13 - 63684779493735926509/816113801689119*c_1001_7^12 + 102208144254376102391/2448341405067357*c_1001_7^11 + 12067709787145970714/2448341405067357*c_1001_7^10 + 535985287525831367/30991663355283*c_1001_7^9 - 111703159221260918617/2448341405067357*c_1001_7^8 + 79100977914813241730/2448341405067357*c_1001_7^7 - 31352987275715983405/2448341405067357*c_1001_7^6 + 17999287125198886112/2448341405067357*c_1001_7^5 - 12019546239191542660/2448341405067357*c_1001_7^4 + 4233073666424602574/2448341405067357*c_1001_7^3 - 282036347173385381/816113801689119*c_1001_7^2 + 356654537357805830/2448341405067357*c_1001_7 - 129484525926686509/2448341405067357, c_1001_0 - 1, c_1001_2 - 1423769648088016918/816113801689119*c_1001_7^13 + 1072039893467245768/272037933896373*c_1001_7^12 - 1988837138826449888/816113801689119*c_1001_7^11 - 85529604953466752/816113801689119*c_1001_7^10 - 7354896600541469/10330554451761*c_1001_7^9 + 1880087205879644596/816113801689119*c_1001_7^8 - 1472615620362385682/816113801689119*c_1001_7^7 + 596609446037503474/816113801689119*c_1001_7^6 - 310019710550677145/816113801689119*c_1001_7^5 + 218185664749052365/816113801689119*c_1001_7^4 - 84981454789913555/816113801689119*c_1001_7^3 + 5037292336258364/272037933896373*c_1001_7^2 - 5771302971936593/816113801689119*c_1001_7 + 2417034557479723/816113801689119, c_1001_7^14 - 2575/899*c_1001_7^13 + 2464/899*c_1001_7^12 - 673/899*c_1001_7^11 + 332/899*c_1001_7^10 - 1420/899*c_1001_7^9 + 1634/899*c_1001_7^8 - 919/899*c_1001_7^7 + 419/899*c_1001_7^6 - 256/899*c_1001_7^5 + 134/899*c_1001_7^4 - 41/899*c_1001_7^3 + 10/899*c_1001_7^2 - 4/899*c_1001_7 + 1/899 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB