Magma V2.19-8 Tue Aug 20 2013 16:17:46 on localhost [Seed = 1494795706] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1997 geometric_solution 5.55920921 oriented_manifold CS_known 0.0000000000000004 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.170864413976 1.047242313225 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821526560183 0.924418575164 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 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.821526560183 0.924418575164 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 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.714827553222 0.428528249986 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.379323541284 0.558541785173 5 3 5 3 2031 0132 1302 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 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.587289530717 0.121888411618 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.425324048456 0.662071417713 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : 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' : negation(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' : negation(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' : negation(d['c_0011_1']), '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' : d['c_0110_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' : d['c_0110_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' : d['c_0110_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_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 22328669953502204213664973450997473275/2770951304545426072358081302\ 654949144576*c_0110_5^26 + 1480172541098362108871811279903276513845\ /2770951304545426072358081302654949144576*c_0110_5^24 - 29130438538736220745459824286384909064289/2770951304545426072358081\ 302654949144576*c_0110_5^22 + 3786565449676935148644010797502934977\ 8869/692737826136356518089520325663737286144*c_0110_5^20 - 212155913485732672045282581834334432669933/277095130454542607235808\ 1302654949144576*c_0110_5^18 + 553572139135756401534367342027167333\ 04759/346368913068178259044760162831868643072*c_0110_5^16 - 449613388798397458686113787575482204409597/138547565227271303617904\ 0651327474572288*c_0110_5^14 - 246074460505414894852269376469773829\ 8133571/692737826136356518089520325663737286144*c_0110_5^12 + 16098891499029356173316718376862231811233975/2770951304545426072358\ 081302654949144576*c_0110_5^10 + 1136639392839007960290213393509846\ 416036943/173184456534089129522380081415934321536*c_0110_5^8 + 415718712717180814893380613805434111544743/346368913068178259044760\ 162831868643072*c_0110_5^6 - 70103637107793913755732495900987094963\ 0881/2770951304545426072358081302654949144576*c_0110_5^4 - 6972979094950852237778125861163031702093/17318445653408912952238008\ 1415934321536*c_0110_5^2 + 114229588158858984174755613861179940035/\ 86592228267044564761190040707967160768, c_0011_0 - 1, c_0011_1 - 157093474033390994437342075382561615/10824028533380570595148\ 755088495895096*c_0110_5^27 + 2134107672820552579478072676345858607\ 1/21648057066761141190297510176991790192*c_0110_5^25 - 111289793844281636371733410850562013885/541201426669028529757437754\ 4247947548*c_0110_5^23 + 2884990832682288092283138937723943079789/2\ 1648057066761141190297510176991790192*c_0110_5^21 - 8256021232690783364343950407380898452229/21648057066761141190297510\ 176991790192*c_0110_5^19 + 5884886010844739614803365356979999503661\ /5412014266690285297574377544247947548*c_0110_5^17 - 7909584302663583744226388864881807592775/27060071333451426487871887\ 72123973774*c_0110_5^15 + 107655466660590847483225739326189937969/1\ 0824028533380570595148755088495895096*c_0110_5^13 + 32482828160947768047659329938793128933875/5412014266690285297574377\ 544247947548*c_0110_5^11 + 9664934242009360808346402684309672750272\ 5/21648057066761141190297510176991790192*c_0110_5^9 + 19742923563313831009821983275974458395793/2164805706676114119029751\ 0176991790192*c_0110_5^7 - 1250517129785187202788184897883263529165\ /21648057066761141190297510176991790192*c_0110_5^5 - 21771434100917121428488259173119406209/2706007133345142648787188772\ 123973774*c_0110_5^3 + 17770950448915198938603793397134613267/27060\ 07133345142648787188772123973774*c_0110_5, c_0101_0 + 349626859971874678166977026900292529/86592228267044564761190\ 040707967160768*c_0110_5^27 - 2393342629112985667932703944306665539\ 5/86592228267044564761190040707967160768*c_0110_5^25 + 508043288280763374778372772615863966827/865922282670445647611900407\ 07967160768*c_0110_5^23 - 54365023080527854584004360807566831216/13\ 53003566672571324393594386061986887*c_0110_5^21 + 11028640385420937646795852456483980094211/8659222826704456476119004\ 0707967160768*c_0110_5^19 - 400307306919832201947626303123436872466\ 7/10824028533380570595148755088495895096*c_0110_5^17 + 43658931378297391826607573772738118723327/4329611413352228238059502\ 0353983580384*c_0110_5^15 - 115775329802621147886543423741060362841\ 93/21648057066761141190297510176991790192*c_0110_5^13 - 120519185686057982129235162026382545031229/865922282670445647611900\ 40707967160768*c_0110_5^11 - 10671569290006858541645899094552319114\ 093/21648057066761141190297510176991790192*c_0110_5^9 + 64670975248785631764337853919675327713/2164805706676114119029751017\ 6991790192*c_0110_5^7 - 345657827116356576591966865457608707617/865\ 92228267044564761190040707967160768*c_0110_5^5 - 2481131417606381689239573351968994035/54120142666902852975743775442\ 47947548*c_0110_5^3 + 5504238398381091073833092990623350515/2706007\ 133345142648787188772123973774*c_0110_5, c_0101_1 - 810040594782992835708838858725767411/43296114133522282380595\ 020353983580384*c_0110_5^27 + 5516116602513294984892085143619703340\ 9/43296114133522282380595020353983580384*c_0110_5^25 - 1157257997106341011266141314728826707737/43296114133522282380595020\ 353983580384*c_0110_5^23 + 477556995384727066011068559132280569319/\ 2706007133345142648787188772123973774*c_0110_5^21 - 22679146355381226876415544686994536362129/4329611413352228238059502\ 0353983580384*c_0110_5^19 + 407072634864983470579943986360586852812\ 7/2706007133345142648787188772123973774*c_0110_5^17 - 88026752845912364353682211387445335712297/2164805706676114119029751\ 0176991790192*c_0110_5^15 + 894785617405663418954029812713049448066\ 9/10824028533380570595148755088495895096*c_0110_5^13 + 315344384856483323204072770204203691217711/432961141335222823805950\ 20353983580384*c_0110_5^11 + 50470332422726703241410900403092744901\ 667/10824028533380570595148755088495895096*c_0110_5^9 + 8851407652149846496465266366472108477999/10824028533380570595148755\ 088495895096*c_0110_5^7 - 2857838262729515102027191281053733747949/\ 43296114133522282380595020353983580384*c_0110_5^5 - 11123338417173069701068610952952027125/1353003566672571324393594386\ 061986887*c_0110_5^3 + 17526845935823372485076083287501740849/27060\ 07133345142648787188772123973774*c_0110_5, c_0101_4 - 123574965304504190197051265615812703/43296114133522282380595\ 020353983580384*c_0110_5^26 + 8416201931534431288976422742579377425\ /43296114133522282380595020353983580384*c_0110_5^24 - 176609439179488266117517251897267137669/432961141335222823805950203\ 53983580384*c_0110_5^22 + 291601680307493493531653462420218327359/1\ 0824028533380570595148755088495895096*c_0110_5^20 - 3451796998830495557078391709612915410729/43296114133522282380595020\ 353983580384*c_0110_5^18 + 307395218904658656909013488254252456877/\ 1353003566672571324393594386061986887*c_0110_5^16 - 13258441145987484822857195186559977551269/2164805706676114119029751\ 0176991790192*c_0110_5^14 + 110990480482535579427633751677802673812\ 3/10824028533380570595148755088495895096*c_0110_5^12 + 51538428123499380925796611305874144911491/4329611413352228238059502\ 0353983580384*c_0110_5^10 + 348379787705928783880484195031151033473\ 1/5412014266690285297574377544247947548*c_0110_5^8 + 164259603253707465691495816245411230657/541201426669028529757437754\ 4247947548*c_0110_5^6 - 1291946198800948546279236199152099437781/43\ 296114133522282380595020353983580384*c_0110_5^4 + 4537495898968624706275552811714819969/27060071333451426487871887721\ 23973774*c_0110_5^2 + 994825845078564004196149700314869538/13530035\ 66672571324393594386061986887, c_0101_6 + 424520467132083910096984279160288827/86592228267044564761190\ 040707967160768*c_0110_5^26 - 2884558648833947681945388572338831336\ 1/86592228267044564761190040707967160768*c_0110_5^24 + 602182809534632025405452236354673420457/865922282670445647611900407\ 07967160768*c_0110_5^22 - 244564653100740087300366264053861349581/5\ 412014266690285297574377544247947548*c_0110_5^20 + 11260135508751812981535277316959445886881/8659222826704456476119004\ 0707967160768*c_0110_5^18 - 401875894483657355136445339349383670291\ 9/10824028533380570595148755088495895096*c_0110_5^16 + 43243812267151655477470465622922687461557/4329611413352228238059502\ 0353983580384*c_0110_5^14 - 748779328998516441852165609629581287267\ /21648057066761141190297510176991790192*c_0110_5^12 - 173758748374217604542859262484385709718335/865922282670445647611900\ 40707967160768*c_0110_5^10 - 31690296349892790587917273942708455327\ 395/21648057066761141190297510176991790192*c_0110_5^8 - 6687472039034394480606556084440315507789/21648057066761141190297510\ 176991790192*c_0110_5^6 + 231755525129199866314281929240049704213/8\ 6592228267044564761190040707967160768*c_0110_5^4 - 1896575233536916831410405705238351230/13530035666725713243935943860\ 61986887*c_0110_5^2 - 4860013453267887804412151867990373677/2706007\ 133345142648787188772123973774, c_0110_5^28 - 68*c_0110_5^26 + 1422*c_0110_5^24 - 9291*c_0110_5^22 + 27011*c_0110_5^20 - 77195*c_0110_5^18 + 207990*c_0110_5^16 - 18626*c_0110_5^14 - 405865*c_0110_5^12 - 281239*c_0110_5^10 - 49080*c_0110_5^8 + 5851*c_0110_5^6 + 257*c_0110_5^4 - 496*c_0110_5^2 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB