Magma V2.19-8 Tue Aug 20 2013 16:18:37 on localhost [Seed = 2682127020] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2793 geometric_solution 6.02600790 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.369375667166 0.866089511950 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -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 0 1 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.224296539669 1.382328399764 4 5 4 0 0132 0132 2031 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.568073286127 0.859855480851 5 5 0 4 2103 2031 0132 2031 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612620125536 1.100301340773 2 3 6 2 0132 1302 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.436860686695 1.084513091514 3 2 3 6 1302 0132 2103 3120 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 0 0 0 0 0 0 0 -0.132805600867 0.958956733807 5 6 6 4 3120 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.867194399133 0.958956733807 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_1010_4']), 'c_1100_3' : negation(d['c_1010_4']), 'c_1100_2' : negation(d['c_1010_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), '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' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0011_3'], '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_2, c_0011_3, c_0011_6, c_0101_0, c_0101_6, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 5566235039825669380225433444621733679576108742015225975811/62550835\ 167373902885263424037433309167498108883242460106368*c_1010_4^20 + 15928683963727443104636497861959480247274693694046115862535/3127541\ 7583686951442631712018716654583749054441621230053184*c_1010_4^19 + 111963605960364576108794241084521409320375401846211818109169/312754\ 17583686951442631712018716654583749054441621230053184*c_1010_4^18 + 1694864823959335473336638999783206331788509177082011511044761/62550\ 835167373902885263424037433309167498108883242460106368*c_1010_4^17 + 3947554007803688485846439988440286155306879219111005885696853/31275\ 417583686951442631712018716654583749054441621230053184*c_1010_4^16 + 8497030543684063568690340774655207499188304653538939520314753/31275\ 417583686951442631712018716654583749054441621230053184*c_1010_4^15 - 417635434512842201457608653228697820618654486572273596546715/625508\ 35167373902885263424037433309167498108883242460106368*c_1010_4^14 - 34420696190396691704288646613486543351785868800560533163445915/3127\ 5417583686951442631712018716654583749054441621230053184*c_1010_4^13 - 88212321908638639816408313672078752522215050090061576667138507/62\ 550835167373902885263424037433309167498108883242460106368*c_1010_4^\ 12 + 31059583704084019380534635087238565939085458909553302437423199\ /31275417583686951442631712018716654583749054441621230053184*c_1010\ _4^11 + 69755320545447831224936084786616143838425598079909466425202\ 073/31275417583686951442631712018716654583749054441621230053184*c_1\ 010_4^10 + 65716146104281352603722775195612625130889227959179533333\ 710693/62550835167373902885263424037433309167498108883242460106368*\ c_1010_4^9 + 269828338158811064232481817468114689061489619728226915\ 79482811/3127541758368695144263171201871665458374905444162123005318\ 4*c_1010_4^8 - 1429313904542340030344789287081938725332661207546234\ 38973215345/6255083516737390288526342403743330916749810888324246010\ 6368*c_1010_4^7 - 1608158755795212056013937328186875429472930610943\ 64186779012251/3127541758368695144263171201871665458374905444162123\ 0053184*c_1010_4^6 - 9381816365519642646600016838612647733577320157\ 745554680462399/625508351673739028852634240374333091674981088832424\ 60106368*c_1010_4^5 + 285557980007425328926090217605534985756181175\ 63336487187038365/6255083516737390288526342403743330916749810888324\ 2460106368*c_1010_4^4 + 1376281221646936607128889428792503140302614\ 45006296798056282555/6255083516737390288526342403743330916749810888\ 3242460106368*c_1010_4^3 + 1739608193032181168447784154480032160922\ 80083516484560296534117/6255083516737390288526342403743330916749810\ 8883242460106368*c_1010_4^2 + 1332724544872765146447258851836017247\ 3375254271317864531759/48867839974510861629112050029244772787107897\ 5650331719581*c_1010_4 - 248937502354488236163195426378914055650942\ 22703029413080438043/6255083516737390288526342403743330916749810888\ 3242460106368, c_0011_0 - 1, c_0011_2 + 22236942929519957831406250513697484954330490818123159/618580\ 2528419096408748360763195540859127581970257363539*c_1010_4^20 + 53168436614886183333672079012411644265453003976180775/6185802528419\ 096408748360763195540859127581970257363539*c_1010_4^19 + 677512925034310695547207574136946704241732711673385627/618580252841\ 9096408748360763195540859127581970257363539*c_1010_4^18 + 4408103028623364055640803262716089456679375556113835559/61858025284\ 19096408748360763195540859127581970257363539*c_1010_4^17 + 15608191065771789057043491408051327808995987548709625670/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^16 + 7663627013151235499016321758750202525101915003369993864/61858025284\ 19096408748360763195540859127581970257363539*c_1010_4^15 - 57272608970421452024651549965107606413081493714379771617/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^14 - 105614439176196155702625150126282172073634613772411526509/618580252\ 8419096408748360763195540859127581970257363539*c_1010_4^13 + 96013925651305735168734042308965614512092438610407388720/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^12 + 142354095442202878858043415112771941791794837659819579734/618580252\ 8419096408748360763195540859127581970257363539*c_1010_4^11 - 28552348976725211696935792165702416008024891910118841972/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^10 + 84216602371361085826401351827710569131385298665545253824/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^9 - 100350231520944237767510671256775967052087728855045129447/618580252\ 8419096408748360763195540859127581970257363539*c_1010_4^8 - 417649085877360282596810926357262874595210063940478782653/618580252\ 8419096408748360763195540859127581970257363539*c_1010_4^7 + 250733451218976481680387917985785258175865151434930719978/618580252\ 8419096408748360763195540859127581970257363539*c_1010_4^6 - 84247994027856310912622309400535582777572006934252287486/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^5 + 163479125353805972113915745743356121651396729067891844300/618580252\ 8419096408748360763195540859127581970257363539*c_1010_4^4 + 147808706433646206432716300951926959358054648982307923108/618580252\ 8419096408748360763195540859127581970257363539*c_1010_4^3 - 98966709157573086232909925743140314920990515586476024098/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^2 - 20293347732184472075423922574979435873309014427961927906/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4 + 7140953548829477506369107660832980802383800728446897819/61858025284\ 19096408748360763195540859127581970257363539, c_0011_3 - 290227301196695224440898675554429389/28344007329769444881577\ 6763788459543241*c_1010_4^20 - 645872492106713209904912865148226993\ /283440073297694448815776763788459543241*c_1010_4^19 - 8721817055077047997887922218152565210/28344007329769444881577676378\ 8459543241*c_1010_4^18 - 56004140163414782577387384504104725721/283\ 440073297694448815776763788459543241*c_1010_4^17 - 193849707824065737967300365899182225171/283440073297694448815776763\ 788459543241*c_1010_4^16 - 63458313862643404421265014508045029410/2\ 83440073297694448815776763788459543241*c_1010_4^15 + 779383225513272808675968316464585111912/283440073297694448815776763\ 788459543241*c_1010_4^14 + 1300562567505712147435416645812930397023\ /283440073297694448815776763788459543241*c_1010_4^13 - 1443447046114504929514539568187515324263/28344007329769444881577676\ 3788459543241*c_1010_4^12 - 175235215717223245413348159985261095880\ 1/283440073297694448815776763788459543241*c_1010_4^11 + 428340054537806733662377384343401725831/283440073297694448815776763\ 788459543241*c_1010_4^10 - 1155540318637631289057551486559519918726\ /283440073297694448815776763788459543241*c_1010_4^9 + 1660886954963336242357790171128575668000/28344007329769444881577676\ 3788459543241*c_1010_4^8 + 5375726945403338693800653113981766703849\ /283440073297694448815776763788459543241*c_1010_4^7 - 3814563815447041467216343933956620817332/28344007329769444881577676\ 3788459543241*c_1010_4^6 + 1571448388900769730362272318079856678243\ /283440073297694448815776763788459543241*c_1010_4^5 - 3034155359445607307997806212383402507124/28344007329769444881577676\ 3788459543241*c_1010_4^4 - 1615679685101174118389564233115760990168\ /283440073297694448815776763788459543241*c_1010_4^3 + 964179775706031607142769514148283033773/283440073297694448815776763\ 788459543241*c_1010_4^2 + 252287265749261100990388507700054921096/2\ 83440073297694448815776763788459543241*c_1010_4 + 135569642912177319605198520372226256909/283440073297694448815776763\ 788459543241, c_0011_6 - 8764517002817060239694907966692816046734373196517834/6185802\ 528419096408748360763195540859127581970257363539*c_1010_4^20 - 18068511575185794413984732123500392550909797341521428/6185802528419\ 096408748360763195540859127581970257363539*c_1010_4^19 - 259294189281161036263519644630663877427511773895650942/618580252841\ 9096408748360763195540859127581970257363539*c_1010_4^18 - 1646870275107334633453661802309774495493460900722862187/61858025284\ 19096408748360763195540859127581970257363539*c_1010_4^17 - 5552028284726221763987667064309899400178694309682811774/61858025284\ 19096408748360763195540859127581970257363539*c_1010_4^16 - 808331007584452105030354109857299728117463099077095499/618580252841\ 9096408748360763195540859127581970257363539*c_1010_4^15 + 24289057324781282330828580767787490077851834430590497225/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^14 + 35008606905128413891308126011452486016255621208419661280/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^13 - 52979951101566283007365717291312171029842563731645092876/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^12 - 48194313487625385518553364785515965723854676268291944056/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^11 + 30469194586393128793008045141745710794650177246600970458/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^10 - 32119434619218583371924357236995814661360604752470582456/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^9 + 50668538949068080872435685774821386111279989021436448350/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^8 + 154800014010703032400218495162337352890645222315378448483/618580252\ 8419096408748360763195540859127581970257363539*c_1010_4^7 - 151189306520945113834160186463178452928055713197535313930/618580252\ 8419096408748360763195540859127581970257363539*c_1010_4^6 + 52678326594004138962991492032586286178240179870690762398/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^5 - 77335388754542134788167313845414875678905000440818014464/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^4 - 39222078966717976879891242807164360932297381825090542490/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^3 + 59260115270858873541237907024010901520738121547012006161/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^2 - 1717687437207625637488497628590216181075326965810841924/61858025284\ 19096408748360763195540859127581970257363539*c_1010_4 - 3266021385357835804878260100503512028554258307019980572/61858025284\ 19096408748360763195540859127581970257363539, c_0101_0 - 53948307519073945647805751697858282442078093301/187369639104\ 10755496164829854078254490161968050601*c_1010_4^20 - 162184463527175210068139565211816313247434617148/187369639104107554\ 96164829854078254490161968050601*c_1010_4^19 - 1729663314809418737874644436751515658871811013813/18736963910410755\ 496164829854078254490161968050601*c_1010_4^18 - 11727231154857649356268230209763176104393694935250/1873696391041075\ 5496164829854078254490161968050601*c_1010_4^17 - 44662615901694384012938352682174103560140255923853/1873696391041075\ 5496164829854078254490161968050601*c_1010_4^16 - 43379786723796966744095474362693426617773671137519/1873696391041075\ 5496164829854078254490161968050601*c_1010_4^15 + 121701917416882024658373933477635235410505605253932/187369639104107\ 55496164829854078254490161968050601*c_1010_4^14 + 335169433184107901236533831938610686461509381402726/187369639104107\ 55496164829854078254490161968050601*c_1010_4^13 - 61329668279783217970695552618494923155075587507443/1873696391041075\ 5496164829854078254490161968050601*c_1010_4^12 - 444300229359831094505012124752866304915847823672421/187369639104107\ 55496164829854078254490161968050601*c_1010_4^11 - 142558541200443778462261595769443828539230798087625/187369639104107\ 55496164829854078254490161968050601*c_1010_4^10 - 218810994180347992202264516917786573489223607430273/187369639104107\ 55496164829854078254490161968050601*c_1010_4^9 + 93943082403396481646221675599602328632255866185037/1873696391041075\ 5496164829854078254490161968050601*c_1010_4^8 + 1128335631425643026024372736103076361501015684760810/18736963910410\ 755496164829854078254490161968050601*c_1010_4^7 + 13435721467964646984671451835650063418876548817835/1873696391041075\ 5496164829854078254490161968050601*c_1010_4^6 - 16517965357203505580802743231268236747468008434118/1873696391041075\ 5496164829854078254490161968050601*c_1010_4^5 - 238027352435741957419951467222664120179988337617946/187369639104107\ 55496164829854078254490161968050601*c_1010_4^4 - 614845059296518017935539968926540019597296499551131/187369639104107\ 55496164829854078254490161968050601*c_1010_4^3 + 4745665438526483829654739553916163483087323370346/18736963910410755\ 496164829854078254490161968050601*c_1010_4^2 + 84688614449632448534633452221381602121108250016884/1873696391041075\ 5496164829854078254490161968050601*c_1010_4 - 916936407151284318263398851478511992656322564598/187369639104107554\ 96164829854078254490161968050601, c_0101_6 - 4545657417214985585584232232613908788034295550988581/6185802\ 528419096408748360763195540859127581970257363539*c_1010_4^20 - 14303782941470121873845863443244329470524112434225217/6185802528419\ 096408748360763195540859127581970257363539*c_1010_4^19 - 147255031616508638598627452620307264962587195204137917/618580252841\ 9096408748360763195540859127581970257363539*c_1010_4^18 - 1007340982812937128398040856964688559800092413944188443/61858025284\ 19096408748360763195540859127581970257363539*c_1010_4^17 - 3889336684251264531583659210607228432333054884186739566/61858025284\ 19096408748360763195540859127581970257363539*c_1010_4^16 - 4095355022344012360586510346454364294712255993572153311/61858025284\ 19096408748360763195540859127581970257363539*c_1010_4^15 + 10071254065263795019333047899961663010242552592961439851/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^14 + 29956310226143245309873481317465308298786718763559093303/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^13 - 2355877243828057365468799787411656119876923668993835407/61858025284\ 19096408748360763195540859127581970257363539*c_1010_4^12 - 40820142284466279791175881334560382708415974937157125354/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^11 - 16008960652601146413363657122733557681826267069198852154/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^10 - 15385112206595919399758636273276499532986185056783765864/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^9 + 4133543320694489618163348754783385590869826955044306754/61858025284\ 19096408748360763195540859127581970257363539*c_1010_4^8 + 97374007533179711495474000648302303825982877020593684958/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^7 + 18515327213437899091199284482216968909086722504393340679/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^6 - 10756823830140252047201677200028210556648828490157520717/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^5 - 23899114565147540162237508311610374696802134290096661628/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^4 - 48863875424647667168492040632024462639909475094718970803/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^3 - 10731777251316860291610196987723696675638286078411045700/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4^2 + 14975018137905556829655741855826028742437472595560960972/6185802528\ 419096408748360763195540859127581970257363539*c_1010_4 + 1429665037356048929749072284679571638651903226017112809/61858025284\ 19096408748360763195540859127581970257363539, c_1010_4^21 + 3*c_1010_4^20 + 32*c_1010_4^19 + 217*c_1010_4^18 + 825*c_1010_4^17 + 788*c_1010_4^16 - 2307*c_1010_4^15 - 6275*c_1010_4^14 + 1221*c_1010_4^13 + 8553*c_1010_4^12 + 2784*c_1010_4^11 + 3725*c_1010_4^10 - 1951*c_1010_4^9 - 21273*c_1010_4^8 - 581*c_1010_4^7 + 1289*c_1010_4^6 + 5186*c_1010_4^5 + 11232*c_1010_4^4 + 456*c_1010_4^3 - 2353*c_1010_4^2 - 137*c_1010_4 + 79 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB