Magma V2.19-8 Tue Aug 20 2013 16:19:09 on localhost [Seed = 1814950167] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3276 geometric_solution 6.39890073 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.167122146119 0.913453493037 0 4 3 2 0132 0321 0321 3012 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 1 0 -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.531338135672 0.415854225393 5 0 1 5 0132 0132 1230 1023 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 1 0 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.132489559443 0.912943212562 5 6 1 0 2103 0132 0321 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 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.193803658680 1.059288868028 5 6 0 1 1230 3201 0132 0321 0 0 0 0 0 -1 0 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 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.193803658680 1.059288868028 2 4 3 2 0132 3012 2103 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346063336368 1.356107421172 6 3 4 6 3201 0132 2310 2310 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.150268465401 0.882636132503 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : negation(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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : d['c_1001_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(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' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0101_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], '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_0101_1']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(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_0101_0, c_0101_1, c_0101_2, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 114607598923993944109/44056672844767207928832*c_1001_1^15 - 47286945610848209215/3038391230673600546816*c_1001_1^14 - 7651060630627995322133/88113345689534415857664*c_1001_1^13 + 17404374829919263780867/88113345689534415857664*c_1001_1^12 + 23349748108135385103211/22028336422383603964416*c_1001_1^11 - 173526539743474430012275/88113345689534415857664*c_1001_1^10 - 1050462931013259375861/253199269222800045568*c_1001_1^9 + 210868685278737076720673/22028336422383603964416*c_1001_1^8 - 731770912652775129377/193231021248978982144*c_1001_1^7 - 737886943498352830869/229461837733162541296*c_1001_1^6 + 16593523154957040603593/2753542052797950495552*c_1001_1^5 - 795226408754018508623/57365459433290635324*c_1001_1^4 + 273195085307711181191/23737431489637504272*c_1001_1^3 + 795418395131635340655/114730918866581270648*c_1001_1^2 - 756113426111175215915/43024094574967976493*c_1001_1 + 360963261570606573119/43024094574967976493, c_0011_0 - 1, c_0011_3 + 7247952268129613/53305109310063167488*c_1001_1^15 - 49837607051024235/53305109310063167488*c_1001_1^14 - 224340208022830249/53305109310063167488*c_1001_1^13 + 27003159895043403/1665784665939473984*c_1001_1^12 + 3296956449615171807/53305109310063167488*c_1001_1^11 - 4271689932676032543/26652554655031583744*c_1001_1^10 - 1976283192791158227/6663138663757895936*c_1001_1^9 + 4919178829568386717/6663138663757895936*c_1001_1^8 + 69026193024314869/3331569331878947968*c_1001_1^7 - 273762053017904477/832892332969736992*c_1001_1^6 + 289549359084810059/416446166484868496*c_1001_1^5 - 389101203435524375/416446166484868496*c_1001_1^4 + 60875315199556641/104111541621217124*c_1001_1^3 + 16778734632790141/52055770810608562*c_1001_1^2 - 72544800839668015/52055770810608562*c_1001_1 + 8893705787579991/26027885405304281, c_0101_0 + 1, c_0101_1 + 7916935103561/208223083242434248*c_1001_1^15 + 5633309073014019/26652554655031583744*c_1001_1^14 - 97841380413500969/26652554655031583744*c_1001_1^13 - 345758756772299519/26652554655031583744*c_1001_1^12 + 67586688522103501/1665784665939473984*c_1001_1^11 + 4341862393632831125/26652554655031583744*c_1001_1^10 - 3876105069611376087/13326277327515791872*c_1001_1^9 - 4513414761088807711/6663138663757895936*c_1001_1^8 + 454805768957084361/416446166484868496*c_1001_1^7 - 61116396814743431/832892332969736992*c_1001_1^6 - 191034390047315861/832892332969736992*c_1001_1^5 + 40755979973894737/104111541621217124*c_1001_1^4 - 406807234256876315/208223083242434248*c_1001_1^3 + 154572848854464475/104111541621217124*c_1001_1^2 + 32088145201283272/26027885405304281*c_1001_1 - 50157292849657243/26027885405304281, c_0101_2 + 14475223353796031/26652554655031583744*c_1001_1^15 - 9369395264025087/3331569331878947968*c_1001_1^14 - 68128945057246697/3331569331878947968*c_1001_1^13 + 663548194158638509/26652554655031583744*c_1001_1^12 + 6514055280348607915/26652554655031583744*c_1001_1^11 - 5586111725987019407/26652554655031583744*c_1001_1^10 - 1773115910956452175/1665784665939473984*c_1001_1^9 + 7218407789336056839/6663138663757895936*c_1001_1^8 + 362221363422309387/1665784665939473984*c_1001_1^7 - 8149369040594727/26027885405304281*c_1001_1^6 + 638778883413719989/832892332969736992*c_1001_1^5 - 419341414220428603/208223083242434248*c_1001_1^4 + 104113678099710771/104111541621217124*c_1001_1^3 + 181852133915371485/104111541621217124*c_1001_1^2 - 91153146117221381/52055770810608562*c_1001_1 + 3517326316695814/26027885405304281, c_0101_6 - 6798922855188085/53305109310063167488*c_1001_1^15 + 29164965217112329/53305109310063167488*c_1001_1^14 + 279843560689972575/53305109310063167488*c_1001_1^13 - 29207267168468979/26652554655031583744*c_1001_1^12 - 2996050333485220655/53305109310063167488*c_1001_1^11 + 4225920236121337/3331569331878947968*c_1001_1^10 + 2991223526245909659/13326277327515791872*c_1001_1^9 - 597785415643609527/6663138663757895936*c_1001_1^8 + 83047741291467377/3331569331878947968*c_1001_1^7 + 368908102393861341/1665784665939473984*c_1001_1^6 - 7855940948158179/26027885405304281*c_1001_1^5 + 114502678130983669/416446166484868496*c_1001_1^4 - 60665910220104687/208223083242434248*c_1001_1^3 - 18152519749509975/52055770810608562*c_1001_1^2 - 9886227349594677/52055770810608562*c_1001_1 - 7247952268129613/26027885405304281, c_1001_1^16 - 5*c_1001_1^15 - 39*c_1001_1^14 + 42*c_1001_1^13 + 471*c_1001_1^12 - 352*c_1001_1^11 - 2200*c_1001_1^10 + 2128*c_1001_1^9 + 1472*c_1001_1^8 - 2784*c_1001_1^7 + 1856*c_1001_1^6 - 2432*c_1001_1^5 + 256*c_1001_1^4 + 6656*c_1001_1^3 - 5120*c_1001_1^2 - 2048*c_1001_1 + 4096 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB