Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 1275973769] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0436 geometric_solution 4.48658045 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 0132 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 -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 0.947995046627 0.520051529874 0 4 3 3 0132 0132 3201 2031 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409668816140 0.627188037884 5 0 0 5 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1.165115273937 0.179079420648 1 1 0 4 2310 1302 0132 1023 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 -1 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 0.409668816140 0.627188037884 4 1 4 3 2031 0132 1302 1023 0 0 0 0 0 0 -1 1 1 0 -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 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 0 0 0.409668816140 0.627188037884 2 6 6 2 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.117378992250 0.071494608727 5 5 6 6 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 1.340181677008 0.083821805964 ==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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : 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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], '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_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), '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_0101_6']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 536497546587266175535745459/1186369105055676927899120*c_0101_6^23 - 735525295262847798983280967/593184552527838463949560*c_0101_6^22 + 3540804658989918325195809883/237273821011135385579824*c_0101_6^21 + 6945311284213237815646523151/148296138131959615987390*c_0101_6^20 - 176664441369270258738893151571/1186369105055676927899120*c_0101_6^1\ 9 - 624711913909722458681984877577/1186369105055676927899120*c_0101\ _6^18 + 44327764441219915590948874922/74148069065979807993695*c_010\ 1_6^17 + 304771601942395804137045979315/118636910505567692789912*c_\ 0101_6^16 - 1024338674892375261259134070741/11863691050556769278991\ 20*c_0101_6^15 - 7684620269725828268612653986047/118636910505567692\ 7899120*c_0101_6^14 - 41801799905759868728213310191/148296138131959\ 615987390*c_0101_6^13 + 694344846475517772094655569748/741480690659\ 79807993695*c_0101_6^12 + 554832029708688071837989848809/2372738210\ 11135385579824*c_0101_6^11 - 9591595766089649880318168372809/118636\ 9105055676927899120*c_0101_6^10 - 1753737857006598805571284291923/5\ 93184552527838463949560*c_0101_6^9 + 2444201304462629700479757646231/593184552527838463949560*c_0101_6^8 + 509872985348228584890081148981/296592276263919231974780*c_0101_6^\ 7 - 339837634093107564653646031659/296592276263919231974780*c_0101_\ 6^6 - 266665299425153957615847015681/593184552527838463949560*c_010\ 1_6^5 + 79471714211621600285261542603/593184552527838463949560*c_01\ 01_6^4 + 3346329122802650734739884717/148296138131959615987390*c_01\ 01_6^3 + 347133021400549843900201727/296592276263919231974780*c_010\ 1_6^2 + 8301363637527694374120053369/1186369105055676927899120*c_01\ 01_6 - 561937940874863488273103653/1186369105055676927899120, c_0011_0 - 1, c_0011_3 + 1401489624324317104995996/14829613813195961598739*c_0101_6^2\ 3 + 3815867353183728776246449/14829613813195961598739*c_0101_6^22 - 46326309667981331866841932/14829613813195961598739*c_0101_6^21 - 144262587882535359276629143/14829613813195961598739*c_0101_6^20 + 464444175438617927473689835/14829613813195961598739*c_0101_6^19 + 1623319568172993778089657578/14829613813195961598739*c_0101_6^18 - 1886002961554135431183739563/14829613813195961598739*c_0101_6^17 - 7928993449218923126442850039/14829613813195961598739*c_0101_6^16 + 2839556815680977967781192188/14829613813195961598739*c_0101_6^15 + 20038818248810071793029667613/14829613813195961598739*c_0101_6^14 + 457251450155733858635259136/14829613813195961598739*c_0101_6^13 - 29082063818899894148188064059/14829613813195961598739*c_0101_6^12 - 6641530142924618219298550109/14829613813195961598739*c_0101_6^11 + 25267014095603243940966466403/14829613813195961598739*c_0101_6^10 + 8640203538651929139979382021/14829613813195961598739*c_0101_6^9 - 13015482974113581624563115967/14829613813195961598739*c_0101_6^8 - 5065240055172514663758174969/14829613813195961598739*c_0101_6^7 + 3692124178401678238864084547/14829613813195961598739*c_0101_6^6 + 1323347416516598313673756930/14829613813195961598739*c_0101_6^5 - 452903223248715465993536488/14829613813195961598739*c_0101_6^4 - 62760222375443907989996884/14829613813195961598739*c_0101_6^3 - 1372939702052090257249291/14829613813195961598739*c_0101_6^2 - 21550725180418960156485607/14829613813195961598739*c_0101_6 + 2019976459401398885937916/14829613813195961598739, c_0101_0 - 154244441327603418227456/14829613813195961598739*c_0101_6^23 - 416244874018627805691931/14829613813195961598739*c_0101_6^22 + 5098261702902225400546529/14829613813195961598739*c_0101_6^21 + 15724845384174386994603214/14829613813195961598739*c_0101_6^20 - 51162021656644644803622206/14829613813195961598739*c_0101_6^19 - 176336240361288261755961280/14829613813195961598739*c_0101_6^18 + 208697176076536151338352383/14829613813195961598739*c_0101_6^17 + 855834306739671646308075248/14829613813195961598739*c_0101_6^16 - 322229265346206763307389945/14829613813195961598739*c_0101_6^15 - 2143995122516623766508544435/14829613813195961598739*c_0101_6^14 - 7906683612257023210389351/14829613813195961598739*c_0101_6^13 + 3079759735711203118219695356/14829613813195961598739*c_0101_6^12 + 635949782391207476361398606/14829613813195961598739*c_0101_6^11 - 2646167901939330381809822210/14829613813195961598739*c_0101_6^10 - 835621222563408210487634329/14829613813195961598739*c_0101_6^9 + 1347597812933200588884522684/14829613813195961598739*c_0101_6^8 + 481847056564989284523669319/14829613813195961598739*c_0101_6^7 - 377608041554852229946595023/14829613813195961598739*c_0101_6^6 - 121904502336024738574611981/14829613813195961598739*c_0101_6^5 + 45076214536386775846456516/14829613813195961598739*c_0101_6^4 + 5034279951611239881539162/14829613813195961598739*c_0101_6^3 + 431787134175895174516796/14829613813195961598739*c_0101_6^2 + 1995116157925307606411100/14829613813195961598739*c_0101_6 - 175923788114355777926295/14829613813195961598739, c_0101_1 + 169272810967872551334513/14829613813195961598739*c_0101_6^23 + 448666295469822378241144/14829613813195961598739*c_0101_6^22 - 5590686458257745993417549/14829613813195961598739*c_0101_6^21 - 16919297107317676168805133/14829613813195961598739*c_0101_6^20 + 56111604410644232030743668/14829613813195961598739*c_0101_6^19 + 188234426885111154086774394/14829613813195961598739*c_0101_6^18 - 229707132816018435189253546/14829613813195961598739*c_0101_6^17 - 899784980953123575165281571/14829613813195961598739*c_0101_6^16 + 363821726472854839025764692/14829613813195961598739*c_0101_6^15 + 2202955670486915744250345233/14829613813195961598739*c_0101_6^14 - 49873138225527388246193705/14829613813195961598739*c_0101_6^13 - 3066270616645139737660391425/14829613813195961598739*c_0101_6^12 - 545454896759172203676697272/14829613813195961598739*c_0101_6^11 + 2523887416053603703207101674/14829613813195961598739*c_0101_6^10 + 711089584141625072822777706/14829613813195961598739*c_0101_6^9 - 1210622841096224287396570169/14829613813195961598739*c_0101_6^8 - 380404248163787546932623897/14829613813195961598739*c_0101_6^7 + 310477492045074105446175486/14829613813195961598739*c_0101_6^6 + 82617932422691666742139009/14829613813195961598739*c_0101_6^5 - 31258911981283104507701218/14829613813195961598739*c_0101_6^4 - 1147665907138158104860512/14829613813195961598739*c_0101_6^3 - 942808372883214638978642/14829613813195961598739*c_0101_6^2 - 1170055134745051409858873/14829613813195961598739*c_0101_6 + 122553003147304019951078/14829613813195961598739, c_0101_2 + 371860183349424511558688/14829613813195961598739*c_0101_6^23 + 1030177891955578655740827/14829613813195961598739*c_0101_6^22 - 12222518173605569373584092/14829613813195961598739*c_0101_6^21 - 38794404865644328363677834/14829613813195961598739*c_0101_6^20 + 120752949095428581614042436/14829613813195961598739*c_0101_6^19 + 434094377999207492406489733/14829613813195961598739*c_0101_6^18 - 474410330342735082011531242/14829613813195961598739*c_0101_6^17 - 2101070996083635807264214506/14829613813195961598739*c_0101_6^16 + 640613102013063105462436695/14829613813195961598739*c_0101_6^15 + 5234599037750811937791737615/14829613813195961598739*c_0101_6^14 + 348664022775865053731162423/14829613813195961598739*c_0101_6^13 - 7457403144414340995017430218/14829613813195961598739*c_0101_6^12 - 1983840888740545438993965210/14829613813195961598739*c_0101_6^11 + 6337368168405242940054564074/14829613813195961598739*c_0101_6^10 + 2375004812333370870562890343/14829613813195961598739*c_0101_6^9 - 3185090584172598637282657108/14829613813195961598739*c_0101_6^8 - 1325812726112596988068761269/14829613813195961598739*c_0101_6^7 + 882759948905143899133383959/14829613813195961598739*c_0101_6^6 + 331371890179142468651011986/14829613813195961598739*c_0101_6^5 - 107382760626241176871335069/14829613813195961598739*c_0101_6^4 - 14389979064063022465550201/14829613813195961598739*c_0101_6^3 + 101832050676383535694921/14829613813195961598739*c_0101_6^2 - 5200299942939266202421181/14829613813195961598739*c_0101_6 + 488480194626424904354164/14829613813195961598739, c_0101_5 - 286457525256729632623451/14829613813195961598739*c_0101_6^23 - 792588243624288530969988/14829613813195961598739*c_0101_6^22 + 9417450381039791950541482/14829613813195961598739*c_0101_6^21 + 29850425161088345567226204/14829613813195961598739*c_0101_6^20 - 93098589867785215307172837/14829613813195961598739*c_0101_6^19 - 334013708258913806117056470/14829613813195961598739*c_0101_6^18 + 366343240758570460842934986/14829613813195961598739*c_0101_6^17 + 1616578210917943679698799465/14829613813195961598739*c_0101_6^16 - 497844022245842509557169871/14829613813195961598739*c_0101_6^15 - 4027476816651721746581262807/14829613813195961598739*c_0101_6^14 - 257208219352819921779111030/14829613813195961598739*c_0101_6^13 + 5737769439652985883178920570/14829613813195961598739*c_0101_6^12 + 1510741001184361376391546166/14829613813195961598739*c_0101_6^11 - 4876136405541600135306625831/14829613813195961598739*c_0101_6^10 - 1813082140227016222577668300/14829613813195961598739*c_0101_6^9 + 2450689780744606135533792469/14829613813195961598739*c_0101_6^8 + 1011867685260173987258131401/14829613813195961598739*c_0101_6^7 - 679061161610854386958385266/14829613813195961598739*c_0101_6^6 - 252206036672652325805916227/14829613813195961598739*c_0101_6^5 + 82440392617007708080790105/14829613813195961598739*c_0101_6^4 + 10682113266456927299507031/14829613813195961598739*c_0101_6^3 + 9086989860519002198288/14829613813195961598739*c_0101_6^2 + 3973842005566669234350092/14829613813195961598739*c_0101_6 - 386689797162620473157427/14829613813195961598739, c_0101_6^24 + 2*c_0101_6^23 - 35*c_0101_6^22 - 79*c_0101_6^21 + 405*c_0101_6^20 + 917*c_0101_6^19 - 2174*c_0101_6^18 - 4665*c_0101_6^17 + 6070*c_0101_6^16 + 12738*c_0101_6^15 - 9893*c_0101_6^14 - 20746*c_0101_6^13 + 10095*c_0101_6^12 + 21105*c_0101_6^11 - 6726*c_0101_6^10 - 13441*c_0101_6^9 + 3025*c_0101_6^8 + 5095*c_0101_6^7 - 935*c_0101_6^6 - 967*c_0101_6^5 + 183*c_0101_6^4 + 29*c_0101_6^3 - 14*c_0101_6^2 + 12*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB