Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 4071845582] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0196 geometric_solution 4.01079506 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.405137886765 0.059527160759 0 2 2 0 3201 0132 1023 0132 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 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 1.187396971799 0.068229390133 3 1 1 3 0132 0132 1023 1023 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 -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 1.370941259578 0.283753269380 2 4 5 2 0132 0132 0132 1023 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 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.237417438093 0.838176401815 5 3 6 5 2310 0132 0132 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 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.003858942681 0.581303271448 6 4 4 3 1023 2310 3201 0132 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 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.003858942681 0.581303271448 6 5 6 4 2031 1023 1302 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 1 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 1.490202290307 0.897485642043 ==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_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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), '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_5']), 'c_0101_5' : d['c_0101_4'], '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_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], '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_0101_4']), '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_3'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : 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_5, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 8971926329452575038177543397970/61457366916092888973174183983*c_010\ 1_4^18 - 12662993388175439758177960055499/8779623845156126996167740\ 569*c_0101_4^17 - 234745835742680600562927788300130/614573669160928\ 88973174183983*c_0101_4^16 + 11023123723962457411098211896131/21192\ 19548830789274937040827*c_0101_4^15 + 1100675469817836056999220520418564/61457366916092888973174183983*c_\ 0101_4^14 + 363257426797145892437358437246159/877962384515612699616\ 7740569*c_0101_4^13 + 2786529531553428381242479074581434/6145736691\ 6092888973174183983*c_0101_4^12 - 216339350473235064804775965927253\ /8779623845156126996167740569*c_0101_4^11 - 220986511725639861873279886901191/8779623845156126996167740569*c_01\ 01_4^10 - 6802729370689506664787652260636351/6145736691609288897317\ 4183983*c_0101_4^9 - 3126126200643051326522231967175523/61457366916\ 092888973174183983*c_0101_4^8 + 2923286515304861061255615184852203/\ 61457366916092888973174183983*c_0101_4^7 + 678839007777272412578998814281666/61457366916092888973174183983*c_0\ 101_4^6 + 885697629381695190027038598013743/87796238451561269961677\ 40569*c_0101_4^5 - 1213332677359105512273665224839424/6145736691609\ 2888973174183983*c_0101_4^4 - 238981785132242204144761720732103/877\ 9623845156126996167740569*c_0101_4^3 + 18738288413475689533569027366656/8779623845156126996167740569*c_010\ 1_4^2 - 22990487912668580686748746953535/87796238451561269961677405\ 69*c_0101_4 - 65170916668381372064195582063024/61457366916092888973\ 174183983, c_0011_0 - 1, c_0011_1 + 18080215590895733290326771/302745649832969896419577261*c_010\ 1_4^18 - 161075490897998047035811876/302745649832969896419577261*c_\ 0101_4^17 - 620924409693154200813071397/302745649832969896419577261\ *c_0101_4^16 - 45865470864418975229045911/3027456498329698964195772\ 61*c_0101_4^15 + 1980066546814712402731874846/302745649832969896419\ 577261*c_0101_4^14 + 7435497156619678670012056598/30274564983296989\ 6419577261*c_0101_4^13 + 13808626115711384594937378716/302745649832\ 969896419577261*c_0101_4^12 + 12413920157626971660459904436/3027456\ 49832969896419577261*c_0101_4^11 + 10558281913347820023971168494/302745649832969896419577261*c_0101_4^\ 10 - 6237956274689998713337241919/302745649832969896419577261*c_010\ 1_4^9 - 14006655297855336891711565897/302745649832969896419577261*c\ _0101_4^8 - 14148804590845722453847045349/3027456498329698964195772\ 61*c_0101_4^7 - 12953551326012124702194648914/302745649832969896419\ 577261*c_0101_4^6 + 3835760511191529940532981204/302745649832969896\ 419577261*c_0101_4^5 + 2029250011600483122703930722/302745649832969\ 896419577261*c_0101_4^4 + 4593885345472346464384550511/302745649832\ 969896419577261*c_0101_4^3 + 1362124605712863366774023863/302745649\ 832969896419577261*c_0101_4^2 + 41497581390086204617218702/30274564\ 9832969896419577261*c_0101_4 + 86883377723808433059739631/302745649\ 832969896419577261, c_0011_5 + 14657509183266873638819835/302745649832969896419577261*c_010\ 1_4^18 - 149022699649620541866115002/302745649832969896419577261*c_\ 0101_4^17 - 342532735321439968257864783/302745649832969896419577261\ *c_0101_4^16 + 637749348216903492875279235/302745649832969896419577\ 261*c_0101_4^15 + 1671182362175635429287348208/30274564983296989641\ 9577261*c_0101_4^14 + 3633306038295662264530438721/3027456498329698\ 96419577261*c_0101_4^13 + 3252421446877492601047494057/302745649832\ 969896419577261*c_0101_4^12 - 4050145309563301915734013674/30274564\ 9832969896419577261*c_0101_4^11 - 2182282988848279401181693526/3027\ 45649832969896419577261*c_0101_4^10 - 10422908225934555480504648509/302745649832969896419577261*c_0101_4^\ 9 - 1516295933254900573969231635/302745649832969896419577261*c_0101\ _4^8 + 7111979728679204500632848400/302745649832969896419577261*c_0\ 101_4^7 + 740104004967997316168478195/302745649832969896419577261*c\ _0101_4^6 + 10178421002637818650279585587/3027456498329698964195772\ 61*c_0101_4^5 - 5144614672487561723164239032/3027456498329698964195\ 77261*c_0101_4^4 - 2999471322825062481597815037/3027456498329698964\ 19577261*c_0101_4^3 + 450040039736652570607752164/30274564983296989\ 6419577261*c_0101_4^2 - 429889544176691021643100180/302745649832969\ 896419577261*c_0101_4 + 41978175553587189729998099/3027456498329698\ 96419577261, c_0101_0 - 13346193369263099744405836/302745649832969896419577261*c_010\ 1_4^18 + 119604233242614357058608072/302745649832969896419577261*c_\ 0101_4^17 + 466085386287288424507434820/302745649832969896419577261\ *c_0101_4^16 - 119641925181364214577803083/302745649832969896419577\ 261*c_0101_4^15 - 1911199946924278736337886929/30274564983296989641\ 9577261*c_0101_4^14 - 5229133334401385658346631045/3027456498329698\ 96419577261*c_0101_4^13 - 8149194969030292365761932873/302745649832\ 969896419577261*c_0101_4^12 - 3481510838091387204716466805/30274564\ 9832969896419577261*c_0101_4^11 + 658918252627955712629309870/30274\ 5649832969896419577261*c_0101_4^10 + 8836712436972095953317559893/302745649832969896419577261*c_0101_4^9 + 11899426424126902447263358043/302745649832969896419577261*c_0101_\ 4^8 + 1512968679412386327920019704/302745649832969896419577261*c_01\ 01_4^7 - 388858963756161546431422803/302745649832969896419577261*c_\ 0101_4^6 - 6809751279495350518682677259/302745649832969896419577261\ *c_0101_4^5 - 4656939107740190896245361595/302745649832969896419577\ 261*c_0101_4^4 + 3235890989054594376661988348/302745649832969896419\ 577261*c_0101_4^3 + 41531322439986275248015558/30274564983296989641\ 9577261*c_0101_4^2 - 127208397077709984021881657/302745649832969896\ 419577261*c_0101_4 + 371428306130207783990600230/302745649832969896\ 419577261, c_0101_2 + 69415343011731802807581528/302745649832969896419577261*c_010\ 1_4^18 - 638399630742176633943700786/302745649832969896419577261*c_\ 0101_4^17 - 2239780904453070065229003938/30274564983296989641957726\ 1*c_0101_4^16 + 828528337857955637256758211/30274564983296989641957\ 7261*c_0101_4^15 + 8684155729907552808226070226/3027456498329698964\ 19577261*c_0101_4^14 + 25749869486124507121152831577/30274564983296\ 9896419577261*c_0101_4^13 + 40642427504473787899326766403/302745649\ 832969896419577261*c_0101_4^12 + 20625297184251181043485456058/3027\ 45649832969896419577261*c_0101_4^11 + 9537150614729871655660553593/302745649832969896419577261*c_0101_4^1\ 0 - 41906554946923506261203527850/302745649832969896419577261*c_010\ 1_4^9 - 50078853804326712471686578204/302745649832969896419577261*c\ _0101_4^8 - 18496461704704385645599733939/3027456498329698964195772\ 61*c_0101_4^7 - 16226842154751126499568398357/302745649832969896419\ 577261*c_0101_4^6 + 32693930062875359864134516726/30274564983296989\ 6419577261*c_0101_4^5 + 8555914417304762923789983450/30274564983296\ 9896419577261*c_0101_4^4 - 1687998893679890767202974027/30274564983\ 2969896419577261*c_0101_4^3 + 1403875901245578069333908843/30274564\ 9832969896419577261*c_0101_4^2 + 138410295646859022105868671/302745\ 649832969896419577261*c_0101_4 + 165258344491687655598661960/302745\ 649832969896419577261, c_0101_3 + 15360853197712866095249176/302745649832969896419577261*c_010\ 1_4^18 - 149414728047889089525232481/302745649832969896419577261*c_\ 0101_4^17 - 417847785763272103121135633/302745649832969896419577261\ *c_0101_4^16 + 418431261244353827293922365/302745649832969896419577\ 261*c_0101_4^15 + 1742583897212346717409749505/30274564983296989641\ 9577261*c_0101_4^14 + 4735422511281792398956957011/3027456498329698\ 96419577261*c_0101_4^13 + 6266193763591477718209894700/302745649832\ 969896419577261*c_0101_4^12 + 730588099485765165675694529/302745649\ 832969896419577261*c_0101_4^11 + 1183286674759867104567365557/30274\ 5649832969896419577261*c_0101_4^10 - 9540409034351707484411774012/302745649832969896419577261*c_0101_4^9 - 4981958354042450320514683521/302745649832969896419577261*c_0101_4\ ^8 + 798449653259960645030137953/302745649832969896419577261*c_0101\ _4^7 - 2144469044388515912875390223/302745649832969896419577261*c_0\ 101_4^6 + 9036606921098154950774526318/302745649832969896419577261*\ c_0101_4^5 - 3132392247016395894175093656/3027456498329698964195772\ 61*c_0101_4^4 - 349775979133147019702967453/30274564983296989641957\ 7261*c_0101_4^3 - 198611686260896922381638464/302745649832969896419\ 577261*c_0101_4^2 - 251623974813777504732659445/3027456498329698964\ 19577261*c_0101_4 + 127806235199366981407742930/3027456498329698964\ 19577261, c_0101_4^19 - 10*c_0101_4^18 - 25*c_0101_4^17 + 39*c_0101_4^16 + 119*c_0101_4^15 + 268*c_0101_4^14 + 274*c_0101_4^13 - 213*c_0101_4^12 - 161*c_0101_4^11 - 738*c_0101_4^10 - 259*c_0101_4^9 + 383*c_0101_4^8 + 44*c_0101_4^7 + 682*c_0101_4^6 - 214*c_0101_4^5 - 184*c_0101_4^4 + 42*c_0101_4^3 - 21*c_0101_4^2 - 5*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB