Magma V2.19-8 Tue Aug 20 2013 16:17:08 on localhost [Seed = 997894126] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1382 geometric_solution 5.23805212 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 1 0 -1 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.372713324498 0.294360155099 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 1 -1 0 1 0 -1 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.974918507944 1.010641083422 1 4 3 5 0132 0132 3012 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 1 -1 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 1.346313402937 0.979571808301 5 2 4 1 1023 1230 1023 0132 0 0 0 0 0 0 0 0 -1 0 0 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 1 0 0 -1 -1 -1 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.346313402937 0.979571808301 6 2 3 6 0132 0132 1023 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 -1 0 1 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.172267200327 0.370783007952 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 1 0 -1 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 0 0 0 0 -1 0 1 -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 0 0 0 1.120768235733 0.608775134535 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.045901184501 1.060418099665 ==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' : 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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['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_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 6491881397154616125496031121282357/98234239531374161249200818062479\ 075*c_0101_6^16 - 5118730701121274571316104170831023/19646847906274\ 832249840163612495815*c_0101_6^15 + 112087951505992353233488267345386037/196468479062748322498401636124\ 95815*c_0101_6^14 - 1051012507483630524260467838673511473/982342395\ 31374161249200818062479075*c_0101_6^13 - 493474092371399491099637926334396489/982342395313741612492008180624\ 79075*c_0101_6^12 + 5323033115454944265515259603841578/577848467831\ 6127132305930474263475*c_0101_6^11 + 2052267361815821370462773838088522136/98234239531374161249200818062\ 479075*c_0101_6^10 + 6025278603724770166447686655031421298/98234239\ 531374161249200818062479075*c_0101_6^9 - 15263999888294926489201105223233170/5613385116078523499954332460713\ 09*c_0101_6^8 - 12664266941436380003785235693160207404/982342395313\ 74161249200818062479075*c_0101_6^7 - 412726744262304496241774243496695073/392936958125496644996803272249\ 9163*c_0101_6^6 + 191022103721912923265274265518125826/196468479062\ 74832249840163612495815*c_0101_6^5 + 2123383049074637359477734818336747379/98234239531374161249200818062\ 479075*c_0101_6^4 - 1032178652372062357867196643668923033/982342395\ 31374161249200818062479075*c_0101_6^3 + 2349438871642342378708771912843567729/98234239531374161249200818062\ 479075*c_0101_6^2 + 2207383166992772217018297566929551516/982342395\ 31374161249200818062479075*c_0101_6 + 1030991037184928772934829470590914911/98234239531374161249200818062\ 479075, c_0011_0 - 1, c_0011_1 - 1094854989817221251428530567/41326548745332573805155948323*c\ _0101_6^16 - 11552187621018188659323000867/413265487453325738051559\ 48323*c_0101_6^15 + 23456143143558633186034097998/41326548745332573\ 805155948323*c_0101_6^14 + 32417456809928049899033542879/4132654874\ 5332573805155948323*c_0101_6^13 + 4720553766932705958130929033/4132\ 6548745332573805155948323*c_0101_6^12 - 94970837926009050762880386522/41326548745332573805155948323*c_0101_\ 6^11 - 208785919565360880167613395230/41326548745332573805155948323\ *c_0101_6^10 - 23315859718727931635344212730/4132654874533257380515\ 5948323*c_0101_6^9 + 491100413859604039784921404823/413265487453325\ 73805155948323*c_0101_6^8 + 623668632466993648202201056518/41326548\ 745332573805155948323*c_0101_6^7 + 382987014498869151435241219181/41326548745332573805155948323*c_0101\ _6^6 + 83325165006725890667723518697/41326548745332573805155948323*\ c_0101_6^5 + 51437745312187593807597445775/413265487453325738051559\ 48323*c_0101_6^4 + 30855629191342383060767870975/413265487453325738\ 05155948323*c_0101_6^3 - 39870054511710954424289510440/413265487453\ 32573805155948323*c_0101_6^2 - 34189520106817616268059790495/413265\ 48745332573805155948323*c_0101_6 - 49209392846777095145911373687/41326548745332573805155948323, c_0011_3 - 7167852114582251333976389982/206632743726662869025779741615*\ c_0101_6^16 - 13834981963474061722327296225/41326548745332573805155\ 948323*c_0101_6^15 + 42038464133814094801759452488/4132654874533257\ 3805155948323*c_0101_6^14 - 33454543579734203031019955508/206632743\ 726662869025779741615*c_0101_6^13 + 218113396978549837553941416851/206632743726662869025779741615*c_010\ 1_6^12 - 737151606808950375680784181374/206632743726662869025779741\ 615*c_0101_6^11 - 774789508054185636891020358004/206632743726662869\ 025779741615*c_0101_6^10 + 161004722452090741470693460098/206632743\ 726662869025779741615*c_0101_6^9 + 421699224463809536384118011144/41326548745332573805155948323*c_0101\ _6^8 + 2919785855678831227562646340036/2066327437266628690257797416\ 15*c_0101_6^7 + 367801330308909712118088453563/41326548745332573805\ 155948323*c_0101_6^6 + 191561713457716228683966599666/4132654874533\ 2573805155948323*c_0101_6^5 - 171734160151912657657761612776/206632\ 743726662869025779741615*c_0101_6^4 + 226935801476273633629873871957/206632743726662869025779741615*c_010\ 1_6^3 - 51418551368986682333677469026/20663274372666286902577974161\ 5*c_0101_6^2 - 71108379788898525122493670499/2066327437266628690257\ 79741615*c_0101_6 - 104433773727227841389416995919/2066327437266628\ 69025779741615, c_0101_0 - 1837298856305719167730463406/41326548745332573805155948323*c\ _0101_6^16 - 17426266609124474078660972086/413265487453325738051559\ 48323*c_0101_6^15 + 57399717780973358479165146685/41326548745332573\ 805155948323*c_0101_6^14 - 12049240257954709653849544941/4132654874\ 5332573805155948323*c_0101_6^13 + 38867773084373607487397415139/413\ 26548745332573805155948323*c_0101_6^12 - 195757784864261137624491134011/41326548745332573805155948323*c_0101\ _6^11 - 176041601997424963384558854023/4132654874533257380515594832\ 3*c_0101_6^10 + 150515842898237706429639654726/41326548745332573805\ 155948323*c_0101_6^9 + 559787119895160199260030422032/4132654874533\ 2573805155948323*c_0101_6^8 + 620673346512538525632541317446/413265\ 48745332573805155948323*c_0101_6^7 + 116795395730448305078481871848/41326548745332573805155948323*c_0101\ _6^6 + 19806776669910952392529055214/41326548745332573805155948323*\ c_0101_6^5 - 510956668904745645002968789/41326548745332573805155948\ 323*c_0101_6^4 + 78621901516335322521057790316/41326548745332573805\ 155948323*c_0101_6^3 - 35465360689440406732226840312/41326548745332\ 573805155948323*c_0101_6^2 - 27321702048402978995179085185/41326548\ 745332573805155948323*c_0101_6 + 3916913841455873036214137789/41326\ 548745332573805155948323, c_0101_1 + 271569310437051446939870718/41326548745332573805155948323*c_\ 0101_6^16 - 790121032622913547038197618/413265487453325738051559483\ 23*c_0101_6^15 - 39755468807461726871793625543/41326548745332573805\ 155948323*c_0101_6^14 + 114137378080890053148074260857/413265487453\ 32573805155948323*c_0101_6^13 - 40482009399459256024486326475/41326\ 548745332573805155948323*c_0101_6^12 + 56647872570840137362207469758/41326548745332573805155948323*c_0101_\ 6^11 - 274666435810723002356754204540/41326548745332573805155948323\ *c_0101_6^10 - 324389126693796289554032131305/413265487453325738051\ 55948323*c_0101_6^9 + 353664679534850845243376988850/41326548745332\ 573805155948323*c_0101_6^8 + 843687512442051265765463398736/4132654\ 8745332573805155948323*c_0101_6^7 + 687664669471071510926633073982/41326548745332573805155948323*c_0101\ _6^6 + 33428132538278429820893729016/41326548745332573805155948323*\ c_0101_6^5 + 112884318111478378856054125093/41326548745332573805155\ 948323*c_0101_6^4 + 51066083194733504177156286016/41326548745332573\ 805155948323*c_0101_6^3 - 26451545220379292717691619847/41326548745\ 332573805155948323*c_0101_6^2 - 71344119442216309943224649126/41326\ 548745332573805155948323*c_0101_6 - 41280788057434030059490167449/41326548745332573805155948323, c_0101_3 - 36399673802463611001692779833/206632743726662869025779741615\ *c_0101_6^16 - 73604851382312142425555997211/4132654874533257380515\ 5948323*c_0101_6^15 + 186131911699602515905621219343/41326548745332\ 573805155948323*c_0101_6^14 + 552009754492869409730283533018/206632\ 743726662869025779741615*c_0101_6^13 + 203484044298988580896136092399/206632743726662869025779741615*c_010\ 1_6^12 - 2988852846945591437373785246036/20663274372666286902577974\ 1615*c_0101_6^11 - 5892603598841691284380334730316/2066327437266628\ 69025779741615*c_0101_6^10 + 1404955642833863477923661723592/206632\ 743726662869025779741615*c_0101_6^9 + 2617158858298238264422044057248/41326548745332573805155948323*c_010\ 1_6^8 + 16669293451245871517430334706704/20663274372666286902577974\ 1615*c_0101_6^7 + 1792866865645309858725229606298/41326548745332573\ 805155948323*c_0101_6^6 + 784962380517624720121515005866/4132654874\ 5332573805155948323*c_0101_6^5 + 1924034753592436838762094000146/20\ 6632743726662869025779741615*c_0101_6^4 + 144172141888765429794936324118/206632743726662869025779741615*c_010\ 1_6^3 - 688062321345892132013519770424/2066327437266628690257797416\ 15*c_0101_6^2 - 912452848873781563747511908786/20663274372666286902\ 5779741615*c_0101_6 - 218521094000815590063908430081/20663274372666\ 2869025779741615, c_0101_6^17 + 31/3*c_0101_6^16 - 70/3*c_0101_6^15 - 21*c_0101_6^14 - 25/3*c_0101_6^13 + 238/3*c_0101_6^12 + 553/3*c_0101_6^11 - 25/3*c_0101_6^10 - 1094/3*c_0101_6^9 - 1634/3*c_0101_6^8 - 346*c_0101_6^7 - 445/3*c_0101_6^6 - 206/3*c_0101_6^5 - 10*c_0101_6^4 + 11*c_0101_6^3 + 33*c_0101_6^2 + 11*c_0101_6 + 17/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB