Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 374835922] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2326 geometric_solution 5.71618218 oriented_manifold CS_known 0.0000000000000000 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 1 0 -1 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.487274312812 0.296620297303 2 0 3 0 0132 2310 0132 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 0 0 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.015354513359 0.614880003608 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 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.039357252064 0.873882276531 5 2 4 1 1023 1230 1023 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 1 0 0 -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 1.039357252064 0.873882276531 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444405437337 0.651077731949 6 3 2 6 0132 1023 0132 3201 0 0 0 0 0 0 -1 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 -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.644408256724 0.398206298642 5 5 6 6 0132 2310 1230 3012 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.539335392958 0.643332903295 ==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_0101_1'], 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 33351665760631376342077299291235677917813760606/1514864204048356938\ 15272073148755259873794911*c_0101_6^22 + 130154064697747184145570293039296328846827331608/151486420404835693\ 815272073148755259873794911*c_0101_6^21 - 1485353527026242405236765040313366588297398885946/15148642040483569\ 3815272073148755259873794911*c_0101_6^20 + 741893724674156259747305498575991553661273060822/151486420404835693\ 815272073148755259873794911*c_0101_6^19 - 4258828889934226310738314735703655207360958805441/15148642040483569\ 3815272073148755259873794911*c_0101_6^18 - 47312845952403927698273735978137970925537142679025/1514864204048356\ 93815272073148755259873794911*c_0101_6^17 - 41806111937833485561395223312498811822647603346220/1514864204048356\ 93815272073148755259873794911*c_0101_6^16 + 46311934940076733819432934293798114456518238524151/1514864204048356\ 93815272073148755259873794911*c_0101_6^15 + 112085985698560233267071356640650013926552022113388/151486420404835\ 693815272073148755259873794911*c_0101_6^14 + 203496466270644028408528443224067163257823154384623/151486420404835\ 693815272073148755259873794911*c_0101_6^13 + 199858080916934472344625329766647145095694447828833/151486420404835\ 693815272073148755259873794911*c_0101_6^12 - 26437464306366508947874444162651840257815521385397/1514864204048356\ 93815272073148755259873794911*c_0101_6^11 - 12922973358406807267466278998071246922021896568730/8910965906166805\ 518545416067573838816105583*c_0101_6^10 - 269681833369694574615136082519060749717027902704598/151486420404835\ 693815272073148755259873794911*c_0101_6^9 - 230552387996779374101916947341375621798194244047897/151486420404835\ 693815272073148755259873794911*c_0101_6^8 - 144782868484791370380046765388620292385426978060508/151486420404835\ 693815272073148755259873794911*c_0101_6^7 - 95697664277709570163330798083609946673169661343584/1514864204048356\ 93815272073148755259873794911*c_0101_6^6 - 53761824618167926244225551907255415279098200950605/1514864204048356\ 93815272073148755259873794911*c_0101_6^5 + 5956836612020704505124838229267811183434710780936/15148642040483569\ 3815272073148755259873794911*c_0101_6^4 + 25358156164535742436897312367615323230552018463162/1514864204048356\ 93815272073148755259873794911*c_0101_6^3 + 9401962694499412462770441410680606778784319838891/15148642040483569\ 3815272073148755259873794911*c_0101_6^2 - 485132479647961625035589517038144569290787172092/151486420404835693\ 815272073148755259873794911*c_0101_6 - 584638469645288882832212983472138186272281621026/151486420404835693\ 815272073148755259873794911, c_0011_0 - 1, c_0011_1 + 498868107250734646078404224847419869323693/11152648192949694\ 015701396830505430308017*c_0101_6^22 - 1914181075836652528809795071170315529357699/11152648192949694015701\ 396830505430308017*c_0101_6^21 + 2205722110025022360434854978752992\ 5458825771/11152648192949694015701396830505430308017*c_0101_6^20 - 9489363127882004631636752321145865636956428/11152648192949694015701\ 396830505430308017*c_0101_6^19 + 6138583732856472190679328090511071\ 8780310630/11152648192949694015701396830505430308017*c_0101_6^18 + 713818061296415662167197300523636735662943388/111526481929496940157\ 01396830505430308017*c_0101_6^17 + 665838553240036384053892199293651738278287058/111526481929496940157\ 01396830505430308017*c_0101_6^16 - 694186037335631313593724131678902891261714385/111526481929496940157\ 01396830505430308017*c_0101_6^15 - 1731414241185133858479954814255879230234961689/11152648192949694015\ 701396830505430308017*c_0101_6^14 - 3102714671495057134689859427750704978556546773/11152648192949694015\ 701396830505430308017*c_0101_6^13 - 3116789180309859768130490388182448455772493387/11152648192949694015\ 701396830505430308017*c_0101_6^12 + 349429806184738130635300706319988940224120881/111526481929496940157\ 01396830505430308017*c_0101_6^11 + 3400281745780163467677261289787329995154643984/11152648192949694015\ 701396830505430308017*c_0101_6^10 + 4163992859736222896792139957413763152601275205/11152648192949694015\ 701396830505430308017*c_0101_6^9 + 3564615243632743409207830960937636528211515573/11152648192949694015\ 701396830505430308017*c_0101_6^8 + 2232734365327981136652489325129004077197691783/11152648192949694015\ 701396830505430308017*c_0101_6^7 + 1457265021196144977767062350289309137546779289/11152648192949694015\ 701396830505430308017*c_0101_6^6 + 833093794342627277392766902830184689429110779/111526481929496940157\ 01396830505430308017*c_0101_6^5 - 892532659895991794700491424814733\ 03277359048/11152648192949694015701396830505430308017*c_0101_6^4 - 402671307932562283252225416411501381100898378/111526481929496940157\ 01396830505430308017*c_0101_6^3 - 149556415606771452377807418505085\ 084102924981/11152648192949694015701396830505430308017*c_0101_6^2 + 9844357825873827925193496120090197886489825/11152648192949694015701\ 396830505430308017*c_0101_6 + 1017668836122148674217599083113943212\ 1836041/11152648192949694015701396830505430308017, c_0011_3 + 833671621217454676374301037651291519258068/11152648192949694\ 015701396830505430308017*c_0101_6^22 - 3203143292656621563586046182990855864400904/11152648192949694015701\ 396830505430308017*c_0101_6^21 + 3687988907230029327745908259891930\ 0927391943/11152648192949694015701396830505430308017*c_0101_6^20 - 16061890165928803391573822785412501785407544/1115264819294969401570\ 1396830505430308017*c_0101_6^19 + 102807008585966880611766983413058\ 248417934307/11152648192949694015701396830505430308017*c_0101_6^18 + 1192186527535322388768488004822252624679786595/11152648192949694015\ 701396830505430308017*c_0101_6^17 + 1107036157899151040957682514638788397102557711/11152648192949694015\ 701396830505430308017*c_0101_6^16 - 1161959371584720370034247329804621752619775256/11152648192949694015\ 701396830505430308017*c_0101_6^15 - 2886331286716999112736976925010385970989358709/11152648192949694015\ 701396830505430308017*c_0101_6^14 - 5174907365205860877727611674528188602938242552/11152648192949694015\ 701396830505430308017*c_0101_6^13 - 5188567297177700178100641225813412323619063870/11152648192949694015\ 701396830505430308017*c_0101_6^12 + 597350245054053738176554867136100538039841494/111526481929496940157\ 01396830505430308017*c_0101_6^11 + 5670790728575871326608590252114316567724003212/11152648192949694015\ 701396830505430308017*c_0101_6^10 + 6937309168057645620844889669013558955967596665/11152648192949694015\ 701396830505430308017*c_0101_6^9 + 5935311135329828594448954244816262629992532359/11152648192949694015\ 701396830505430308017*c_0101_6^8 + 3714826133026929257903831209087193661473427821/11152648192949694015\ 701396830505430308017*c_0101_6^7 + 2426583418500615892872499221997834664431354447/11152648192949694015\ 701396830505430308017*c_0101_6^6 + 1385195005731179652857672681100129712809735047/11152648192949694015\ 701396830505430308017*c_0101_6^5 - 151885982610272616899366867457483139342147869/111526481929496940157\ 01396830505430308017*c_0101_6^4 - 670566340638329175064261852291556\ 102301024039/11152648192949694015701396830505430308017*c_0101_6^3 - 248158246417741351282099921038918736964714986/111526481929496940157\ 01396830505430308017*c_0101_6^2 + 165202546024248272866279176301369\ 27154346229/11152648192949694015701396830505430308017*c_0101_6 + 16888903598258193496859036864182536257440843/1115264819294969401570\ 1396830505430308017, c_0101_0 + 196732091475869246092642350268136625160916/11152648192949694\ 015701396830505430308017*c_0101_6^22 - 754125082614776177103042827576087870332336/111526481929496940157013\ 96830505430308017*c_0101_6^21 + 86953207944530210716482891392104619\ 21512327/11152648192949694015701396830505430308017*c_0101_6^20 - 3708304423542468101570402893642257601921719/11152648192949694015701\ 396830505430308017*c_0101_6^19 + 2418322378212892680443260934419367\ 7337322472/11152648192949694015701396830505430308017*c_0101_6^18 + 281596231781953283575699107005638599793849662/111526481929496940157\ 01396830505430308017*c_0101_6^17 + 263616257636993001635811833668273066224546357/111526481929496940157\ 01396830505430308017*c_0101_6^16 - 273098828767202373416635923731883798794703802/111526481929496940157\ 01396830505430308017*c_0101_6^15 - 684113372894271484769114763701650461123007001/111526481929496940157\ 01396830505430308017*c_0101_6^14 - 1225770346192924170323460288803931687755712222/11152648192949694015\ 701396830505430308017*c_0101_6^13 - 1232969353988894971870807496506205837588510348/11152648192949694015\ 701396830505430308017*c_0101_6^12 + 134465066786724404275995666707650516904153103/111526481929496940157\ 01396830505430308017*c_0101_6^11 + 1342746549150644181569115498800313452188055281/11152648192949694015\ 701396830505430308017*c_0101_6^10 + 1646786979974681460141413262129682723642369684/11152648192949694015\ 701396830505430308017*c_0101_6^9 + 1410301693010021168896491128111803924546737656/11152648192949694015\ 701396830505430308017*c_0101_6^8 + 884166689016118004470000458003057908612948228/111526481929496940157\ 01396830505430308017*c_0101_6^7 + 576621048066971133040278241911110\ 083706190680/11152648192949694015701396830505430308017*c_0101_6^6 + 329878450191528833192314261577463895859668430/111526481929496940157\ 01396830505430308017*c_0101_6^5 - 344948730890116626148075071301316\ 84041817651/11152648192949694015701396830505430308017*c_0101_6^4 - 159284079433720952719180744936529362726465005/111526481929496940157\ 01396830505430308017*c_0101_6^3 - 594830404860784797062209867289838\ 37791681362/11152648192949694015701396830505430308017*c_0101_6^2 + 3833761570192332077450364804214900967011220/11152648192949694015701\ 396830505430308017*c_0101_6 + 4050928607416241914389784090393010931\ 323925/11152648192949694015701396830505430308017, c_0101_1 - 539204527126735284024016779868689225828415/11152648192949694\ 015701396830505430308017*c_0101_6^22 + 2068851197750557307007028315565609851822571/11152648192949694015701\ 396830505430308017*c_0101_6^21 - 2383938450277061170191350926544633\ 3746337600/11152648192949694015701396830505430308017*c_0101_6^20 + 10247534348825671900918188255482514069946464/1115264819294969401570\ 1396830505430308017*c_0101_6^19 - 663022024497079856240509995943034\ 19101061270/11152648192949694015701396830505430308017*c_0101_6^18 - 771618418818424155087909050495784284360045073/111526481929496940157\ 01396830505430308017*c_0101_6^17 - 719638395349098820710767346483153751043159834/111526481929496940157\ 01396830505430308017*c_0101_6^16 + 751262949460065454847123555024009016561288995/111526481929496940157\ 01396830505430308017*c_0101_6^15 + 1871344728472005959696395705457171800458816339/11152648192949694015\ 701396830505430308017*c_0101_6^14 + 3352619197725268280655885862717088479090035056/11152648192949694015\ 701396830505430308017*c_0101_6^13 + 3368120962351385858905924468044803954711835841/11152648192949694015\ 701396830505430308017*c_0101_6^12 - 380584278249915252132331429848890449104879379/111526481929496940157\ 01396830505430308017*c_0101_6^11 - 3676209820669374002119763650168601419103571217/11152648192949694015\ 701396830505430308017*c_0101_6^10 - 4498602185502482853698721080678682679582915102/11152648192949694015\ 701396830505430308017*c_0101_6^9 - 3851027582085680809221099850950597591153977089/11152648192949694015\ 701396830505430308017*c_0101_6^8 - 2410810264283505709429900498001843047473649339/11152648192949694015\ 701396830505430308017*c_0101_6^7 - 1573725235181064297886750777505963571930940756/11152648192949694015\ 701396830505430308017*c_0101_6^6 - 899758156735833053095374406148753050184369584/111526481929496940157\ 01396830505430308017*c_0101_6^5 + 974125225062954393848059755728447\ 88533677416/11152648192949694015701396830505430308017*c_0101_6^4 + 435270607906373126073825501510389778228663582/111526481929496940157\ 01396830505430308017*c_0101_6^3 + 161341698703540326591988726025165\ 200567294223/11152648192949694015701396830505430308017*c_0101_6^2 - 10712960945123165226041112628000408835859295/1115264819294969401570\ 1396830505430308017*c_0101_6 - 109794675372161966450620351458708919\ 74768420/11152648192949694015701396830505430308017, c_0101_3 + 809079590866083062055397515585733507472906/11152648192949694\ 015701396830505430308017*c_0101_6^22 - 3136318292872122337469663695474427229967891/11152648192949694015701\ 396830505430308017*c_0101_6^21 + 3591810117358922323519995828234768\ 5286101818/11152648192949694015701396830505430308017*c_0101_6^20 - 16902632591749637176727933412608919880428331/1115264819294969401570\ 1396830505430308017*c_0101_6^19 + 101251587801529377215224873524518\ 487709158383/11152648192949694015701396830505430308017*c_0101_6^18 + 1152527778497000349727074688683268154176330557/11152648192949694015\ 701396830505430308017*c_0101_6^17 + 1038074777854941162240597761706142746013620536/11152648192949694015\ 701396830505430308017*c_0101_6^16 - 1138486337546115242516100327661928926462322698/11152648192949694015\ 701396830505430308017*c_0101_6^15 - 2755380618055685148629144059650071263641495029/11152648192949694015\ 701396830505430308017*c_0101_6^14 - 4959190266564497735904234624577678858479466226/11152648192949694015\ 701396830505430308017*c_0101_6^13 - 4908413981932590658396006005949430825919424358/11152648192949694015\ 701396830505430308017*c_0101_6^12 + 661410556959350959337693502360751166237041647/111526481929496940157\ 01396830505430308017*c_0101_6^11 + 5426736529702310332975749368406505490684961291/11152648192949694015\ 701396830505430308017*c_0101_6^10 + 6599862513980208991070970142405070892235339732/11152648192949694015\ 701396830505430308017*c_0101_6^9 + 5623970019904073914359526173278542693650946886/11152648192949694015\ 701396830505430308017*c_0101_6^8 + 3504731230787911119946183653618070364219575472/11152648192949694015\ 701396830505430308017*c_0101_6^7 + 2302386727814401211090646745642970352522283419/11152648192949694015\ 701396830505430308017*c_0101_6^6 + 1300735236820908358086127844467701167697671156/11152648192949694015\ 701396830505430308017*c_0101_6^5 - 162545106746647814166337880449596008992120598/111526481929496940157\ 01396830505430308017*c_0101_6^4 - 635355376035698340121553426180401\ 906006010975/11152648192949694015701396830505430308017*c_0101_6^3 - 229646914527544700720673708183870149917728057/111526481929496940157\ 01396830505430308017*c_0101_6^2 + 164340841828756951508191937050559\ 50462588377/11152648192949694015701396830505430308017*c_0101_6 + 15595939147747485071744731633340117440212421/1115264819294969401570\ 1396830505430308017, c_0101_6^23 - 3*c_0101_6^22 + 41*c_0101_6^21 + 18*c_0101_6^20 + 107*c_0101_6^19 + 1534*c_0101_6^18 + 2532*c_0101_6^17 - 278*c_0101_6^16 - 4637*c_0101_6^15 - 9120*c_0101_6^14 - 11447*c_0101_6^13 - 4516*c_0101_6^12 + 7412*c_0101_6^11 + 14045*c_0101_6^10 + 14118*c_0101_6^9 + 10442*c_0101_6^8 + 6656*c_0101_6^7 + 4109*c_0101_6^6 + 1214*c_0101_6^5 - 959*c_0101_6^4 - 974*c_0101_6^3 - 230*c_0101_6^2 + 37*c_0101_6 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB