Magma V2.19-8 Tue Aug 20 2013 16:18:41 on localhost [Seed = 3869735914] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2857 geometric_solution 6.08184938 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.315303551072 0.950326159315 0 3 5 4 0132 0132 0132 0132 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 -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.222870275365 1.227741469913 3 0 4 5 0132 0132 0132 2310 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 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.222870275365 1.227741469913 2 1 6 6 0132 0132 0132 3201 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 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.403084504389 0.498966471027 4 4 1 2 1230 3012 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881436010070 0.987073086222 2 5 5 1 3201 3201 2310 0132 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 0.166518685536 0.676458729469 6 3 6 3 2310 2310 3201 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 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.538197201998 1.126648661980 ==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_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(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_6']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), '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_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 332897132898086477847177091988346724560519987195/193941249845922293\ 67802436642320798031315071*c_0101_3^16 - 2311875698659960282689078996329370297803081514509/19394124984592229\ 367802436642320798031315071*c_0101_3^15 - 47508321876246026521098156207883772758324769052383/1939412498459222\ 9367802436642320798031315071*c_0101_3^14 - 189086374541981047618152821888169530960500475226604/193941249845922\ 29367802436642320798031315071*c_0101_3^13 - 210006669638425055369665161400861288155374391729395/193941249845922\ 29367802436642320798031315071*c_0101_3^12 + 192823479800399482300366827307526164673433741721725/193941249845922\ 29367802436642320798031315071*c_0101_3^11 + 470209629326751786798115261938308481617276716444726/193941249845922\ 29367802436642320798031315071*c_0101_3^10 + 57247843904143909490827288535188742844779440548326/1939412498459222\ 9367802436642320798031315071*c_0101_3^9 - 275684786729274461072638676692678356922485404887825/193941249845922\ 29367802436642320798031315071*c_0101_3^8 - 76501817901955605045817241044606557159987396467411/1939412498459222\ 9367802436642320798031315071*c_0101_3^7 + 78348786877553992736845896237221990093890896821697/1939412498459222\ 9367802436642320798031315071*c_0101_3^6 + 32568435168086254343589303293383393691088544956393/1939412498459222\ 9367802436642320798031315071*c_0101_3^5 - 11748470414982467119244877089879840402877347748953/1939412498459222\ 9367802436642320798031315071*c_0101_3^4 - 7370250147403752181342590914529665387654489514343/19394124984592229\ 367802436642320798031315071*c_0101_3^3 + 2880867624061168717930735566408062499440570595858/19394124984592229\ 367802436642320798031315071*c_0101_3^2 - 234859172596553310929133752147366531472360605748/193941249845922293\ 67802436642320798031315071*c_0101_3 - 6061434570848787087908069816090964574223143686/19394124984592229367\ 802436642320798031315071, c_0011_0 - 1, c_0011_4 - 40519393526260670612256527504544940/706334242276851599562904\ 2434713649*c_0101_3^16 + 272194096238628661533729222593573603/70633\ 42422768515995629042434713649*c_0101_3^15 + 5846589707053565797732738677646074081/70633424227685159956290424347\ 13649*c_0101_3^14 + 24327918025388781489750641843177897587/70633424\ 22768515995629042434713649*c_0101_3^13 + 30773322382104939605813604239786332487/7063342422768515995629042434\ 713649*c_0101_3^12 - 17769717013981986047509700487859095682/7063342\ 422768515995629042434713649*c_0101_3^11 - 62934744592243932339409635853768968551/7063342422768515995629042434\ 713649*c_0101_3^10 - 20617020218924253395019454381840962943/7063342\ 422768515995629042434713649*c_0101_3^9 + 31792691847305449312130880046093937615/7063342422768515995629042434\ 713649*c_0101_3^8 + 17863751058923164395036547245300964726/70633424\ 22768515995629042434713649*c_0101_3^7 - 6521087911434422263627103198130583552/70633424227685159956290424347\ 13649*c_0101_3^6 - 6276949740031886653197190886748835559/7063342422\ 768515995629042434713649*c_0101_3^5 + 156586733129525022489179416987915711/706334242276851599562904243471\ 3649*c_0101_3^4 + 1188497429847514856393854395693850888/70633424227\ 68515995629042434713649*c_0101_3^3 - 66067004255627520703004247995055220/7063342422768515995629042434713\ 649*c_0101_3^2 - 19993368186515547741567075256207845/70633424227685\ 15995629042434713649*c_0101_3 - 2302927099201850230762484520212896/\ 7063342422768515995629042434713649, c_0011_5 - 196292885689936263214780493738247927045338820/19394124984592\ 229367802436642320798031315071*c_0101_3^16 + 1307006957210465463015793084422089830212510454/19394124984592229367\ 802436642320798031315071*c_0101_3^15 + 28388820110470618420517369596437819146461674694/1939412498459222936\ 7802436642320798031315071*c_0101_3^14 + 119610724626601544147218361042370195246785670610/193941249845922293\ 67802436642320798031315071*c_0101_3^13 + 157884595792346602237482928881707216508884518793/193941249845922293\ 67802436642320798031315071*c_0101_3^12 - 69140606243186747028295884662817117720208140745/1939412498459222936\ 7802436642320798031315071*c_0101_3^11 - 297615256805214094071796973089799868052292483318/193941249845922293\ 67802436642320798031315071*c_0101_3^10 - 118487183173280505895004696450253631683474188895/193941249845922293\ 67802436642320798031315071*c_0101_3^9 + 129584184457672229613051614762369844015472479187/193941249845922293\ 67802436642320798031315071*c_0101_3^8 + 82650279649401933673857914718324401356315679485/1939412498459222936\ 7802436642320798031315071*c_0101_3^7 - 22709479804737094838375287597211737807090901138/1939412498459222936\ 7802436642320798031315071*c_0101_3^6 - 26009545726719871531986219747079825380381108962/1939412498459222936\ 7802436642320798031315071*c_0101_3^5 - 521951580625630694991837199293485917987937305/193941249845922293678\ 02436642320798031315071*c_0101_3^4 + 4236667898548605648378726520961425450409812449/19394124984592229367\ 802436642320798031315071*c_0101_3^3 - 455902282118161469272663826226308419018697039/193941249845922293678\ 02436642320798031315071*c_0101_3^2 + 7752550717987258992649209263477184298823401/19394124984592229367802\ 436642320798031315071*c_0101_3 - 6328638399573809632494618571385934\ 101287037/19394124984592229367802436642320798031315071, c_0011_6 + 61175371330614089609160175435719710/706334242276851599562904\ 2434713649*c_0101_3^16 - 406912002389498066778882447296391982/70633\ 42422768515995629042434713649*c_0101_3^15 - 8848524292071868153025789875886121488/70633424227685159956290424347\ 13649*c_0101_3^14 - 37350232100245742425346658126855714928/70633424\ 22768515995629042434713649*c_0101_3^13 - 49711468656112109508471001626850951008/7063342422768515995629042434\ 713649*c_0101_3^12 + 20198179486487551299019826178864087664/7063342\ 422768515995629042434713649*c_0101_3^11 + 91594329207560721913454278808720845271/7063342422768515995629042434\ 713649*c_0101_3^10 + 37932547913206103567524975068691527745/7063342\ 422768515995629042434713649*c_0101_3^9 - 38086324768989114106211987845264321791/7063342422768515995629042434\ 713649*c_0101_3^8 - 24898153679080524535147197024447177879/70633424\ 22768515995629042434713649*c_0101_3^7 + 6445229572033867954680172747704688499/70633424227685159956290424347\ 13649*c_0101_3^6 + 7622763585367959827513754689264746904/7063342422\ 768515995629042434713649*c_0101_3^5 + 230459138847465948374940183115332609/706334242276851599562904243471\ 3649*c_0101_3^4 - 1209306910511553904969767794323038077/70633424227\ 68515995629042434713649*c_0101_3^3 + 145848463605123012798406875121527782/706334242276851599562904243471\ 3649*c_0101_3^2 - 7375400189449033293231822834091838/70633424227685\ 15995629042434713649*c_0101_3 + 1377558318796161781006319667434527/\ 7063342422768515995629042434713649, c_0101_0 - 249575599218179858290999699184146620173401490/19394124984592\ 229367802436642320798031315071*c_0101_3^16 + 1696107944817133311371194504416316752925577543/19394124984592229367\ 802436642320798031315071*c_0101_3^15 + 35869418956386709311727151691391736056451956060/1939412498459222936\ 7802436642320798031315071*c_0101_3^14 + 147095416197456993491880443718381010490984705114/193941249845922293\ 67802436642320798031315071*c_0101_3^13 + 179368307386169992463763141875232633106782536156/193941249845922293\ 67802436642320798031315071*c_0101_3^12 - 117603380908515931528837714945941888691588768483/193941249845922293\ 67802436642320798031315071*c_0101_3^11 - 369611699112062256348399807495521356115443751681/193941249845922293\ 67802436642320798031315071*c_0101_3^10 - 98636559647722139046495489503206088218860354001/1939412498459222936\ 7802436642320798031315071*c_0101_3^9 + 190317747743318293299358445015271292195139026853/193941249845922293\ 67802436642320798031315071*c_0101_3^8 + 86155237675836091416660806014590488588278326273/1939412498459222936\ 7802436642320798031315071*c_0101_3^7 - 43929077176641953653280419515330295789621779378/1939412498459222936\ 7802436642320798031315071*c_0101_3^6 - 30905654495731768289814383583531820481133813806/1939412498459222936\ 7802436642320798031315071*c_0101_3^5 + 3295167544132651931344980192251161604511799350/19394124984592229367\ 802436642320798031315071*c_0101_3^4 + 5834464938478359721334922816863557026718487640/19394124984592229367\ 802436642320798031315071*c_0101_3^3 - 1081376862200923976969510495620626201641801705/19394124984592229367\ 802436642320798031315071*c_0101_3^2 + 90697858229741306863636661486154477513301103/1939412498459222936780\ 2436642320798031315071*c_0101_3 - 188602587331822349813043584696739\ 01311479361/19394124984592229367802436642320798031315071, c_0101_1 - 153276951801222552978373336097314781229774520/19394124984592\ 229367802436642320798031315071*c_0101_3^16 + 1036626973733817540686132909202516988612082404/19394124984592229367\ 802436642320798031315071*c_0101_3^15 + 22071174499230007662718471652727270767947582617/1939412498459222936\ 7802436642320798031315071*c_0101_3^14 + 91007817124224464425125241479909303497010936516/1939412498459222936\ 7802436642320798031315071*c_0101_3^13 + 112041558106858744268591127028250858318805764505/193941249845922293\ 67802436642320798031315071*c_0101_3^12 - 72816795653826904507808568957776910364631893281/1939412498459222936\ 7802436642320798031315071*c_0101_3^11 - 233991061290267515367887301270243836196398794813/193941249845922293\ 67802436642320798031315071*c_0101_3^10 - 64526177711154985092302934090879285672540204517/1939412498459222936\ 7802436642320798031315071*c_0101_3^9 + 123890970695269764056862176945675435729552319772/193941249845922293\ 67802436642320798031315071*c_0101_3^8 + 58963828676881996359334654532259581755366040361/1939412498459222936\ 7802436642320798031315071*c_0101_3^7 - 28936830840357057986668740302530142833345836987/1939412498459222936\ 7802436642320798031315071*c_0101_3^6 - 21683772665434112646303541606154926584964589526/1939412498459222936\ 7802436642320798031315071*c_0101_3^5 + 1971043018315321884409027625650917447723745176/19394124984592229367\ 802436642320798031315071*c_0101_3^4 + 4259176275531271612306276928727854322173064222/19394124984592229367\ 802436642320798031315071*c_0101_3^3 - 550290627894173199027144794116911186977950081/193941249845922293678\ 02436642320798031315071*c_0101_3^2 - 24862435259838595865254542819677283206632782/1939412498459222936780\ 2436642320798031315071*c_0101_3 - 167260503291072423661583239121731\ 45237172424/19394124984592229367802436642320798031315071, c_0101_3^17 - 587/85*c_0101_3^16 - 12152/85*c_0101_3^15 - 48761/85*c_0101_3^14 - 11140/17*c_0101_3^13 + 46329/85*c_0101_3^12 + 121004/85*c_0101_3^11 + 20001/85*c_0101_3^10 - 13557/17*c_0101_3^9 - 21838/85*c_0101_3^8 + 18162/85*c_0101_3^7 + 8698/85*c_0101_3^6 - 2399/85*c_0101_3^5 - 1851/85*c_0101_3^4 + 37/5*c_0101_3^3 - 61/85*c_0101_3^2 + 6/85*c_0101_3 - 1/85 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB