Magma V2.19-8 Tue Aug 20 2013 16:18:31 on localhost [Seed = 1932717646] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2700 geometric_solution 5.95296624 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 0 0 0 0 0 0 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.963058644374 0.522517097631 0 2 3 0 0132 0132 0132 3201 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 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.305168615384 0.888836852416 4 1 5 6 0132 0132 0132 0132 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 -1 1 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.447055056436 0.679790996824 5 6 4 1 1023 1023 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447055056436 0.679790996824 2 3 4 4 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.005086730327 0.842005434158 5 3 5 2 2031 1023 1302 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 1 -1 -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.807528890511 0.503004235285 3 6 2 6 1023 1302 0132 2031 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 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.593121350663 0.406199305888 ==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' : negation(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' : 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' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : 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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0110_6'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0110_6'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 843821581260635583058136339/8896201951173613063909618432*c_0110_6^2\ 1 + 6140672842069506418260150327/4448100975586806531954809216*c_011\ 0_6^19 - 103764927840423540596573439995/711696156093889045112769474\ 56*c_0110_6^17 - 7523211586021106492815036659401/569356924875111236\ 090215579648*c_0110_6^15 + 90394710558402350818839994491/8896201951\ 173613063909618432*c_0110_6^13 + 32223227245635496250385939769891/5\ 69356924875111236090215579648*c_0110_6^11 - 2474610447969713004075570406023/71169615609388904511276947456*c_011\ 0_6^9 - 31247993227808271277677970156917/56935692487511123609021557\ 9648*c_0110_6^7 + 3223139924677715742763640856619/14233923121877780\ 9022553894912*c_0110_6^5 + 228011222959552500178261235911/177924039\ 02347226127819236864*c_0110_6^3 + 3541613926180318771478862497/1112\ 025243896701632988702304*c_0110_6, c_0011_0 - 1, c_0011_3 - 80441851031807672555210/34750788871771926030896947*c_0110_6^\ 20 + 1516160739422434841605472/34750788871771926030896947*c_0110_6^\ 18 - 24062633722503900276570909/139003155487087704123587788*c_0110_\ 6^16 - 294565868888470959527519535/1112025243896701632988702304*c_0\ 110_6^14 + 904438683041021216176227285/556012621948350816494351152*\ c_0110_6^12 + 1471578690043064987115270645/111202524389670163298870\ 2304*c_0110_6^10 - 3500335731598179275406347531/5560126219483508164\ 94351152*c_0110_6^8 - 1977376667076051942340776339/1112025243896701\ 632988702304*c_0110_6^6 + 2114277595732495236051784307/556012621948\ 350816494351152*c_0110_6^4 + 200629766079912904735402727/1390031554\ 87087704123587788*c_0110_6^2 + 28389294343548260686217132/347507888\ 71771926030896947, c_0101_0 + 39681877030997731562547/4000090805383818823700368*c_0110_6^2\ 1 - 279228512265467119564809/2000045402691909411850184*c_0110_6^19 + 2582383766983732132435163/32000726443070550589602944*c_0110_6^17 + 381327374856664853535895561/256005811544564404716823552*c_0110_6^15 - 28064413701411727300747979/64001452886141101179205888*c_0110_6^13 - 1726704478576718112981027379/256005811544564404716823552*c_0110_6\ ^11 + 68592800054289090464954087/64001452886141101179205888*c_0110_\ 6^9 + 2211343445146488927095613701/256005811544564404716823552*c_01\ 10_6^7 - 19176560878418668183349677/32000726443070550589602944*c_01\ 10_6^5 - 2593170949645903816827357/1000022701345954705925092*c_0110\ _6^3 + 137194239022848474813465/500011350672977352962546*c_0110_6, c_0101_1 + 4115795798141138625289/1000022701345954705925092*c_0110_6^20 - 29533579278022065044943/500011350672977352962546*c_0110_6^18 + 402623870955022697974529/8000181610767637647400736*c_0110_6^16 + 38409765084141237102914091/64001452886141101179205888*c_0110_6^14 - 5958832449201980392780807/16000363221535275294801472*c_0110_6^12 - 169482707303163130465175529/64001452886141101179205888*c_0110_6^10 + 21747993148591600705423255/16000363221535275294801472*c_0110_6^8 + 195046617048842786201499007/64001452886141101179205888*c_0110_6^6 - 5714938111917547393882339/4000090805383818823700368*c_0110_6^4 - 354695974781012317317257/1000022701345954705925092*c_0110_6^2 + 80610320636608599713091/250005675336488676481273, c_0101_2 - 652158168848432946034879/69501577743543852061793894*c_0110_6\ ^21 + 4369830328763008561526096/34750788871771926030896947*c_0110_6\ ^19 + 3260187878787562035202009/556012621948350816494351152*c_0110_\ 6^17 - 6101738063954899501890315965/4448100975586806531954809216*c_\ 0110_6^15 - 1193986167355229438150775801/22240504877934032659774046\ 08*c_0110_6^13 + 25571127475491646116238836807/44481009755868065319\ 54809216*c_0110_6^11 + 6670014211114340672344870391/222405048779340\ 3265977404608*c_0110_6^9 - 24346761237892458129647618625/4448100975\ 586806531954809216*c_0110_6^7 - 7376907818379007345159077639/222405\ 0487793403265977404608*c_0110_6^5 + 326586595743285972515002529/278006310974175408247175576*c_0110_6^3 + 3073515872807994641720699/69501577743543852061793894*c_0110_6, c_0101_4 - 187907967062142518572665/34750788871771926030896947*c_0110_6\ ^20 + 2769311409764972314499882/34750788871771926030896947*c_0110_6\ ^18 - 27889964080112972756744881/278006310974175408247175576*c_0110\ _6^16 - 1545209163349005362884545307/2224050487793403265977404608*c\ _0110_6^14 + 44186423231410509128180055/69501577743543852061793894*\ c_0110_6^12 + 6165615860784000499637566937/222405048779340326597740\ 4608*c_0110_6^10 - 549733493344274847047885389/27800631097417540824\ 7175576*c_0110_6^8 - 2620213937961995004254448847/22240504877934032\ 65977404608*c_0110_6^6 + 47277359197595724872805537/556012621948350\ 816494351152*c_0110_6^4 - 189364403369972687489045735/1390031554870\ 87704123587788*c_0110_6^2 + 33316111066430294759904912/347507888717\ 71926030896947, c_0110_6^22 - 14*c_0110_6^20 + 57/8*c_0110_6^18 + 9619/64*c_0110_6^16 - 503/16*c_0110_6^14 - 43361/64*c_0110_6^12 + 663/16*c_0110_6^10 + 54471/64*c_0110_6^8 + 211/4*c_0110_6^6 - 241*c_0110_6^4 - 48*c_0110_6^2 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB