Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 1427425715] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0793 geometric_solution 4.73281167 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 -1 0 1 0 0 -1 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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420806345623 0.108340259301 0 2 0 2 0132 0132 1023 2310 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 0 -1 1 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.180379534904 1.409986098889 1 1 3 4 3201 0132 0132 0132 0 0 0 0 0 1 -1 0 0 0 1 -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 1 -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 0 0 0 0 -0.906693983817 1.250293295367 4 4 5 2 1230 1023 0132 0132 0 0 0 0 0 0 -1 1 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 0 0 -1 1 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.563900253803 1.280759834661 3 3 2 5 1023 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563900253803 1.280759834661 6 4 6 3 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 0 -1 1 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.541952226190 0.395587569979 5 6 5 6 0132 1302 1023 2031 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 0 0 0 0 0 0 0 0.564432171482 0.088549967268 ==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' : 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_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), '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_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0011_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_3, c_0011_5, c_0101_1, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1895314793784741382876447887161689097741077/38191716448128032086496\ 636319614472871713*c_0101_5^19 + 3990860011543992300100758339373694\ 7424352059/38191716448128032086496636319614472871713*c_0101_5^18 - 437478172561316022308904001253591203293546685/381917164481280320864\ 96636319614472871713*c_0101_5^17 + 301989238420217292505839663063344483165950196/127305721493760106954\ 98878773204824290571*c_0101_5^16 + 77376439648850062761996606364104569713047197/3819171644812803208649\ 6636319614472871713*c_0101_5^15 - 538274329558312954578654782718556\ 130186381637/4243524049792003565166292924401608096857*c_0101_5^14 + 875253524845886762712237557916990043076846840/347197422255709382604\ 5148756328588442883*c_0101_5^13 + 383123025398424398029226727516251\ 9621426672198/38191716448128032086496636319614472871713*c_0101_5^12 - 15728928716139457670562727574523618881410928395/38191716448128032\ 086496636319614472871713*c_0101_5^11 + 4752703001632773556953862592382424277427239936/12730572149376010695\ 498878773204824290571*c_0101_5^10 + 535500590838592956661802410580756943291717884/347197422255709382604\ 5148756328588442883*c_0101_5^9 - 7794164574603298791240133868122889\ 008258496155/38191716448128032086496636319614472871713*c_0101_5^8 + 7290335923815482500511830613071142489447528804/38191716448128032086\ 496636319614472871713*c_0101_5^7 - 3092960615967456931617611598983201432844705494/12730572149376010695\ 498878773204824290571*c_0101_5^6 - 959105709347244051369298419801771477486185849/127305721493760106954\ 98878773204824290571*c_0101_5^5 + 456736020998545903647286904334346\ 4136381515501/38191716448128032086496636319614472871713*c_0101_5^4 - 196295477262544410537291286167597783106671622/127305721493760106954\ 98878773204824290571*c_0101_5^3 - 214020951316235100594048402512380\ 903085293978/38191716448128032086496636319614472871713*c_0101_5^2 + 33308766514940265724625955633148882097406130/3819171644812803208649\ 6636319614472871713*c_0101_5 + 370439054643302526506313752991807270\ 8538473/38191716448128032086496636319614472871713, c_0011_0 - 1, c_0011_3 + 1790733455003986124608639569528501104398/4243524049792003565\ 166292924401608096857*c_0101_5^19 + 33014968429928853435705477047753979026504/4243524049792003565166292\ 924401608096857*c_0101_5^18 - 5076837871198288532069178445480150706\ 61865/4243524049792003565166292924401608096857*c_0101_5^17 + 2027190390251562000168560371672970891579671/42435240497920035651662\ 92924401608096857*c_0101_5^16 - 32981877437063255384406287339166067\ 08928107/4243524049792003565166292924401608096857*c_0101_5^15 - 1319045968325907786346615492985914510566547/42435240497920035651662\ 92924401608096857*c_0101_5^14 + 15632057663529100142054307098726516\ 30645325/385774913617454869560572084036509826987*c_0101_5^13 - 26918691053295272983375792086059775339654219/4243524049792003565166\ 292924401608096857*c_0101_5^12 + 6004509868227199812097095356238523\ 493176230/4243524049792003565166292924401608096857*c_0101_5^11 + 25604859284852714723394734752104821083200398/4243524049792003565166\ 292924401608096857*c_0101_5^10 - 3131361101650141173106242811924324\ 393252460/385774913617454869560572084036509826987*c_0101_5^9 + 16453596868905662902579315408737058260132073/4243524049792003565166\ 292924401608096857*c_0101_5^8 - 52355390137471876945600010097683738\ 50351630/4243524049792003565166292924401608096857*c_0101_5^7 - 7331385777052988924173306406904981441441348/42435240497920035651662\ 92924401608096857*c_0101_5^6 + 138350582433136232483686354548371780\ 54053525/4243524049792003565166292924401608096857*c_0101_5^5 - 2379627418800609688080659793625956911809968/42435240497920035651662\ 92924401608096857*c_0101_5^4 - 249941527251145541303534423189283828\ 5651954/4243524049792003565166292924401608096857*c_0101_5^3 + 638040481689027996618973189793153679215455/424352404979200356516629\ 2924401608096857*c_0101_5^2 + 9072796790605184131678014286566436014\ 4006/4243524049792003565166292924401608096857*c_0101_5 - 29759269927221692438121076459989256564346/4243524049792003565166292\ 924401608096857, c_0011_5 + 1332644748791195694009361583030722833785/4243524049792003565\ 166292924401608096857*c_0101_5^19 + 25249152115044039953970315958816011090441/4243524049792003565166292\ 924401608096857*c_0101_5^18 - 3639432569967629298115913229553689468\ 01914/4243524049792003565166292924401608096857*c_0101_5^17 + 1342924685678631608272106707851689818741319/42435240497920035651662\ 92924401608096857*c_0101_5^16 - 20159711568400654959067517342216028\ 23545013/4243524049792003565166292924401608096857*c_0101_5^15 - 1308617247822953044870201774652751334010696/42435240497920035651662\ 92924401608096857*c_0101_5^14 + 10434982549915406626401358663094397\ 75637046/385774913617454869560572084036509826987*c_0101_5^13 - 15942363381278488496951005696406591544436784/4243524049792003565166\ 292924401608096857*c_0101_5^12 + 2746686450912294209512186095498388\ 198008973/4243524049792003565166292924401608096857*c_0101_5^11 + 16363303518348956940154637374722726317717586/4243524049792003565166\ 292924401608096857*c_0101_5^10 - 1843132329597494971383137029943589\ 737494914/385774913617454869560572084036509826987*c_0101_5^9 + 10448400893548054687015620107461210867781679/4243524049792003565166\ 292924401608096857*c_0101_5^8 - 31991434123585004638289948237933004\ 44386091/4243524049792003565166292924401608096857*c_0101_5^7 - 5057558131466533043390343497889500626246690/42435240497920035651662\ 92924401608096857*c_0101_5^6 + 774948304545096695888017809407895279\ 9897523/4243524049792003565166292924401608096857*c_0101_5^5 - 1459624129568988055968291437260771909342923/42435240497920035651662\ 92924401608096857*c_0101_5^4 - 129684889794989227067341655780043955\ 3318425/4243524049792003565166292924401608096857*c_0101_5^3 + 408489555476215496837360670388326140791525/424352404979200356516629\ 2924401608096857*c_0101_5^2 + 4295300685713824805224211419659259377\ 9232/4243524049792003565166292924401608096857*c_0101_5 - 20225069397322723315445083426316656156954/4243524049792003565166292\ 924401608096857, c_0101_1 + 6040082050183390965023311751575854800420/4243524049792003565\ 166292924401608096857*c_0101_5^19 + 119405900183920875125683352883421104550108/424352404979200356516629\ 2924401608096857*c_0101_5^18 - 154951814172779118168786465356930062\ 2175941/4243524049792003565166292924401608096857*c_0101_5^17 + 4849440874046010029831067422194532054014623/42435240497920035651662\ 92924401608096857*c_0101_5^16 - 56080645403352916779490927721335285\ 15765428/4243524049792003565166292924401608096857*c_0101_5^15 - 9222611667130528556973462884381839467996322/42435240497920035651662\ 92924401608096857*c_0101_5^14 + 39254526605004794138585675868329180\ 28880698/385774913617454869560572084036509826987*c_0101_5^13 - 39975196878073919949975505411815073721152072/4243524049792003565166\ 292924401608096857*c_0101_5^12 - 8386169710408752550350722802167396\ 462206043/4243524049792003565166292924401608096857*c_0101_5^11 + 59161034900126567042327170574013072737663053/4243524049792003565166\ 292924401608096857*c_0101_5^10 - 4409336495783098923174003269621158\ 044357054/385774913617454869560572084036509826987*c_0101_5^9 + 23626754363925988420769314173773242149738845/4243524049792003565166\ 292924401608096857*c_0101_5^8 - 43753282114497086289103848224142600\ 38655865/4243524049792003565166292924401608096857*c_0101_5^7 - 22399081711688908186533252505718288754876781/4243524049792003565166\ 292924401608096857*c_0101_5^6 + 16655122003391370978407894799624066\ 717768521/4243524049792003565166292924401608096857*c_0101_5^5 + 253145231929929895538704340396839614552878/424352404979200356516629\ 2924401608096857*c_0101_5^4 - 2876543862860388199961165599626284854\ 479691/4243524049792003565166292924401608096857*c_0101_5^3 + 471908537129018181510057947603883655806433/424352404979200356516629\ 2924401608096857*c_0101_5^2 + 1085733172806661059967072994560523117\ 61632/4243524049792003565166292924401608096857*c_0101_5 - 21743016645677326609554972631336061842014/4243524049792003565166292\ 924401608096857, c_0101_3 + 2894415481098035028389514682203008796878/4243524049792003565\ 166292924401608096857*c_0101_5^19 + 58848771504736610327417181730656872149885/4243524049792003565166292\ 924401608096857*c_0101_5^18 - 7095971752508798050243970379400950904\ 41749/4243524049792003565166292924401608096857*c_0101_5^17 + 1920492005622547196902992002540746173913363/42435240497920035651662\ 92924401608096857*c_0101_5^16 - 15592563170496429124919586947746661\ 42783088/4243524049792003565166292924401608096857*c_0101_5^15 - 5423674364309698204214672288592498486789691/42435240497920035651662\ 92924401608096857*c_0101_5^14 + 16130101213909056649573439447878516\ 36968000/385774913617454869560572084036509826987*c_0101_5^13 - 8818073588737718743420356440334243129771759/42435240497920035651662\ 92924401608096857*c_0101_5^12 - 10137208624713958994267115955747807\ 419278407/4243524049792003565166292924401608096857*c_0101_5^11 + 23225798062251034153188791043813422786957697/4243524049792003565166\ 292924401608096857*c_0101_5^10 - 8734740000597574356682928267043049\ 21767699/385774913617454869560572084036509826987*c_0101_5^9 + 4466045624613892075994363503959076406663814/42435240497920035651662\ 92924401608096857*c_0101_5^8 + 107101187389675295801535951426098158\ 4424501/4243524049792003565166292924401608096857*c_0101_5^7 - 10586986380338940312776817535898742582365743/4243524049792003565166\ 292924401608096857*c_0101_5^6 + 20236730164890770693888294415563174\ 08355963/4243524049792003565166292924401608096857*c_0101_5^5 + 1923573948761037648573720456035045297046102/42435240497920035651662\ 92924401608096857*c_0101_5^4 - 407198977452657315800545452192023924\ 949789/4243524049792003565166292924401608096857*c_0101_5^3 - 51534715758063218517130602496865096292352/4243524049792003565166292\ 924401608096857*c_0101_5^2 + 22963915059546594119099299462449700636\ 535/4243524049792003565166292924401608096857*c_0101_5 - 2049621722225384938687234303315258551413/42435240497920035651662929\ 24401608096857, c_0101_4 + 2300424083389470872279718445043828367435/4243524049792003565\ 166292924401608096857*c_0101_5^19 + 44433551546182631958140742210655607348001/4243524049792003565166292\ 924401608096857*c_0101_5^18 - 6111534748555000776136680943678156986\ 49797/4243524049792003565166292924401608096857*c_0101_5^17 + 2107027370370419166176501785623030480665444/42435240497920035651662\ 92924401608096857*c_0101_5^16 - 28785880122649959127381134019418253\ 93553446/4243524049792003565166292924401608096857*c_0101_5^15 - 2820911686071903657173642733667334643732848/42435240497920035651662\ 92924401608096857*c_0101_5^14 + 16646500919690856577375093278381261\ 33119837/385774913617454869560572084036509826987*c_0101_5^13 - 22027890758191214691833495349686382061279745/4243524049792003565166\ 292924401608096857*c_0101_5^12 + 1192201291525191450317040377252759\ 156474116/4243524049792003565166292924401608096857*c_0101_5^11 + 25764152603785154820931680797335919229142791/4243524049792003565166\ 292924401608096857*c_0101_5^10 - 2513531819629792154424160931028096\ 231654153/385774913617454869560572084036509826987*c_0101_5^9 + 13994496233014424281282801241802396814289391/4243524049792003565166\ 292924401608096857*c_0101_5^8 - 37014326242909451583438638590341796\ 85704869/4243524049792003565166292924401608096857*c_0101_5^7 - 8659799415950550036623636657315283248793409/42435240497920035651662\ 92924401608096857*c_0101_5^6 + 102730053120812971499156821887317748\ 16601572/4243524049792003565166292924401608096857*c_0101_5^5 - 1376720266417920471751975835306246808280478/42435240497920035651662\ 92924401608096857*c_0101_5^4 - 176714523659775954103295085216531953\ 0115504/4243524049792003565166292924401608096857*c_0101_5^3 + 461739367492871608902801500325657322611351/424352404979200356516629\ 2924401608096857*c_0101_5^2 + 6172342972902411287540135399683183958\ 7846/4243524049792003565166292924401608096857*c_0101_5 - 21160345927590756875109506507404114800104/4243524049792003565166292\ 924401608096857, c_0101_5^20 + 20*c_0101_5^19 - 252*c_0101_5^18 + 743*c_0101_5^17 - 736*c_0101_5^16 - 1759*c_0101_5^15 + 6808*c_0101_5^14 - 4911*c_0101_5^13 - 3080*c_0101_5^12 + 9527*c_0101_5^11 - 5669*c_0101_5^10 + 1857*c_0101_5^9 + 235*c_0101_5^8 - 3928*c_0101_5^7 + 1887*c_0101_5^6 + 776*c_0101_5^5 - 463*c_0101_5^4 - 40*c_0101_5^3 + 36*c_0101_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB