Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 4223297305] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0560 geometric_solution 4.57695671 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 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 1 0 -1 -1 0 0 1 -1 1 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.455747456236 1.642377748616 0 3 0 2 0132 1302 2310 1302 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 0 0 0 0 0 0 0 0 0 -1 -1 2 1 0 -1 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.697764845184 0.340982421774 4 4 1 0 0132 2310 2031 0132 0 0 0 0 0 0 0 0 -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 0 0 0 2 0 -2 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.324076625882 0.235492615383 5 5 0 1 0132 3201 0132 2031 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 1 -1 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.252123107116 0.452796062587 2 6 6 2 0132 0132 1023 3201 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 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.048703244127 0.879250776879 3 5 3 5 0132 1302 2310 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.110920371691 2.090860115759 6 4 4 6 3201 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 1.734397997768 0.459273674592 ==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' : negation(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_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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_1010_1']), 'c_1100_3' : negation(d['c_1010_1']), 'c_1100_2' : negation(d['c_1010_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], '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' : d['c_0011_2'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), '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_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : negation(d['c_0101_6']), '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_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_1010_1'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_2, c_0011_3, c_0101_0, c_0101_5, c_0101_6, c_1010_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 90508940234148896579842/3312570234427364442282075*c_1010_1^11 + 15507159581978980144981/368063359380818271364675*c_1010_1^10 + 162222356182311443885564/1104190078142454814094025*c_1010_1^9 + 69940329544360299899/961558848890381550735*c_1010_1^8 - 4690459998400271827094017/3312570234427364442282075*c_1010_1^7 - 6036443344064992466987576/1104190078142454814094025*c_1010_1^6 - 6394953936747220281252769/368063359380818271364675*c_1010_1^5 - 108239191881511285518355117/3312570234427364442282075*c_1010_1^4 - 13320677681716787542322317/220838015628490962818805*c_1010_1^3 - 41338264845913311599883647/662514046885472888456415*c_1010_1^2 - 291174555909660478938751334/3312570234427364442282075*c_1010_1 - 74826565710034666676113789/3312570234427364442282075, c_0011_0 - 1, c_0011_2 - 154226973486082/6203605476712139037*c_1010_1^11 + 62290039127374/689289497412459893*c_1010_1^10 + 1817201461522450/2067868492237379679*c_1010_1^9 + 15083193151840789/6203605476712139037*c_1010_1^8 + 43495606008031666/6203605476712139037*c_1010_1^7 - 3470434817022481/2067868492237379679*c_1010_1^6 - 41578715873083511/689289497412459893*c_1010_1^5 - 1547355474885378404/6203605476712139037*c_1010_1^4 - 1475507949490118494/2067868492237379679*c_1010_1^3 - 8311659743165760449/6203605476712139037*c_1010_1^2 - 12845586139490538415/6203605476712139037*c_1010_1 - 9484979178508236680/6203605476712139037, c_0011_3 + 5618976287699065/6203605476712139037*c_1010_1^11 + 1361960600641181/2067868492237379679*c_1010_1^10 + 7223969389296913/2067868492237379679*c_1010_1^9 - 8330659462584463/6203605476712139037*c_1010_1^8 - 303042375859462087/6203605476712139037*c_1010_1^7 - 304740557177594335/2067868492237379679*c_1010_1^6 - 842131843519764290/2067868492237379679*c_1010_1^5 - 3732939200564371129/6203605476712139037*c_1010_1^4 - 723713079288411367/689289497412459893*c_1010_1^3 - 1887062353916624752/6203605476712139037*c_1010_1^2 - 5223660455131289783/6203605476712139037*c_1010_1 + 3445546714277927519/6203605476712139037, c_0101_0 + 6738983571468253/6203605476712139037*c_1010_1^11 + 2893624058618335/2067868492237379679*c_1010_1^10 + 3864544655555331/689289497412459893*c_1010_1^9 + 9977137522650272/6203605476712139037*c_1010_1^8 - 344398935665177293/6203605476712139037*c_1010_1^7 - 133102529005610426/689289497412459893*c_1010_1^6 - 1335855553501389901/2067868492237379679*c_1010_1^5 - 7326952385706034435/6203605476712139037*c_1010_1^4 - 4750558994783443156/2067868492237379679*c_1010_1^3 - 16335334502833080499/6203605476712139037*c_1010_1^2 - 24957770750209041686/6203605476712139037*c_1010_1 - 7848963439823981152/6203605476712139037, c_0101_5 + 2743034634651418/2067868492237379679*c_1010_1^11 + 4819428087417199/2067868492237379679*c_1010_1^10 + 13819166484762100/2067868492237379679*c_1010_1^9 + 3346445874110861/689289497412459893*c_1010_1^8 - 148027860629002657/2067868492237379679*c_1010_1^7 - 596900579910519409/2067868492237379679*c_1010_1^6 - 1736754576733544857/2067868492237379679*c_1010_1^5 - 3432050098321411859/2067868492237379679*c_1010_1^4 - 5877968847912329141/2067868492237379679*c_1010_1^3 - 1973682540326871958/689289497412459893*c_1010_1^2 - 7185407790794206340/2067868492237379679*c_1010_1 - 861569273541332448/689289497412459893, c_0101_6 + 6276447594981968/6203605476712139037*c_1010_1^11 + 5669696151527059/2067868492237379679*c_1010_1^10 + 14614059383125793/2067868492237379679*c_1010_1^9 + 32419427697903343/6203605476712139037*c_1010_1^8 - 341795387555521367/6203605476712139037*c_1010_1^7 - 569115647178139892/2067868492237379679*c_1010_1^6 - 1771532644823799562/2067868492237379679*c_1010_1^5 - 10616362707068054123/6203605476712139037*c_1010_1^4 - 1970970025269559507/689289497412459893*c_1010_1^3 - 17649055161968356733/6203605476712139037*c_1010_1^2 - 20236457373056683777/6203605476712139037*c_1010_1 - 7627590787688747993/6203605476712139037, c_1010_1^12 + 2*c_1010_1^11 + 6*c_1010_1^10 + 5*c_1010_1^9 - 51*c_1010_1^8 - 224*c_1010_1^7 - 723*c_1010_1^6 - 1471*c_1010_1^5 - 2705*c_1010_1^4 - 3205*c_1010_1^3 - 4102*c_1010_1^2 - 2147*c_1010_1 - 155 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB