Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 3313785319] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s383 geometric_solution 4.61098664 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398911745565 0.217841201476 2 0 3 0 0132 2310 0132 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.670110538387 0.836643933051 1 4 3 3 0132 0132 3012 1230 0 0 0 0 0 0 1 -1 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 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.224861482786 1.292855565684 2 2 4 1 3012 1230 0132 0132 0 0 0 0 0 0 0 0 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.224861482786 1.292855565684 5 2 5 3 0132 0132 2310 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 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.545567470194 0.935013540108 4 4 5 5 0132 3201 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494746064234 0.143545670047 ==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_0101_3'], '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' : negation(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_0101_3']), '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 - 354708162018848468254/2632606519873722511*c_0101_4^17 - 190922504220609271573/2632606519873722511*c_0101_4^16 + 6110717715201942337681/2632606519873722511*c_0101_4^15 + 720543280448644265979/2632606519873722511*c_0101_4^14 - 15101789231268391945095/2632606519873722511*c_0101_4^13 - 68193420333472158072620/2632606519873722511*c_0101_4^12 + 11445261612007526943545/376086645696246073*c_0101_4^11 + 120074489679128225204890/2632606519873722511*c_0101_4^10 + 1214905045795760125843/376086645696246073*c_0101_4^9 - 160378575290335236801677/2632606519873722511*c_0101_4^8 - 3438747613629410091620/2632606519873722511*c_0101_4^7 + 54493776942059463009957/2632606519873722511*c_0101_4^6 - 9560227011951239636125/2632606519873722511*c_0101_4^5 - 5854235414267035523045/2632606519873722511*c_0101_4^4 - 11375821451465868331/376086645696246073*c_0101_4^3 + 4208390248324268362754/2632606519873722511*c_0101_4^2 + 1592687584325724083859/2632606519873722511*c_0101_4 - 631286564728078824904/2632606519873722511, c_0011_0 - 1, c_0011_1 + 575041935939557771/376086645696246073*c_0101_4^17 + 298855761250402072/376086645696246073*c_0101_4^16 - 9923007728036586171/376086645696246073*c_0101_4^15 - 977953657214840278/376086645696246073*c_0101_4^14 + 24696874449445374077/376086645696246073*c_0101_4^13 + 109922344108585775284/376086645696246073*c_0101_4^12 - 132419225893809163965/376086645696246073*c_0101_4^11 - 194013132358797528557/376086645696246073*c_0101_4^10 - 5399077367244533175/376086645696246073*c_0101_4^9 + 261720462180293598455/376086645696246073*c_0101_4^8 - 837827635961449864/376086645696246073*c_0101_4^7 - 96321177804798605032/376086645696246073*c_0101_4^6 + 18825690594004908649/376086645696246073*c_0101_4^5 + 9831784103763914808/376086645696246073*c_0101_4^4 + 2177257861519946318/376086645696246073*c_0101_4^3 - 6754237972269118734/376086645696246073*c_0101_4^2 - 2554025876328336370/376086645696246073*c_0101_4 + 1299788140591841475/376086645696246073, c_0011_3 - 882858842270123329/376086645696246073*c_0101_4^17 - 410113578168070089/376086645696246073*c_0101_4^16 + 15174880922212594077/376086645696246073*c_0101_4^15 + 634833596664247622/376086645696246073*c_0101_4^14 - 36551386350869724659/376086645696246073*c_0101_4^13 - 166844968749581604352/376086645696246073*c_0101_4^12 + 209453539353409577684/376086645696246073*c_0101_4^11 + 270968257613181667666/376086645696246073*c_0101_4^10 + 13847491268835566795/376086645696246073*c_0101_4^9 - 383141821107419287269/376086645696246073*c_0101_4^8 + 27356721268769726147/376086645696246073*c_0101_4^7 + 113794172066102571814/376086645696246073*c_0101_4^6 - 29289047990240131988/376086645696246073*c_0101_4^5 - 11449794720241670571/376086645696246073*c_0101_4^4 - 1840288311001153685/376086645696246073*c_0101_4^3 + 10226604589234216220/376086645696246073*c_0101_4^2 + 3113214208986626190/376086645696246073*c_0101_4 - 1400293947921263960/376086645696246073, c_0101_0 + 1815561275354848735/376086645696246073*c_0101_4^17 + 872128960325620048/376086645696246073*c_0101_4^16 - 31284869287636401361/376086645696246073*c_0101_4^15 - 1873137202255908237/376086645696246073*c_0101_4^14 + 76680731414090370352/376086645696246073*c_0101_4^13 + 344868027301395185755/376086645696246073*c_0101_4^12 - 428624570231367925605/376086645696246073*c_0101_4^11 - 582390584764573824732/376086645696246073*c_0101_4^10 - 22300089082899705778/376086645696246073*c_0101_4^9 + 817234502815892242940/376086645696246073*c_0101_4^8 - 29682545898292926571/376086645696246073*c_0101_4^7 - 264519360466086624737/376086645696246073*c_0101_4^6 + 52634359034369607579/376086645696246073*c_0101_4^5 + 28815759794155111206/376086645696246073*c_0101_4^4 + 2112890334795394312/376086645696246073*c_0101_4^3 - 21887514202413005981/376086645696246073*c_0101_4^2 - 6844536150655116897/376086645696246073*c_0101_4 + 3180093013664332134/376086645696246073, c_0101_3 - 825429923505118648/376086645696246073*c_0101_4^17 - 398869348278945380/376086645696246073*c_0101_4^16 + 14207703971813895537/376086645696246073*c_0101_4^15 + 890785498893613188/376086645696246073*c_0101_4^14 - 34605356800485043872/376086645696246073*c_0101_4^13 - 156959474864191070384/376086645696246073*c_0101_4^12 + 193793453220052274882/376086645696246073*c_0101_4^11 + 262626004972927925920/376086645696246073*c_0101_4^10 + 15368309351641799375/376086645696246073*c_0101_4^9 - 367614057827323325550/376086645696246073*c_0101_4^8 + 12699020641083506606/376086645696246073*c_0101_4^7 + 111453921040892130686/376086645696246073*c_0101_4^6 - 23835950052303542843/376086645696246073*c_0101_4^5 - 12257965603353749096/376086645696246073*c_0101_4^4 + 1305945367996913643/376086645696246073*c_0101_4^3 + 9817184013694998432/376086645696246073*c_0101_4^2 + 2656371582784289229/376086645696246073*c_0101_4 - 1295695383585741391/376086645696246073, c_0101_4^18 + c_0101_4^17 - 17*c_0101_4^16 - 10*c_0101_4^15 + 42*c_0101_4^14 + 212*c_0101_4^13 - 138*c_0101_4^12 - 447*c_0101_4^11 - 176*c_0101_4^10 + 449*c_0101_4^9 + 220*c_0101_4^8 - 159*c_0101_4^7 - 46*c_0101_4^6 + 32*c_0101_4^5 + 8*c_0101_4^4 - 12*c_0101_4^3 - 10*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB