Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 2766485919] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2426 geometric_solution 5.77480726 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.504111978836 0.281597698949 2 0 3 0 0132 2310 0132 0132 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 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.983973083082 0.562960227552 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 -1 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 -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.978011517923 0.870894318258 5 2 4 1 3201 1230 1023 0132 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 0 0 1 -1 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.978011517923 0.870894318258 4 2 3 4 3012 0132 1023 1230 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 1 0 -1 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.426149650144 0.730606332747 6 6 2 3 0132 3201 0132 2310 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.324842274762 1.089848468766 5 6 5 6 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.751832513866 0.560426115524 ==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' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['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_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_1'], '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_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 2425347943054335307885/5892045819770290688*c_0101_0*c_0101_3^14 - 4458957628271464696657/2946022909885145344*c_0101_0*c_0101_3^13 - 24705738971442416538953/5892045819770290688*c_0101_0*c_0101_3^12 + 115699089719479994016333/5892045819770290688*c_0101_0*c_0101_3^11 + 161039152594660461100169/5892045819770290688*c_0101_0*c_0101_3^10 - 318307711358004287801601/2946022909885145344*c_0101_0*c_0101_3^9 - 527179902030705950995229/2946022909885145344*c_0101_0*c_0101_3^8 + 9231493044299395768635/46031607966955396*c_0101_0*c_0101_3^7 + 1828527542984369143814961/5892045819770290688*c_0101_0*c_0101_3^6 - 1413185840785523601072933/5892045819770290688*c_0101_0*c_0101_3^5 - 56229576569291097976317/736505727471286336*c_0101_0*c_0101_3^4 + 339007911750764011539163/1473011454942572672*c_0101_0*c_0101_3^3 - 170535786953933858721255/5892045819770290688*c_0101_0*c_0101_3^2 - 65514159893363415333765/1473011454942572672*c_0101_0*c_0101_3 + 15030347677486128075169/1473011454942572672*c_0101_0, c_0011_0 - 1, c_0011_1 + 32016760542643239/736505727471286336*c_0101_3^14 - 56613519756724575/368252863735643168*c_0101_3^13 - 337480822617966651/736505727471286336*c_0101_3^12 + 1463469897886365055/736505727471286336*c_0101_3^11 + 2288255727132591571/736505727471286336*c_0101_3^10 - 3943635881309494439/368252863735643168*c_0101_3^9 - 7369218960392532807/368252863735643168*c_0101_3^8 + 785663798348843707/46031607966955396*c_0101_3^7 + 23968627265703121107/736505727471286336*c_0101_3^6 - 14293869485984227271/736505727471286336*c_0101_3^5 - 342157225269626833/46031607966955396*c_0101_3^4 + 4189276081843082821/184126431867821584*c_0101_3^3 + 207486259115759531/736505727471286336*c_0101_3^2 - 664460708302200173/184126431867821584*c_0101_3 + 177508081847978719/184126431867821584, c_0011_3 - 413260729834190495/1473011454942572672*c_0101_0*c_0101_3^14 + 733714265183812991/736505727471286336*c_0101_0*c_0101_3^13 + 4386787301877482835/1473011454942572672*c_0101_0*c_0101_3^12 - 19144773583935617863/1473011454942572672*c_0101_0*c_0101_3^11 - 29720795350864140091/1473011454942572672*c_0101_0*c_0101_3^10 + 52225296460832553975/736505727471286336*c_0101_0*c_0101_3^9 + 95838963300088967039/736505727471286336*c_0101_0*c_0101_3^8 - 10977243814886828705/92063215933910792*c_0101_0*c_0101_3^7 - 327051996471464714347/1473011454942572672*c_0101_0*c_0101_3^6 + 199675383062211616015/1473011454942572672*c_0101_0*c_0101_3^5 + 2811038508999688155/46031607966955396*c_0101_0*c_0101_3^4 - 54912878568610655301/368252863735643168*c_0101_0*c_0101_3^3 + 9156728597973565373/1473011454942572672*c_0101_0*c_0101_3^2 + 9633916261223286985/368252863735643168*c_0101_0*c_0101_3 - 1934537749818821999/368252863735643168*c_0101_0, c_0011_5 + 954538803314230867/1473011454942572672*c_0101_0*c_0101_3^14 - 1745347487793620539/736505727471286336*c_0101_0*c_0101_3^13 - 9778339715718004983/1473011454942572672*c_0101_0*c_0101_3^12 + 45281977381053419051/1473011454942572672*c_0101_0*c_0101_3^11 + 64152972924827077199/1473011454942572672*c_0101_0*c_0101_3^10 - 124281585855555356835/736505727471286336*c_0101_0*c_0101_3^9 - 209565779846905883155/736505727471286336*c_0101_0*c_0101_3^8 + 28310054010314727367/92063215933910792*c_0101_0*c_0101_3^7 + 723176868801773527279/1473011454942572672*c_0101_0*c_0101_3^6 - 535237807766432521811/1473011454942572672*c_0101_0*c_0101_3^5 - 11234254682095296631/92063215933910792*c_0101_0*c_0101_3^4 + 130783313228619411193/368252863735643168*c_0101_0*c_0101_3^3 - 56079929361627717593/1473011454942572672*c_0101_0*c_0101_3^2 - 24590430786951248681/368252863735643168*c_0101_0*c_0101_3 + 5573638525512445803/368252863735643168*c_0101_0, c_0101_0^2 + 32016760542643239/736505727471286336*c_0101_3^14 - 56613519756724575/368252863735643168*c_0101_3^13 - 337480822617966651/736505727471286336*c_0101_3^12 + 1463469897886365055/736505727471286336*c_0101_3^11 + 2288255727132591571/736505727471286336*c_0101_3^10 - 3943635881309494439/368252863735643168*c_0101_3^9 - 7369218960392532807/368252863735643168*c_0101_3^8 + 785663798348843707/46031607966955396*c_0101_3^7 + 23968627265703121107/736505727471286336*c_0101_3^6 - 14293869485984227271/736505727471286336*c_0101_3^5 - 342157225269626833/46031607966955396*c_0101_3^4 + 4189276081843082821/184126431867821584*c_0101_3^3 + 207486259115759531/736505727471286336*c_0101_3^2 - 664460708302200173/184126431867821584*c_0101_3 - 6618350019842865/184126431867821584, c_0101_1 - 46622015340409485/368252863735643168*c_0101_3^14 + 82034372579609131/184126431867821584*c_0101_3^13 + 497488844198886057/368252863735643168*c_0101_3^12 - 2134176701157831825/368252863735643168*c_0101_3^11 - 3396187641393327965/368252863735643168*c_0101_3^10 + 5776993369493531631/184126431867821584*c_0101_3^9 + 10919183255883079669/184126431867821584*c_0101_3^8 - 2310670412401564809/46031607966955396*c_0101_3^7 - 36456155268761369409/368252863735643168*c_0101_3^6 + 20370982824053349737/368252863735643168*c_0101_3^5 + 2313296001782859215/92063215933910792*c_0101_3^4 - 5938770157222616009/92063215933910792*c_0101_3^3 + 32325145968451239/368252863735643168*c_0101_3^2 + 499327901233475955/46031607966955396*c_0101_3 - 128360716568269379/92063215933910792, c_0101_3^15 - 4*c_0101_3^14 - 9*c_0101_3^13 + 51*c_0101_3^12 + 51*c_0101_3^11 - 284*c_0101_3^10 - 350*c_0101_3^9 + 628*c_0101_3^8 + 597*c_0101_3^7 - 827*c_0101_3^6 + 2*c_0101_3^5 + 620*c_0101_3^4 - 251*c_0101_3^3 - 86*c_0101_3^2 + 60*c_0101_3 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB