Magma V2.19-8 Tue Aug 20 2013 16:19:11 on localhost [Seed = 4256981125] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3312 geometric_solution 6.44482090 oriented_manifold CS_known -0.0000000000000011 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.401836572912 0.433331023386 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.447588178423 0.807422018016 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 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 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.571982740858 0.578258014340 6 5 4 1 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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 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.571982740858 0.578258014340 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.657661950156 0.818159997255 5 3 5 2 2031 0132 1302 0132 0 0 0 0 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 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.548741951810 0.886404995835 3 6 2 6 0132 2310 0132 3201 0 0 0 0 0 0 0 0 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 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.832593459768 0.830783329467 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : 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_3'], '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_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], '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' : negation(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_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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_0'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], '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_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 59867152670170386682503812564321381353429414195/3544009356284913332\ 641828082442396017229003282*c_0101_4^33 - 1263935777837557399347775850776955584420081630065/23626729041899422\ 21761218721628264011486002188*c_0101_4^31 + 21941084356779788953201547906232413045067321629899/3544009356284913\ 332641828082442396017229003282*c_0101_4^29 - 343555842672140760390159380782331943477069368231275/708801871256982\ 6665283656164884792034458006564*c_0101_4^27 + 496443203877909743026502938578026115800432432202303/236267290418994\ 2221761218721628264011486002188*c_0101_4^25 - 622722497053604936645730077279934131340644044170097/118133645209497\ 1110880609360814132005743001094*c_0101_4^23 + 382446408893369611966820418763293279788407042575408/590668226047485\ 555440304680407066002871500547*c_0101_4^21 + 612711302811505728293080063298951375081154072524/590668226047485555\ 440304680407066002871500547*c_0101_4^19 + 5726166960880563949186705847464829972019149279021237/70880187125698\ 26665283656164884792034458006564*c_0101_4^17 - 3180179866215768648478938405313731285267175610847409/70880187125698\ 26665283656164884792034458006564*c_0101_4^15 - 740115969518682246168709362946540304757642077583364/177200467814245\ 6666320914041221198008614501641*c_0101_4^13 - 627408375776756428109913210167104056272483891954686/177200467814245\ 6666320914041221198008614501641*c_0101_4^11 + 965501473565699299954042978014938253628181949359923/708801871256982\ 6665283656164884792034458006564*c_0101_4^9 + 461730238452759314704175492728117338408597845961175/708801871256982\ 6665283656164884792034458006564*c_0101_4^7 + 43934070761816485856008809698385822965687687968277/2362672904189942\ 221761218721628264011486002188*c_0101_4^5 - 19169813123515225579329344533044019178347642782338/1772004678142456\ 666320914041221198008614501641*c_0101_4^3 + 5006126549423203583304687154754644667062581994879/70880187125698266\ 65283656164884792034458006564*c_0101_4, c_0011_0 - 1, c_0011_1 - 338650693079958394770205184702409550346998399/28092757092502\ 36178313644211692143184388844065*c_0101_4^32 + 10760758757059159474198743363645279272318201591/2809275709250236178\ 313644211692143184388844065*c_0101_4^30 - 25050884236547148392877673427380391973351454267/5618551418500472356\ 62728842338428636877768813*c_0101_4^28 + 328257620457378670383519918099844985770400643633/936425236416745392\ 771214737230714394796281355*c_0101_4^26 - 1438013844577746455374031416633527753699474708447/93642523641674539\ 2771214737230714394796281355*c_0101_4^24 + 3667039963417431522295839800358431458598352816307/93642523641674539\ 2771214737230714394796281355*c_0101_4^22 - 4679600195235705815089616139600918583340482470394/93642523641674539\ 2771214737230714394796281355*c_0101_4^20 + 398278619532910803976336771863830823889187757354/936425236416745392\ 771214737230714394796281355*c_0101_4^18 - 16000417150607463245419923760613574213668545300876/2809275709250236\ 178313644211692143184388844065*c_0101_4^16 + 828031338921425968679191755840493410712640244868/216098131480787398\ 331818785514780244952988005*c_0101_4^14 + 2572872623988772496065504228351707849181962894007/93642523641674539\ 2771214737230714394796281355*c_0101_4^12 + 6110774915012349296329537122272391321515339675006/28092757092502361\ 78313644211692143184388844065*c_0101_4^10 - 1214495503490488630467516555376338112585880365713/93642523641674539\ 2771214737230714394796281355*c_0101_4^8 - 1184274756296502468937537452282736281602739777236/28092757092502361\ 78313644211692143184388844065*c_0101_4^6 - 45393672018276293252764107341291185259859671545/5618551418500472356\ 62728842338428636877768813*c_0101_4^4 + 273988048193039860207988296291409187080326809584/280927570925023617\ 8313644211692143184388844065*c_0101_4^2 - 9118852205403524964170111361536741915829559213/93642523641674539277\ 1214737230714394796281355, c_0011_3 + 794823790474913203504764316673227943300169164/84278271277507\ 08534940932635076429553166532195*c_0101_4^33 - 25228715971724328338725413150206723635044184831/8427827127750708534\ 940932635076429553166532195*c_0101_4^31 + 58623396081599461561385127112948364464609864313/1685565425550141706\ 988186527015285910633306439*c_0101_4^29 - 767116836768379905642269623031837185154495106718/280927570925023617\ 8313644211692143184388844065*c_0101_4^27 + 1116377933416836403905339170485584234140924311294/93642523641674539\ 2771214737230714394796281355*c_0101_4^25 - 8494405398754160541325314268976320377737653589882/28092757092502361\ 78313644211692143184388844065*c_0101_4^23 + 10703175403694999617277502649788515902055084184379/2809275709250236\ 178313644211692143184388844065*c_0101_4^21 - 598922170741932611523225148882277196086291864969/280927570925023617\ 8313644211692143184388844065*c_0101_4^19 + 37645345174083528232936414064589090428875239304436/8427827127750708\ 534940932635076429553166532195*c_0101_4^17 - 1853603172126082563308690806525925936346819629093/64829439444236219\ 4995456356544340734858964015*c_0101_4^15 - 6271619460315304250358828560959887122572490458387/28092757092502361\ 78313644211692143184388844065*c_0101_4^13 - 15150418696379157367355422753051649889681098500396/8427827127750708\ 534940932635076429553166532195*c_0101_4^11 + 2701300804970390326994145392240571990327442523083/28092757092502361\ 78313644211692143184388844065*c_0101_4^9 + 3038981666645917056089866646935346211171460007701/84278271277507085\ 34940932635076429553166532195*c_0101_4^7 + 136311605381524265943916627119237835164685154774/168556542555014170\ 6988186527015285910633306439*c_0101_4^5 - 651684934474104241394818922774138718452713480174/842782712775070853\ 4940932635076429553166532195*c_0101_4^3 + 14448914149297236604615796157618037600381462933/2809275709250236178\ 313644211692143184388844065*c_0101_4, c_0101_0 - 1710389983105464116443882970580873599727666137/8427827127750\ 708534940932635076429553166532195*c_0101_4^33 + 54423942358447820283793338196094780393688158713/8427827127750708534\ 940932635076429553166532195*c_0101_4^31 - 127000734841106573463471383314565565586604765825/168556542555014170\ 6988186527015285910633306439*c_0101_4^29 + 1667121981618598831395835138452873938120719846009/28092757092502361\ 78313644211692143184388844065*c_0101_4^27 - 2445005642027879273856127492708088857087855132097/93642523641674539\ 2771214737230714394796281355*c_0101_4^25 + 18833326974288582482828600694820826828342299905326/2809275709250236\ 178313644211692143184388844065*c_0101_4^23 - 24419210707218869657723157823561630817561529632287/2809275709250236\ 178313644211692143184388844065*c_0101_4^21 + 2981497647859112333740480530590875643735874453692/28092757092502361\ 78313644211692143184388844065*c_0101_4^19 - 80913039646962138434713308726297625018320559819508/8427827127750708\ 534940932635076429553166532195*c_0101_4^17 + 4479244129536032917176115167728746303741254720209/64829439444236219\ 4995456356544340734858964015*c_0101_4^15 + 12318989294602296648788775269149170757688215277611/2809275709250236\ 178313644211692143184388844065*c_0101_4^13 + 29185658119791863093491413079057823965489135864513/8427827127750708\ 534940932635076429553166532195*c_0101_4^11 - 6747719113381735434082956204376484893962440617894/28092757092502361\ 78313644211692143184388844065*c_0101_4^9 - 5456437002985950681491381455049801816098854191803/84278271277507085\ 34940932635076429553166532195*c_0101_4^7 - 174737721199566429951994990533768477370906406375/168556542555014170\ 6988186527015285910633306439*c_0101_4^5 + 1532232659378168860728046701366305196350902669972/84278271277507085\ 34940932635076429553166532195*c_0101_4^3 - 59850740235296998698226555863542801228692862164/2809275709250236178\ 313644211692143184388844065*c_0101_4, c_0101_1 + 17105950748959174389170548419403600374650489/561855141850047\ 235662728842338428636877768813*c_0101_4^32 - 544168031114495026319036758240057659059657710/561855141850047235662\ 728842338428636877768813*c_0101_4^30 + 6346291442186838643479958591459620280683712318/56185514185004723566\ 2728842338428636877768813*c_0101_4^28 - 16654606547460603282965650827014212970717356193/1872850472833490785\ 54242947446142878959256271*c_0101_4^26 + 73205532531951580681103750513820932888587196159/1872850472833490785\ 54242947446142878959256271*c_0101_4^24 - 187608246935180910200973118545008370212742135434/187285047283349078\ 554242947446142878959256271*c_0101_4^22 + 241982382121776398192976025324256715098825686016/187285047283349078\ 554242947446142878959256271*c_0101_4^20 - 25894431215018415041176006594188452082301209393/1872850472833490785\ 54242947446142878959256271*c_0101_4^18 + 800148172331216702468108672153686848155150495321/561855141850047235\ 662728842338428636877768813*c_0101_4^16 - 44130521781247388576943792845551239414991449110/4321962629615747966\ 6363757102956048990597601*c_0101_4^14 - 126642014723168594254125850032688807723836885246/187285047283349078\ 554242947446142878959256271*c_0101_4^12 - 288815309994771068535639175344074964227254879879/561855141850047235\ 662728842338428636877768813*c_0101_4^10 + 68098157051404176124666199000132973640954702790/1872850472833490785\ 54242947446142878959256271*c_0101_4^8 + 55556486121631579290795427279525579433692705534/5618551418500472356\ 62728842338428636877768813*c_0101_4^6 + 7421402750020522957266677696980190765195776834/56185514185004723566\ 2728842338428636877768813*c_0101_4^4 - 16355900287579754720262388613181402712394826604/5618551418500472356\ 62728842338428636877768813*c_0101_4^2 + 717422810411557349461298546166002751660796581/187285047283349078554\ 242947446142878959256271, c_0101_3 - 49651269309444274439062096361317231627931744/561855141850047\ 235662728842338428636877768813*c_0101_4^32 + 1577523548283038160087003161320881000338607940/56185514185004723566\ 2728842338428636877768813*c_0101_4^30 - 18359160420840624045249769005771438315624950470/5618551418500472356\ 62728842338428636877768813*c_0101_4^28 + 48109555790969600981264350717289720950116647246/1872850472833490785\ 54242947446142878959256271*c_0101_4^26 - 210702427788785799731344308074191147313680656117/187285047283349078\ 554242947446142878959256271*c_0101_4^24 + 537161663388921144718540596136685657087180012639/187285047283349078\ 554242947446142878959256271*c_0101_4^22 - 685265564607384494874581894601024264214027133455/187285047283349078\ 554242947446142878959256271*c_0101_4^20 + 58493927135856692175207759430680533282591795599/1872850472833490785\ 54242947446142878959256271*c_0101_4^18 - 2353805256807758788118517489209196512555062767956/56185514185004723\ 5662728842338428636877768813*c_0101_4^16 + 120694760406762432157922788903321223397508511669/432196262961574796\ 66363757102956048990597601*c_0101_4^14 + 376295650744809116348282281906831700967467788412/187285047283349078\ 554242947446142878959256271*c_0101_4^12 + 905147920685927889864571257123860730319217829211/561855141850047235\ 662728842338428636877768813*c_0101_4^10 - 174625615888297074641056274764558242881890686224/187285047283349078\ 554242947446142878959256271*c_0101_4^8 - 173002555409266793034066070307695311505623309580/561855141850047235\ 662728842338428636877768813*c_0101_4^6 - 36124912641025341032355441306131503144360465309/5618551418500472356\ 62728842338428636877768813*c_0101_4^4 + 39502488580444052959462135351672507962789761185/5618551418500472356\ 62728842338428636877768813*c_0101_4^2 - 1187887164924728558657044377748094891736487061/18728504728334907855\ 4242947446142878959256271, c_0101_4^34 - 32*c_0101_4^32 + 377*c_0101_4^30 - 2991*c_0101_4^28 + 13392*c_0101_4^26 - 35346*c_0101_4^24 + 48750*c_0101_4^22 - 12837*c_0101_4^20 + 48043*c_0101_4^18 - 42418*c_0101_4^16 - 15636*c_0101_4^14 - 12947*c_0101_4^12 + 14853*c_0101_4^10 + 1061*c_0101_4^8 - 112*c_0101_4^6 - 971*c_0101_4^4 + 264*c_0101_4^2 - 18 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB