Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 2732801654] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1394 geometric_solution 5.24162849 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 -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 0 0 0 0 0 0 0 0 0 0 1.468535807314 0.225622834669 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -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 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 1.129756600900 0.287303701556 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 0 0 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 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.775618685517 0.428701310719 2 5 6 6 0132 0132 2310 0132 0 0 0 0 0 1 0 -1 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 -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.305113997821 0.641550831857 6 6 2 5 3201 1023 0132 0132 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 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.305113997821 0.641550831857 5 3 4 5 3012 0132 0132 1230 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 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.968916799909 0.929948967895 4 3 3 4 1023 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.604566806046 1.271198109894 ==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' : 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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(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_4'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 16763607278693535659580952894716783292978673595327821/6207986417487\ 343547085665034003456483959845546890114*c_0101_5^31 - 267276232801029538820459277786516702295501812579369311/206932880582\ 9114515695221678001152161319948515630038*c_0101_5^29 + 12823038230215247517123490645735993364031118203293271661/6207986417\ 487343547085665034003456483959845546890114*c_0101_5^27 - 20853218736180310435663774565605515882131682765375044033/1034664402\ 914557257847610839000576080659974257815019*c_0101_5^25 + 89349115788808461224822177847069217267899801680035786802/1034664402\ 914557257847610839000576080659974257815019*c_0101_5^23 - 345966542650414376079382384372648606012668078440866630117/620798641\ 7487343547085665034003456483959845546890114*c_0101_5^21 - 402871457698667345074892662022500500400557037699283316055/310399320\ 8743671773542832517001728241979922773445057*c_0101_5^19 + 354087319400921055039544553169101263520318897654411564680/103466440\ 2914557257847610839000576080659974257815019*c_0101_5^17 + 3131492596288904796438196282783408011240764212180148036707/20693288\ 05829114515695221678001152161319948515630038*c_0101_5^15 - 1888885043810738879831298946359225561592875587350194609833/10346644\ 02914557257847610839000576080659974257815019*c_0101_5^13 + 1341959633982885375093308101485593182440545273318979736660/31039932\ 08743671773542832517001728241979922773445057*c_0101_5^11 - 699125915480767143858112056572818599764949650836008222184/310399320\ 8743671773542832517001728241979922773445057*c_0101_5^9 + 1219935527760729614534480542983973200603237118848917875109/31039932\ 08743671773542832517001728241979922773445057*c_0101_5^7 - 620055505544724176450977587567464283730207186908963818585/310399320\ 8743671773542832517001728241979922773445057*c_0101_5^5 + 240275097360084881684942865150768308956868207121179553121/620798641\ 7487343547085665034003456483959845546890114*c_0101_5^3 - 291481233705975637867533310371322131581029154100523498/114962711434\ 950806427512315444508453406663806423891*c_0101_5, c_0011_0 - 1, c_0011_1 - 3036826442148773420535313097148650505777975602/1255508315634\ 70119869871476641254226508915696859*c_0101_5^30 + 48283366503331452961982901272444110272002971016/4185027718782337328\ 9957158880418075502971898953*c_0101_5^28 - 2303752456719843445718836574389229359637081945545/12555083156347011\ 9869871476641254226508915696859*c_0101_5^26 + 7455001093832391429357615608952936411877008046546/41850277187823373\ 289957158880418075502971898953*c_0101_5^24 - 31411425645873544574136129936966763628076919419331/4185027718782337\ 3289957158880418075502971898953*c_0101_5^22 + 51101535821968557203377679592930816886647866744284/1255508315634701\ 19869871476641254226508915696859*c_0101_5^20 + 148688992816504773379937399126832554256908583062729/125550831563470\ 119869871476641254226508915696859*c_0101_5^18 - 121343578371634031002505501969360337199344608092502/418502771878233\ 73289957158880418075502971898953*c_0101_5^16 - 581054357619020775207926912955566406179983873932910/418502771878233\ 73289957158880418075502971898953*c_0101_5^14 + 601819060836233409829873612124087551348075828289524/418502771878233\ 73289957158880418075502971898953*c_0101_5^12 - 332765598159685558065591002209376594131608364037180/125550831563470\ 119869871476641254226508915696859*c_0101_5^10 + 262876865886928889884591039638185892859586718482711/125550831563470\ 119869871476641254226508915696859*c_0101_5^8 - 404365903553070775803670274392566463432145544362158/125550831563470\ 119869871476641254226508915696859*c_0101_5^6 + 184123323728545635193673794141835090425003117038700/125550831563470\ 119869871476641254226508915696859*c_0101_5^4 - 33228762359667644618602433416445255612067498705007/1255508315634701\ 19869871476641254226508915696859*c_0101_5^2 + 237051481098811628712481018755723289603509272243/139500923959411244\ 29985719626806025167657299651, c_0011_4 + 33122376236125357117958396861859287515383040641788/344888134\ 304852419282536946333525360219991419271673*c_0101_5^30 - 526195358898045981650488246029199740997069966065887/114962711434950\ 806427512315444508453406663806423891*c_0101_5^28 + 25065777748591701104562070946430790382399309188342111/3448881343048\ 52419282536946333525360219991419271673*c_0101_5^26 - 80987773532204430658109661838760661887960242055830252/1149627114349\ 50806427512315444508453406663806423891*c_0101_5^24 + 339467587387610848051128434658764701603539155675289046/114962711434\ 950806427512315444508453406663806423891*c_0101_5^22 - 517913043080969225935345962500250390417398141530226617/344888134304\ 852419282536946333525360219991419271673*c_0101_5^20 - 1641794409110436767990849561055424278290604998931921263/34488813430\ 4852419282536946333525360219991419271673*c_0101_5^18 + 1301699611891866968196763317446613853376510020311523064/11496271143\ 4950806427512315444508453406663806423891*c_0101_5^16 + 6388091599891773445405969034024276834824448267886579796/11496271143\ 4950806427512315444508453406663806423891*c_0101_5^14 - 6316482609302943516004222869140177232319620134365271599/11496271143\ 4950806427512315444508453406663806423891*c_0101_5^12 + 2878338861064730688676053202456050060509572444477750214/34488813430\ 4852419282536946333525360219991419271673*c_0101_5^10 - 2798270299387988723203401454937114801414624778963035324/34488813430\ 4852419282536946333525360219991419271673*c_0101_5^8 + 4314050247041479203971773027137703895560633546615044640/34488813430\ 4852419282536946333525360219991419271673*c_0101_5^6 - 1834155498904068834578056085178844906189863101685395932/34488813430\ 4852419282536946333525360219991419271673*c_0101_5^4 + 299339265438669446327841378899354737600588680838531051/344888134304\ 852419282536946333525360219991419271673*c_0101_5^2 - 1820706651900055786768709575639675036265937848477657/38320903811650\ 268809170771814836151135554602141297, c_0101_0 - 29252406544447531082730256663639203048946118899630/103466440\ 2914557257847610839000576080659974257815019*c_0101_5^31 + 459605597307523444841571578092436129276099149381114/344888134304852\ 419282536946333525360219991419271673*c_0101_5^29 - 21407899836303570547049330048308744284182474510962808/1034664402914\ 557257847610839000576080659974257815019*c_0101_5^27 + 67680137220386831419157358477150160562487307132250183/3448881343048\ 52419282536946333525360219991419271673*c_0101_5^25 - 262671217633782615492541057951076392557035047539334787/344888134304\ 852419282536946333525360219991419271673*c_0101_5^23 - 3715492241082337329577820833502455491647588283271756/10346644029145\ 57257847610839000576080659974257815019*c_0101_5^21 + 1645887244465613874843747766507103899357406337222324724/10346644029\ 14557257847610839000576080659974257815019*c_0101_5^19 - 887109364914965646999149998413755685526185585654093865/344888134304\ 852419282536946333525360219991419271673*c_0101_5^17 - 6220645170436800656563488457894619932491446087766964742/34488813430\ 4852419282536946333525360219991419271673*c_0101_5^15 + 2563742586529069141077127415169323015248372326468295952/34488813430\ 4852419282536946333525360219991419271673*c_0101_5^13 + 5454659944352440610472315540240940156349052001127829818/10346644029\ 14557257847610839000576080659974257815019*c_0101_5^11 + 2095737476754344756416118787769039512406395142191270376/10346644029\ 14557257847610839000576080659974257815019*c_0101_5^9 - 2625686254577475731189574337406350584045670160107242296/10346644029\ 14557257847610839000576080659974257815019*c_0101_5^7 - 303687885596307020727673368381827750143605511116817885/103466440291\ 4557257847610839000576080659974257815019*c_0101_5^5 + 369356165792166477271433800139247470593335520593263176/103466440291\ 4557257847610839000576080659974257815019*c_0101_5^3 - 1548086432610561885480930421488538730061169766114359/38320903811650\ 268809170771814836151135554602141297*c_0101_5, c_0101_2 - 50113419161754332415686183526337428682501983247160/103466440\ 2914557257847610839000576080659974257815019*c_0101_5^31 + 793200706596812590097245500153986282716075740211739/344888134304852\ 419282536946333525360219991419271673*c_0101_5^29 - 37507462850355036696219044352836252502917113610801698/1034664402914\ 557257847610839000576080659974257815019*c_0101_5^27 + 120340512788218169985256786999649325127417580270130142/344888134304\ 852419282536946333525360219991419271673*c_0101_5^25 - 492472136875031875225957809115171254540711317344129489/344888134304\ 852419282536946333525360219991419271673*c_0101_5^23 + 522660112844357927690911405623483762960893916876198784/103466440291\ 4557257847610839000576080659974257815019*c_0101_5^21 + 2585344393106959087711371828464331781173818782450410440/10346644029\ 14557257847610839000576080659974257815019*c_0101_5^19 - 1818757248527773933037087814511869586751088327598529036/34488813430\ 4852419282536946333525360219991419271673*c_0101_5^17 - 9989355698035247155321659673191823050214987436409265300/34488813430\ 4852419282536946333525360219991419271673*c_0101_5^15 + 7820788591042162005429764338968060894312179021629163332/34488813430\ 4852419282536946333525360219991419271673*c_0101_5^13 - 17437673038972403015674433139439730118329491635059900/1034664402914\ 557257847610839000576080659974257815019*c_0101_5^11 + 4150511456965188696756180154936194596492550667209089246/10346644029\ 14557257847610839000576080659974257815019*c_0101_5^9 - 5824570867586168944142890165416525767635409598082807003/10346644029\ 14557257847610839000576080659974257815019*c_0101_5^7 + 1711869181728089298397530801287560835703069440184445618/10346644029\ 14557257847610839000576080659974257815019*c_0101_5^5 - 125296778158358790193789432912710344181173685770922853/103466440291\ 4557257847610839000576080659974257815019*c_0101_5^3 - 180725327100828419494554654994197343017069167319142/114962711434950\ 806427512315444508453406663806423891*c_0101_5, c_0101_3 + 6637093962646379606777943069715289461864563023/1255508315634\ 70119869871476641254226508915696859*c_0101_5^30 - 105530125578762426466760566934761144949965265507/418502771878233732\ 89957158880418075502971898953*c_0101_5^28 + 5035643552845662301218715392837523413737410026169/12555083156347011\ 9869871476641254226508915696859*c_0101_5^26 - 16296747700542153487613826220212598568397430616206/4185027718782337\ 3289957158880418075502971898953*c_0101_5^24 + 68683874632024249859155178952207960748408328318476/4185027718782337\ 3289957158880418075502971898953*c_0101_5^22 - 112033654476716875195416759308339043573499052651764/125550831563470\ 119869871476641254226508915696859*c_0101_5^20 - 325182998456240269993165820688903671904392239203851/125550831563470\ 119869871476641254226508915696859*c_0101_5^18 + 265442738356609036914929201474790562674054355134320/418502771878233\ 73289957158880418075502971898953*c_0101_5^16 + 1269590698374265741285443489432683312706266770971124/41850277187823\ 373289957158880418075502971898953*c_0101_5^14 - 1318730551549915021717898219183266029103814334011821/41850277187823\ 373289957158880418075502971898953*c_0101_5^12 + 724943212191418940793301216725756665485838575123922/125550831563470\ 119869871476641254226508915696859*c_0101_5^10 - 573406873819631910771119893939098884020145327280983/125550831563470\ 119869871476641254226508915696859*c_0101_5^8 + 884953810534293691240177349905423203382953301448737/125550831563470\ 119869871476641254226508915696859*c_0101_5^6 - 402290978260703579139577001767391332653217797510409/125550831563470\ 119869871476641254226508915696859*c_0101_5^4 + 72454131344682771662216013499364185672906630055218/1255508315634701\ 19869871476641254226508915696859*c_0101_5^2 - 499777560600599465003472995189430875876868545201/139500923959411244\ 29985719626806025167657299651, c_0101_5^32 - 48*c_0101_5^30 + 773*c_0101_5^28 - 7593*c_0101_5^26 + 33243*c_0101_5^24 - 26081*c_0101_5^22 - 44374*c_0101_5^20 + 134823*c_0101_5^18 + 538656*c_0101_5^16 - 769767*c_0101_5^14 + 278971*c_0101_5^12 - 112294*c_0101_5^10 + 159209*c_0101_5^8 - 99314*c_0101_5^6 + 27410*c_0101_5^4 - 3456*c_0101_5^2 + 162 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB