Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 2050746036] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0323 geometric_solution 4.35519204 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 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 -1.135310934744 0.226744510850 0 0 2 2 0132 3201 2310 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 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.535870426629 0.455750990251 3 1 1 4 0132 3201 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 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 1.030107063656 0.146615777959 2 5 6 4 0132 0132 0132 2031 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 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 1.097750436688 0.622798694651 5 3 2 6 0321 1302 0132 2031 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 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 1.097750436688 0.622798694651 4 3 6 6 0321 0132 3201 0132 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 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.581567476454 0.432277127009 5 4 5 3 2310 1302 0132 0132 0 0 0 0 0 0 1 -1 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 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.107569847834 0.823252900426 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 211881612919812804559434733794889/35919657194525533252046600181056*\ c_0101_3^15 - 403931493954418965867900168242559/8979914298631383313\ 011650045264*c_0101_3^14 + 181919142125557916040442099112593/448995\ 7149315691656505825022632*c_0101_3^13 + 35707989133675260001740332102210831/3591965719452553325204660018105\ 6*c_0101_3^12 - 14962715177015237293994847844382359/179598285972627\ 66626023300090528*c_0101_3^11 - 22935393789455798715179558067889959\ 7/35919657194525533252046600181056*c_0101_3^10 + 254063998967795533795584287276219395/359196571945255332520466001810\ 56*c_0101_3^9 + 311515584415330756437514073165722611/17959828597262\ 766626023300090528*c_0101_3^8 - 12888950568462844863123914547539816\ 1/5131379599217933321720942883008*c_0101_3^7 - 382046027506229160303765954514959713/179598285972627666260233000905\ 28*c_0101_3^6 + 234955815165091930851668920847854285/51313795992179\ 33321720942883008*c_0101_3^5 + 62568161143069331391460228306989391/\ 5131379599217933321720942883008*c_0101_3^4 - 277921123020150086761549453463556801/513137959921793332172094288300\ 8*c_0101_3^3 + 340741576819307714263834684731549635/179598285972627\ 66626023300090528*c_0101_3^2 + 18665918425883004463970337032468941/\ 5131379599217933321720942883008*c_0101_3 - 83706552261221411996301892167311949/3591965719452553325204660018105\ 6, c_0011_0 - 1, c_0011_2 - 496692678866728542563357203/320711224951120832607558930188*c\ _0101_3^15 - 1949319255299688741405400261/1603556124755604163037794\ 65094*c_0101_3^14 + 2398656481434146142038037915/320711224951120832\ 607558930188*c_0101_3^13 + 82806252638054619376766557537/3207112249\ 51120832607558930188*c_0101_3^12 - 53951286711383954103605964195/320711224951120832607558930188*c_0101\ _3^11 - 264271793892183409832059026109/1603556124755604163037794650\ 94*c_0101_3^10 + 128300589119647733196079554977/8017780623778020815\ 1889732547*c_0101_3^9 + 364578924142646013906318900414/801778062377\ 80208151889732547*c_0101_3^8 - 1931528984592551707933461741873/3207\ 11224951120832607558930188*c_0101_3^7 - 470338118804688504462321668448/80177806237780208151889732547*c_0101\ _3^6 + 1824048465172731534482042756553/1603556124755604163037794650\ 94*c_0101_3^5 + 1207683809293839705199459970579/3207112249511208326\ 07558930188*c_0101_3^4 - 4352447653756816001404921631241/3207112249\ 51120832607558930188*c_0101_3^3 + 1465127288126307972393370233017/3\ 20711224951120832607558930188*c_0101_3^2 + 115375144346747727158435258861/80177806237780208151889732547*c_0101\ _3 - 70295595083186657049616854109/80177806237780208151889732547, c_0011_4 - 1727175010611754697522681917/1282844899804483330430235720752\ *c_0101_3^15 - 14322882040500309385454507851/1282844899804483330430\ 235720752*c_0101_3^14 + 2629500526686522845484858895/12828448998044\ 83330430235720752*c_0101_3^13 + 18455160090317056746224675860/80177\ 806237780208151889732547*c_0101_3^12 - 24728825868599182884239907883/641422449902241665215117860376*c_0101\ _3^11 - 1960177255970902891852901152467/128284489980448333043023572\ 0752*c_0101_3^10 + 400373870448048020647647151999/64142244990224166\ 5215117860376*c_0101_3^9 + 750480321845393327917360292201/160355612\ 475560416303779465094*c_0101_3^8 - 3652276040454074241562290827835/1282844899804483330430235720752*c_0\ 101_3^7 - 9747953933415686309640179703619/1282844899804483330430235\ 720752*c_0101_3^6 + 3942291054761797141659155613283/641422449902241\ 665215117860376*c_0101_3^5 + 10373335913887695273625211455935/12828\ 44899804483330430235720752*c_0101_3^4 - 5281922923730222071772720200455/641422449902241665215117860376*c_01\ 01_3^3 - 766064008232938702020604252307/320711224951120832607558930\ 188*c_0101_3^2 + 1629604689393856591116087121571/128284489980448333\ 0430235720752*c_0101_3 + 9274846921688481042855689106/8017780623778\ 0208151889732547, c_0011_6 - 1727175010611754697522681917/1282844899804483330430235720752\ *c_0101_3^15 - 14322882040500309385454507851/1282844899804483330430\ 235720752*c_0101_3^14 + 2629500526686522845484858895/12828448998044\ 83330430235720752*c_0101_3^13 + 18455160090317056746224675860/80177\ 806237780208151889732547*c_0101_3^12 - 24728825868599182884239907883/641422449902241665215117860376*c_0101\ _3^11 - 1960177255970902891852901152467/128284489980448333043023572\ 0752*c_0101_3^10 + 400373870448048020647647151999/64142244990224166\ 5215117860376*c_0101_3^9 + 750480321845393327917360292201/160355612\ 475560416303779465094*c_0101_3^8 - 3652276040454074241562290827835/1282844899804483330430235720752*c_0\ 101_3^7 - 9747953933415686309640179703619/1282844899804483330430235\ 720752*c_0101_3^6 + 3942291054761797141659155613283/641422449902241\ 665215117860376*c_0101_3^5 + 10373335913887695273625211455935/12828\ 44899804483330430235720752*c_0101_3^4 - 5281922923730222071772720200455/641422449902241665215117860376*c_01\ 01_3^3 - 766064008232938702020604252307/320711224951120832607558930\ 188*c_0101_3^2 + 1629604689393856591116087121571/128284489980448333\ 0430235720752*c_0101_3 + 9274846921688481042855689106/8017780623778\ 0208151889732547, c_0101_0 + 438385294487788582446656387/1282844899804483330430235720752*\ c_0101_3^15 + 2325007396764047951575817433/128284489980448333043023\ 5720752*c_0101_3^14 - 12080876556464343981794664665/128284489980448\ 3330430235720752*c_0101_3^13 - 19625052477024537333381287177/320711\ 224951120832607558930188*c_0101_3^12 + 114048986730614467793300673255/641422449902241665215117860376*c_010\ 1_3^11 + 545645637779869221824308524609/128284489980448333043023572\ 0752*c_0101_3^10 - 773728547714406192989653058653/64142244990224166\ 5215117860376*c_0101_3^9 - 177141026839087250919228659699/160355612\ 475560416303779465094*c_0101_3^8 + 4853528511710161589464752171141/1282844899804483330430235720752*c_0\ 101_3^7 + 1214543556065777830476472829449/1282844899804483330430235\ 720752*c_0101_3^6 - 4137375065797155858599166210581/641422449902241\ 665215117860376*c_0101_3^5 + 710991498127797766214336423863/1282844\ 899804483330430235720752*c_0101_3^4 + 4635261020092674957626207271079/641422449902241665215117860376*c_01\ 01_3^3 - 237195045433775413383368802216/801778062377802081518897325\ 47*c_0101_3^2 - 938976347757453353050279982073/12828448998044833304\ 30235720752*c_0101_3 - 9930127124446589712510140962/801778062377802\ 08151889732547, c_0101_1 + 796333719452622811615994321/160355612475560416303779465094*c\ _0101_3^15 + 12009180951137023998346910771/320711224951120832607558\ 930188*c_0101_3^14 - 3064722640332491310000972848/80177806237780208\ 151889732547*c_0101_3^13 - 270085152463768224502665295277/320711224\ 951120832607558930188*c_0101_3^12 + 245533047975009924871939226081/320711224951120832607558930188*c_010\ 1_3^11 + 1747949348210152795304196220491/32071122495112083260755893\ 0188*c_0101_3^10 - 1014318404574036386242121785873/1603556124755604\ 16303779465094*c_0101_3^9 - 1191574612980067574672711323888/8017780\ 6237780208151889732547*c_0101_3^8 + 3565037672901516913962858188639/160355612475560416303779465094*c_01\ 01_3^7 + 5846097819655977121009122453989/32071122495112083260755893\ 0188*c_0101_3^6 - 3238002493946950034058335218039/80177806237780208\ 151889732547*c_0101_3^5 - 829852580823430567743622477999/8017780623\ 7780208151889732547*c_0101_3^4 + 15288492887921021380068257766675/3\ 20711224951120832607558930188*c_0101_3^3 - 5255137169644672584186228238505/320711224951120832607558930188*c_01\ 01_3^2 - 998553057949564528983569392685/320711224951120832607558930\ 188*c_0101_3 + 194815712104008464146357288928/801778062377802081518\ 89732547, c_0101_3^16 + 8*c_0101_3^15 - 4*c_0101_3^14 - 171*c_0101_3^13 + 78*c_0101_3^12 + 1133*c_0101_3^11 - 791*c_0101_3^10 - 3374*c_0101_3^9 + 3135*c_0101_3^8 + 5158*c_0101_3^7 - 6335*c_0101_3^6 - 4921*c_0101_3^5 + 8267*c_0101_3^4 + 194*c_0101_3^3 - 1651*c_0101_3^2 + 113*c_0101_3 + 112 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB