Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 2345277277] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1512 geometric_solution 5.31602635 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450490880140 0.212927925422 2 0 3 0 0132 2310 0132 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 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.735064649170 0.644682991845 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 -1 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.952107507585 1.208718707351 5 2 4 1 1023 1230 3201 0132 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 0 0 0 0 0 0 0 -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.952107507585 1.208718707351 3 2 6 6 2310 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.757322160211 0.461317669990 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 0 -1 1 -1 0 0 1 -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.254403318086 0.906665985059 6 4 4 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.286889459244 1.022443088106 ==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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : 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' : d['c_0011_6'], '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' : negation(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' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), '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_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 47449899431944603815035431836158673760913181908473/8875366843365587\ 503095515891415356106223967360*c_0101_3^26 - 562390630789020265599334651008011920512308456942487/221884171084139\ 6875773878972853839026555991840*c_0101_3^24 + 72832982946964587247185823623856241233345078187701/1386776069275873\ 04735867435803364939159749490*c_0101_3^22 - 21543863802852092450712413293332106486838407054126769/4437683421682\ 793751547757945707678053111983680*c_0101_3^20 + 142058570055677917638726511635572386490203259817341669/443768342168\ 2793751547757945707678053111983680*c_0101_3^18 - 26873313068971857063604909373659906999371236397537143/2218841710841\ 39687577387897285383902655599184*c_0101_3^16 + 1344462303908891340739965017208598817006713873085920539/44376834216\ 82793751547757945707678053111983680*c_0101_3^14 - 1930012007749266464733669436001059937022683160181589277/44376834216\ 82793751547757945707678053111983680*c_0101_3^12 + 1435718769521944288500819423367394699274548142793136909/44376834216\ 82793751547757945707678053111983680*c_0101_3^10 - 1036734635643129347122210853409438668657763901437695589/88753668433\ 65587503095515891415356106223967360*c_0101_3^8 + 46457590733727931094305773652395680671226566688675151/2218841710841\ 396875773878972853839026555991840*c_0101_3^6 - 7364466761188161908579752609799225245834316587526703/44376834216827\ 93751547757945707678053111983680*c_0101_3^4 + 123120728489600819308051825579265780281752298249313/887536684336558\ 7503095515891415356106223967360*c_0101_3^2 + 33094122492155880212365031654658011530502735574531/8875366843365587\ 503095515891415356106223967360, c_0011_0 - 1, c_0011_1 + 32343917385499365135112404543004223344513651967/887536684336\ 558750309551589141535610622396736*c_0101_3^26 - 1532131899331135860142605283036784856767291092551/88753668433655875\ 0309551589141535610622396736*c_0101_3^24 + 3117845680051672087325547883105510257117464580351/88753668433655875\ 0309551589141535610622396736*c_0101_3^22 - 29274301020038417764046420994163071883278968792757/8875366843365587\ 50309551589141535610622396736*c_0101_3^20 + 192567963219001038268018245243882452461717618014683/887536684336558\ 750309551589141535610622396736*c_0101_3^18 - 725663549922684294829765556723693656611517567991315/887536684336558\ 750309551589141535610622396736*c_0101_3^16 + 1807646450339146557891402905609377232181727607941365/88753668433655\ 8750309551589141535610622396736*c_0101_3^14 - 2572150989640058798403807244486509305775930473071179/88753668433655\ 8750309551589141535610622396736*c_0101_3^12 + 1885341839258987087490940305660539903117868994130289/88753668433655\ 8750309551589141535610622396736*c_0101_3^10 - 167963960597968877547824973460447150450591807510817/221884171084139\ 687577387897285383902655599184*c_0101_3^8 + 31489650658273973334859851167699096782979617406389/2218841710841396\ 87577387897285383902655599184*c_0101_3^6 - 6108316308612709746853337735911754639085631486859/44376834216827937\ 5154775794570767805311198368*c_0101_3^4 + 506318409770685454024355637093496226643446474133/887536684336558750\ 309551589141535610622396736*c_0101_3^2 - 578063067130348358251416148431259289895922265/221884171084139687577\ 387897285383902655599184, c_0011_3 - 103575202079929006193918706476677872635512129325/17750733686\ 73117500619103178283071221244793472*c_0101_3^27 + 1226165975339745743414000231938263818165298498233/44376834216827937\ 5154775794570767805311198368*c_0101_3^25 - 618992922430918943856564981569720209481609106373/110942085542069843\ 788693948642691951327799592*c_0101_3^23 + 46788185444813869806571272365683614048950405162929/8875366843365587\ 50309551589141535610622396736*c_0101_3^21 - 307559573337967545391873257636595737686342405700857/887536684336558\ 750309551589141535610622396736*c_0101_3^19 + 72300115632961215532273550787265625938287911599697/5547104277103492\ 1894346974321345975663899796*c_0101_3^17 - 2874977792456032513235309247830041368418667258382631/88753668433655\ 8750309551589141535610622396736*c_0101_3^15 + 4069880319809057315348807034989125895016229256757117/88753668433655\ 8750309551589141535610622396736*c_0101_3^13 - 2948628692784680993824054544943669633075651877181177/88753668433655\ 8750309551589141535610622396736*c_0101_3^11 + 2046259769411778301526065834300786247952539342264401/17750733686731\ 17500619103178283071221244793472*c_0101_3^9 - 91304297717517133911530407799390159569589290960093/4437683421682793\ 75154775794570767805311198368*c_0101_3^7 + 16268385614488531619526840860497361147746273850631/8875366843365587\ 50309551589141535610622396736*c_0101_3^5 - 1127869998601074406727847238184285606743020618349/17750733686731175\ 00619103178283071221244793472*c_0101_3^3 - 3369280968127648198980849756589253845887352655/17750733686731175006\ 19103178283071221244793472*c_0101_3, c_0011_6 - 7950647046062744022389528700827640222721546283/8875366843365\ 58750309551589141535610622396736*c_0101_3^26 + 376529010706082140969025233485935038124958516849/887536684336558750\ 309551589141535610622396736*c_0101_3^24 - 761987155782775866429119660561647651840024031253/887536684336558750\ 309551589141535610622396736*c_0101_3^22 + 7186607908714022887098990685729027071947251991911/88753668433655875\ 0309551589141535610622396736*c_0101_3^20 - 47251146782925256629376138752199758715029369835509/8875366843365587\ 50309551589141535610622396736*c_0101_3^18 + 177815326736016849109009580009078922316383435592037/887536684336558\ 750309551589141535610622396736*c_0101_3^16 - 442199291083108314147465024600412702716696627418435/887536684336558\ 750309551589141535610622396736*c_0101_3^14 + 626865883998091478923856028361367381078289284707225/887536684336558\ 750309551589141535610622396736*c_0101_3^12 - 455580658002120225172105398785692281630827261017919/887536684336558\ 750309551589141535610622396736*c_0101_3^10 + 79602070226401807162777833149426465769834666221735/4437683421682793\ 75154775794570767805311198368*c_0101_3^8 - 1801150599913630152308366877510663254529554269869/55471042771034921\ 894346974321345975663899796*c_0101_3^6 + 1330451909293597489067938772706462275819464631961/44376834216827937\ 5154775794570767805311198368*c_0101_3^4 - 106572516455248807352062832832612985234754262497/887536684336558750\ 309551589141535610622396736*c_0101_3^2 + 263610929479308844618945960611080381071807617/443768342168279375154\ 775794570767805311198368, c_0101_0 + 55387583642011849789304956305741205312376627145/177507336867\ 3117500619103178283071221244793472*c_0101_3^26 - 656764231741948504752938576353828359276658152399/443768342168279375\ 154775794570767805311198368*c_0101_3^24 + 343544116720633508712805650532830993356437220847/110942085542069843\ 788693948642691951327799592*c_0101_3^22 - 25203651509082562379754170467443355102368404312137/8875366843365587\ 50309551589141535610622396736*c_0101_3^20 + 166354150157869635557974718478999553125337014830933/887536684336558\ 750309551589141535610622396736*c_0101_3^18 - 157715094250316185069223454367966877717535675843087/221884171084139\ 687577387897285383902655599184*c_0101_3^16 + 1582468517452136114084342100678643414468245426224595/88753668433655\ 8750309551589141535610622396736*c_0101_3^14 - 2285453283003787122853866907262510011503224449622837/88753668433655\ 8750309551589141535610622396736*c_0101_3^12 + 1722143513887908910846727788959553844464898373412989/88753668433655\ 8750309551589141535610622396736*c_0101_3^10 - 1278345010141864468528181675832955160948350849230197/17750733686731\ 17500619103178283071221244793472*c_0101_3^8 + 60632987065770261292942819674378654180869881465187/4437683421682793\ 75154775794570767805311198368*c_0101_3^6 - 11497977756407537182883625966657375723928220104287/8875366843365587\ 50309551589141535610622396736*c_0101_3^4 + 880311890640739637807161725345335717867319854305/177507336867311750\ 0619103178283071221244793472*c_0101_3^2 - 1973148882735564547332340457669071678625480877/17750733686731175006\ 19103178283071221244793472, c_0101_1 - 35012136464309713409521036709845083960298301111/177507336867\ 3117500619103178283071221244793472*c_0101_3^26 + 826887367250487421830662774742664677121680356133/887536684336558750\ 309551589141535610622396736*c_0101_3^24 - 1575312788300199331064140401445415281440996026111/88753668433655875\ 0309551589141535610622396736*c_0101_3^22 + 7815108910161588210066771775657084934585427953703/44376834216827937\ 5154775794570767805311198368*c_0101_3^20 - 12763179358011935291965322072445441266111980309337/1109420855420698\ 43788693948642691951327799592*c_0101_3^18 + 378897144564059081240499944713319509183067899214559/887536684336558\ 750309551589141535610622396736*c_0101_3^16 - 57931193748970539217561829769173863822212994265063/5547104277103492\ 1894346974321345975663899796*c_0101_3^14 + 39567536189993171151932471233142693819247889847187/2773552138551746\ 0947173487160672987831949898*c_0101_3^12 - 424067507708775754154406816108129163969517671613859/443768342168279\ 375154775794570767805311198368*c_0101_3^10 + 496307035142078778368080788597773837545369789935981/177507336867311\ 7500619103178283071221244793472*c_0101_3^8 - 17310532564136115312149148534396729684508761512089/4437683421682793\ 75154775794570767805311198368*c_0101_3^6 + 2180307392764375189776897595623958004732990724461/88753668433655875\ 0309551589141535610622396736*c_0101_3^4 - 89849863533878147828935291620193090345939270059/1775073368673117500\ 619103178283071221244793472*c_0101_3^2 + 837471047589876988216908067551267412214983061/177507336867311750061\ 9103178283071221244793472, c_0101_3^28 - 5181/109*c_0101_3^26 + 11344/109*c_0101_3^24 - 100350/109*c_0101_3^22 + 664936/109*c_0101_3^20 - 2550542/109*c_0101_3^18 + 6487194/109*c_0101_3^16 - 9651884/109*c_0101_3^14 + 7749560/109*c_0101_3^12 - 3281879/109*c_0101_3^10 + 783813/109*c_0101_3^8 - 108034/109*c_0101_3^6 + 8163/109*c_0101_3^4 - 274/109*c_0101_3^2 + 1/109 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB