Magma V2.19-8 Tue Aug 20 2013 16:14:44 on localhost [Seed = 3414841299] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s711 geometric_solution 5.22061785 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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.253403068826 0.246175109690 2 0 3 0 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716372519698 1.726140061973 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 0 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 -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.007126702229 0.900193223798 5 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.007126702229 0.900193223798 4 3 4 2 2310 0132 3201 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 -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.367566466268 0.817108239372 5 5 2 3 1230 3012 0132 2310 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 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 1.037817130159 1.133884371988 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : negation(d['c_0011_3']), '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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], '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_5'], 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 33892698587758493507036844897966793/2040909688483844281849624383714\ 1375*c_0101_1^20 + 14200864132313836520338027512098674/185537244407\ 6222074408749439740125*c_0101_1^19 - 76986512797848263642165555155395829/4081819376967688563699248767428\ 275*c_0101_1^18 + 745392815524650896223417996798421/184697709365053\ 78116286193517775*c_0101_1^17 - 62734362877801122986927391710664845\ 9/20409096884838442818496243837141375*c_0101_1^16 + 2051476160321668933775341156589369312/20409096884838442818496243837\ 141375*c_0101_1^15 + 460092024897449605991092651685161444/185537244\ 4076222074408749439740125*c_0101_1^14 + 8487495961832141560762140382101028363/20409096884838442818496243837\ 141375*c_0101_1^13 + 22919657637867336409220108813388544742/2040909\ 6884838442818496243837141375*c_0101_1^12 + 203799779187000539310686849649254444/156993052960295713988432644901\ 0875*c_0101_1^11 - 486133574114063694042310196819470949/18553724440\ 76222074408749439740125*c_0101_1^10 - 5178761630772544777787269501103756143/40818193769676885636992487674\ 28275*c_0101_1^9 - 8047996889825742230808883797753369358/4081819376\ 967688563699248767428275*c_0101_1^8 + 4991604274860097904155737639167802508/40818193769676885636992487674\ 28275*c_0101_1^7 + 14018262470298593121259874900820519351/204090968\ 84838442818496243837141375*c_0101_1^6 - 8707236219109809792189839837464138741/20409096884838442818496243837\ 141375*c_0101_1^5 + 10455844998200272641646026196149193444/20409096\ 884838442818496243837141375*c_0101_1^4 + 403399576330550291978981412681133602/204090968848384428184962438371\ 41375*c_0101_1^3 - 91139924923113316558868912681091198/204090968848\ 38442818496243837141375*c_0101_1^2 - 330936319296929787108888274318780093/204090968848384428184962438371\ 41375*c_0101_1 - 367991809780909342265889707043557782/4081819376967\ 688563699248767428275, c_0011_0 - 1, c_0011_1 + 9948049904284588185977/250081644868098903962245*c_0101_1^20 - 3831423844149135030006/22734694988008991269295*c_0101_1^19 + 20123262179276904381060/50016328973619780792449*c_0101_1^18 - 3356967160198856490326/3847409921047675445573*c_0101_1^17 + 135845185596092834129831/250081644868098903962245*c_0101_1^16 - 622867181071688421472693/250081644868098903962245*c_0101_1^15 - 152372391982601804482936/22734694988008991269295*c_0101_1^14 - 3320304169124798958476272/250081644868098903962245*c_0101_1^13 - 8539519392742924108027963/250081644868098903962245*c_0101_1^12 - 392129810482270434973251/19237049605238377227865*c_0101_1^11 - 296922377273000226962674/22734694988008991269295*c_0101_1^10 + 896057240487539902728002/50016328973619780792449*c_0101_1^9 + 2444119662202736779382812/50016328973619780792449*c_0101_1^8 - 285275725252117908059602/50016328973619780792449*c_0101_1^7 - 348184204190240840643409/250081644868098903962245*c_0101_1^6 + 2342718167511298053334984/250081644868098903962245*c_0101_1^5 - 2060198583773667357517891/250081644868098903962245*c_0101_1^4 + 103532116556760099323672/250081644868098903962245*c_0101_1^3 - 717246184776490410937318/250081644868098903962245*c_0101_1^2 + 26865421632110125521217/250081644868098903962245*c_0101_1 + 62861032126699659400036/50016328973619780792449, c_0011_3 + 78648097737518469634811565385094/408181937696768856369924876\ 7428275*c_0101_1^20 - 26126391776881688966447605601992/371074488815\ 244414881749887948025*c_0101_1^19 + 128359950585570391140440525355832/816363875393537712739849753485655\ *c_0101_1^18 - 1314395016038575562229152155743/36939541873010756232\ 57238703555*c_0101_1^17 + 585570858908156048533678015754072/4081819\ 376967688563699248767428275*c_0101_1^16 - 5506544339760275963860191647961796/40818193769676885636992487674282\ 75*c_0101_1^15 - 1343704603145770244808422252760702/371074488815244\ 414881749887948025*c_0101_1^14 - 3764934197543487822440453279909640\ 4/4081819376967688563699248767428275*c_0101_1^13 - 87217496604887937318779564619404011/4081819376967688563699248767428\ 275*c_0101_1^12 - 7133619987522595271164218157469427/31398610592059\ 1427976865289802175*c_0101_1^11 - 720234024614202729770169621050165\ 8/371074488815244414881749887948025*c_0101_1^10 + 1511598940358520988681378773391794/81636387539353771273984975348565\ 5*c_0101_1^9 + 19248738048846412578786102021745734/8163638753935377\ 12739849753485655*c_0101_1^8 + 12550459210947298550347540138976911/\ 816363875393537712739849753485655*c_0101_1^7 + 14100264590646441128273002163217442/4081819376967688563699248767428\ 275*c_0101_1^6 + 2690445013964809218631400857026678/408181937696768\ 8563699248767428275*c_0101_1^5 + 4622214438868377596204846761882148\ /4081819376967688563699248767428275*c_0101_1^4 - 2387786284791789141764978898106866/40818193769676885636992487674282\ 75*c_0101_1^3 - 4764845190153668994918734455021741/4081819376967688\ 563699248767428275*c_0101_1^2 - 4346119783930601296208832730446456/\ 4081819376967688563699248767428275*c_0101_1 + 210137383400588388650053364732676/816363875393537712739849753485655\ , c_0011_5 + 261045798911407522034025115022244/40818193769676885636992487\ 67428275*c_0101_1^20 - 94347462866567743393519202104417/37107448881\ 5244414881749887948025*c_0101_1^19 + 457918582596070850374023255624452/816363875393537712739849753485655\ *c_0101_1^18 - 4315700979174949635469919563773/36939541873010756232\ 57238703555*c_0101_1^17 + 1406885328447320656847842461400397/408181\ 9376967688563699248767428275*c_0101_1^16 - 13935373756842472196417494914046071/4081819376967688563699248767428\ 275*c_0101_1^15 - 4489269704350105309724986181284052/37107448881524\ 4414881749887948025*c_0101_1^14 - 942366000880237129967787907603740\ 54/4081819376967688563699248767428275*c_0101_1^13 - 237109502425835486660080576842380036/408181937696768856369924876742\ 8275*c_0101_1^12 - 13159659890811603218634836245616152/313986105920\ 591427976865289802175*c_0101_1^11 - 6114166206925308745387450186077383/37107448881524441488174988794802\ 5*c_0101_1^10 + 25534470402505119628207399635076394/816363875393537\ 712739849753485655*c_0101_1^9 + 76154248006980283619799665045433809\ /816363875393537712739849753485655*c_0101_1^8 + 4538280139046035762508607652098451/81636387539353771273984975348565\ 5*c_0101_1^7 - 83642496325089519761555021198206633/4081819376967688\ 563699248767428275*c_0101_1^6 + 69502913090203279996238580499464503\ /4081819376967688563699248767428275*c_0101_1^5 - 42676082069109518315030198897236452/4081819376967688563699248767428\ 275*c_0101_1^4 - 21531422178040682701875795095556341/40818193769676\ 88563699248767428275*c_0101_1^3 - 933278660872782970312961928316341\ 6/4081819376967688563699248767428275*c_0101_1^2 - 10784008332970167179429254205686431/4081819376967688563699248767428\ 275*c_0101_1 + 1716361794362509134188468695219026/81636387539353771\ 2739849753485655, c_0101_0 - 147761093566899578925017494445287/81636387539353771273984975\ 3485655*c_0101_1^20 + 53937342098728637650778160624171/742148977630\ 48882976349977589605*c_0101_1^19 - 267813750059336480761934861180640/163272775078707542547969950697131\ *c_0101_1^18 + 2564257446484164875691573004773/73879083746021512465\ 1447740711*c_0101_1^17 - 1106913395757296637579502123409976/8163638\ 75393537712739849753485655*c_0101_1^16 + 8380559648238134032735734085620893/81636387539353771273984975348565\ 5*c_0101_1^15 + 2480364354783292578045390992705936/7421489776304888\ 2976349977589605*c_0101_1^14 + 53708157810512738264261523615317987/\ 816363875393537712739849753485655*c_0101_1^13 + 135179062703957197916226167315679738/816363875393537712739849753485\ 655*c_0101_1^12 + 7618283953116848457482931230981426/62797221184118\ 285595373057960435*c_0101_1^11 + 4750124900432802372321377833793764\ /74214897763048882976349977589605*c_0101_1^10 - 12058244863071505405225416525980704/1632727750787075425479699506971\ 31*c_0101_1^9 - 39972952132358700275813260030024137/163272775078707\ 542547969950697131*c_0101_1^8 - 2037847217767858990627797514411376/\ 163272775078707542547969950697131*c_0101_1^7 + 29295774603454436147814807317629234/8163638753935377127398497534856\ 55*c_0101_1^6 - 41214421731468608574329864025379674/816363875393537\ 712739849753485655*c_0101_1^5 + 24379963917649091331815728855795781\ /816363875393537712739849753485655*c_0101_1^4 + 9046213362763179924742875189337698/81636387539353771273984975348565\ 5*c_0101_1^3 + 4487495727429521618624741153874153/81636387539353771\ 2739849753485655*c_0101_1^2 + 5199532203331386066575679746158483/81\ 6363875393537712739849753485655*c_0101_1 - 773588784137096074218418318019146/163272775078707542547969950697131\ , c_0101_1^21 - 3*c_0101_1^20 + 5*c_0101_1^19 - 10*c_0101_1^18 - 12*c_0101_1^17 - 49*c_0101_1^16 - 243*c_0101_1^15 - 551*c_0101_1^14 - 1289*c_0101_1^13 - 1609*c_0101_1^12 - 1057*c_0101_1^11 + 15*c_0101_1^10 + 1755*c_0101_1^9 + 1445*c_0101_1^8 - 82*c_0101_1^7 + 122*c_0101_1^6 + 107*c_0101_1^5 - 224*c_0101_1^4 - 94*c_0101_1^3 - 79*c_0101_1^2 - 10*c_0101_1 + 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB