Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 3515895088] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2065 geometric_solution 5.58594038 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 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 -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.534200022631 0.132057366602 2 0 2 0 0132 2310 1023 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 -1 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.701650451281 0.304050703106 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 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 -1 1 0 -1 0 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 1.371226955249 1.270700082570 5 2 6 4 0132 0132 0132 3120 0 0 0 0 0 1 0 -1 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 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.542249042066 0.592377806142 3 6 2 5 3120 3201 0132 1023 0 0 0 0 0 1 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542249042066 0.592377806142 3 5 5 4 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.159232754618 0.918492828310 6 6 4 3 1230 3012 2310 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444273159808 0.589568878262 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_1'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0011_4']), '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_4, c_0011_6, c_0101_0, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 1421081253331721774744665963736469257338078916097431934864184943176\ 051/752561931302926354421865193321643764676910740794374836121614588\ 1372672*c_0101_6^33 + 748998843898060087740712042972169164190925326\ 8652842489354572566276801/18814048282573158860546629833041094116922\ 76851985937090304036470343168*c_0101_6^31 + 3388908859579755431308604431837558945503731388325215889291120467027\ 000553/752561931302926354421865193321643764676910740794374836121614\ 5881372672*c_0101_6^29 + 443958285070316400250338078872382191988651\ 84177407320617879414031996932331/3762809656514631772109325966608218\ 823384553703971874180608072940686336*c_0101_6^27 + 8774959305393256965220109839551371363398151017320836205787319834112\ 80362085/7525619313029263544218651933216437646769107407943748361216\ 145881372672*c_0101_6^25 + 2478369427326492616597213995168899623088\ 32671544497972622787127931212994093/6271349427524386286848876611013\ 69803897425617328645696768012156781056*c_0101_6^23 - 5467538006542155254985002733710011999816847027231666795333970699458\ 468593631/752561931302926354421865193321643764676910740794374836121\ 6145881372672*c_0101_6^21 - 768901774198519653404535593133156391763\ 2551217212817403482326573748914757111/12542698855048772573697753222\ 02739607794851234657291393536024313562112*c_0101_6^19 - 2283607778121393152534733807895953507059917782192164448761145191041\ 245363001/125426988550487725736977532220273960779485123465729139353\ 6024313562112*c_0101_6^17 + 179636750854568148048722350655318822843\ 560757832494441283643100548995893561/120602873606238197824016857904\ 10957767258184948627801860923310707328*c_0101_6^15 + 2151370980371162017561682715563801448304573179272640651515292675157\ 0870012653/25085397710097545147395506444054792155897024693145827870\ 72048627124224*c_0101_6^13 - 54098847254723370576104299558743672765\ 151368074609568747172171089688381663105/376280965651463177210932596\ 6608218823384553703971874180608072940686336*c_0101_6^11 + 8575662981986616791304000024698177059827652210354664314012049681941\ 968871067/250853977100975451473955064440547921558970246931458278707\ 2048627124224*c_0101_6^9 + 5572118007139565333099154711931875518973\ 9309887732922458514936820575637305/15678373568810965717122191527534\ 2450974356404332161424192003039195264*c_0101_6^7 - 2388015511190241869793365296486201179201835230710768832277320370440\ 79321843/2508539771009754514739550644405479215589702469314582787072\ 048627124224*c_0101_6^5 - 57826552366800423055754628799744855318930\ 186369971534956981073854367874469/376280965651463177210932596660821\ 8823384553703971874180608072940686336*c_0101_6^3 + 4025645666883123958757737235737286239875865348287619627201157113708\ 060775/250853977100975451473955064440547921558970246931458278707204\ 8627124224*c_0101_6, c_0011_0 - 1, c_0011_1 + 175718035340532462527392670946434966376397362716111129589517\ 1135/30046390656225433367921154910366399973792017865093485605068455\ 74144*c_0101_6^32 + 93599099605046841158049186612507026017035297919\ 15260589182996287/7511597664056358341980288727591599993448004466273\ 37140126711393536*c_0101_6^30 + 41988444884611371114531340810108323\ 73753251860699971469713270572661/3004639065622543336792115491036639\ 997379201786509348560506845574144*c_0101_6^28 + 5536682052083659314971255272518625606405372435728946521960375854076\ 7/15023195328112716683960577455183199986896008932546742802534227870\ 72*c_0101_6^26 + 36997864426601028261590348999738536263262586328792\ 1384736251229804179/10015463552075144455973718303455466657930672621\ 69782853502281858048*c_0101_6^24 + 9821052460025961846707295942609147231631588167450019340516345713887\ 05/7511597664056358341980288727591599993448004466273371401267113935\ 36*c_0101_6^22 - 58578827700885463588872619037349529708350486664656\ 86780882394546752035/3004639065622543336792115491036639997379201786\ 509348560506845574144*c_0101_6^20 - 2913865894909730329146322519981253118945597756571387077418254684417\ 0697/15023195328112716683960577455183199986896008932546742802534227\ 87072*c_0101_6^18 - 50178645210823441093165876324818365214856938831\ 03257014965067910389189/5007731776037572227986859151727733328965336\ 31084891426751140929024*c_0101_6^16 + 9075873004001062518345836613548348526229828915606479196172610025575\ 77/2086554906682321761661191313219888887068890129520380944796420537\ 6*c_0101_6^14 + 361061738543716603872014265888509341681403048066803\ 87743735539616935873/1001546355207514445597371830345546665793067262\ 169782853502281858048*c_0101_6^12 - 5353721913019521564655638350394134830782692973392596576264068683846\ 9873/15023195328112716683960577455183199986896008932546742802534227\ 87072*c_0101_6^10 + 10326432742494619861919452344543669284666527161\ 729887532307970228852845/300463906562254333679211549103663999737920\ 1786509348560506845574144*c_0101_6^8 + 8227758819667845208654475689432498092775793472218611190826013490927\ 3/62596647200469652849835739396596666612066703885611428343892616128\ *c_0101_6^6 - 11258308045700790955387107090389045756955831416672888\ 031894057228031/100154635520751444559737183034554666579306726216978\ 2853502281858048*c_0101_6^4 - 4903978907805325975681545099230142691\ 7774378541002438455318898266117/15023195328112716683960577455183199\ 98689600893254674280253422787072*c_0101_6^2 + 584921225125372331366526679748829983177506488974375899842844610849/\ 3004639065622543336792115491036639997379201786509348560506845574144\ , c_0011_4 - 132871106081885209119510955058048457620269821397672091790889\ 7449/30046390656225433367921154910366399973792017865093485605068455\ 74144*c_0101_6^32 - 17706395737411581206906277791146726630482657446\ 00863373886700489/1877899416014089585495072181897899998362001116568\ 34285031677848384*c_0101_6^30 - 31754316605570362757280298637239004\ 09930103264353658385845310532591/3004639065622543336792115491036639\ 997379201786509348560506845574144*c_0101_6^28 - 4189000558951376102488993510938490954748955266268986855614071614284\ 1/15023195328112716683960577455183199986896008932546742802534227870\ 72*c_0101_6^26 - 93395233420661257384087878553816438124801134725909\ 837553457864840991/333848785069171481865790610115182221931022420723\ 260951167427286016*c_0101_6^24 - 3729366827994336540863471025899558\ 81320887126812398050233498459404877/3755798832028179170990144363795\ 79999672400223313668570063355696768*c_0101_6^22 + 4380606358897670048134818628824286572639642291848605558727023599894\ 329/300463906562254333679211549103663999737920178650934856050684557\ 4144*c_0101_6^20 + 220579883623608165129459643419091079107095413843\ 85910123343249788530191/1502319532811271668396057745518319998689600\ 893254674280253422787072*c_0101_6^18 + 3906738755186523357169055389296182172054883089834808395957803662264\ 943/500773177603757222798685915172773332896533631084891426751140929\ 024*c_0101_6^16 - 6822815204330940106334267422795088864156077555744\ 30588675444834277405/2086554906682321761661191313219888887068890129\ 5203809447964205376*c_0101_6^14 - 277241465088740877853694521077129\ 42982965907098375623852004455222256055/1001546355207514445597371830\ 345546665793067262169782853502281858048*c_0101_6^12 + 3965141099108321064640813754766775802218072755945121288185646873114\ 2073/15023195328112716683960577455183199986896008932546742802534227\ 87072*c_0101_6^10 - 72020130016332730203129362733580549548285271373\ 10094779251581431105935/3004639065622543336792115491036639997379201\ 786509348560506845574144*c_0101_6^8 - 1209251103634154878259814197645891167055595230019998183733941440230\ 83/1251932944009393056996714787931933332241334077712228566877852322\ 56*c_0101_6^6 + 116882853563075169791714610834820904553879993223426\ 84275540996421793/1001546355207514445597371830345546665793067262169\ 782853502281858048*c_0101_6^4 + 36258184935849048669906238920853036\ 329820251463166680692720862771097/150231953281127166839605774551831\ 9998689600893254674280253422787072*c_0101_6^2 - 2737386226364909518307213766898773868602730105168310937109539023059\ /300463906562254333679211549103663999737920178650934856050684557414\ 4, c_0011_6 + 819536090138175089128370275898992402909794816486351227984412\ 625/130201026176976877927658337944921066553098744082071770955296641\ 54624*c_0101_6^32 + 22129405425654921249470211815558637050873195113\ 93672741180575163/1627512827212210974095729224311513331913734301025\ 897136941208019328*c_0101_6^30 + 1963486363827174911930476928839717\ 295504705623998575462410093662631/130201026176976877927658337944921\ 06655309874408207177095529664154624*c_0101_6^28 + 2008613773569855981760462597105071473117831172969595668652336257901\ /500773177603757222798685915172773332896533631084891426751140929024\ *c_0101_6^26 + 5329629920721737154497548214131926895067800714798777\ 56273802182566543/1302010261769768779276583379449210665530987440820\ 7177095529664154624*c_0101_6^24 + 413821074351183984926958301172914\ 25728254273588635149262393102088445/2712521378687018290159548707185\ 85555318955716837649522823534669888*c_0101_6^22 - 2177652153088567007625586208738602462186950226463408338559911429105\ 025/130201026176976877927658337944921066553098744082071770955296641\ 54624*c_0101_6^20 - 46560767284721810212800551210092385388166101630\ 62889070733246759757237/2170017102949614632127638965748684442551645\ 734701196182588277359104*c_0101_6^18 - 3686966348625814878124319827852585734079729184271782533815189228069\ 559/217001710294961463212763896574868444255164573470119618258827735\ 9104*c_0101_6^16 + 899070065102036345521280256274926653089742369514\ 02820054853670033795/2086554906682321761661191313219888887068890129\ 5203809447964205376*c_0101_6^14 + 226543871666423191971578577846771\ 08713913212780778284417149107798710863/4340034205899229264255277931\ 497368885103291469402392365176554718208*c_0101_6^12 - 1680722598186481671732010441988108826368124883546359984813632952984\ 7693/65100513088488438963829168972460533276549372041035885477648320\ 77312*c_0101_6^10 - 27487438461811758357313508182480579715194161450\ 77768728554703544112515/4340034205899229264255277931497368885103291\ 469402392365176554718208*c_0101_6^8 + 1012956544681589509028251755145007498203650526462308849046268339148\ 05/5425042757374036580319097414371711106379114336752990456470693397\ 76*c_0101_6^6 + 130413231580792680543700418160094702910969275228161\ 531580806284210519/434003420589922926425527793149736888510329146940\ 2392365176554718208*c_0101_6^4 - 5204009610136730876129536772776966\ 242840940634045553132108039064037/651005130884884389638291689724605\ 3327654937204103588547764832077312*c_0101_6^2 - 2262701030744883008297206766806809538152519567580673949415023792055\ /434003420589922926425527793149736888510329146940239236517655471820\ 8, c_0101_0 - 263324694633164807462617928539207714274440752681580000808524\ 4837/51078864115583236725465963347622879955446430370658925528616374\ 760448*c_0101_6^33 - 1244444344267967422031901009476533188570870963\ 7565700184594180061/12769716028895809181366490836905719988861607592\ 664731382154093690112*c_0101_6^31 - 6157518628134050812714110618465065360352741056334338140528370861839\ /510788641155832367254659633476228799554464303706589255286163747604\ 48*c_0101_6^29 - 75411520000440526952900120434281641077619064667897\ 590533613325838629/255394320577916183627329816738114399777232151853\ 29462764308187380224*c_0101_6^27 - 1405333446115576441870588716527807568453243302084115437435786498942\ 19/5675429346175915191718440371958097772827381152295436169846263862\ 272*c_0101_6^25 - 4742358912835237985212516305766672262034129780596\ 43659195834121011279/1276971602889580918136649083690571998886160759\ 2664731382154093690112*c_0101_6^23 + 2285202008294504304047935654728172733705950290018737568005090743251\ 0025/51078864115583236725465963347622879955446430370658925528616374\ 760448*c_0101_6^21 + 3297291637177275008977369011505905729275800382\ 6477928255749263218428443/25539432057791618362732981673811439977723\ 215185329462764308187380224*c_0101_6^19 - 2742950152076247132076448554714590896217735075216272865335154324158\ 9681/85131440192638727875776605579371466592410717284431542547693957\ 93408*c_0101_6^17 - 20871451023427978536847176414500544047218825382\ 44014275404926286216245/3547143341359946994824025232473811108017113\ 22018464760615391491392*c_0101_6^15 + 1042186442942527634601175786167024870978838538184621716347794433352\ 81797/1702628803852774557515532111587429331848214345688630850953879\ 1586816*c_0101_6^13 + 272664408600180601748479519589248656029537885\ 032305066343594339787563691/255394320577916183627329816738114399777\ 23215185329462764308187380224*c_0101_6^11 - 4115816100847012898383042002602418361473972261994754516411658421318\ 97719/5107886411558323672546596334762287995544643037065892552861637\ 4760448*c_0101_6^9 + 3959811493839046403980993520099538482652626212\ 4708913216996199088863/66508937650499006152950473108883958275320872\ 878462142615385904636*c_0101_6^7 + 4593475215812168083657325946752938771002350148618319377174249003539\ 845/170262880385277455751553211158742933184821434568863085095387915\ 86816*c_0101_6^5 + 399632495635138035928916632985694486979655903059\ 576765659222513594079/255394320577916183627329816738114399777232151\ 85329462764308187380224*c_0101_6^3 - 3251513627385711423264083007982409993700708981254424779187867244930\ 43/5107886411558323672546596334762287995544643037065892552861637476\ 0448*c_0101_6, c_0101_5 + 177786792220058295897349929099627564718819969104605669399151\ 53689/2766771806260758655962739681329572664253348311744025132800053\ 6328576*c_0101_6^33 + 225854174444267197140192584622904305895341182\ 087405186081326057/166272344126247515382376182772209895688302182196\ 15535653846476159*c_0101_6^31 + 42418907429149446356341291559258059\ 264549711444582203170071433611087/276677180626075865596273968132957\ 26642533483117440251328000536328576*c_0101_6^29 + 5566193520791724207391264081278070045390262245640644040902434307788\ 73/1383385903130379327981369840664786332126674155872012566400026816\ 4288*c_0101_6^27 + 110412957392509613671362986833729490848565728396\ 95739282142679430148975/2766771806260758655962739681329572664253348\ 3117440251328000536328576*c_0101_6^25 + 1576762712349475717180170065936363881699191313594820235725989119056\ 319/115282158594198277331780820055398861010556179656001047200002234\ 7024*c_0101_6^23 - 661424375201519700495582944040173292555646710125\ 82963548420433243236033/2766771806260758655962739681329572664253348\ 3117440251328000536328576*c_0101_6^21 - 7441569356201423977270232321746382747416586718406446079893356477781\ 569/354714334135994699482402523247381110801711322018464760615391491\ 392*c_0101_6^19 - 3412847330622705515861490822633290114147365517068\ 7052027738450169670767/46112863437679310932712328022159544404222471\ 86240041888000089388096*c_0101_6^17 + 2218197522253346617088525728995722492005175249044379487612726583735\ 381/443392917669993374353003154059226388502139152523080950769239364\ 24*c_0101_6^15 + 29386101876761259332350373431289826005277000392716\ 4470042040904139045527/92225726875358621865424656044319088808444943\ 72480083776000178776192*c_0101_6^13 - 4958864122952890149246143720141335774704935868521960565448050884180\ 2309/10641430024079840984472075697421433324051339660553942818461744\ 74176*c_0101_6^11 + 87536584206364077958644233222885890840646164460\ 838691311736588714698901/922257268753586218654246560443190888084449\ 4372480083776000178776192*c_0101_6^9 + 1539049859379514797735246486021251458958964994852760204422555122213\ 895/115282158594198277331780820055398861010556179656001047200002234\ 7024*c_0101_6^7 - 2251880331439830102865968633719654526530754637601\ 129624603617856938569/922257268753586218654246560443190888084449437\ 2480083776000178776192*c_0101_6^5 - 6330130103937735794588410412533688294965979162079557936718164181040\ 49/1383385903130379327981369840664786332126674155872012566400026816\ 4288*c_0101_6^3 + 4821556418198406427151224521388105776517930808617\ 2438835286511961801/92225726875358621865424656044319088808444943724\ 80083776000178776192*c_0101_6, c_0101_6^34 + 21*c_0101_6^32 + 2383*c_0101_6^30 + 62285*c_0101_6^28 + 612329*c_0101_6^26 + 2041843*c_0101_6^24 - 4020225*c_0101_6^22 - 32146667*c_0101_6^20 - 6960272*c_0101_6^18 + 79680846*c_0101_6^16 + 38884269*c_0101_6^14 - 79929617*c_0101_6^12 + 24425557*c_0101_6^10 + 480355*c_0101_6^8 - 688851*c_0101_6^6 - 52969*c_0101_6^4 + 17705*c_0101_6^2 - 289 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB