Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 2934911601] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1799 geometric_solution 5.47027727 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.630627193584 0.174242978353 2 0 2 0 0132 2310 1023 0132 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 1 -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.896121274026 0.232818019774 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 -1 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 1.159396089525 0.425696401067 4 2 6 5 3120 0132 0132 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651239825269 0.548758894191 5 6 2 3 1023 0132 0132 3120 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 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 0.651239825269 0.548758894191 5 4 3 5 3201 1023 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 -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.634379508754 0.574596224752 6 4 6 3 2031 0132 1302 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.884536430865 1.277197848893 ==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' : 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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], '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_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : d['c_0101_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 2337581671453743145347342870921274006919062090150213014/87418886496\ 6002650616025386377491007452252245023757370005*c_1001_3^18 - 50430326548867262752442272436328305282499395357872832979/1748377729\ 932005301232050772754982014904504490047514740010*c_1001_3^17 - 42507148648831937372697135489430072558388793305214843825/1748377729\ 93200530123205077275498201490450449004751474001*c_1001_3^16 - 1344620501472300144687563726521019477687095130908615076852/87418886\ 4966002650616025386377491007452252245023757370005*c_1001_3^15 - 12915341555632649196177812311787129378246385494524399258571/1748377\ 729932005301232050772754982014904504490047514740010*c_1001_3^14 - 3519942473274749595583798755415602263480880533735052580174/12488412\ 3566571807230860769482498715350321749289108195715*c_1001_3^13 - 28035306610056301603761128727933582543250636098338095973895/3496755\ 45986401060246410154550996402980900898009502948002*c_1001_3^12 - 123372498662955868534271636048476212242512953456075172783688/874188\ 864966002650616025386377491007452252245023757370005*c_1001_3^11 - 61607432599837001931739961307677272480903704047675904619412/8741888\ 64966002650616025386377491007452252245023757370005*c_1001_3^10 + 212041870304301668248549283790963078461221585053693279662938/874188\ 864966002650616025386377491007452252245023757370005*c_1001_3^9 + 978803215546484671422574123093343781298160161449501353303299/174837\ 7729932005301232050772754982014904504490047514740010*c_1001_3^8 + 516312861096045196132030882844715618747601588339018745399199/174837\ 7729932005301232050772754982014904504490047514740010*c_1001_3^7 - 16615686325799208974472137756452575401365208370178650654409/4995364\ 9426628722892344307792999486140128699715643278286*c_1001_3^6 - 416421676231631955590639391490247769997292511399001463101096/874188\ 864966002650616025386377491007452252245023757370005*c_1001_3^5 - 154145530433035760324617528777704526863676976275455297793607/174837\ 7729932005301232050772754982014904504490047514740010*c_1001_3^4 + 107107887952112605640035490705365147555745521004617212821421/874188\ 864966002650616025386377491007452252245023757370005*c_1001_3^3 + 44327091300719523659875207192718148953943800292599205001129/8741888\ 64966002650616025386377491007452252245023757370005*c_1001_3^2 - 67140261892146448465193896334369914410718048583783348930923/1748377\ 729932005301232050772754982014904504490047514740010*c_1001_3 - 3882602104474724327071377779267448378718591021503789768199/12488412\ 3566571807230860769482498715350321749289108195715, c_0011_0 - 1, c_0011_1 - 198220564933025272467196050455223450271780893281/88002021269\ 6097324490533086049237619422470140699187*c_1001_3^18 - 2084111153843396016702046712917093872788505808153/88002021269609732\ 4490533086049237619422470140699187*c_1001_3^17 - 17579175312363354922125605432222782425875549642090/8800202126960973\ 24490533086049237619422470140699187*c_1001_3^16 - 110519023168023560690385707919701545955040890237531/880020212696097\ 324490533086049237619422470140699187*c_1001_3^15 - 528260632377306338967377900758987941762189106702838/880020212696097\ 324490533086049237619422470140699187*c_1001_3^14 - 2012580610485512742243338017486476376664885231868872/88002021269609\ 7324490533086049237619422470140699187*c_1001_3^13 - 5711213009776739445529116971107477554808655756184516/88002021269609\ 7324490533086049237619422470140699187*c_1001_3^12 - 10089423756562220299726952989974331695154584962302555/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^11 - 5733541476988413842438969796587654750692484227259389/88002021269609\ 7324490533086049237619422470140699187*c_1001_3^10 + 14248962186358236379200221061694712589516734969086642/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^9 + 36265903348044972197388859015601049938754367349996302/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^8 + 23305088583629049529728918909438730370428835034107899/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^7 - 9705722129044923247844806914359791035034549908380600/88002021269609\ 7324490533086049237619422470140699187*c_1001_3^6 - 25880349929966124631442698240957676368760260218882819/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^5 - 14575142113657556683016746148857443664703179687494460/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^4 - 2962297353979853606386805854261147555987394509244650/88002021269609\ 7324490533086049237619422470140699187*c_1001_3^3 + 1415360013756808872979042661051416669862381566220760/88002021269609\ 7324490533086049237619422470140699187*c_1001_3^2 + 1019436195689132980291996607679669273663070957918682/88002021269609\ 7324490533086049237619422470140699187*c_1001_3 - 266398221584717118098475097691310388005992304558777/880020212696097\ 324490533086049237619422470140699187, c_0011_4 - 1110371758503524680633130979842015350875169648493668/3337916\ 666756297151792591995384758290469429243672016291*c_1001_3^18 - 10603612331028897261990935901141799740128124759527043/3337916666756\ 297151792591995384758290469429243672016291*c_1001_3^17 - 87316260256881382989108738445241928884643451830591313/3337916666756\ 297151792591995384758290469429243672016291*c_1001_3^16 - 525510415854627700800394750854236695566486814701216499/333791666675\ 6297151792591995384758290469429243672016291*c_1001_3^15 - 2373824168146636340578187876734464143656088608469349722/33379166667\ 56297151792591995384758290469429243672016291*c_1001_3^14 - 8498814121505347908910191515919967493559981398941003192/33379166667\ 56297151792591995384758290469429243672016291*c_1001_3^13 - 21517432324965892854575662092399582909932634320132527340/3337916666\ 756297151792591995384758290469429243672016291*c_1001_3^12 - 27237888588083580526739949530836672359264814627384612599/3337916666\ 756297151792591995384758290469429243672016291*c_1001_3^11 + 17625984647144417884244936485019139386996002939283178447/3337916666\ 756297151792591995384758290469429243672016291*c_1001_3^10 + 101518553229015974591978668618488976147607021896825373457/333791666\ 6756297151792591995384758290469429243672016291*c_1001_3^9 + 120176126942627298790585079348793963744345824800354479745/333791666\ 6756297151792591995384758290469429243672016291*c_1001_3^8 - 48822031250470124683269197964518836124376229838421990144/3337916666\ 756297151792591995384758290469429243672016291*c_1001_3^7 - 140847550262315585213868433788750323713646965818355020204/333791666\ 6756297151792591995384758290469429243672016291*c_1001_3^6 - 67322898954790430798632968616827018040781821515609501977/3337916666\ 756297151792591995384758290469429243672016291*c_1001_3^5 + 26129988134870530287355540312507874327117396704598488984/3337916666\ 756297151792591995384758290469429243672016291*c_1001_3^4 + 36267020851251182600710828431687619547483248662845554934/3337916666\ 756297151792591995384758290469429243672016291*c_1001_3^3 + 13038315605909707965518529406760669745818507902959739041/3337916666\ 756297151792591995384758290469429243672016291*c_1001_3^2 + 2689267892971239163054019002442272030862922800336651600/33379166667\ 56297151792591995384758290469429243672016291*c_1001_3 - 2381238560431426867602723652837681246721881702107425022/33379166667\ 56297151792591995384758290469429243672016291, c_0101_0 - 250700887038997054461111472351206803115610349932/61601414888\ 72681271433731602344663335957290984894309*c_1001_3^18 + 868416802166372453733218100176101088489457981553/616014148887268127\ 1433731602344663335957290984894309*c_1001_3^17 + 14205331936571846862293446716145727780997969125567/6160141488872681\ 271433731602344663335957290984894309*c_1001_3^16 + 166601633237782492371118717448496525389024031356383/616014148887268\ 1271433731602344663335957290984894309*c_1001_3^15 + 1248892191354311232281257888065282554876419555971438/61601414888726\ 81271433731602344663335957290984894309*c_1001_3^14 + 937225902892133229665827939164021091752592398418639/880020212696097\ 324490533086049237619422470140699187*c_1001_3^13 + 27242420714160572747392429878502810379154742398653021/6160141488872\ 681271433731602344663335957290984894309*c_1001_3^12 + 83975469585621357278967594082280446754109576153898693/6160141488872\ 681271433731602344663335957290984894309*c_1001_3^11 + 159156323877034216797784311755832399484695020098016986/616014148887\ 2681271433731602344663335957290984894309*c_1001_3^10 + 98725472326735756961813353471486028647515396617661352/6160141488872\ 681271433731602344663335957290984894309*c_1001_3^9 - 215052898782102250680537294793098811414716361089839904/616014148887\ 2681271433731602344663335957290984894309*c_1001_3^8 - 574645899114316186173372491317195970537180082233413248/616014148887\ 2681271433731602344663335957290984894309*c_1001_3^7 - 49506555034988243640267386590749419720979414562788648/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^6 + 177189352107984188525826491241251322189200591616556280/616014148887\ 2681271433731602344663335957290984894309*c_1001_3^5 + 395438042876465054369269254536716403240754780424366042/616014148887\ 2681271433731602344663335957290984894309*c_1001_3^4 + 213081776108657454582001646525622008980308432242054719/616014148887\ 2681271433731602344663335957290984894309*c_1001_3^3 + 26524825991445728338595292759382546462437782306425213/6160141488872\ 681271433731602344663335957290984894309*c_1001_3^2 - 25058974533855748042105704185435185544135503183362292/6160141488872\ 681271433731602344663335957290984894309*c_1001_3 - 2336174423472715321429147178624429163801504848307266/88002021269609\ 7324490533086049237619422470140699187, c_0101_1 - 241567361662999617872521940361534436889001971680/88002021269\ 6097324490533086049237619422470140699187*c_1001_3^18 - 2587226487020791932132936648537198515246341743685/88002021269609732\ 4490533086049237619422470140699187*c_1001_3^17 - 21872510860147842425135175484653571340613433432563/8800202126960973\ 24490533086049237619422470140699187*c_1001_3^16 - 138380611149401911876102887293201039651941533590960/880020212696097\ 324490533086049237619422470140699187*c_1001_3^15 - 665947349634645817524273235621845779275902530861471/880020212696097\ 324490533086049237619422470140699187*c_1001_3^14 - 2552462202629470957589662634223485241312114374102588/88002021269609\ 7324490533086049237619422470140699187*c_1001_3^13 - 7316162570437708211803674973572962559341014274647961/88002021269609\ 7324490533086049237619422470140699187*c_1001_3^12 - 13191664759199103756768680911217074987765445842559843/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^11 - 8100054264390479692239163516502153600741590117587036/88002021269609\ 7324490533086049237619422470140699187*c_1001_3^10 + 18143503508163261175296184498187093735041099433380988/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^9 + 48325313090048295182492488357361291220220097735068581/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^8 + 33003012817498899719097546662172752327404877282902305/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^7 - 14197966735687560810354048224979592950687366824872801/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^6 - 36710794423730870759167310462799464837661230336469133/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^5 - 19347062741121746268213313862639974579760320624968759/8800202126960\ 97324490533086049237619422470140699187*c_1001_3^4 - 2685638074345851140908385297212582610684758464952213/88002021269609\ 7324490533086049237619422470140699187*c_1001_3^3 + 2343844281631135442441594754784637562352434936594258/88002021269609\ 7324490533086049237619422470140699187*c_1001_3^2 + 1531307251577682489895275966533359379275793270461652/88002021269609\ 7324490533086049237619422470140699187*c_1001_3 + 366847474164761597373555582901188092149828105396372/880020212696097\ 324490533086049237619422470140699187, c_0101_5 + 885996288209937805242225862733349577166770840991710/23365416\ 667294080062548143967693308033286004705704114037*c_1001_3^18 + 12650286163267737454000658940149323943036064396090753/2336541666729\ 4080062548143967693308033286004705704114037*c_1001_3^17 + 114133152445323746132153851113956043847380491006809013/233654166672\ 94080062548143967693308033286004705704114037*c_1001_3^16 + 793378639836912399651953523056493757484946838250806501/233654166672\ 94080062548143967693308033286004705704114037*c_1001_3^15 + 4249369851941313930687324942052901764621563474042788306/23365416667\ 294080062548143967693308033286004705704114037*c_1001_3^14 + 2576252264627103260160018231213832238550756152367269908/33379166667\ 56297151792591995384758290469429243672016291*c_1001_3^13 + 59946179922123901585163958830644592865069259636869494475/2336541666\ 7294080062548143967693308033286004705704114037*c_1001_3^12 + 142729036603998866325956126709945955777831752552530038623/233654166\ 67294080062548143967693308033286004705704114037*c_1001_3^11 + 196956499040674817693879350715219934133640493558515340944/233654166\ 67294080062548143967693308033286004705704114037*c_1001_3^10 + 24777716355796435552320107232348031950807017477788266191/2336541666\ 7294080062548143967693308033286004705704114037*c_1001_3^9 - 435054989485737554775080466633376584139004700624301043290/233654166\ 67294080062548143967693308033286004705704114037*c_1001_3^8 - 745501355847179770881057548814043371945531933416806672574/233654166\ 67294080062548143967693308033286004705704114037*c_1001_3^7 - 45610397747452115784581911148177804611753729314265136686/3337916666\ 756297151792591995384758290469429243672016291*c_1001_3^6 + 403339526758670599764883165003284644269869863426298835431/233654166\ 67294080062548143967693308033286004705704114037*c_1001_3^5 + 530778993629217301134400794584007698191702107104327760224/233654166\ 67294080062548143967693308033286004705704114037*c_1001_3^4 + 220927780269810097192352020761000574534963784580587345617/233654166\ 67294080062548143967693308033286004705704114037*c_1001_3^3 - 12683978146588232070266031566522971035245742000558978916/2336541666\ 7294080062548143967693308033286004705704114037*c_1001_3^2 - 32060597724850817215610426392569921564485954057428119287/2336541666\ 7294080062548143967693308033286004705704114037*c_1001_3 - 4142314987871867465165386922610149868507537981703298368/33379166667\ 56297151792591995384758290469429243672016291, c_1001_3^19 + 11*c_1001_3^18 + 94*c_1001_3^17 + 603*c_1001_3^16 + 2956*c_1001_3^15 + 11578*c_1001_3^14 + 34386*c_1001_3^13 + 67412*c_1001_3^12 + 61144*c_1001_3^11 - 43178*c_1001_3^10 - 205399*c_1001_3^9 - 219297*c_1001_3^8 - 55734*c_1001_3^7 + 111779*c_1001_3^6 + 143706*c_1001_3^5 + 82668*c_1001_3^4 + 22007*c_1001_3^3 - 3712*c_1001_3^2 - 4095*c_1001_3 - 1519 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB