Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 3566553106] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2220 geometric_solution 5.66354739 oriented_manifold CS_known -0.0000000000000001 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.327420862847 0.257112826930 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 1 0 0 -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 0.783373860051 1.226417896257 1 4 5 3 0132 0132 0132 1230 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 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 0 0 0 0.835090896834 0.857563849930 2 5 4 1 3012 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 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.835090896834 0.857563849930 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556725755995 0.409841318408 3 6 6 2 1023 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851602076933 0.516950521978 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 -1 1 -1 0 0 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 0 0 0 0 0 0 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.583865703021 0.446057947337 ==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' : negation(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' : negation(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' : negation(d['c_0101_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(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_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], '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' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], '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_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 783747492200326172590262341848432714328624821910051/218298492069633\ 231767977577062950567161183238432*c_0101_6^39 + 647552166506363092835636420967734885029135811048961/363830820116055\ 38627996262843825094526863873072*c_0101_6^37 - 21860184704395448619385125501253372583776199409290419/1091492460348\ 16615883988788531475283580591619216*c_0101_6^35 + 256127926121471086970681004289268945017151564332241975/109149246034\ 816615883988788531475283580591619216*c_0101_6^33 - 116219588883288953693750246746672907335349331858854491/727661640232\ 11077255992525687650189053727746144*c_0101_6^31 + 2669805833632374431670770855322132278804194907195710571/10914924603\ 4816615883988788531475283580591619216*c_0101_6^29 - 49373729221414902190138228863980111147408849600942656169/2182984920\ 69633231767977577062950567161183238432*c_0101_6^27 + 9125647322413294738011475706512326040441419594114599875/13643655754\ 352076985498598566434410447573952402*c_0101_6^25 - 138215178306005572893382961280728248564360512571278725323/109149246\ 034816615883988788531475283580591619216*c_0101_6^23 + 448967857253531307934813566737123497344560954175476786221/218298492\ 069633231767977577062950567161183238432*c_0101_6^21 - 627853009965480286002294153805346709760343440473140844149/218298492\ 069633231767977577062950567161183238432*c_0101_6^19 + 30869836633361814885382648619931608694289216028192444223/9095770502\ 901384656999065710956273631715968268*c_0101_6^17 - 251348818622667422027617301544130947295060470662464587943/727661640\ 23211077255992525687650189053727746144*c_0101_6^15 + 103733530038248183490309343507865244501850561295038744125/363830820\ 11605538627996262843825094526863873072*c_0101_6^13 - 371392780155946252687400549836256843279838595284632127181/218298492\ 069633231767977577062950567161183238432*c_0101_6^11 + 9156344313651407403436669687801197783065743334429667943/13643655754\ 352076985498598566434410447573952402*c_0101_6^9 - 35871695639385343311913551429911348813687540691163155571/2182984920\ 69633231767977577062950567161183238432*c_0101_6^7 + 427602244902144537521159656117515761504513411217201973/181915410058\ 02769313998131421912547263431936536*c_0101_6^5 - 388365328653491465093684596725521564594217530556030067/218298492069\ 633231767977577062950567161183238432*c_0101_6^3 + 12095908830187058653971481942595747841548221349888561/2182984920696\ 33231767977577062950567161183238432*c_0101_6, c_0011_0 - 1, c_0011_1 + 82082322231660118482503261792286564573219266419/363830820116\ 05538627996262843825094526863873072*c_0101_6^38 - 200616967090354527178062343657940457347422437315/181915410058027693\ 13998131421912547263431936536*c_0101_6^36 + 2275602685771214731487629557697173850708376938139/18191541005802769\ 313998131421912547263431936536*c_0101_6^34 - 26667543343805740488572963940117475523745673153879/1819154100580276\ 9313998131421912547263431936536*c_0101_6^32 + 32833795667023804905858043244126018978388934707057/3638308201160553\ 8627996262843825094526863873072*c_0101_6^30 - 278520184882065512162741121182843822196977580149323/181915410058027\ 69313998131421912547263431936536*c_0101_6^28 + 5132771806436031643031595924284428434870073808330745/36383082011605\ 538627996262843825094526863873072*c_0101_6^26 - 933578333217213048513678958942613932160654091493287/227394262572534\ 6164249766427739068407928992067*c_0101_6^24 + 13963729883012747225235873641028091116497407560892179/1819154100580\ 2769313998131421912547263431936536*c_0101_6^22 - 45136410319561352507161449140121924299016462972959293/3638308201160\ 5538627996262843825094526863873072*c_0101_6^20 + 62731151075738212572507613265056640281240956883186613/3638308201160\ 5538627996262843825094526863873072*c_0101_6^18 - 9176714832963947754595945038121302451903512198177899/45478852514506\ 92328499532855478136815857984134*c_0101_6^16 + 74135494989499378063593547387959135630734253954574421/3638308201160\ 5538627996262843825094526863873072*c_0101_6^14 - 30175949905234656583019922051333555988604875924796263/1819154100580\ 2769313998131421912547263431936536*c_0101_6^12 + 35032278637320607931546131324239546963205219986029037/3638308201160\ 5538627996262843825094526863873072*c_0101_6^10 - 824758502084328631658227195617335982959196993461279/227394262572534\ 6164249766427739068407928992067*c_0101_6^8 + 3017012688756271898755048373578789099797833227421443/36383082011605\ 538627996262843825094526863873072*c_0101_6^6 - 98545679846010378077239622969802496117569962097755/9095770502901384\ 656999065710956273631715968268*c_0101_6^4 + 26684819723688418574334682756969942789585253176771/3638308201160553\ 8627996262843825094526863873072*c_0101_6^2 - 700188222953090101857222997624452732835069090977/363830820116055386\ 27996262843825094526863873072, c_0011_3 - 44327293443727886008684497727961072354130230233/909577050290\ 1384656999065710956273631715968268*c_0101_6^38 + 215962655683484864622189767057455841350540761673/909577050290138465\ 6999065710956273631715968268*c_0101_6^36 - 2454966992984263767208349848980616601511114932211/90957705029013846\ 56999065710956273631715968268*c_0101_6^34 + 28765566759642628981972070782528387565302950269181/9095770502901384\ 656999065710956273631715968268*c_0101_6^32 - 4324846127236843888629890995034445919868021033212/22739426257253461\ 64249766427739068407928992067*c_0101_6^30 + 75232773997522127596930406920034532520214285036885/2273942625725346\ 164249766427739068407928992067*c_0101_6^28 - 2766855785762954845832726650696102230643886222488815/90957705029013\ 84656999065710956273631715968268*c_0101_6^26 + 8026430357369486981442596918860910201147052614053397/90957705029013\ 84656999065710956273631715968268*c_0101_6^24 - 14988016819907954995363201710741921689325999539295607/9095770502901\ 384656999065710956273631715968268*c_0101_6^22 + 12106871649666389337053934624922319046253536432374519/4547885251450\ 692328499532855478136815857984134*c_0101_6^20 - 33621915535774812014450092812631340910951169017442915/9095770502901\ 384656999065710956273631715968268*c_0101_6^18 + 39317098036489246001311914042909972773766878642405705/9095770502901\ 384656999065710956273631715968268*c_0101_6^16 - 9918003921834695613313595848827756421502548827726379/22739426257253\ 46164249766427739068407928992067*c_0101_6^14 + 8061682172990261464619233283835561649934979751808523/22739426257253\ 46164249766427739068407928992067*c_0101_6^12 - 18674106129753901205387436414115530181462729962292979/9095770502901\ 384656999065710956273631715968268*c_0101_6^10 + 7011751255105348100323349581137358094100802511764953/90957705029013\ 84656999065710956273631715968268*c_0101_6^8 - 798180389864096017057991158561895389783738176586937/454788525145069\ 2328499532855478136815857984134*c_0101_6^6 + 51842547957034138060923669798336781919251623160553/2273942625725346\ 164249766427739068407928992067*c_0101_6^4 - 13931140661330604783294564523146693950949231278797/9095770502901384\ 656999065710956273631715968268*c_0101_6^2 + 187014482008012657665416920397573292609646298375/454788525145069232\ 8499532855478136815857984134, c_0101_0 + 110942678884731296327139209017230806400276586781/18191541005\ 802769313998131421912547263431936536*c_0101_6^39 - 138438414437291628188182027843471997557367406073/454788525145069232\ 8499532855478136815857984134*c_0101_6^37 + 775619347847545041219389362419922475043463779300/227394262572534616\ 4249766427739068407928992067*c_0101_6^35 - 18177892619547654272860766053452857227477473514763/4547885251450692\ 328499532855478136815857984134*c_0101_6^33 + 51685356995826706746796520188952187865814563393717/1819154100580276\ 9313998131421912547263431936536*c_0101_6^31 - 377979432028381510653931741238387575250676860996979/909577050290138\ 4656999065710956273631715968268*c_0101_6^29 + 7014759026321617833479517867025706957696563098229831/18191541005802\ 769313998131421912547263431936536*c_0101_6^27 - 10444340298866890033678712573006674801917737509896251/9095770502901\ 384656999065710956273631715968268*c_0101_6^25 + 4960625842521122815766378027928515692851135634483276/22739426257253\ 46164249766427739068407928992067*c_0101_6^23 - 64517820470001327094248929278824852136058696679780589/1819154100580\ 2769313998131421912547263431936536*c_0101_6^21 + 90408176817750203004357148392768839107346525463536563/1819154100580\ 2769313998131421912547263431936536*c_0101_6^19 - 53450823756465095091919358235231169998920732099691443/9095770502901\ 384656999065710956273631715968268*c_0101_6^17 + 108999462147120654880272823460026367377191747156814697/181915410058\ 02769313998131421912547263431936536*c_0101_6^15 - 45145928232571041810832187990644758017583363865879191/9095770502901\ 384656999065710956273631715968268*c_0101_6^13 + 54185828941145430509228292963423714895270728793708571/1819154100580\ 2769313998131421912547263431936536*c_0101_6^11 - 10764100605551891212987127748300983079699213136577215/9095770502901\ 384656999065710956273631715968268*c_0101_6^9 + 5318009439617114910883895124798341600462072611732355/18191541005802\ 769313998131421912547263431936536*c_0101_6^7 - 192522650926609798023836009763460739959476596857365/454788525145069\ 2328499532855478136815857984134*c_0101_6^5 + 59319838211182868076769878564102201950095317705805/1819154100580276\ 9313998131421912547263431936536*c_0101_6^3 - 1851285524249173423076214204160388060435943493697/18191541005802769\ 313998131421912547263431936536*c_0101_6, c_0101_3 - 61826955756695892673777597751928888128451452293/181915410058\ 02769313998131421912547263431936536*c_0101_6^39 + 157753906841108620739669988274724860892254111457/909577050290138465\ 6999065710956273631715968268*c_0101_6^37 - 1744573993341491319880477823710253160789338293881/90957705029013846\ 56999065710956273631715968268*c_0101_6^35 + 20446702091560809945661995334508398718344859102401/9095770502901384\ 656999065710956273631715968268*c_0101_6^33 - 33157014307261944341837915678150206399518151860007/1819154100580276\ 9313998131421912547263431936536*c_0101_6^31 + 211236027682891556166457394723942934974478862902905/909577050290138\ 4656999065710956273631715968268*c_0101_6^29 - 3956109161986968031334023247142256780840204056808167/18191541005802\ 769313998131421912547263431936536*c_0101_6^27 + 1506935328360006299992930012547553191523915540485693/22739426257253\ 46164249766427739068407928992067*c_0101_6^25 - 11612110296147415330670679262004923444813514038757673/9095770502901\ 384656999065710956273631715968268*c_0101_6^23 + 37934746235211713778610173862506099019806360511740531/1819154100580\ 2769313998131421912547263431936536*c_0101_6^21 - 53542218456125165320702904760195261142386112372371707/1819154100580\ 2769313998131421912547263431936536*c_0101_6^19 + 7980037669730928478829026759429482614439297213263621/22739426257253\ 46164249766427739068407928992067*c_0101_6^17 - 65588009390199933491736952025571334634024637642597347/1819154100580\ 2769313998131421912547263431936536*c_0101_6^15 + 27538892683402589258681119280890286336169940602821277/9095770502901\ 384656999065710956273631715968268*c_0101_6^13 - 33852307682026496408107188376569938238481711462199267/1819154100580\ 2769313998131421912547263431936536*c_0101_6^11 + 1738655038752472509874394859773156115707518496623715/22739426257253\ 46164249766427739068407928992067*c_0101_6^9 - 3580886921446019093881695145198672001801801260686709/18191541005802\ 769313998131421912547263431936536*c_0101_6^7 + 135262307849035781795246591329437837585712692792673/454788525145069\ 2328499532855478136815857984134*c_0101_6^5 - 42778702302129995209176008708576539170096686447717/1819154100580276\ 9313998131421912547263431936536*c_0101_6^3 + 1331115116687161482010930357366554601939404610351/18191541005802769\ 313998131421912547263431936536*c_0101_6, c_0101_5 - 146822483846811726469152404969732762345226115967/36383082011\ 605538627996262843825094526863873072*c_0101_6^38 + 356327970770045908211396513457532210339742217175/181915410058027693\ 13998131421912547263431936536*c_0101_6^36 - 4058282951294845840192955662472550329964062181447/18191541005802769\ 313998131421912547263431936536*c_0101_6^34 + 47561834835891237488318270743496538179592058761291/1819154100580276\ 9313998131421912547263431936536*c_0101_6^32 - 55474809669834328880737909382238241856186110185173/3638308201160553\ 8627996262843825094526863873072*c_0101_6^30 + 497297387813574661021720131787240904114861292396639/181915410058027\ 69313998131421912547263431936536*c_0101_6^28 - 9146887703464566877444243841277056622141153539392765/36383082011605\ 538627996262843825094526863873072*c_0101_6^26 + 1650384417067803282148186105410448072449731830040059/22739426257253\ 46164249766427739068407928992067*c_0101_6^24 - 24528755618182305936915906567939706937136524566881679/1819154100580\ 2769313998131421912547263431936536*c_0101_6^22 + 79073903788809229410934366726647229651423391418229329/3638308201160\ 5538627996262843825094526863873072*c_0101_6^20 - 109542283395304124233110108439088995886158969117311049/363830820116\ 05538627996262843825094526863873072*c_0101_6^18 + 15954284477600237865021762333877109131891422861965639/4547885251450\ 692328499532855478136815857984134*c_0101_6^16 - 128331403144423059126780664809983680713355283050764441/363830820116\ 05538627996262843825094526863873072*c_0101_6^14 + 51841013862253043298368881407155707679985113164426763/1819154100580\ 2769313998131421912547263431936536*c_0101_6^12 - 59240008949375097950328434956787789098070064857454097/3638308201160\ 5538627996262843825094526863873072*c_0101_6^10 + 1355453261879116479284152963612939464538271971684508/22739426257253\ 46164249766427739068407928992067*c_0101_6^8 - 4734769087535326203529682266941912622459501657970255/36383082011605\ 538627996262843825094526863873072*c_0101_6^6 + 144704025821576085640592638411852500344644893247751/909577050290138\ 4656999065710956273631715968268*c_0101_6^4 - 35892777480200964982370416691169465736513303832719/3638308201160553\ 8627996262843825094526863873072*c_0101_6^2 + 867032210136257384954190799519778225299939406293/363830820116055386\ 27996262843825094526863873072, c_0101_6^40 - 5*c_0101_6^38 + 56*c_0101_6^36 - 656*c_0101_6^34 + 473*c_0101_6^32 - 6835*c_0101_6^30 + 63289*c_0101_6^28 - 189017*c_0101_6^26 + 360946*c_0101_6^24 - 588725*c_0101_6^22 + 827044*c_0101_6^20 - 981901*c_0101_6^18 + 1005759*c_0101_6^16 - 839007*c_0101_6^14 + 511549*c_0101_6^12 - 210141*c_0101_6^10 + 55377*c_0101_6^8 - 9047*c_0101_6^6 + 877*c_0101_6^4 - 46*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB