Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 3499183346] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s351 geometric_solution 4.55869170 oriented_manifold CS_known 0.0000000000000002 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.602627491305 0.177625709352 2 0 2 0 0132 2310 1023 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 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.870615417596 0.272389126060 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -1 0 1 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 1 -1 -1 0 0 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 1.250692422241 0.519462282917 4 2 4 5 3012 0132 2310 0132 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 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.700069225979 1.115183209666 5 3 2 3 1023 3201 0132 1230 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 1 0 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.700069225979 1.115183209666 5 4 3 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 -0.009298695345 0.509978022391 ==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_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_1'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(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_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(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_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 170348481687052380499561/60372224371332197723395*c_0101_3^17 - 1941782278869034955250961/60372224371332197723395*c_0101_3^16 + 865609478729626347368426/12074444874266439544679*c_0101_3^15 + 3515945931052163833331124/12074444874266439544679*c_0101_3^14 - 31429870246585975715475348/60372224371332197723395*c_0101_3^13 - 184041538410446416421242497/60372224371332197723395*c_0101_3^12 - 71265451195412329365793815/12074444874266439544679*c_0101_3^11 - 472504187005551452807488588/60372224371332197723395*c_0101_3^10 - 808091104909922006571700768/60372224371332197723395*c_0101_3^9 - 146778826484884506834761647/60372224371332197723395*c_0101_3^8 + 1736336433620977142536573036/60372224371332197723395*c_0101_3^7 + 1005266837499058182612187064/60372224371332197723395*c_0101_3^6 - 295733299301742184043208387/60372224371332197723395*c_0101_3^5 - 166359763934676880032410224/12074444874266439544679*c_0101_3^4 - 513416413891836444176179757/60372224371332197723395*c_0101_3^3 + 483549025114982224106188797/60372224371332197723395*c_0101_3^2 + 4278585707208460318482862/12074444874266439544679*c_0101_3 - 23577943384605827514265797/60372224371332197723395, c_0011_0 - 1, c_0011_1 - 56624273066659929999388/12074444874266439544679*c_0101_3^17 + 68956999156767843783039/12074444874266439544679*c_0101_3^16 + 506924005499714113992909/12074444874266439544679*c_0101_3^15 - 452955192351725378821253/12074444874266439544679*c_0101_3^14 - 4204553805424235445829022/12074444874266439544679*c_0101_3^13 - 8837030110244611907039794/12074444874266439544679*c_0101_3^12 - 11387020179751477438552927/12074444874266439544679*c_0101_3^11 - 21260672648352660508935823/12074444874266439544679*c_0101_3^10 - 8667615597629809735152755/12074444874266439544679*c_0101_3^9 + 43411583662010462849766981/12074444874266439544679*c_0101_3^8 + 31176699249492781604526874/12074444874266439544679*c_0101_3^7 - 4475041552747188386030742/12074444874266439544679*c_0101_3^6 - 22074559596109647050853816/12074444874266439544679*c_0101_3^5 - 16603413871651612256815780/12074444874266439544679*c_0101_3^4 + 11550525584559777911982041/12074444874266439544679*c_0101_3^3 + 2124706996409577545735331/12074444874266439544679*c_0101_3^2 - 677017780201126386913422/12074444874266439544679*c_0101_3 - 68405065576795623093075/12074444874266439544679, c_0011_4 - 25823561389465045241598/12074444874266439544679*c_0101_3^17 + 32960047088952538232880/12074444874266439544679*c_0101_3^16 + 230238837324182089286352/12074444874266439544679*c_0101_3^15 - 220690737244135763105269/12074444874266439544679*c_0101_3^14 - 1913697664378198379499225/12074444874266439544679*c_0101_3^13 - 3915474986572308692724172/12074444874266439544679*c_0101_3^12 - 4889560306579789003053380/12074444874266439544679*c_0101_3^11 - 9213131427998516704723842/12074444874266439544679*c_0101_3^10 - 3099338827613266031044622/12074444874266439544679*c_0101_3^9 + 20538403704681328806036623/12074444874266439544679*c_0101_3^8 + 13501384386229215021515883/12074444874266439544679*c_0101_3^7 - 3279312255323532986154970/12074444874266439544679*c_0101_3^6 - 10653928136137999324680160/12074444874266439544679*c_0101_3^5 - 7332405982080575658045829/12074444874266439544679*c_0101_3^4 + 5833841569535563175510542/12074444874266439544679*c_0101_3^3 + 960189565424659701535682/12074444874266439544679*c_0101_3^2 - 367434239200225397372157/12074444874266439544679*c_0101_3 - 35791254167489912556221/12074444874266439544679, c_0101_0 + 1602386425796231177499/12074444874266439544679*c_0101_3^17 - 4426356712641536049695/12074444874266439544679*c_0101_3^16 - 11980289899834066673197/12074444874266439544679*c_0101_3^15 + 35037235572220980058955/12074444874266439544679*c_0101_3^14 + 105389799665072323136934/12074444874266439544679*c_0101_3^13 + 67779067519289610281997/12074444874266439544679*c_0101_3^12 - 113407753781126508328255/12074444874266439544679*c_0101_3^11 - 51290533527649697115196/12074444874266439544679*c_0101_3^10 - 965178828924759620360398/12074444874266439544679*c_0101_3^9 - 2107465458028474974046748/12074444874266439544679*c_0101_3^8 + 448599811815186826609917/12074444874266439544679*c_0101_3^7 + 1527516318361597864757965/12074444874266439544679*c_0101_3^6 + 975161434949353350025707/12074444874266439544679*c_0101_3^5 - 61463824278937577836766/12074444874266439544679*c_0101_3^4 - 991234742766933551450167/12074444874266439544679*c_0101_3^3 + 250679473022945541000067/12074444874266439544679*c_0101_3^2 + 60898040758847626680296/12074444874266439544679*c_0101_3 - 6814152550732262305594/12074444874266439544679, c_0101_1 - 54902489965003522323576/12074444874266439544679*c_0101_3^17 + 69477446843628461481186/12074444874266439544679*c_0101_3^16 + 489912587342162356402675/12074444874266439544679*c_0101_3^15 - 463356207989395880426966/12074444874266439544679*c_0101_3^14 - 4070709373305550207000374/12074444874266439544679*c_0101_3^13 - 8372314430071910416777998/12074444874266439544679*c_0101_3^12 - 10511682821474412527293426/12074444874266439544679*c_0101_3^11 - 19750184886820833706177436/12074444874266439544679*c_0101_3^10 - 6859216192474698157325393/12074444874266439544679*c_0101_3^9 + 43485784399369610829898310/12074444874266439544679*c_0101_3^8 + 29174979157779038019365766/12074444874266439544679*c_0101_3^7 - 6351683436417117735566122/12074444874266439544679*c_0101_3^6 - 22543706372679491460237391/12074444874266439544679*c_0101_3^5 - 15873231929415805514292228/12074444874266439544679*c_0101_3^4 + 12071214777865335258969811/12074444874266439544679*c_0101_3^3 + 2081853184880284566408040/12074444874266439544679*c_0101_3^2 - 697812509860421367007277/12074444874266439544679*c_0101_3 - 68544629326405792500438/12074444874266439544679, c_0101_3^18 - 2*c_0101_3^17 - 8*c_0101_3^16 + 15*c_0101_3^15 + 68*c_0101_3^14 + 98*c_0101_3^13 + 79*c_0101_3^12 + 218*c_0101_3^11 - 141*c_0101_3^10 - 887*c_0101_3^9 + 48*c_0101_3^8 + 509*c_0101_3^7 + 329*c_0101_3^6 - 11*c_0101_3^5 - 433*c_0101_3^4 + 122*c_0101_3^3 + 41*c_0101_3^2 - 8*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB