Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 2227509346] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0759 geometric_solution 4.70155763 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.740398582893 0.124934462075 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -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 1 -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.637757333985 0.360414917074 3 1 4 1 0132 0132 0132 1023 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 0 0 0 -1 0 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 1.918752031119 1.417198965191 2 4 4 5 0132 3201 2310 0132 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 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.190832181145 0.737872755092 5 3 3 2 1023 3201 2310 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 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.190832181145 0.737872755092 6 4 3 6 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349925406880 0.857091835540 5 5 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 1.936401877050 0.533982220364 ==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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 10379452869967293670788272498009571586340840148112/3273533480607162\ 1406597629418623680361754052585*c_0101_6^23 - 147885841249266747533746076027474751993566670348392/327353348060716\ 21406597629418623680361754052585*c_0101_6^22 + 58439330120869767581232458508167705174967365651172/3637259422896846\ 822955292157624853373528228065*c_0101_6^21 + 242043231488019827387655289269080555253516234978688/327353348060716\ 21406597629418623680361754052585*c_0101_6^20 - 4049004327041778154937199688674844293179318111912062/32735334806071\ 621406597629418623680361754052585*c_0101_6^19 + 3443136717044938897097103562345621654681138974617129/32735334806071\ 621406597629418623680361754052585*c_0101_6^18 + 8502935276491887208758006180317321236231344858542857/32735334806071\ 621406597629418623680361754052585*c_0101_6^17 - 7839738107644141905348235373058896104578184347155659/32735334806071\ 621406597629418623680361754052585*c_0101_6^16 - 1655835865264373102721785426945213703677937740445434/46764764008673\ 74486656804202660525765964864655*c_0101_6^15 - 1792792449188674740152953311492869625889780621035467/32735334806071\ 621406597629418623680361754052585*c_0101_6^14 + 32872021797114378570613960543241701098437775037024054/3273533480607\ 1621406597629418623680361754052585*c_0101_6^13 - 1174556748586891441033793921733717499376840704613809/32735334806071\ 621406597629418623680361754052585*c_0101_6^12 - 791440551031006129646909753834284951783636836624945/727451884579369\ 364591058431524970674705645613*c_0101_6^11 + 6249061716827382457033561686359856269648665433557556/32735334806071\ 621406597629418623680361754052585*c_0101_6^10 + 1632613497622108032403082044559397184846521897593791/65470669612143\ 24281319525883724736072350810517*c_0101_6^9 + 381944060017428563272765203903401119686848686655026/467647640086737\ 4486656804202660525765964864655*c_0101_6^8 - 116634955043482227944340050149855372186921581539999/654706696121432\ 4281319525883724736072350810517*c_0101_6^7 - 117204110655769245385575739128060984503498165723369/935295280173474\ 897331360840532105153192972931*c_0101_6^6 + 55590252029462373079391442883024461652000417116896/9352952801734748\ 97331360840532105153192972931*c_0101_6^5 + 94361750347966998444296655449750125417780197626561/4676476400867374\ 486656804202660525765964864655*c_0101_6^4 - 542561058733124324091249639085948727963827771010608/327353348060716\ 21406597629418623680361754052585*c_0101_6^3 + 51931783390464564443618122133202865162655299257779/3273533480607162\ 1406597629418623680361754052585*c_0101_6^2 + 12738878949845082604765696262750213461253175798197/1091177826869054\ 0468865876472874560120584684195*c_0101_6 - 1824242221049148979621197052253905319220967007581/65470669612143242\ 81319525883724736072350810517, c_0011_0 - 1, c_0011_4 + 13697743759031343663330242119280641046070348496/467647640086\ 7374486656804202660525765964864655*c_0101_6^23 - 192132201587557302850156134539081718190391289848/467647640086737448\ 6656804202660525765964864655*c_0101_6^22 + 72467488530383188408361263003637532571749249044/5196084889852638318\ 50756022517836196218318295*c_0101_6^21 + 454995150865262704490550577322836995301885888996/467647640086737448\ 6656804202660525765964864655*c_0101_6^20 - 5214820748429462150401668474217058183027429844874/46764764008673744\ 86656804202660525765964864655*c_0101_6^19 + 3420077950461059555188837460984358522263411477564/46764764008673744\ 86656804202660525765964864655*c_0101_6^18 + 11738798755515911267092318241115867930662866577902/4676476400867374\ 486656804202660525765964864655*c_0101_6^17 - 7659156145822854412223612815852632407305099458694/46764764008673744\ 86656804202660525765964864655*c_0101_6^16 - 3276792234749254876071203433318510131011698240604/93529528017347489\ 7331360840532105153192972931*c_0101_6^15 - 6199317101952236013049082422962594093804584378603/46764764008673744\ 86656804202660525765964864655*c_0101_6^14 + 41114471936096741120676117797447941177760101694764/4676476400867374\ 486656804202660525765964864655*c_0101_6^13 + 7052057285305978376278018905760127506246182354494/46764764008673744\ 86656804202660525765964864655*c_0101_6^12 - 4841672851275881855157259923928260399359877832099/51960848898526383\ 1850756022517836196218318295*c_0101_6^11 - 490124163851745087127488044174555533992881731342/467647640086737448\ 6656804202660525765964864655*c_0101_6^10 + 8651046583825307315013923339571283295075755834754/46764764008673744\ 86656804202660525765964864655*c_0101_6^9 + 4821524125032827240428681408619245725809910269266/46764764008673744\ 86656804202660525765964864655*c_0101_6^8 + 752184617113330229538753402541755340423294425698/467647640086737448\ 6656804202660525765964864655*c_0101_6^7 - 987234801775606644620903862664563005577706899422/935295280173474897\ 331360840532105153192972931*c_0101_6^6 + 319216946495837138044089564232969159157211896072/935295280173474897\ 331360840532105153192972931*c_0101_6^5 + 1024096947112129934551781491352896187069054032781/46764764008673744\ 86656804202660525765964864655*c_0101_6^4 - 480022906271143319285699768135797997494217965201/467647640086737448\ 6656804202660525765964864655*c_0101_6^3 + 7708562856921685321081697791340994396102063403/93529528017347489733\ 1360840532105153192972931*c_0101_6^2 + 13210509259878727886960036738709421307316885173/1558825466955791495\ 552268067553508588654954885*c_0101_6 - 7273525766384433965669567013318667249754935091/46764764008673744866\ 56804202660525765964864655, c_0101_0 - 9408488553772198663102679494083626381671829228/1558825466955\ 791495552268067553508588654954885*c_0101_6^23 + 135577960644976915911199483678788587796218083334/155882546695579149\ 5552268067553508588654954885*c_0101_6^22 - 166047038464989674607313030687341055139342859141/519608488985263831\ 850756022517836196218318295*c_0101_6^21 - 147118737502363921156989948509957364774591556403/155882546695579149\ 5552268067553508588654954885*c_0101_6^20 + 1241094237994140391089638891741461198122911542859/51960848898526383\ 1850756022517836196218318295*c_0101_6^19 - 1235237780500034435742196410390336927284573137214/51960848898526383\ 1850756022517836196218318295*c_0101_6^18 - 7338852931258243212871449885999723749694876610216/15588254669557914\ 95552268067553508588654954885*c_0101_6^17 + 8455433783277819075153177769763182632303103982672/15588254669557914\ 95552268067553508588654954885*c_0101_6^16 + 643826198673896242396373453821142431686420384619/103921697797052766\ 370151204503567239243663659*c_0101_6^15 - 99871629633476861380946242553173105551229779407/5196084889852638318\ 50756022517836196218318295*c_0101_6^14 - 10162673809044261047668349518417846603742398013164/5196084889852638\ 31850756022517836196218318295*c_0101_6^13 + 5765627980501448300389215586711194065898983725708/15588254669557914\ 95552268067553508588654954885*c_0101_6^12 + 11074168034085673243055930731311236417352405351666/5196084889852638\ 31850756022517836196218318295*c_0101_6^11 - 10787660376672557204391740547435228823793872759864/1558825466955791\ 495552268067553508588654954885*c_0101_6^10 - 7661612542287371315834951912251359740146968245807/15588254669557914\ 95552268067553508588654954885*c_0101_6^9 - 1193612279080750094650700899740147941218352812973/15588254669557914\ 95552268067553508588654954885*c_0101_6^8 + 400317404912831484770837412448297803366334064787/519608488985263831\ 850756022517836196218318295*c_0101_6^7 + 251754450002150419093741217751055149233562848972/103921697797052766\ 370151204503567239243663659*c_0101_6^6 - 478636952762216027264694144389826288574657189772/311765093391158299\ 110453613510701717730990977*c_0101_6^5 - 449217079511319989758251928462865823134160390283/155882546695579149\ 5552268067553508588654954885*c_0101_6^4 + 638207373632462316335270952687393089055498023443/155882546695579149\ 5552268067553508588654954885*c_0101_6^3 - 19438888106055517197965330561176524196859447636/3117650933911582991\ 10453613510701717730990977*c_0101_6^2 - 39722137775857159056688708597021469415771976447/1558825466955791495\ 552268067553508588654954885*c_0101_6 + 11248302382543632992368706736610315358934812678/1558825466955791495\ 552268067553508588654954885, c_0101_1 + 71674197307207953830926369278443193032258955992/467647640086\ 7374486656804202660525765964864655*c_0101_6^23 - 1010818519610940164005313970464772128663336032156/46764764008673744\ 86656804202660525765964864655*c_0101_6^22 + 387134202646130847861049988413630802114824136818/519608488985263831\ 850756022517836196218318295*c_0101_6^21 + 2193484557936093969181647324080391194670063086372/46764764008673744\ 86656804202660525765964864655*c_0101_6^20 - 27706657891265511727209060832883132527812761768783/4676476400867374\ 486656804202660525765964864655*c_0101_6^19 + 19757750901125742005033243086034241680901792998113/4676476400867374\ 486656804202660525765964864655*c_0101_6^18 + 62018945234992475988906700426726819591976066131964/4676476400867374\ 486656804202660525765964864655*c_0101_6^17 - 45685746606236208829909384051209465073491382413143/4676476400867374\ 486656804202660525765964864655*c_0101_6^16 - 17462263562130594391925331127909472869471926012332/9352952801734748\ 97331360840532105153192972931*c_0101_6^15 - 24014377226745783713907665896050041135711511145951/4676476400867374\ 486656804202660525765964864655*c_0101_6^14 + 224166863509772409458035827864947411381010634415528/467647640086737\ 4486656804202660525765964864655*c_0101_6^13 + 24512928971108034506608724631039853504351760051038/4676476400867374\ 486656804202660525765964864655*c_0101_6^12 - 27293383171968077348548619239833845014806153350518/5196084889852638\ 31850756022517836196218318295*c_0101_6^11 + 8969082272957214171055777989633721390061130055486/46764764008673744\ 86656804202660525765964864655*c_0101_6^10 + 60165398584653376510713731500078508458388997083593/4676476400867374\ 486656804202660525765964864655*c_0101_6^9 + 25283214847670736135379209782080578003955967641112/4676476400867374\ 486656804202660525765964864655*c_0101_6^8 + 404859802026721528756440841698937141555211008651/467647640086737448\ 6656804202660525765964864655*c_0101_6^7 - 5705365129791907160190723202525666759918110760561/93529528017347489\ 7331360840532105153192972931*c_0101_6^6 + 1848520523284166549491704658465370603390470090501/93529528017347489\ 7331360840532105153192972931*c_0101_6^5 + 6150437402176897535041836726969103402681762333672/46764764008673744\ 86656804202660525765964864655*c_0101_6^4 - 3204858938191253832341748681858831419227270216757/46764764008673744\ 86656804202660525765964864655*c_0101_6^3 + 11647406024863590133191406216195200353980531616/9352952801734748973\ 31360840532105153192972931*c_0101_6^2 + 30785660245477633655517935599570669401404371557/5196084889852638318\ 50756022517836196218318295*c_0101_6 - 54077935297181390998468798710659834565627894592/4676476400867374486\ 656804202660525765964864655, c_0101_2 - 13766095719039327035949169167513504211777874168/467647640086\ 7374486656804202660525765964864655*c_0101_6^23 + 192798200286916871578649131821001411233477844924/467647640086737448\ 6656804202660525765964864655*c_0101_6^22 - 72370904482184773538498753839631221600206013722/5196084889852638318\ 50756022517836196218318295*c_0101_6^21 - 471473688715846686156674280685978579119230361308/467647640086737448\ 6656804202660525765964864655*c_0101_6^20 + 5232240194055768916754927952760387712853938939477/46764764008673744\ 86656804202660525765964864655*c_0101_6^19 - 3325736074251090521289346779802062504474726429307/46764764008673744\ 86656804202660525765964864655*c_0101_6^18 - 11879310904218490711815045532365038499635723938826/4676476400867374\ 486656804202660525765964864655*c_0101_6^17 + 7457881369490332248193909978033755708794163956087/46764764008673744\ 86656804202660525765964864655*c_0101_6^16 + 3330135769031708322664483460020609975722312074753/93529528017347489\ 7331360840532105153192972931*c_0101_6^15 + 6547184899107525941091134053681508982148493307514/46764764008673744\ 86656804202660525765964864655*c_0101_6^14 - 41224034911927216940231624515725843330862351812722/4676476400867374\ 486656804202660525765964864655*c_0101_6^13 - 7937915158804159185674773598969594822274523729762/46764764008673744\ 86656804202660525765964864655*c_0101_6^12 + 4860199593234193511532217825986685185413914190617/51960848898526383\ 1850756022517836196218318295*c_0101_6^11 + 1391632275113434802728629929602381842745993116761/46764764008673744\ 86656804202660525765964864655*c_0101_6^10 - 8830515665322931145185837707854809713615172269037/46764764008673744\ 86656804202660525765964864655*c_0101_6^9 - 4999387531103475439419952014072769420476426539978/46764764008673744\ 86656804202660525765964864655*c_0101_6^8 - 765597827036261542419369161045137452825929037889/467647640086737448\ 6656804202660525765964864655*c_0101_6^7 + 989387003531988668158668408573345059946396820015/935295280173474897\ 331360840532105153192972931*c_0101_6^6 - 301864803909268869583704242957538787816944734383/935295280173474897\ 331360840532105153192972931*c_0101_6^5 - 1066420322911599765628804444470362098838976981343/46764764008673744\ 86656804202660525765964864655*c_0101_6^4 + 463189778987452752388035592732222529414869942958/467647640086737448\ 6656804202660525765964864655*c_0101_6^3 - 3674275392356086746958885062685145104062386957/93529528017347489733\ 1360840532105153192972931*c_0101_6^2 - 4907925363509113942238846859587119920139489928/51960848898526383185\ 0756022517836196218318295*c_0101_6 + 6981226447984359304334814668125651923877641703/46764764008673744866\ 56804202660525765964864655, c_0101_3 - 1631349926678642230035428268149813987850307012/4676476400867\ 374486656804202660525765964864655*c_0101_6^23 + 23389396890721265571507379195522411746540292526/4676476400867374486\ 656804202660525765964864655*c_0101_6^22 - 9433087793989002514669316973135326932305866143/51960848898526383185\ 0756022517836196218318295*c_0101_6^21 - 28597296001933840257130530983957318003744639332/4676476400867374486\ 656804202660525765964864655*c_0101_6^20 + 633808019462924459194482943245010441597942786993/467647640086737448\ 6656804202660525765964864655*c_0101_6^19 - 607125102723215584239064390729798353988581618293/467647640086737448\ 6656804202660525765964864655*c_0101_6^18 - 1234640932927392650007257107052856606692959379344/46764764008673744\ 86656804202660525765964864655*c_0101_6^17 + 1347202354367749200316824632398673178606051736753/46764764008673744\ 86656804202660525765964864655*c_0101_6^16 + 314239520316206689038643922588246186265096714196/935295280173474897\ 331360840532105153192972931*c_0101_6^15 + 122277293014107606944844213556851351694814699846/467647640086737448\ 6656804202660525765964864655*c_0101_6^14 - 4991821173311708936243075801687852498165516241583/46764764008673744\ 86656804202660525765964864655*c_0101_6^13 + 826858486013751553951518268358273094364180404142/467647640086737448\ 6656804202660525765964864655*c_0101_6^12 + 579371042325692516095063946143595084740828967808/519608488985263831\ 850756022517836196218318295*c_0101_6^11 - 1793181830938622964236753632928988302679034850906/46764764008673744\ 86656804202660525765964864655*c_0101_6^10 - 847718851871745068752773001876159603272417533603/467647640086737448\ 6656804202660525765964864655*c_0101_6^9 - 76644271484407369908354018554323430069875342027/4676476400867374486\ 656804202660525765964864655*c_0101_6^8 + 106118973670139770440549596152055194783783902559/467647640086737448\ 6656804202660525765964864655*c_0101_6^7 + 115582417985164942988744453027309635576173299375/935295280173474897\ 331360840532105153192972931*c_0101_6^6 - 80143911610462753981565345556803590402472406416/9352952801734748973\ 31360840532105153192972931*c_0101_6^5 - 28428168400250154769745432395678011631786015952/4676476400867374486\ 656804202660525765964864655*c_0101_6^4 + 110254985153570053272797245572827829259461576142/467647640086737448\ 6656804202660525765964864655*c_0101_6^3 - 7670202258403046412229506208739424207551755492/93529528017347489733\ 1360840532105153192972931*c_0101_6^2 - 2224153915381922452684313882442771864383352926/15588254669557914955\ 52268067553508588654954885*c_0101_6 + 586008857852370444888336405900235316893347737/467647640086737448665\ 6804202660525765964864655, c_0101_6^24 - 29/2*c_0101_6^23 + 217/4*c_0101_6^22 + 43/4*c_0101_6^21 - 1587/4*c_0101_6^20 + 430*c_0101_6^19 + 741*c_0101_6^18 - 3873/4*c_0101_6^17 - 3741/4*c_0101_6^16 + 122*c_0101_6^15 + 3221*c_0101_6^14 - 912*c_0101_6^13 - 13783/4*c_0101_6^12 + 5933/4*c_0101_6^11 + 1349/2*c_0101_6^10 + 75/2*c_0101_6^9 - 489/4*c_0101_6^8 - 769/2*c_0101_6^7 + 1155/4*c_0101_6^6 + 21*c_0101_6^5 - 145/2*c_0101_6^4 + 19*c_0101_6^3 + 11/4*c_0101_6^2 - 2*c_0101_6 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB