Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 3785391576] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0132 geometric_solution 3.63972219 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 -1 1 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 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.764460296345 0.014518729599 0 2 0 2 0132 0132 1023 1023 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 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.598333203507 0.040115327349 3 1 3 1 0132 0132 2310 1023 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 0 0 0 -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.849797953928 0.514759010020 2 2 4 4 0132 3201 2310 0132 0 0 0 0 0 -1 0 1 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 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 0 0 0 2.929206875678 3.826088076300 5 3 3 6 0132 3201 0132 0132 0 0 0 0 0 0 -1 1 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 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.200281315046 0.404851646547 4 6 6 6 0132 2310 1302 3201 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 -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.000710376278 1.008566169797 5 5 4 5 2031 2310 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.000710376278 1.008566169797 ==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' : 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' : 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_4'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 29125325206383985679980266557488864/6274145732413016753142078839955\ 3*c_0101_3^23 - 67560212562042805759417911164360174/209138191080433\ 89177140262799851*c_0101_3^22 + 13901718095418963233617279532738473\ 5/6971273036014463059046754266617*c_0101_3^21 + 3112057052478735430882078481731151341/62741457324130167531420788399\ 553*c_0101_3^20 - 13981260912845308963479457024843903421/6274145732\ 4130167531420788399553*c_0101_3^19 - 2250193675869915529584471780803939346/69712730360144630590467542666\ 17*c_0101_3^18 + 68043570487550010211800921025301551241/62741457324\ 130167531420788399553*c_0101_3^17 + 73734157041009117131225021595632175916/6274145732413016753142078839\ 9553*c_0101_3^16 - 166842528025104294213792013996725775759/62741457\ 324130167531420788399553*c_0101_3^15 - 155443405425324002732286182562517603597/627414573241301675314207883\ 99553*c_0101_3^14 + 213960399048440692682776747457776616839/6274145\ 7324130167531420788399553*c_0101_3^13 + 185586582601093557219614817340114333621/627414573241301675314207883\ 99553*c_0101_3^12 - 46858500698421401378559895254772269656/20913819\ 108043389177140262799851*c_0101_3^11 - 122029318679913290687733567937265250722/627414573241301675314207883\ 99553*c_0101_3^10 + 40352364128241365276829708518224453069/62741457\ 324130167531420788399553*c_0101_3^9 + 43987730455700650075997422451475226492/6274145732413016753142078839\ 9553*c_0101_3^8 - 244582047488273169673686739092382177/627414573241\ 30167531420788399553*c_0101_3^7 - 115859960149821746510767436572578\ 96931/62741457324130167531420788399553*c_0101_3^6 - 2637406504706478103076877491994784405/62741457324130167531420788399\ 553*c_0101_3^5 + 451152078541645268534646379798633178/6971273036014\ 463059046754266617*c_0101_3^4 + 34701386053000979978802750399721291\ 1/20913819108043389177140262799851*c_0101_3^3 - 883563357210863232816392003176998871/627414573241301675314207883995\ 53*c_0101_3^2 - 26678510358574654595194855128004060/697127303601446\ 3059046754266617*c_0101_3 - 1676085911568827089994300342793389/6274\ 1457324130167531420788399553, c_0011_0 - 1, c_0011_4 - 72732834862098940268199432812950/697127303601446305904675426\ 6617*c_0101_3^23 - 528015213866910078500705137240337/69712730360144\ 63059046754266617*c_0101_3^22 + 2978473964755214506761879586982836/\ 6971273036014463059046754266617*c_0101_3^21 + 8756425452627264077477105533757077/6971273036014463059046754266617*\ c_0101_3^20 - 32834312023052024832606203433463882/69712730360144630\ 59046754266617*c_0101_3^19 - 61809340546005243867692468146231449/69\ 71273036014463059046754266617*c_0101_3^18 + 157540148685449004032701036698047809/697127303601446305904675426661\ 7*c_0101_3^17 + 240244381413495701520150993713118518/69712730360144\ 63059046754266617*c_0101_3^16 - 37479893418434360210214038694794191\ 7/6971273036014463059046754266617*c_0101_3^15 - 531858297157945429668335254300151702/697127303601446305904675426661\ 7*c_0101_3^14 + 449737742204751154426717593430103078/69712730360144\ 63059046754266617*c_0101_3^13 + 66121072852016996786615954525206517\ 2/6971273036014463059046754266617*c_0101_3^12 - 251134148490458751564590318589846403/697127303601446305904675426661\ 7*c_0101_3^11 - 449983569534602035952157269591580344/69712730360144\ 63059046754266617*c_0101_3^10 + 34112740195646699424652305570694387\ /6971273036014463059046754266617*c_0101_3^9 + 161709714649496067670233224485234912/697127303601446305904675426661\ 7*c_0101_3^8 + 24920969942510317619674901987875794/6971273036014463\ 059046754266617*c_0101_3^7 - 35170225250183392946874934539505482/69\ 71273036014463059046754266617*c_0101_3^6 - 14915802485112255135207224331410457/6971273036014463059046754266617\ *c_0101_3^5 + 9881123395014995554647005200534451/697127303601446305\ 9046754266617*c_0101_3^4 + 6108388455846025453458546411824800/69712\ 73036014463059046754266617*c_0101_3^3 - 2185172153021395479123007848019203/6971273036014463059046754266617*\ c_0101_3^2 - 1386069129953925511348279812235216/6971273036014463059\ 046754266617*c_0101_3 - 38620863958898332028129404852381/6971273036\ 014463059046754266617, c_0011_6 + 43159075771148854779106119229778/697127303601446305904675426\ 6617*c_0101_3^23 + 317424763504549999320798197434127/69712730360144\ 63059046754266617*c_0101_3^22 - 1741884695055869816864757799954502/\ 6971273036014463059046754266617*c_0101_3^21 - 5390897543751432304920580688486555/6971273036014463059046754266617*\ c_0101_3^20 + 19191992311256454952512958337917134/69712730360144630\ 59046754266617*c_0101_3^19 + 38846511172714153150409958909918151/69\ 71273036014463059046754266617*c_0101_3^18 - 92263484908882568498209266921716548/6971273036014463059046754266617\ *c_0101_3^17 - 152863241047952871659193017631354746/697127303601446\ 3059046754266617*c_0101_3^16 + 219743019666193543974143957978547971\ /6971273036014463059046754266617*c_0101_3^15 + 340221438088999108571384951409359530/697127303601446305904675426661\ 7*c_0101_3^14 - 263332975176449581585159951046657409/69712730360144\ 63059046754266617*c_0101_3^13 - 42320192577108686168367567095292976\ 2/6971273036014463059046754266617*c_0101_3^12 + 145640289183780682995716419514535430/697127303601446305904675426661\ 7*c_0101_3^11 + 287126296318988393503736640266366203/69712730360144\ 63059046754266617*c_0101_3^10 - 17511236232136798288673892929999932\ /6971273036014463059046754266617*c_0101_3^9 - 102305985102339818340241505861942610/697127303601446305904675426661\ 7*c_0101_3^8 - 16773081023492178054083939447407261/6971273036014463\ 059046754266617*c_0101_3^7 + 21813753641138766874770129816132076/69\ 71273036014463059046754266617*c_0101_3^6 + 9975977695817350489313387654128058/6971273036014463059046754266617*\ c_0101_3^5 - 6099902328286674824827775111189350/6971273036014463059\ 046754266617*c_0101_3^4 - 4000036664203384092718456460003775/697127\ 3036014463059046754266617*c_0101_3^3 + 1361039291261745633813324050787784/6971273036014463059046754266617*\ c_0101_3^2 + 873249013711011646313986892256473/69712730360144630590\ 46754266617*c_0101_3 + 25313066183713917690644642134343/69712730360\ 14463059046754266617, c_0101_0 + 11786145298540471999912063014136/697127303601446305904675426\ 6617*c_0101_3^23 + 101218994469067897232207704864480/69712730360144\ 63059046754266617*c_0101_3^22 - 372645672992352044528660869351854/6\ 971273036014463059046754266617*c_0101_3^21 - 2082713086292365826698705670354946/6971273036014463059046754266617*\ c_0101_3^20 + 3614205004733788580926895018563543/697127303601446305\ 9046754266617*c_0101_3^19 + 17374377606908773910142766784340541/697\ 1273036014463059046754266617*c_0101_3^18 - 14374648828620589845384759283513976/6971273036014463059046754266617\ *c_0101_3^17 - 74348019558416057514624557973680392/6971273036014463\ 059046754266617*c_0101_3^16 + 20572464691511555539044463548702853/6\ 971273036014463059046754266617*c_0101_3^15 + 171521856925023457827257470155532250/697127303601446305904675426661\ 7*c_0101_3^14 + 8828436323736185926188542932590232/6971273036014463\ 059046754266617*c_0101_3^13 - 214081778052626164001275092929600069/\ 6971273036014463059046754266617*c_0101_3^12 - 50146890907515997226116238798873249/6971273036014463059046754266617\ *c_0101_3^11 + 142115953115266432022380335860682058/697127303601446\ 3059046754266617*c_0101_3^10 + 47479537399984830078135027679981809/\ 6971273036014463059046754266617*c_0101_3^9 - 47088934070391954190248026083890760/6971273036014463059046754266617\ *c_0101_3^8 - 20507995167099372980173133865025165/69712730360144630\ 59046754266617*c_0101_3^7 + 6933563624518081255653852720601941/6971\ 273036014463059046754266617*c_0101_3^6 + 7135617957091146588892445629929697/6971273036014463059046754266617*\ c_0101_3^5 - 647020211988731074419180373158549/69712730360144630590\ 46754266617*c_0101_3^4 - 2946925493499130955227000091475932/6971273\ 036014463059046754266617*c_0101_3^3 + 58883325633671125660072097427614/6971273036014463059046754266617*c_\ 0101_3^2 + 591552343140483144879697462237898/6971273036014463059046\ 754266617*c_0101_3 + 27464907180516762281928215258379/6971273036014\ 463059046754266617, c_0101_1 - 97322883369873051608553642403770/697127303601446305904675426\ 6617*c_0101_3^23 - 720059987097597790249512013832953/69712730360144\ 63059046754266617*c_0101_3^22 + 3900407309134773893040758902193593/\ 6971273036014463059046754266617*c_0101_3^21 + 12354768260549809017866861868486793/6971273036014463059046754266617\ *c_0101_3^20 - 42920797748634927369199254811284662/6971273036014463\ 059046754266617*c_0101_3^19 - 89854223559906059198756052885931395/6\ 971273036014463059046754266617*c_0101_3^18 + 206197025741236534873344485216472910/697127303601446305904675426661\ 7*c_0101_3^17 + 355844881875594497622998798932959926/69712730360144\ 63059046754266617*c_0101_3^16 - 49007675113364624943421754062195784\ 3/6971273036014463059046754266617*c_0101_3^15 - 795305379091820285890637630645605963/697127303601446305904675426661\ 7*c_0101_3^14 + 583991528103932303860733379104958430/69712730360144\ 63059046754266617*c_0101_3^13 + 99227922309967223524911219253839997\ 2/6971273036014463059046754266617*c_0101_3^12 - 317443703918018866236047366703397514/697127303601446305904675426661\ 7*c_0101_3^11 - 674693654420567864922511860724518129/69712730360144\ 63059046754266617*c_0101_3^10 + 31963988750826752190835460172541108\ /6971273036014463059046754266617*c_0101_3^9 + 240266994598234800883503576190985917/697127303601446305904675426661\ 7*c_0101_3^8 + 40987763513529521499870981594727287/6971273036014463\ 059046754266617*c_0101_3^7 - 50597375143666722306531442959919325/69\ 71273036014463059046754266617*c_0101_3^6 - 23484908578071901194776553636027288/6971273036014463059046754266617\ *c_0101_3^5 + 13965129197740834976983069908046166/69712730360144630\ 59046754266617*c_0101_3^4 + 9453807127971029661119392742706740/6971\ 273036014463059046754266617*c_0101_3^3 - 3114001818974652780777683381416823/6971273036014463059046754266617*\ c_0101_3^2 - 2106741198114981369062935507926283/6971273036014463059\ 046754266617*c_0101_3 - 74070096614453208094610603356678/6971273036\ 014463059046754266617, c_0101_2 + 54135177332659380616620025580486/697127303601446305904675426\ 6617*c_0101_3^23 + 383197081032102064553090335591885/69712730360144\ 63059046754266617*c_0101_3^22 - 2283572478748289911331693962929204/\ 6971273036014463059046754266617*c_0101_3^21 - 6086709828111190554949440701021368/6971273036014463059046754266617*\ c_0101_3^20 + 25410915613285313192156154138369763/69712730360144630\ 59046754266617*c_0101_3^19 + 41186175226879499109581067481327608/69\ 71273036014463059046754266617*c_0101_3^18 - 123195033415356415432461755302122859/697127303601446305904675426661\ 7*c_0101_3^17 - 155416919024479904146007077094978043/69712730360144\ 63059046754266617*c_0101_3^16 + 29928926553952379964247769971201132\ 4/6971273036014463059046754266617*c_0101_3^15 + 338524093909594542959881058729583315/697127303601446305904675426661\ 7*c_0101_3^14 - 375124200904463131130585953862232925/69712730360144\ 63059046754266617*c_0101_3^13 - 41817391200164598966893068326524253\ 4/6971273036014463059046754266617*c_0101_3^12 + 232078830864864846012249641402212994/697127303601446305904675426661\ 7*c_0101_3^11 + 285065394472473453473957427961706352/69712730360144\ 63059046754266617*c_0101_3^10 - 52970841332574726388378572890050905\ /6971273036014463059046754266617*c_0101_3^9 - 104482491435150378832502944222193475/697127303601446305904675426661\ 7*c_0101_3^8 - 8906130411326081311316075208375387/69712730360144630\ 59046754266617*c_0101_3^7 + 24834526004927299310091221635870389/697\ 1273036014463059046754266617*c_0101_3^6 + 7998324501068637623301998884686727/6971273036014463059046754266617*\ c_0101_3^5 - 7682681411985002804014536426815993/6971273036014463059\ 046754266617*c_0101_3^4 - 3301610000361223986851903339179326/697127\ 3036014463059046754266617*c_0101_3^3 + 1695498076933610085821935059515245/6971273036014463059046754266617*\ c_0101_3^2 + 787772764787484308556148134553895/69712730360144630590\ 46754266617*c_0101_3 + 18397300917473375456978695909739/69712730360\ 14463059046754266617, c_0101_3^24 + 13/2*c_0101_3^23 - 93/2*c_0101_3^22 - 179/2*c_0101_3^21 + 1089/2*c_0101_3^20 + 1019/2*c_0101_3^19 - 5659/2*c_0101_3^18 - 1670*c_0101_3^17 + 7748*c_0101_3^16 + 6861/2*c_0101_3^15 - 11945*c_0101_3^14 - 4449*c_0101_3^13 + 10621*c_0101_3^12 + 3626*c_0101_3^11 - 5343*c_0101_3^10 - 3825/2*c_0101_3^9 + 1403*c_0101_3^8 + 1533/2*c_0101_3^7 - 171*c_0101_3^6 - 301*c_0101_3^5 + 21*c_0101_3^4 + 97*c_0101_3^3 - 4*c_0101_3^2 - 29/2*c_0101_3 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB