Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 374835922] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0445 geometric_solution 4.48915148 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 1302 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 -1 0 1 0 0 0 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.638859127533 1.210538459945 0 2 4 4 0132 1302 2310 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278971544584 0.863591086899 3 0 0 1 0213 0132 2031 2031 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 1 0 -1 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.659010405454 0.646122127476 2 5 5 0 0213 0132 3201 0132 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 -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.155831989858 0.426465717994 6 1 1 6 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.508111914933 0.421839773599 3 3 5 5 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.494870778242 0.691915719221 4 4 6 6 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.506045834310 0.321119627675 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_0'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 6015304287109079151432358582500463/57676660905989345052688900335936\ *c_0101_6^18 - 1121847961769390126517520583842165/28838330452994672\ 526344450167968*c_0101_6^17 + 8897675074268784767979877834725655/72\ 09582613248668131586112541992*c_0101_6^16 + 104720078879833521592913827826307827/576766609059893450526889003359\ 36*c_0101_6^15 - 11088438661876864498159802385169507/32042589392216\ 30280704938907552*c_0101_6^14 - 5957139263795114005774783613911363/\ 14419165226497336263172225083984*c_0101_6^13 + 178605173103247147113776667994384109/720958261324866813158611254199\ 2*c_0101_6^12 + 1815997662460755989134132000274985413/1922555363532\ 9781684229633445312*c_0101_6^11 + 205345641206968108422319417344972\ 5/200266183701351892544058681722*c_0101_6^10 - 13165658110209124017967343214310757351/5767666090598934505268890033\ 5936*c_0101_6^9 - 13208232686655033985529411986917259/4005323674027\ 03785088117363444*c_0101_6^8 + 108009852488569984485561473111444189\ 39/57676660905989345052688900335936*c_0101_6^7 + 2619843069391438490321869668087058447/57676660905989345052688900335\ 936*c_0101_6^6 - 203425740866701543834144131769413989/2403194204416\ 222710528704180664*c_0101_6^5 + 39161356176863393210309253551354603\ 3/28838330452994672526344450167968*c_0101_6^4 + 263440203238494025891851382514034541/720958261324866813158611254199\ 2*c_0101_6^3 - 87652856714181265793449026893418215/5767666090598934\ 5052688900335936*c_0101_6^2 - 14894792461328498073957115237823515/3\ 604791306624334065793056270996*c_0101_6 - 21021681032708298863770261126392157/5767666090598934505268890033593\ 6, c_0011_0 - 1, c_0011_3 - 560012961214910211641126234023/40053236740270378508811736344\ 4*c_0101_6^18 - 211140053382558623669071369167/40053236740270378508\ 8117363444*c_0101_6^17 + 6630513020766499106550287540485/4005323674\ 02703785088117363444*c_0101_6^16 + 2444055780229110784353811325191/100133091850675946272029340861*c_01\ 01_6^15 - 4648599803281310551625164571086/1001330918506759462720293\ 40861*c_0101_6^14 - 588845402270883658770305932955/1001330918506759\ 46272029340861*c_0101_6^13 + 33291631489101418281851928713037/10013\ 3091850675946272029340861*c_0101_6^12 + 507683480825540258958451297589683/400532367402703785088117363444*c_\ 0101_6^11 + 56088909918810231064888594534141/4005323674027037850881\ 17363444*c_0101_6^10 - 614627617599079250528610173485195/2002661837\ 01351892544058681722*c_0101_6^9 - 45396537418006508305238169814921/\ 100133091850675946272029340861*c_0101_6^8 + 1013411509086103720879484630879035/400532367402703785088117363444*c\ _0101_6^7 + 61672787055179867768617343439199/1001330918506759462720\ 29340861*c_0101_6^6 - 229351313718725427346090103526649/20026618370\ 1351892544058681722*c_0101_6^5 + 17663147938221304956705281147642/1\ 00133091850675946272029340861*c_0101_6^4 + 49799951112583421589439040747301/100133091850675946272029340861*c_0\ 101_6^3 - 8818655784961943110997053126031/4005323674027037850881173\ 63444*c_0101_6^2 - 23239378835120836821757797513997/400532367402703\ 785088117363444*c_0101_6 - 1133336351991035181229042445939/20026618\ 3701351892544058681722, c_0011_4 + 157161069867969641954137375693/20026618370135189254405868172\ 2*c_0101_6^18 + 37188434840289063104848790317/100133091850675946272\ 029340861*c_0101_6^17 - 1857180565085932724189060842507/20026618370\ 1351892544058681722*c_0101_6^16 - 2923757545534496704159319464205/2\ 00266183701351892544058681722*c_0101_6^15 + 4979627310273886923018962377301/200266183701351892544058681722*c_01\ 01_6^14 + 1203643885295415396042145230161/2002661837013518925440586\ 81722*c_0101_6^13 - 37378101381253871565243581834029/20026618370135\ 1892544058681722*c_0101_6^12 - 73048102569586526104197666313319/100\ 133091850675946272029340861*c_0101_6^11 - 28932035432290588792206347896827/200266183701351892544058681722*c_0\ 101_6^10 + 345436388480863861555431737557531/2002661837013518925440\ 58681722*c_0101_6^9 + 84554182315087200274200221292435/200266183701\ 351892544058681722*c_0101_6^8 - 142239103446085562140071928658452/1\ 00133091850675946272029340861*c_0101_6^7 - 48910891133545503895874425169836/100133091850675946272029340861*c_0\ 101_6^6 + 63337915855320208512505243366492/100133091850675946272029\ 340861*c_0101_6^5 - 3189454089289812047264469731921/100133091850675\ 946272029340861*c_0101_6^4 - 29842154470840921481030934772172/10013\ 3091850675946272029340861*c_0101_6^3 - 2857895640749612409143693818457/200266183701351892544058681722*c_01\ 01_6^2 + 3801499438473554901423708195125/10013309185067594627202934\ 0861*c_0101_6 + 561184065929512592312700347865/10013309185067594627\ 2029340861, c_0101_0 - 196864255499450195821054572211/40053236740270378508811736344\ 4*c_0101_6^18 - 92187554665994843389828814711/400532367402703785088\ 117363444*c_0101_6^17 + 2328667530872411268905714321429/40053236740\ 2703785088117363444*c_0101_6^16 + 912799602530187030279010975769/10\ 0133091850675946272029340861*c_0101_6^15 - 1569169122060188724682255471113/100133091850675946272029340861*c_01\ 01_6^14 - 376366436194618306958497916382/10013309185067594627202934\ 0861*c_0101_6^13 + 11720400458720706371753866851661/100133091850675\ 946272029340861*c_0101_6^12 + 182755411585286232628758580459871/400\ 532367402703785088117363444*c_0101_6^11 + 34933503925310387199639924441701/400532367402703785088117363444*c_0\ 101_6^10 - 217253182126558913333784750750959/2002661837013518925440\ 58681722*c_0101_6^9 - 25982588804236407316970242150808/100133091850\ 675946272029340861*c_0101_6^8 + 360041480695534894632187717665479/4\ 00532367402703785088117363444*c_0101_6^7 + 30249006799057944948337660150079/100133091850675946272029340861*c_0\ 101_6^6 - 80250581389002510989427730186433/200266183701351892544058\ 681722*c_0101_6^5 + 1923258696588442756560936160872/100133091850675\ 946272029340861*c_0101_6^4 + 18749568661848252858982922118710/10013\ 3091850675946272029340861*c_0101_6^3 + 3226634042501045754297803203945/400532367402703785088117363444*c_01\ 01_6^2 - 9541173630566181661801514153349/40053236740270378508811736\ 3444*c_0101_6 - 781314618294455407132826416365/20026618370135189254\ 4058681722, c_0101_1 + 79767916796939778957975564511/100133091850675946272029340861\ *c_0101_6^18 + 59965985801080792100477746223/2002661837013518925440\ 58681722*c_0101_6^17 - 944305664409205203399221478940/1001330918506\ 75946272029340861*c_0101_6^16 - 2782349210144696346504509497969/200\ 266183701351892544058681722*c_0101_6^15 + 5296077267936411174373870784859/200266183701351892544058681722*c_01\ 01_6^14 + 654225674990314058772408571621/20026618370135189254405868\ 1722*c_0101_6^13 - 37928994500043270510360263258875/200266183701351\ 892544058681722*c_0101_6^12 - 144567026403871441080491831874733/200\ 266183701351892544058681722*c_0101_6^11 - 7952462062316210233014980595367/100133091850675946272029340861*c_01\ 01_6^10 + 349800472471436476208407807668297/20026618370135189254405\ 8681722*c_0101_6^9 + 51006643176239866453730678051045/2002661837013\ 51892544058681722*c_0101_6^8 - 287810370842451309403392619953443/20\ 0266183701351892544058681722*c_0101_6^7 - 34527869622359319704992809719874/100133091850675946272029340861*c_0\ 101_6^6 + 64835832157436599405967555369440/100133091850675946272029\ 340861*c_0101_6^5 - 10477522819598678474767099468117/10013309185067\ 5946272029340861*c_0101_6^4 - 28011465163829706346645896409501/1001\ 33091850675946272029340861*c_0101_6^3 + 1385328250096974998033134445814/100133091850675946272029340861*c_01\ 01_6^2 + 6393295098376906200880031041523/20026618370135189254405868\ 1722*c_0101_6 + 311074978377822850749856561171/10013309185067594627\ 2029340861, c_0101_5 + 160069156935426512604397497969/20026618370135189254405868172\ 2*c_0101_6^18 + 39151115361309310439036975919/100133091850675946272\ 029340861*c_0101_6^17 - 1896501256776833275168737862219/20026618370\ 1351892544058681722*c_0101_6^16 - 3007878810622123228273265498003/2\ 00266183701351892544058681722*c_0101_6^15 + 5096614973211367354809713206241/200266183701351892544058681722*c_01\ 01_6^14 + 1385835511378944022562419472969/2002661837013518925440586\ 81722*c_0101_6^13 - 38278198083731769252599842192799/20026618370135\ 1892544058681722*c_0101_6^12 - 74666740980592404352493596515418/100\ 133091850675946272029340861*c_0101_6^11 - 30426238616958119515586433467863/200266183701351892544058681722*c_0\ 101_6^10 + 356392002977055441386244451222763/2002661837013518925440\ 58681722*c_0101_6^9 + 90506562643058084451581547542411/200266183701\ 351892544058681722*c_0101_6^8 - 150440485171615659804733372703926/1\ 00133091850675946272029340861*c_0101_6^7 - 50749305604649770844741326842285/100133091850675946272029340861*c_0\ 101_6^6 + 67991467509120330565743240574826/100133091850675946272029\ 340861*c_0101_6^5 - 2516531093099840454339182377362/100133091850675\ 946272029340861*c_0101_6^4 - 32247007458610407659535026233187/10013\ 3091850675946272029340861*c_0101_6^3 - 1110098530307425942822017997027/200266183701351892544058681722*c_01\ 01_6^2 + 4183923858584932932917470069762/10013309185067594627202934\ 0861*c_0101_6 + 418901645556974175589971757473/10013309185067594627\ 2029340861, c_0101_6^19 - 12*c_0101_6^17 - 13*c_0101_6^16 + 40*c_0101_6^15 - 8*c_0101_6^14 - 240*c_0101_6^13 - 817*c_0101_6^12 + 246*c_0101_6^11 + 2249*c_0101_6^10 - 502*c_0101_6^9 - 1973*c_0101_6^8 + 237*c_0101_6^7 + 1022*c_0101_6^6 - 430*c_0101_6^5 - 324*c_0101_6^4 + 153*c_0101_6^3 + 42*c_0101_6^2 - 13*c_0101_6 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB