Magma V2.19-8 Tue Aug 20 2013 16:18:04 on localhost [Seed = 644332271] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2300 geometric_solution 5.70321353 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.570834101585 0.446253817712 0 2 3 0 3201 0132 0132 0132 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 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.854324434477 0.498408848625 4 1 3 5 0132 0132 1302 0132 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 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.557529513333 0.634386868349 2 5 4 1 2031 2310 0132 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 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.557529513333 0.634386868349 2 4 4 3 0132 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.439684385701 0.791211655098 6 6 2 3 0132 2310 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 -1 0 0 1 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.026720932044 0.782571435853 5 6 6 5 0132 3201 2310 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 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.812611653609 0.785338564504 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_1'], '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_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), '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' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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_0101_6']), 'c_1001_4' : negation(d['c_0011_1']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_6']), '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' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), '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_3, c_0011_5, c_0101_0, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 2166816818412699816705294997514034218742/28091368880834503024321293\ 92595756769*c_0101_6^26 - 11002706840671667494535283321045370356777\ /2809136888083450302432129392595756769*c_0101_6^25 - 15064222852053571236277112791689600979955/2809136888083450302432129\ 392595756769*c_0101_6^24 + 1453514187331433785408201657985901028785\ 48/2809136888083450302432129392595756769*c_0101_6^23 - 372583618249837663526930943875276455023080/280913688808345030243212\ 9392595756769*c_0101_6^22 - 663421900917799049304682478148972071673\ 232/2809136888083450302432129392595756769*c_0101_6^21 + 4664083805667210866589409279244702734937748/28091368880834503024321\ 29392595756769*c_0101_6^20 + 17730229199202280371418473148304181845\ 47904/2809136888083450302432129392595756769*c_0101_6^19 - 19991048888214812550278797284953855967464444/2809136888083450302432\ 129392595756769*c_0101_6^18 - 4842420810939479754409450967669731621\ 927965/2809136888083450302432129392595756769*c_0101_6^17 + 44774039346965530106463500480709513280143186/2809136888083450302432\ 129392595756769*c_0101_6^16 + 9753219749667738931367469611661736796\ 010830/2809136888083450302432129392595756769*c_0101_6^15 - 62355302507032961857342143691519750516874931/2809136888083450302432\ 129392595756769*c_0101_6^14 - 1163081786911692873947193004054520997\ 5784283/2809136888083450302432129392595756769*c_0101_6^13 + 59883689658781692775949166257987018046859214/2809136888083450302432\ 129392595756769*c_0101_6^12 + 8061858970396556017428743173198130123\ 834342/2809136888083450302432129392595756769*c_0101_6^11 - 41666782568381185391648702542144462732432262/2809136888083450302432\ 129392595756769*c_0101_6^10 - 2817218630920361858301621369086564455\ 381108/2809136888083450302432129392595756769*c_0101_6^9 + 20748679870159094381455762925533977228494962/2809136888083450302432\ 129392595756769*c_0101_6^8 - 13697393995750528180703526194914386646\ 7892/2809136888083450302432129392595756769*c_0101_6^7 - 6950052006670564001134087251695441771487421/28091368880834503024321\ 29392595756769*c_0101_6^6 + 177977507848735071291939574781237886091\ 01/96866789244256906980418254917095061*c_0101_6^5 + 1438297493234787208628335411797831629128467/28091368880834503024321\ 29392595756769*c_0101_6^4 - 156103477175630488908429443900207197128\ 034/2809136888083450302432129392595756769*c_0101_6^3 - 162417720413675484720914732605100754033431/280913688808345030243212\ 9392595756769*c_0101_6^2 + 1198295405937342972435374033124485892207\ 2/2809136888083450302432129392595756769*c_0101_6 + 6794345037134823142268149578055174200575/28091368880834503024321293\ 92595756769, c_0011_0 - 1, c_0011_1 - 130942970739106156818705932466313459/96866789244256906980418\ 254917095061*c_0101_6^26 + 778433928034259009114675918308259785/968\ 66789244256906980418254917095061*c_0101_6^25 + 290511775874430095235588583314930327/968667892442569069804182549170\ 95061*c_0101_6^24 - 9336163344397999472108269382732803442/968667892\ 44256906980418254917095061*c_0101_6^23 + 30337644328300560190093703028924370183/9686678924425690698041825491\ 7095061*c_0101_6^22 + 17593824659285364991384519656474914917/968667\ 89244256906980418254917095061*c_0101_6^21 - 307956410059115187672720714991530161608/968667892442569069804182549\ 17095061*c_0101_6^20 + 146982708401535356371866163672748040669/9686\ 6789244256906980418254917095061*c_0101_6^19 + 1204131939923533135181110228491138398312/96866789244256906980418254\ 917095061*c_0101_6^18 - 750849500427370974751381020390690086350/968\ 66789244256906980418254917095061*c_0101_6^17 - 2566402192137469686103906904827689838963/96866789244256906980418254\ 917095061*c_0101_6^16 + 1686453061583675953926425910900131856462/96\ 866789244256906980418254917095061*c_0101_6^15 + 3430357658955945945249812338973781883525/96866789244256906980418254\ 917095061*c_0101_6^14 - 2379562441986467737853311810673176088577/96\ 866789244256906980418254917095061*c_0101_6^13 - 3078765880778733681870437755191066648461/96866789244256906980418254\ 917095061*c_0101_6^12 + 2352326695850800703799034824346512115123/96\ 866789244256906980418254917095061*c_0101_6^11 + 1876135971998492133023708727023298187206/96866789244256906980418254\ 917095061*c_0101_6^10 - 1676977453875626821009770908223551272168/96\ 866789244256906980418254917095061*c_0101_6^9 - 708610120693389191595781632793319716477/968667892442569069804182549\ 17095061*c_0101_6^8 + 824619323219098405080406454504899917987/96866\ 789244256906980418254917095061*c_0101_6^7 + 108037172328379435690803605705444237317/968667892442569069804182549\ 17095061*c_0101_6^6 - 246747291274978769181457648185524994320/96866\ 789244256906980418254917095061*c_0101_6^5 + 19042162959030774491166707882769324655/9686678924425690698041825491\ 7095061*c_0101_6^4 + 36021367022687935922926706942818144357/9686678\ 9244256906980418254917095061*c_0101_6^3 - 7129676676815042872024779076285800560/96866789244256906980418254917\ 095061*c_0101_6^2 - 1404881467368978111569401110276143748/968667892\ 44256906980418254917095061*c_0101_6 + 266136228276308335030740273074719303/968667892442569069804182549170\ 95061, c_0011_3 + 34616859822018956134500971237369601256/280913688808345030243\ 2129392595756769*c_0101_6^26 - 183823155580288110816177365176448013\ 551/2809136888083450302432129392595756769*c_0101_6^25 - 196051366323321343487258266247198726311/280913688808345030243212939\ 2595756769*c_0101_6^24 + 2356777041970985072866388961019914742684/2\ 809136888083450302432129392595756769*c_0101_6^23 - 6506885530631182454008541600441576151135/28091368880834503024321293\ 92595756769*c_0101_6^22 - 8950294684905832436449589764637148599723/\ 2809136888083450302432129392595756769*c_0101_6^21 + 76185997655527618780969769344040512892801/2809136888083450302432129\ 392595756769*c_0101_6^20 + 1025601736505332099130019884458351993131\ 5/2809136888083450302432129392595756769*c_0101_6^19 - 317299086971403129590697973808463307022006/280913688808345030243212\ 9392595756769*c_0101_6^18 - 467600572016178474781593860506690035020\ 1/2809136888083450302432129392595756769*c_0101_6^17 + 697699716298453213996807608941054097782267/280913688808345030243212\ 9392595756769*c_0101_6^16 - 360897645039467615024706134046127649173\ /2809136888083450302432129392595756769*c_0101_6^15 - 953626610534365464107723158380262462559149/280913688808345030243212\ 9392595756769*c_0101_6^14 + 242047464762654955647584139998955702897\ 30/2809136888083450302432129392595756769*c_0101_6^13 + 891571899284206751765976018538449103537738/280913688808345030243212\ 9392595756769*c_0101_6^12 - 637861993381261115698985397490268727378\ 43/2809136888083450302432129392595756769*c_0101_6^11 - 594938921408879282060922864961742670382125/280913688808345030243212\ 9392595756769*c_0101_6^10 + 788693651941485243889708486095025434168\ 06/2809136888083450302432129392595756769*c_0101_6^9 + 276197978096096610837566174687741052301059/280913688808345030243212\ 9392595756769*c_0101_6^8 - 5558577591963214414776116374642696139257\ 7/2809136888083450302432129392595756769*c_0101_6^7 - 81428646419779959150652105214674172917891/2809136888083450302432129\ 392595756769*c_0101_6^6 + 741774943158918834040254994523968692142/9\ 6866789244256906980418254917095061*c_0101_6^5 + 13384676489106773513485617591449272881398/2809136888083450302432129\ 392595756769*c_0101_6^4 - 3795523967241355524272564846094479527842/\ 2809136888083450302432129392595756769*c_0101_6^3 - 1062057706234051922362341229193625612192/28091368880834503024321293\ 92595756769*c_0101_6^2 + 168159037238933817243039926593061576470/28\ 09136888083450302432129392595756769*c_0101_6 + 33190866893738679335581343294579341825/2809136888083450302432129392\ 595756769, c_0011_5 + 29704950585841060233783457575919169358/280913688808345030243\ 2129392595756769*c_0101_6^26 - 158837832508056728957387055441071790\ 902/2809136888083450302432129392595756769*c_0101_6^25 - 162246119760061743468593589507664499812/280913688808345030243212939\ 2595756769*c_0101_6^24 + 2027759412958610419457120021824511339444/2\ 809136888083450302432129392595756769*c_0101_6^23 - 5659058312954082077364390944904606432982/28091368880834503024321293\ 92595756769*c_0101_6^22 - 7464269991569740102745683448514979366386/\ 2809136888083450302432129392595756769*c_0101_6^21 + 65628785785911072734200329607528276615871/2809136888083450302432129\ 392595756769*c_0101_6^20 + 6355804032920507233847626378660108900349\ /2809136888083450302432129392595756769*c_0101_6^19 - 272290355407851818532484454403333323879488/280913688808345030243212\ 9392595756769*c_0101_6^18 + 603657004034428437626817960713683890055\ 0/2809136888083450302432129392595756769*c_0101_6^17 + 597827713431964337549930633869667222711946/280913688808345030243212\ 9392595756769*c_0101_6^16 - 222086358738098893924251893391298515772\ 35/2809136888083450302432129392595756769*c_0101_6^15 - 816805514456906422585579008908766215182332/280913688808345030243212\ 9392595756769*c_0101_6^14 + 502438842124437352847361406466627317399\ 34/2809136888083450302432129392595756769*c_0101_6^13 + 763278008930030764215963552385301070833895/280913688808345030243212\ 9392595756769*c_0101_6^12 - 816310527783074667150650788856613933767\ 84/2809136888083450302432129392595756769*c_0101_6^11 - 508517337579986869496060870518462790779468/280913688808345030243212\ 9392595756769*c_0101_6^10 + 850813934964076531162735718949944792716\ 26/2809136888083450302432129392595756769*c_0101_6^9 + 235277306742422164294040597782041449860676/280913688808345030243212\ 9392595756769*c_0101_6^8 - 5544832507216551836101498573578743854308\ 6/2809136888083450302432129392595756769*c_0101_6^7 - 68953487448641628079108470883873392385093/2809136888083450302432129\ 392595756769*c_0101_6^6 + 711260526786269353114609917313594535213/9\ 6866789244256906980418254917095061*c_0101_6^5 + 11274722223726999720538466916340449902055/2809136888083450302432129\ 392595756769*c_0101_6^4 - 3616223328062492744410135716400068390694/\ 2809136888083450302432129392595756769*c_0101_6^3 - 915156242044994894163801015693392077064/280913688808345030243212939\ 2595756769*c_0101_6^2 + 179533263669087815658094053156052565400/280\ 9136888083450302432129392595756769*c_0101_6 + 34212823996388734192637221820085157264/2809136888083450302432129392\ 595756769, c_0101_0 - 240539328783911269877074991734387574/96866789244256906980418\ 254917095061*c_0101_6^26 + 1272451928106988925491864015203169895/96\ 866789244256906980418254917095061*c_0101_6^25 + 1328881622032444550644362263418712596/96866789244256906980418254917\ 095061*c_0101_6^24 - 16068630570688785825456573286179637417/9686678\ 9244256906980418254917095061*c_0101_6^23 + 45358753441176796304507856924598413932/9686678924425690698041825491\ 7095061*c_0101_6^22 + 59463426400528057514016955030393635994/968667\ 89244256906980418254917095061*c_0101_6^21 - 518982319569162842776828897593629472440/968667892442569069804182549\ 17095061*c_0101_6^20 - 62727683546411308782862107424041251383/96866\ 789244256906980418254917095061*c_0101_6^19 + 2088132938220588413972362703131377880064/96866789244256906980418254\ 917095061*c_0101_6^18 - 2070235134681042751094877101083410131/96866\ 789244256906980418254917095061*c_0101_6^17 - 4394549361752528229383027113712477547443/96866789244256906980418254\ 917095061*c_0101_6^16 + 164151797406243364334645295686069147845/968\ 66789244256906980418254917095061*c_0101_6^15 + 5747226168096410825277984149021617547690/96866789244256906980418254\ 917095061*c_0101_6^14 - 511350789679857596598691205097038464106/968\ 66789244256906980418254917095061*c_0101_6^13 - 5151216791517716181837287346334738234295/96866789244256906980418254\ 917095061*c_0101_6^12 + 824578773618478357504838928028172183194/968\ 66789244256906980418254917095061*c_0101_6^11 + 3265778454837225714236594984160070119477/96866789244256906980418254\ 917095061*c_0101_6^10 - 808372143375569586879501211295113053204/968\ 66789244256906980418254917095061*c_0101_6^9 - 1395118765639713111244241988797512450771/96866789244256906980418254\ 917095061*c_0101_6^8 + 495101123301705596326446378831303377880/9686\ 6789244256906980418254917095061*c_0101_6^7 + 347558211031608638369081865061400472190/968667892442569069804182549\ 17095061*c_0101_6^6 - 169896765508730118124943091611603810797/96866\ 789244256906980418254917095061*c_0101_6^5 - 35620251129978352898618243606160767882/9686678924425690698041825491\ 7095061*c_0101_6^4 + 25529852303201613940397062862455781385/9686678\ 9244256906980418254917095061*c_0101_6^3 - 699422188355244807838685086504274034/968667892442569069804182549170\ 95061*c_0101_6^2 - 556405465204609439643722348715597826/96866789244\ 256906980418254917095061*c_0101_6 + 89717166795824666386145597169296041/9686678924425690698041825491709\ 5061, c_0101_4 - 76557286838434322583078281941736074566/280913688808345030243\ 2129392595756769*c_0101_6^26 + 405249334853046536093668986904078435\ 732/2809136888083450302432129392595756769*c_0101_6^25 + 438393224888952768836876186395042846245/280913688808345030243212939\ 2595756769*c_0101_6^24 - 5196758108302046552265724337469999994319/2\ 809136888083450302432129392595756769*c_0101_6^23 + 14324801673883685923180768835317508431079/2809136888083450302432129\ 392595756769*c_0101_6^22 + 1992810100980114299084567976204801503797\ 8/2809136888083450302432129392595756769*c_0101_6^21 - 167926159797721735315473643552303479590090/280913688808345030243212\ 9392595756769*c_0101_6^20 - 246958667521650636806510416988081377228\ 91/2809136888083450302432129392595756769*c_0101_6^19 + 698041634696549473472038907891160781211214/280913688808345030243212\ 9392595756769*c_0101_6^18 + 169502411147474114979232020846919165079\ 64/2809136888083450302432129392595756769*c_0101_6^17 - 1531225568725908760667253799138907591054281/28091368880834503024321\ 29392595756769*c_0101_6^16 - 65547389359144083494365173195759433336\ 27/2809136888083450302432129392595756769*c_0101_6^15 + 2092519005655636130316402744033784201475215/28091368880834503024321\ 29392595756769*c_0101_6^14 - 51631391982164327635498204887838214092\ 400/2809136888083450302432129392595756769*c_0101_6^13 - 1961606717693904171277965392793918561361190/28091368880834503024321\ 29392595756769*c_0101_6^12 + 14364644487022163581900123833054353535\ 3209/2809136888083450302432129392595756769*c_0101_6^11 + 1315081648756644408061856436431948373314071/28091368880834503024321\ 29392595756769*c_0101_6^10 - 17853307699218352485387038263714397948\ 9705/2809136888083450302432129392595756769*c_0101_6^9 - 615344384848404373041524864197766396894196/280913688808345030243212\ 9392595756769*c_0101_6^8 + 1264325549182563499881716231009351329580\ 61/2809136888083450302432129392595756769*c_0101_6^7 + 184490186836651864673284422029963216308555/280913688808345030243212\ 9392595756769*c_0101_6^6 - 1706121674724284826549244688874553830119\ /96866789244256906980418254917095061*c_0101_6^5 - 31518181030912375151728863107777284937589/2809136888083450302432129\ 392595756769*c_0101_6^4 + 9097263313477305796519305809087130876414/\ 2809136888083450302432129392595756769*c_0101_6^3 + 2739970499863869907166784105307247740134/28091368880834503024321293\ 92595756769*c_0101_6^2 - 499275103844884775274998978143054531959/28\ 09136888083450302432129392595756769*c_0101_6 - 108574015300801191622076114258439400861/280913688808345030243212939\ 2595756769, c_0101_6^27 - 6*c_0101_6^26 - 2*c_0101_6^25 + 72*c_0101_6^24 - 235*c_0101_6^23 - 129*c_0101_6^22 + 2380*c_0101_6^21 - 1224*c_0101_6^20 - 9375*c_0101_6^19 + 6217*c_0101_6^18 + 20271*c_0101_6^17 - 14040*c_0101_6^16 - 27622*c_0101_6^15 + 19975*c_0101_6^14 + 25431*c_0101_6^13 - 19973*c_0101_6^12 - 16095*c_0101_6^11 + 14474*c_0101_6^10 + 6537*c_0101_6^9 - 7342*c_0101_6^8 - 1303*c_0101_6^7 + 2357*c_0101_6^6 - 30*c_0101_6^5 - 412*c_0101_6^4 + 46*c_0101_6^3 + 32*c_0101_6^2 - 3*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB