Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 1747579978] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s365 geometric_solution 4.58484232 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 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 0 0 0 0 0 0 0 0 0 0.395016897911 0.238326089682 2 0 3 0 0132 2310 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.749029269926 0.881429094942 1 4 3 3 0132 0132 3012 1230 0 0 0 0 0 0 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.258490375639 1.190760204687 2 2 4 1 3012 1230 0132 0132 0 0 0 0 0 0 1 -1 1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.258490375639 1.190760204687 5 2 5 3 0132 0132 1023 0132 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 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.620300461975 0.705658804438 4 5 4 5 0132 1302 1023 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529757172485 0.137541625951 ==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' : d['1'], 's_3_5' : 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' : d['1'], 's_2_3' : 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' : 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' : d['c_0011_1'], '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' : d['c_0011_3'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), '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' : d['c_0101_4'], '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_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0011_3']), '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_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 387637157403977549/275227693858173*c_0101_4^17 - 59759333644336733/91742564619391*c_0101_4^16 - 899582600553846950/39318241979739*c_0101_4^15 + 809668638776106232/91742564619391*c_0101_4^14 + 33067746083702354380/275227693858173*c_0101_4^13 + 14296874269129946723/275227693858173*c_0101_4^12 - 101501466419483006276/275227693858173*c_0101_4^11 - 28638043172326664598/91742564619391*c_0101_4^10 + 33961335277535792913/91742564619391*c_0101_4^9 + 166106411973918683977/275227693858173*c_0101_4^8 - 72690580551128630788/275227693858173*c_0101_4^7 - 93503332421408506406/275227693858173*c_0101_4^6 + 15281189321221425218/275227693858173*c_0101_4^5 + 13470972945272991640/91742564619391*c_0101_4^4 - 4515809923810985306/275227693858173*c_0101_4^3 - 533137069798216031/13106080659913*c_0101_4^2 + 298683327307207006/39318241979739*c_0101_4 + 688581221713614196/275227693858173, c_0011_0 - 1, c_0011_1 + 7178270489206393/39318241979739*c_0101_4^17 - 1081352822477090/13106080659913*c_0101_4^16 - 116632408798476043/39318241979739*c_0101_4^15 + 14583811268771844/13106080659913*c_0101_4^14 + 612631421002118396/39318241979739*c_0101_4^13 + 271157578362094591/39318241979739*c_0101_4^12 - 1875838602065088709/39318241979739*c_0101_4^11 - 536550192934969874/13106080659913*c_0101_4^10 + 622527284213726980/13106080659913*c_0101_4^9 + 3091460400473192882/39318241979739*c_0101_4^8 - 1313753277485659178/39318241979739*c_0101_4^7 - 1740170579046652585/39318241979739*c_0101_4^6 + 266798682186770221/39318241979739*c_0101_4^5 + 249855335935627654/13106080659913*c_0101_4^4 - 77464069331241520/39318241979739*c_0101_4^3 - 69199194359097537/13106080659913*c_0101_4^2 + 37004666168392895/39318241979739*c_0101_4 + 13118422513263833/39318241979739, c_0011_3 + 5201280758137355/39318241979739*c_0101_4^17 - 2347780071594515/39318241979739*c_0101_4^16 - 84507430107701438/39318241979739*c_0101_4^15 + 31658612716870165/39318241979739*c_0101_4^14 + 147951745176982804/13106080659913*c_0101_4^13 + 196669727944496525/39318241979739*c_0101_4^12 - 1358766886114551971/39318241979739*c_0101_4^11 - 1166545231386511310/39318241979739*c_0101_4^10 + 1351927944056394608/39318241979739*c_0101_4^9 + 2238977630004279305/39318241979739*c_0101_4^8 - 317069364059553115/13106080659913*c_0101_4^7 - 419899008363080030/13106080659913*c_0101_4^6 + 193656932740873267/39318241979739*c_0101_4^5 + 542803320526247912/39318241979739*c_0101_4^4 - 18693538177809864/13106080659913*c_0101_4^3 - 150334733688209746/39318241979739*c_0101_4^2 + 26767294749954200/39318241979739*c_0101_4 + 9495125348039558/39318241979739, c_0101_0 - 3002969497276276/39318241979739*c_0101_4^17 + 1332941955812557/39318241979739*c_0101_4^16 + 16263309951899219/13106080659913*c_0101_4^15 - 5971014672402643/13106080659913*c_0101_4^14 - 256222884296219555/39318241979739*c_0101_4^13 - 115438132365692261/39318241979739*c_0101_4^12 + 260907563477000079/13106080659913*c_0101_4^11 + 226159649411597719/13106080659913*c_0101_4^10 - 257712727556885419/13106080659913*c_0101_4^9 - 1294784021780626562/39318241979739*c_0101_4^8 + 538649527161925318/39318241979739*c_0101_4^7 + 242085141155831692/13106080659913*c_0101_4^6 - 107138027630824189/39318241979739*c_0101_4^5 - 311926705417582751/39318241979739*c_0101_4^4 + 10247086655007573/13106080659913*c_0101_4^3 + 28776185802577828/13106080659913*c_0101_4^2 - 15090698704901648/39318241979739*c_0101_4 - 1809862779835142/13106080659913, c_0101_3 + 1314240745455017/13106080659913*c_0101_4^17 - 585996881126730/13106080659913*c_0101_4^16 - 64059257994368087/39318241979739*c_0101_4^15 + 23646182724097141/39318241979739*c_0101_4^14 + 336431155386743525/39318241979739*c_0101_4^13 + 150911848196271334/39318241979739*c_0101_4^12 - 1028354195025436163/39318241979739*c_0101_4^11 - 889159752970030355/39318241979739*c_0101_4^10 + 1017815341304184095/39318241979739*c_0101_4^9 + 1699574716566638821/39318241979739*c_0101_4^8 - 710884046128814575/39318241979739*c_0101_4^7 - 318052366856479176/13106080659913*c_0101_4^6 + 142267272215023622/39318241979739*c_0101_4^5 + 410149696068192901/39318241979739*c_0101_4^4 - 13730899787557988/13106080659913*c_0101_4^3 - 113511608542420201/39318241979739*c_0101_4^2 + 20020493622026983/39318241979739*c_0101_4 + 7144320523786571/39318241979739, c_0101_4^18 - c_0101_4^17 - 16*c_0101_4^16 + 15*c_0101_4^15 + 82*c_0101_4^14 - 9*c_0101_4^13 - 282*c_0101_4^12 - 81*c_0101_4^11 + 383*c_0101_4^10 + 288*c_0101_4^9 - 419*c_0101_4^8 - 142*c_0101_4^7 + 170*c_0101_4^6 + 84*c_0101_4^5 - 68*c_0101_4^4 - 23*c_0101_4^3 + 21*c_0101_4^2 - c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB