Magma V2.19-8 Tue Aug 20 2013 16:14:53 on localhost [Seed = 3313785261] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s866 geometric_solution 5.51592077 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 -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 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.303268315313 0.269175286028 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.852336878272 1.367875056848 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.675512478308 0.994820320726 2 5 4 1 3012 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.675512478308 0.994820320726 4 2 4 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.569862373619 0.576048211951 5 5 3 2 1302 2031 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.627663782979 1.088504831008 ==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_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' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0101_3']), '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' : d['c_0011_5'], '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_0']), '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' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], '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_0'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], '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_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 81498526437298504634068156/5399305847439400279523549*c_0101_3^23 - 85079182456756582222053938/5399305847439400279523549*c_0101_3^22 + 2101500217710902680591607705/5399305847439400279523549*c_0101_3^21 + 2024685330210851733651374718/5399305847439400279523549*c_0101_3^20 - 19274024379816257250708564957/5399305847439400279523549*c_0101_3^19 - 10378969041871514939086315242/5399305847439400279523549*c_0101_3^\ 18 + 97356796906196859544637647477/5399305847439400279523549*c_0101\ _3^17 + 9250990954139842791265894892/5399305847439400279523549*c_01\ 01_3^16 - 299975834674069583212035514798/5399305847439400279523549*\ c_0101_3^15 + 53736207461248381414498516987/53993058474394002795235\ 49*c_0101_3^14 + 554273021219942453591749180375/5399305847439400279\ 523549*c_0101_3^13 - 199214853823208527119907700392/539930584743940\ 0279523549*c_0101_3^12 - 634106119872974216688796322665/53993058474\ 39400279523549*c_0101_3^11 + 309516928163768443912221670354/5399305\ 847439400279523549*c_0101_3^10 + 491294298654991858409891478615/539\ 9305847439400279523549*c_0101_3^9 - 225779029299468209736714332448/5399305847439400279523549*c_0101_3^8 - 250588615236893142002168547237/5399305847439400279523549*c_0101_3\ ^7 + 94756385979439991477003613394/5399305847439400279523549*c_0101\ _3^6 + 108542327720284836862313603682/5399305847439400279523549*c_0\ 101_3^5 - 1864307082324591612126220222/5399305847439400279523549*c_\ 0101_3^4 - 25188299116102372196804928977/5399305847439400279523549*\ c_0101_3^3 - 6165951954708952222691698134/5399305847439400279523549\ *c_0101_3^2 + 2026321309159598222980941995/539930584743940027952354\ 9*c_0101_3 + 774872252486320875821079472/5399305847439400279523549, c_0011_0 - 1, c_0011_1 - 1369893368202211133853832/5399305847439400279523549*c_0101_3\ ^23 - 4449418245357664945891714/5399305847439400279523549*c_0101_3^\ 22 + 36559800519900919124366449/5399305847439400279523549*c_0101_3^\ 21 + 110684086099610960649266363/5399305847439400279523549*c_0101_3\ ^20 - 360991673605068711218297414/5399305847439400279523549*c_0101_\ 3^19 - 849686230821422021155628647/5399305847439400279523549*c_0101\ _3^18 + 2250493364332929209275778397/5399305847439400279523549*c_01\ 01_3^17 + 3000038126150205253902908810/5399305847439400279523549*c_\ 0101_3^16 - 9044629906672687783497869306/5399305847439400279523549*\ c_0101_3^15 - 4893704802785712730245393919/539930584743940027952354\ 9*c_0101_3^14 + 20926379022217357295447188311/539930584743940027952\ 3549*c_0101_3^13 + 1014751374250242281212683836/5399305847439400279\ 523549*c_0101_3^12 - 27628375583695295228503062226/5399305847439400\ 279523549*c_0101_3^11 + 6916181731371590240321977169/53993058474394\ 00279523549*c_0101_3^10 + 21690824776947713642366478589/53993058474\ 39400279523549*c_0101_3^9 - 7730483353519773974886629070/5399305847\ 439400279523549*c_0101_3^8 - 9977782371542567159443729841/539930584\ 7439400279523549*c_0101_3^7 + 3492070625718877671210867419/53993058\ 47439400279523549*c_0101_3^6 + 3663887852457595677853324971/5399305\ 847439400279523549*c_0101_3^5 - 42443155917031248569309015/53993058\ 47439400279523549*c_0101_3^4 - 792977571826860862926584057/53993058\ 47439400279523549*c_0101_3^3 - 187056278720098748900255372/53993058\ 47439400279523549*c_0101_3^2 + 59581187141667130364628985/539930584\ 7439400279523549*c_0101_3 + 13220418507586701269955827/539930584743\ 9400279523549, c_0011_3 - 257372861067321849695913/5399305847439400279523549*c_0101_3^\ 23 + 3302881395786360854413990/5399305847439400279523549*c_0101_3^2\ 2 + 5680195164709392972723122/5399305847439400279523549*c_0101_3^21 - 84853782016265043574083085/5399305847439400279523549*c_0101_3^20 - 29646426178818103062302498/5399305847439400279523549*c_0101_3^19 + 781404886079371072819226724/5399305847439400279523549*c_0101_3^18 - 313217409094455096371100212/5399305847439400279523549*c_0101_3^17 - 3517615077521498989141827952/5399305847439400279523549*c_0101_3^16 + 3408300040737236039898752774/5399305847439400279523549*c_0101_3^15 + 8004786957568135337500389863/5399305847439400279523549*c_0101_3^14 - 11569063187342792021314390043/5399305847439400279523549*c_0101_3^13 - 8240088068063776283623651215/5399305847439400279523549*c_0101_3^1\ 2 + 18772819934906261806339094922/5399305847439400279523549*c_0101_\ 3^11 + 1895883100178801300447198309/5399305847439400279523549*c_010\ 1_3^10 - 16396152891929544778698023809/5399305847439400279523549*c_\ 0101_3^9 + 2240434118997839986202539266/5399305847439400279523549*c\ _0101_3^8 + 7812810381415399455869648530/5399305847439400279523549*\ c_0101_3^7 - 1475862899050772269917915523/5399305847439400279523549\ *c_0101_3^6 - 2555652905794000551080732938/539930584743940027952354\ 9*c_0101_3^5 - 155835732024604971722771752/539930584743940027952354\ 9*c_0101_3^4 + 503851199423792460945276100/539930584743940027952354\ 9*c_0101_3^3 + 138929036175163911836405939/539930584743940027952354\ 9*c_0101_3^2 - 41078666465909485400967280/5399305847439400279523549\ *c_0101_3 - 5254875891677106786520081/5399305847439400279523549, c_0011_5 - 2566236768470194203912197/5399305847439400279523549*c_0101_3\ ^23 - 1627266229269532983549745/5399305847439400279523549*c_0101_3^\ 22 + 65575619130653745210239398/5399305847439400279523549*c_0101_3^\ 21 + 37107522147669923689265177/5399305847439400279523549*c_0101_3^\ 20 - 590066520349500691863744002/5399305847439400279523549*c_0101_3\ ^19 - 92954634641344286626785060/5399305847439400279523549*c_0101_3\ ^18 + 2821301256555387725268731899/5399305847439400279523549*c_0101\ _3^17 - 677719311832653780881850558/5399305847439400279523549*c_010\ 1_3^16 - 7949398632860976149768641654/5399305847439400279523549*c_0\ 101_3^15 + 3604688737325717584688704865/5399305847439400279523549*c\ _0101_3^14 + 13268247284387451266339471670/539930584743940027952354\ 9*c_0101_3^13 - 7697893728378345405067662994/5399305847439400279523\ 549*c_0101_3^12 - 13946310790436972622457011322/5399305847439400279\ 523549*c_0101_3^11 + 9439146273634981057526085109/53993058474394002\ 79523549*c_0101_3^10 + 10413396575075792724010386406/53993058474394\ 00279523549*c_0101_3^9 - 6245694862792294471324695129/5399305847439\ 400279523549*c_0101_3^8 - 5120511139862226023320733436/539930584743\ 9400279523549*c_0101_3^7 + 2538940006478698272196975790/53993058474\ 39400279523549*c_0101_3^6 + 2242036562293482491237225232/5399305847\ 439400279523549*c_0101_3^5 - 49137835916462459191808814/53993058474\ 39400279523549*c_0101_3^4 - 488263642778768165334159028/53993058474\ 39400279523549*c_0101_3^3 - 135152166294856749746576137/53993058474\ 39400279523549*c_0101_3^2 + 21427982514259418313479041/539930584743\ 9400279523549*c_0101_3 + 8237573601876868148012917/5399305847439400\ 279523549, c_0101_0 + 2023212063696189009281206/5399305847439400279523549*c_0101_3\ ^23 + 3499350980416748996713449/5399305847439400279523549*c_0101_3^\ 22 - 52810245408505181568566823/5399305847439400279523549*c_0101_3^\ 21 - 85490646813257730262633415/5399305847439400279523549*c_0101_3^\ 20 + 497520621248074321078315451/5399305847439400279523549*c_0101_3\ ^19 + 567797113746117717553294590/5399305847439400279523549*c_0101_\ 3^18 - 2720050111944907094902431099/5399305847439400279523549*c_010\ 1_3^17 - 1525157166962081866402134832/5399305847439400279523549*c_0\ 101_3^16 + 9397027550311981938419185228/5399305847439400279523549*c\ _0101_3^15 + 1207088904469681793122282940/5399305847439400279523549\ *c_0101_3^14 - 19398019299745294090128838911/5399305847439400279523\ 549*c_0101_3^13 + 3467815949771090840116999990/53993058474394002795\ 23549*c_0101_3^12 + 23861547159835290718469276200/53993058474394002\ 79523549*c_0101_3^11 - 9554492233697891966077954607/539930584743940\ 0279523549*c_0101_3^10 - 18188169302962980648487504829/539930584743\ 9400279523549*c_0101_3^9 + 8486614910149248462951832461/53993058474\ 39400279523549*c_0101_3^8 + 8236289300085471152803265697/5399305847\ 439400279523549*c_0101_3^7 - 3711812438116560375293428040/539930584\ 7439400279523549*c_0101_3^6 - 3076449722858120961215932933/53993058\ 47439400279523549*c_0101_3^5 + 151944278231589323995030804/53993058\ 47439400279523549*c_0101_3^4 + 652130391977359279595123978/53993058\ 47439400279523549*c_0101_3^3 + 152558059724480060415983904/53993058\ 47439400279523549*c_0101_3^2 - 48964172420340546745235543/539930584\ 7439400279523549*c_0101_3 - 5002531888190949092459603/5399305847439\ 400279523549, c_0101_3^24 - 26*c_0101_3^22 + 2*c_0101_3^21 + 240*c_0101_3^20 - 116*c_0101_3^19 - 1126*c_0101_3^18 + 1019*c_0101_3^17 + 2896*c_0101_3^16 - 3601*c_0101_3^15 - 3958*c_0101_3^14 + 6646*c_0101_3^13 + 2619*c_0101_3^12 - 7129*c_0101_3^11 - 624*c_0101_3^10 + 4497*c_0101_3^9 - 144*c_0101_3^8 - 1833*c_0101_3^7 - 88*c_0101_3^6 + 451*c_0101_3^5 + 113*c_0101_3^4 - 60*c_0101_3^3 - 25*c_0101_3^2 + 4*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB