Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 829467917] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0187 geometric_solution 3.99827580 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 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.313088495107 0.073553721912 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 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 -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.099235016417 0.055795652514 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 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 0 -1 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 1.141125851283 0.126005029204 2 4 4 2 0132 0132 1023 1023 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 0 1 -1 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 1.091877527330 0.390641840579 5 3 3 6 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 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 1 -1 1 0 -1 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507826641310 0.299957788737 4 6 6 6 0132 0321 1302 3201 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 -1 0 1 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.511853265163 0.882992635388 5 5 4 5 2031 2310 0132 0321 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511853265163 0.882992635388 ==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' : negation(d['1']), 's_3_4' : negation(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' : negation(d['1']), 's_1_6' : negation(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' : negation(d['1']), 's_0_5' : negation(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_1']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), '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_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_6, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 5396865451443217579118323951849/20341553961975156071373044491*c_010\ 1_4^20 + 39955068323035927118101400645922/2034155396197515607137304\ 4491*c_0101_4^19 + 58078417375118212077076118480759/203415539619751\ 56071373044491*c_0101_4^18 - 319049916262693206525886445437591/2034\ 1553961975156071373044491*c_0101_4^17 - 1208522793227235167468220472757139/20341553961975156071373044491*c_\ 0101_4^16 + 5128835001577755988182987747834/20341553961975156071373\ 044491*c_0101_4^15 + 6738736153405842196986062475080788/20341553961\ 975156071373044491*c_0101_4^14 + 4664949938467278083126541950609136\ /20341553961975156071373044491*c_0101_4^13 - 17612458531949177122623303152549974/20341553961975156071373044491*c\ _0101_4^12 - 15691672565637824402430552110288950/203415539619751560\ 71373044491*c_0101_4^11 + 28400889265896825445239254235273354/20341\ 553961975156071373044491*c_0101_4^10 + 27772915436958857808764518686044551/20341553961975156071373044491*c\ _0101_4^9 - 26945430720971625151733883066637371/2034155396197515607\ 1373044491*c_0101_4^8 - 30728255900003297425235880241450313/2034155\ 3961975156071373044491*c_0101_4^7 + 8393328082041145667647613864269806/20341553961975156071373044491*c_\ 0101_4^6 + 15494041503328370059919573036023951/20341553961975156071\ 373044491*c_0101_4^5 + 1979928493132426384463788971687412/203415539\ 61975156071373044491*c_0101_4^4 - 206138100489257958582494771948348\ 5/20341553961975156071373044491*c_0101_4^3 - 623713639237104708738495538190857/20341553961975156071373044491*c_0\ 101_4^2 + 23954673155721098480418393085969/203415539619751560713730\ 44491*c_0101_4 + 34003808539110013064816839514991/20341553961975156\ 071373044491, c_0011_0 - 1, c_0011_1 + 15151622366414291512949907997/20341553961975156071373044491*\ c_0101_4^20 + 83650756079626823829757001131/20341553961975156071373\ 044491*c_0101_4^19 - 25715074150392768043814319832/2034155396197515\ 6071373044491*c_0101_4^18 - 1054916350771688982522642760113/2034155\ 3961975156071373044491*c_0101_4^17 - 1584383589027883328729128443929/20341553961975156071373044491*c_010\ 1_4^16 + 4981034576270891180525112936685/20341553961975156071373044\ 491*c_0101_4^15 + 15021353284336286463920645224358/2034155396197515\ 6071373044491*c_0101_4^14 - 19400943440981769807918609128000/203415\ 53961975156071373044491*c_0101_4^13 - 48690942325418184545645451276270/20341553961975156071373044491*c_01\ 01_4^12 + 47999147992242903070099810960705/203415539619751560713730\ 44491*c_0101_4^11 + 90733493425674878362410597498427/20341553961975\ 156071373044491*c_0101_4^10 - 79560314343968009587551217197970/2034\ 1553961975156071373044491*c_0101_4^9 - 99464333768083202380307113368673/20341553961975156071373044491*c_01\ 01_4^8 + 72873531386124304397797499143114/2034155396197515607137304\ 4491*c_0101_4^7 + 62060517862185652923250079976020/2034155396197515\ 6071373044491*c_0101_4^6 - 29335466119366941233639108072171/2034155\ 3961975156071373044491*c_0101_4^5 - 19743250290654637717165136039732/20341553961975156071373044491*c_01\ 01_4^4 + 2878775702682624255668467904355/20341553961975156071373044\ 491*c_0101_4^3 + 2363542765669250940616292332204/203415539619751560\ 71373044491*c_0101_4^2 + 257302530502028022769938123135/20341553961\ 975156071373044491*c_0101_4 - 138869551711140714004295695320/203415\ 53961975156071373044491, c_0011_6 - 13389001356616950251849180618/20341553961975156071373044491*\ c_0101_4^20 - 82236464923855641654987988707/20341553961975156071373\ 044491*c_0101_4^19 - 33145609467051399529493601241/2034155396197515\ 6071373044491*c_0101_4^18 + 880747633359310839239862020397/20341553\ 961975156071373044491*c_0101_4^17 + 1925226543256886142659321225876/20341553961975156071373044491*c_010\ 1_4^16 - 2901255464021871625081751283385/20341553961975156071373044\ 491*c_0101_4^15 - 14294727384034809093699639723574/2034155396197515\ 6071373044491*c_0101_4^14 + 7508436819948432589784514539002/2034155\ 3961975156071373044491*c_0101_4^13 + 42422923065184726762606039966941/20341553961975156071373044491*c_01\ 01_4^12 - 15158100341889716876133482528774/203415539619751560713730\ 44491*c_0101_4^11 - 74748268203305583685276112289635/20341553961975\ 156071373044491*c_0101_4^10 + 23610774965010674202946980975942/2034\ 1553961975156071373044491*c_0101_4^9 + 77372652236834618377134586366169/20341553961975156071373044491*c_01\ 01_4^8 - 16958479901253223776848275354047/2034155396197515607137304\ 4491*c_0101_4^7 - 40457226168085876581741071308289/2034155396197515\ 6071373044491*c_0101_4^6 + 4347451287480579475878881694314/20341553\ 961975156071373044491*c_0101_4^5 + 8878656368617120210229069927217/20341553961975156071373044491*c_010\ 1_4^4 - 172634570135894694389582947703/2034155396197515607137304449\ 1*c_0101_4^3 - 767139168182608544687200467473/203415539619751560713\ 73044491*c_0101_4^2 - 146470954767176270718447910765/20341553961975\ 156071373044491*c_0101_4 + 45779177542059548751108915834/2034155396\ 1975156071373044491, c_0101_0 + 49985181362492771104591709046/20341553961975156071373044491*\ c_0101_4^20 + 309097993588640900523362672420/2034155396197515607137\ 3044491*c_0101_4^19 + 139972975845593804409059716412/20341553961975\ 156071373044491*c_0101_4^18 - 3262773877643873556145238462416/20341\ 553961975156071373044491*c_0101_4^17 - 7320096269569631096599831099011/20341553961975156071373044491*c_010\ 1_4^16 + 10311592435194069948695729762827/2034155396197515607137304\ 4491*c_0101_4^15 + 53381111649200201471401269169246/203415539619751\ 56071373044491*c_0101_4^14 - 25028713562237874532024815985754/20341\ 553961975156071373044491*c_0101_4^13 - 156213074671282127454721365665453/20341553961975156071373044491*c_0\ 101_4^12 + 47537888039211655202184072939418/20341553961975156071373\ 044491*c_0101_4^11 + 272271927552290781990681640987338/203415539619\ 75156071373044491*c_0101_4^10 - 71599900543519158780620678187972/20\ 341553961975156071373044491*c_0101_4^9 - 277586401442253999167753024158334/20341553961975156071373044491*c_0\ 101_4^8 + 44339586536814736118500638091935/203415539619751560713730\ 44491*c_0101_4^7 + 140346964618498723508476318153690/20341553961975\ 156071373044491*c_0101_4^6 - 6591620396937316178160713959217/203415\ 53961975156071373044491*c_0101_4^5 - 28196679543152681520781485316460/20341553961975156071373044491*c_01\ 01_4^4 - 452172557403674743705276243846/203415539619751560713730444\ 91*c_0101_4^3 + 2163158927932860927343915421813/2034155396197515607\ 1373044491*c_0101_4^2 + 371681463840842768900701642946/203415539619\ 75156071373044491*c_0101_4 - 142035695954802625476628576480/2034155\ 3961975156071373044491, c_0101_2 + 23631654635941260226670798836/20341553961975156071373044491*\ c_0101_4^20 + 154645744514890829841725236403/2034155396197515607137\ 3044491*c_0101_4^19 + 123095236360699773060649221902/20341553961975\ 156071373044491*c_0101_4^18 - 1490998367419877383756969187378/20341\ 553961975156071373044491*c_0101_4^17 - 3996108547896966391518130926462/20341553961975156071373044491*c_010\ 1_4^16 + 3356332150760016667006948321728/20341553961975156071373044\ 491*c_0101_4^15 + 26287707486600063928668615018466/2034155396197515\ 6071373044491*c_0101_4^14 - 2079439657477225781000995926490/2034155\ 3961975156071373044491*c_0101_4^13 - 73384252549057044820199847359535/20341553961975156071373044491*c_01\ 01_4^12 - 4844943428380924010799673532585/2034155396197515607137304\ 4491*c_0101_4^11 + 123473032844671012780354353399499/20341553961975\ 156071373044491*c_0101_4^10 + 12578842795984282784761039777451/2034\ 1553961975156071373044491*c_0101_4^9 - 120820856432417830358425293460514/20341553961975156071373044491*c_0\ 101_4^8 - 25565531682832445089312800930369/203415539619751560713730\ 44491*c_0101_4^7 + 51587537975851676197140784473469/203415539619751\ 56071373044491*c_0101_4^6 + 17589462136577613529274616785594/203415\ 53961975156071373044491*c_0101_4^5 - 4583368384253521702686210399323/20341553961975156071373044491*c_010\ 1_4^4 - 2264683614323312979742974220743/203415539619751560713730444\ 91*c_0101_4^3 - 194810129145169757120355502722/20341553961975156071\ 373044491*c_0101_4^2 + 62350253458301762026647649515/20341553961975\ 156071373044491*c_0101_4 - 3515897566941285724475760161/20341553961\ 975156071373044491, c_0101_3 + 64963115242123439205598826969/20341553961975156071373044491*\ c_0101_4^20 + 408102940705034314835379113449/2034155396197515607137\ 3044491*c_0101_4^19 + 222674022627892396893425762351/20341553961975\ 156071373044491*c_0101_4^18 - 4214293179581085586043139063442/20341\ 553961975156071373044491*c_0101_4^17 - 9924654757331552345854786203517/20341553961975156071373044491*c_010\ 1_4^16 + 12382424722325218167170764140775/2034155396197515607137304\ 4491*c_0101_4^15 + 70481530823131351782574142249208/203415539619751\ 56071373044491*c_0101_4^14 - 25484529062342907681899115521180/20341\ 553961975156071373044491*c_0101_4^13 - 204743226173470758867292014682024/20341553961975156071373044491*c_0\ 101_4^12 + 41532077559948657758556708337325/20341553961975156071373\ 044491*c_0101_4^11 + 355503235978123762050898424440740/203415539619\ 75156071373044491*c_0101_4^10 - 57996895925132514873260947195372/20\ 341553961975156071373044491*c_0101_4^9 - 362050718717160630574842601997519/20341553961975156071373044491*c_0\ 101_4^8 + 21875396766715423851027118803356/203415539619751560713730\ 44491*c_0101_4^7 + 179711346701249437177733947069074/20341553961975\ 156071373044491*c_0101_4^6 + 9144985608335907538798036956385/203415\ 53961975156071373044491*c_0101_4^5 - 33252795844313856016685422363204/20341553961975156071373044491*c_01\ 01_4^4 - 3636135128612647259115539668438/20341553961975156071373044\ 491*c_0101_4^3 + 2026294678847446734378888856298/203415539619751560\ 71373044491*c_0101_4^2 + 586489892282656307244602278934/20341553961\ 975156071373044491*c_0101_4 - 119396013540493580082371423716/203415\ 53961975156071373044491, c_0101_4^21 + 7*c_0101_4^20 + 8*c_0101_4^19 - 62*c_0101_4^18 - 199*c_0101_4^17 + 77*c_0101_4^16 + 1211*c_0101_4^15 + 395*c_0101_4^14 - 3363*c_0101_4^13 - 1625*c_0101_4^12 + 5734*c_0101_4^11 + 3012*c_0101_4^10 - 5879*c_0101_4^9 - 3612*c_0101_4^8 + 2674*c_0101_4^7 + 2041*c_0101_4^6 - 262*c_0101_4^5 - 368*c_0101_4^4 - 25*c_0101_4^3 + 23*c_0101_4^2 + 4*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB