Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 2816883356] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2425 geometric_solution 5.77451882 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 -1 0 1 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 1.113564096840 1.085464581946 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.806907728561 0.980613177848 4 3 0 1 2310 3201 0132 3012 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 -1 1 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.806907728561 0.980613177848 1 5 2 5 0132 0132 2310 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 -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.795786332800 0.478221893598 6 1 2 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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.339323330631 0.586093131266 5 3 5 3 2310 0132 3201 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 1 -1 -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.752656592279 0.193513519850 4 6 6 4 0132 3201 2310 1023 0 0 0 0 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 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.471110718207 0.657946785618 ==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' : negation(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' : negation(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_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], '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_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 289183543140335486109147127/887376042447939578990868480*c_0101_6^16 + 786041356220976264029359801/887376042447939578990868480*c_0101_6^\ 15 - 10375139158360603660062671353/887376042447939578990868480*c_01\ 01_6^14 + 347199220935180840532244211/98597338049771064332318720*c_\ 0101_6^13 + 12463677717513707812507524353/9859733804977106433231872\ 0*c_0101_6^12 - 20578469897021037033569423903/554610026529962236869\ 29280*c_0101_6^11 + 174756628623643131527793391223/4436880212239697\ 89495434240*c_0101_6^10 + 211215201526770831243540762839/4436880212\ 23969789495434240*c_0101_6^9 - 715541140108810751190633094627/29579\ 2014149313192996956160*c_0101_6^8 + 1150644879019109213787878014717/295792014149313192996956160*c_0101_\ 6^7 - 824971188434913550885603665821/221844010611984894747717120*c_\ 0101_6^6 + 2288681953956507019922244946223/887376042447939578990868\ 480*c_0101_6^5 - 310747099165973773475643449821/2957920141493131929\ 96956160*c_0101_6^4 + 43559621640590451196675433377/295792014149313\ 192996956160*c_0101_6^3 + 57813723587203183901272661167/88737604244\ 7939578990868480*c_0101_6^2 - 76626263885181875968304719031/8873760\ 42447939578990868480*c_0101_6 + 3700710679284939354922110061/221844\ 010611984894747717120, c_0011_0 - 1, c_0011_1 + 23367454820430412717197/770291703513836440096240*c_0101_5*c_\ 0101_6^16 + 78104408958038358755419/770291703513836440096240*c_0101\ _5*c_0101_6^15 - 158603044391733303371495/154058340702767288019248*\ c_0101_5*c_0101_6^14 - 243054434122237386074239/7702917035138364400\ 96240*c_0101_5*c_0101_6^13 + 9084344605260455433901619/770291703513\ 836440096240*c_0101_5*c_0101_6^12 - 2647202439664774730347953/96286462939229555012030*c_0101_5*c_0101_6\ ^11 + 6523631068302844265359913/385145851756918220048120*c_0101_5*c\ _0101_6^10 + 24349183687454384842069361/385145851756918220048120*c_\ 0101_5*c_0101_6^9 - 148652980915464953086487387/7702917035138364400\ 96240*c_0101_5*c_0101_6^8 + 175900979568291395381351549/77029170351\ 3836440096240*c_0101_5*c_0101_6^7 - 28277579700811959233300109/192572925878459110024060*c_0101_5*c_0101\ _6^6 + 57189287672184745292330301/770291703513836440096240*c_0101_5\ *c_0101_6^5 - 12598238613868131328404317/770291703513836440096240*c\ _0101_5*c_0101_6^4 - 4678286049470035953840983/77029170351383644009\ 6240*c_0101_5*c_0101_6^3 - 1140549979902936190326571/77029170351383\ 6440096240*c_0101_5*c_0101_6^2 - 1680250139806172345232677/77029170\ 3513836440096240*c_0101_5*c_0101_6 + 82640870036495558354883/192572925878459110024060*c_0101_5, c_0101_0 - 12152529059000961918369/770291703513836440096240*c_0101_5*c_\ 0101_6^16 - 15617186115263385601387/770291703513836440096240*c_0101\ _5*c_0101_6^15 + 493238436958550634925131/770291703513836440096240*\ c_0101_5*c_0101_6^14 - 730128771021234498629033/7702917035138364400\ 96240*c_0101_5*c_0101_6^13 - 4882301779526735994693979/770291703513\ 836440096240*c_0101_5*c_0101_6^12 + 5185828749316520591370479/192572925878459110024060*c_0101_5*c_0101_\ 6^11 - 15346317464691873507337081/385145851756918220048120*c_0101_5\ *c_0101_6^10 - 4290492110761746476582173/385145851756918220048120*c\ _0101_5*c_0101_6^9 + 128832710552355537932290727/770291703513836440\ 096240*c_0101_5*c_0101_6^8 - 259278395008232472457470797/7702917035\ 13836440096240*c_0101_5*c_0101_6^7 + 16731449023300142658795023/48143231469614777506015*c_0101_5*c_0101_\ 6^6 - 167072228776589589868944281/770291703513836440096240*c_0101_5\ *c_0101_6^5 + 62421405235742921158569221/770291703513836440096240*c\ _0101_5*c_0101_6^4 + 445254473154176040409303/770291703513836440096\ 240*c_0101_5*c_0101_6^3 - 11110518306091742375084469/77029170351383\ 6440096240*c_0101_5*c_0101_6^2 + 4692394011348560640581877/77029170\ 3513836440096240*c_0101_5*c_0101_6 - 38163882952887639246043/48143231469614777506015*c_0101_5, c_0101_1 - 4487497969322990068525/154058340702767288019248*c_0101_5*c_0\ 101_6^16 - 84170847040562149372031/770291703513836440096240*c_0101_\ 5*c_0101_6^15 + 732421858516580818615159/770291703513836440096240*c\ _0101_5*c_0101_6^14 + 562212545445189514247091/77029170351383644009\ 6240*c_0101_5*c_0101_6^13 - 8617084898519630151934439/7702917035138\ 36440096240*c_0101_5*c_0101_6^12 + 1029338270208727833288932/48143231469614777506015*c_0101_5*c_0101_6\ ^11 - 437512621972539838133641/77029170351383644009624*c_0101_5*c_0\ 101_6^10 - 25025000892297200787194669/385145851756918220048120*c_01\ 01_5*c_0101_6^9 + 121514637091546167966423927/770291703513836440096\ 240*c_0101_5*c_0101_6^8 - 110860357497206138598545881/7702917035138\ 36440096240*c_0101_5*c_0101_6^7 + 12725179606701218315523171/192572\ 925878459110024060*c_0101_5*c_0101_6^6 - 25091058898681920013318401/770291703513836440096240*c_0101_5*c_0101\ _6^5 - 11642596816416358705975447/770291703513836440096240*c_0101_5\ *c_0101_6^4 + 7947944204566529336836363/770291703513836440096240*c_\ 0101_5*c_0101_6^3 + 2273057067197943570288431/770291703513836440096\ 240*c_0101_5*c_0101_6^2 + 1652402968872776025850337/770291703513836\ 440096240*c_0101_5*c_0101_6 + 235215915733876344074591/192572925878\ 459110024060*c_0101_5, c_0101_4 + 2080468045124825/262681233763866172*c_0101_6^16 + 10149556265729517/262681233763866172*c_0101_6^15 - 57079894821519367/262681233763866172*c_0101_6^14 - 116754313877053753/262681233763866172*c_0101_6^13 + 698599859256985847/262681233763866172*c_0101_6^12 - 384228778272112731/131340616881933086*c_0101_6^11 - 208480991650156587/65670308440966543*c_0101_6^10 + 1169222876869006295/65670308440966543*c_0101_6^9 - 6504395884956467885/262681233763866172*c_0101_6^8 + 765066705145590573/262681233763866172*c_0101_6^7 + 1491934540090677027/131340616881933086*c_0101_6^6 - 1006195738455394981/262681233763866172*c_0101_6^5 + 904915321526396803/262681233763866172*c_0101_6^4 + 12775649181545775/262681233763866172*c_0101_6^3 - 334122866942205283/262681233763866172*c_0101_6^2 - 539971831685172659/262681233763866172*c_0101_6 + 14364634879771683/65670308440966543, c_0101_5^2 + 55284099075367159543/19257292587845911002406*c_0101_6^16 + 1137138603179081276718/48143231469614777506015*c_0101_6^15 - 2440663505240653696749/96286462939229555012030*c_0101_6^14 - 17685741366064961231543/48143231469614777506015*c_0101_6^13 + 39425172064284903133559/96286462939229555012030*c_0101_6^12 + 131698005795451554811013/96286462939229555012030*c_0101_6^11 - 84523360849895273413801/19257292587845911002406*c_0101_6^10 + 546283663035594827926433/96286462939229555012030*c_0101_6^9 + 301813114234876599721409/48143231469614777506015*c_0101_6^8 - 2369894886869781594850629/96286462939229555012030*c_0101_6^7 + 2526714535341914602965331/96286462939229555012030*c_0101_6^6 - 997555432915955896828962/48143231469614777506015*c_0101_6^5 + 532627171297022053827837/96286462939229555012030*c_0101_6^4 + 173765273503382117084361/48143231469614777506015*c_0101_6^3 - 364729118866168916921721/96286462939229555012030*c_0101_6^2 + 125697801826841426315424/48143231469614777506015*c_0101_6 - 15249838053853488602632/48143231469614777506015, c_0101_6^17 + 3*c_0101_6^16 - 35*c_0101_6^15 + c_0101_6^14 + 387*c_0101_6^13 - 1028*c_0101_6^12 + 930*c_0101_6^11 + 1674*c_0101_6^10 - 6871*c_0101_6^9 + 10005*c_0101_6^8 - 8888*c_0101_6^7 + 6073*c_0101_6^6 - 2285*c_0101_6^5 + 321*c_0101_6^4 + 109*c_0101_6^3 - 237*c_0101_6^2 + 24*c_0101_6 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB