Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 4054871338] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1722 geometric_solution 5.43125737 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 1 0 -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.328190183164 0.545019915741 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 1 0 -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 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.602923806741 1.009278799004 1 3 0 4 1230 0132 0132 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 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.602923806741 1.009278799004 1 2 3 3 0132 0132 1230 3012 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 0 0 0 0 0.974305273788 1.066096258210 5 2 5 1 0132 2310 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 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.984352977858 1.698807663252 4 6 4 6 0132 0132 1023 1023 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551599702298 0.223874403442 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586622073034 0.056420777238 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], '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_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1066940989849293138886569669720029151173974/13424883446382239257175\ 256024504480260949*c_0110_6^25 - 4355440545361017421526988824735702\ 66607535/13424883446382239257175256024504480260949*c_0110_6^24 - 12741579741834913120003276514933792480467994/1342488344638223925717\ 5256024504480260949*c_0110_6^23 + 673664592321787781817042670917171\ 7640440549/1491653716264693250797250669389386695661*c_0110_6^22 - 43681995461673611022410329665830327242419415/1342488344638223925717\ 5256024504480260949*c_0110_6^21 - 161831598413605880343079773649135\ 0679617913/38247531186274185917878222292035556299*c_0110_6^20 + 825182092495078642336065842862135114615447112/134248834463822392571\ 75256024504480260949*c_0110_6^19 + 962620768554682578898490333197327662763804714/134248834463822392571\ 75256024504480260949*c_0110_6^18 - 118030942061297958215866193829882052260568799/149165371626469325079\ 7250669389386695661*c_0110_6^17 - 123621341446633679370284771893931\ 9575643177218/13424883446382239257175256024504480260949*c_0110_6^16 - 1295514617538250831618883777910535229589978938/134248834463822392\ 57175256024504480260949*c_0110_6^15 + 107394606618258468244100893551308975787219167/462927015392491008868\ 112276707051043481*c_0110_6^14 + 2288070646150331369245212598852621\ 087042037479/13424883446382239257175256024504480260949*c_0110_6^13 - 1423562149041988585135547811712622757207804556/13424883446382239257\ 175256024504480260949*c_0110_6^12 - 5158973188476585741326276737376165604738839941/13424883446382239257\ 175256024504480260949*c_0110_6^11 + 1196401333525968096186636956390886257102112662/13424883446382239257\ 175256024504480260949*c_0110_6^10 + 5096905747745587588895064009093983532788462315/13424883446382239257\ 175256024504480260949*c_0110_6^9 - 2418269650236772827975041148717072669237767/29248112083621436290142\ 169988027190111*c_0110_6^8 - 42762475880242551103742618076884957809\ 052357/213093388037813321542464381341340956523*c_0110_6^7 + 105775159938692201417856820642924459501949093/134248834463822392571\ 75256024504480260949*c_0110_6^6 + 118982561049373567190835426433897\ 9217634319708/13424883446382239257175256024504480260949*c_0110_6^5 + 478469740974157748067049156993889874740719/344227780676467673260904\ 000628320006691*c_0110_6^4 - 16195896111761343648758322761071522809\ 362704/789699026257778779833838589676734132997*c_0110_6^3 + 1456313188518426804918412289166056126766181/14916537162646932507972\ 50669389386695661*c_0110_6^2 + 118438622141260649370531115101048620\ 65528486/13424883446382239257175256024504480260949*c_0110_6 - 4207155350757562466453493046976098197053404/13424883446382239257175\ 256024504480260949, c_0011_0 - 1, c_0011_1 - 360010285223766244425935171917069524950/19178404923403198938\ 82179432072068608707*c_0110_6^25 - 490779432548289539461161058415180078587/191784049234031989388217943\ 2072068608707*c_0110_6^24 + 397527638753198027908639047377405617270\ 0/1917840492340319893882179432072068608707*c_0110_6^23 - 1473301932876217542350274030078730342472/21309338803781332154246438\ 1341340956523*c_0110_6^22 - 148973656143355967482877639893265174539\ 87/1917840492340319893882179432072068608707*c_0110_6^21 + 4922971961898175059284036566087560240829/49175397239495381894414857\ 232617143813*c_0110_6^20 + 5497629446726218206685479161748286972125\ 1/1917840492340319893882179432072068608707*c_0110_6^19 - 508990067847862618118974161821172209296913/191784049234031989388217\ 9432072068608707*c_0110_6^18 - 107876431559404817336973040051905567\ 850714/639280164113439964627393144024022869569*c_0110_6^17 + 355876331439595179329388529021157159700188/191784049234031989388217\ 9432072068608707*c_0110_6^16 + 102308664540972788306363209369639052\ 5396915/1917840492340319893882179432072068608707*c_0110_6^15 + 10936663445134777092890215838993080539020/6613243077035585840973032\ 5243864434783*c_0110_6^14 - 128591758073140408139769010061611538252\ 2874/1917840492340319893882179432072068608707*c_0110_6^13 - 1166830844653975912799536726732854484221244/19178404923403198938821\ 79432072068608707*c_0110_6^12 + 85346209987016943689148594042513105\ 9658373/1917840492340319893882179432072068608707*c_0110_6^11 + 1659011300494374477905228977492667302525064/19178404923403198938821\ 79432072068608707*c_0110_6^10 - 54891448157987240489352959666158378\ 3664128/1917840492340319893882179432072068608707*c_0110_6^9 - 387893346382341319317415272698391517977043/639280164113439964627393\ 144024022869569*c_0110_6^8 + 42246801888505050958919712005013428438\ 932/639280164113439964627393144024022869569*c_0110_6^7 + 29989180209476745155349620246767733559583/1128141466082541114048340\ 84239533447571*c_0110_6^6 + 893701278983889421325941129791908342898\ 79/1917840492340319893882179432072068608707*c_0110_6^5 - 3317401091157973871301391201535943587843/49175397239495381894414857\ 232617143813*c_0110_6^4 - 22248134924550213741903582834849180571016\ /1917840492340319893882179432072068608707*c_0110_6^3 - 1522679635724984744954723022500559785587/63928016411343996462739314\ 4024022869569*c_0110_6^2 - 3179600516025234058267489111016168724710\ /1917840492340319893882179432072068608707*c_0110_6 + 1311427308335197596964958318592072484169/19178404923403198938821794\ 32072068608707, c_0011_4 + 1586312930653931076984380232223656425237/1917840492340319893\ 882179432072068608707*c_0110_6^25 - 116312780259627229951418696122402819850/191784049234031989388217943\ 2072068608707*c_0110_6^24 - 186359857276282778966056621224999984695\ 47/1917840492340319893882179432072068608707*c_0110_6^23 + 9328421640930985862982668333640292707704/21309338803781332154246438\ 1341340956523*c_0110_6^22 - 408633202245022354984275683746338761175\ 71/1917840492340319893882179432072068608707*c_0110_6^21 - 21559184633133882342866312508621145853018/4917539723949538189441485\ 7232617143813*c_0110_6^20 + 939914890072020211333351172548601221243\ 625/1917840492340319893882179432072068608707*c_0110_6^19 + 1562769600982652484457820696014749669863345/19178404923403198938821\ 79432072068608707*c_0110_6^18 - 29803391598765560698222832507303522\ 9952763/639280164113439964627393144024022869569*c_0110_6^17 - 1775341953654998857578598340975782116739745/19178404923403198938821\ 79432072068608707*c_0110_6^16 - 26008974012911608411175675726461244\ 10504604/1917840492340319893882179432072068608707*c_0110_6^15 + 116611150337574311844204357555163494994084/661324307703558584097303\ 25243864434783*c_0110_6^14 + 38379934029528747418149057612383029461\ 78953/1917840492340319893882179432072068608707*c_0110_6^13 - 299927591389058002514202271082709739714274/191784049234031989388217\ 9432072068608707*c_0110_6^12 - 685784931594379199030289561103147394\ 8018016/1917840492340319893882179432072068608707*c_0110_6^11 - 254360198659336168881359088445188009750716/191784049234031989388217\ 9432072068608707*c_0110_6^10 + 613739187770645918553171463900160483\ 0242804/1917840492340319893882179432072068608707*c_0110_6^9 - 454886945994448689887521961592479925373/639280164113439964627393144\ 024022869569*c_0110_6^8 - 98059361985863813230745570974048172283134\ 6/639280164113439964627393144024022869569*c_0110_6^7 - 32462008896656380640396610113459230407265/1128141466082541114048340\ 84239533447571*c_0110_6^6 + 116385588887594596145572451167854999950\ 0078/1917840492340319893882179432072068608707*c_0110_6^5 + 4555747065045408704187290895470654299490/49175397239495381894414857\ 232617143813*c_0110_6^4 - 22199066280107950944088948564928663591433\ 4/1917840492340319893882179432072068608707*c_0110_6^3 - 219791349226273573975385886365166517237/639280164113439964627393144\ 024022869569*c_0110_6^2 + 9363193093386599287314359506965718357757/\ 1917840492340319893882179432072068608707*c_0110_6 - 1446034942620405116827584240370797817688/19178404923403198938821794\ 32072068608707, c_0101_0 + 1368488531411332584265209150516195666448/1917840492340319893\ 882179432072068608707*c_0110_6^25 - 64208430327136688674876486185303901927/1917840492340319893882179432\ 072068608707*c_0110_6^24 - 1623327356677233423855125728448213637974\ 6/1917840492340319893882179432072068608707*c_0110_6^23 + 7997199994842208043645913587809792089763/21309338803781332154246438\ 1341340956523*c_0110_6^22 - 316343946668592602945279661050823885328\ 57/1917840492340319893882179432072068608707*c_0110_6^21 - 18821089856716803176060279599793531142242/4917539723949538189441485\ 7232617143813*c_0110_6^20 + 794674466594743292374317699701188694922\ 787/1917840492340319893882179432072068608707*c_0110_6^19 + 1447429797206775436940980252197007287230401/19178404923403198938821\ 79432072068608707*c_0110_6^18 - 26875394952976149582248418831548178\ 5512120/639280164113439964627393144024022869569*c_0110_6^17 - 98515311021417367123707116726429861928986/1128141466082541114048340\ 84239533447571*c_0110_6^16 - 22575396024276362120478304092269176762\ 78139/1917840492340319893882179432072068608707*c_0110_6^15 + 102021060622208255678163265629790859149922/661324307703558584097303\ 25243864434783*c_0110_6^14 + 36591427913701822716415054966492860542\ 64817/1917840492340319893882179432072068608707*c_0110_6^13 - 379370124422292084513129699374237253447793/191784049234031989388217\ 9432072068608707*c_0110_6^12 - 617741684975693500592504528975390243\ 2739185/1917840492340319893882179432072068608707*c_0110_6^11 - 483338323790165242705076172408344624548294/191784049234031989388217\ 9432072068608707*c_0110_6^10 + 576954563697149451903558932552261902\ 0766714/1917840492340319893882179432072068608707*c_0110_6^9 + 62034032395336040696351671551811664115239/6392801641134399646273931\ 44024022869569*c_0110_6^8 - 958715606142405923692657812254239929997\ 748/639280164113439964627393144024022869569*c_0110_6^7 - 551973118697107581625150610937797185882633/191784049234031989388217\ 9432072068608707*c_0110_6^6 + 1098181859707736348046238687274520432\ 611140/1917840492340319893882179432072068608707*c_0110_6^5 + 5695444947943584321704889078103619567785/49175397239495381894414857\ 232617143813*c_0110_6^4 - 23388644411755302767537664196747166149264\ 7/1917840492340319893882179432072068608707*c_0110_6^3 + 100570373267560009426971442285961346362/639280164113439964627393144\ 024022869569*c_0110_6^2 + 10414085394382015740212599725134465605867\ /1917840492340319893882179432072068608707*c_0110_6 - 4058144130142236817500778712460439798948/19178404923403198938821794\ 32072068608707, c_0101_1 - 1445419500590621871237548622378341757703/1917840492340319893\ 882179432072068608707*c_0110_6^25 + 211260099433010496791306460934582839208/191784049234031989388217943\ 2072068608707*c_0110_6^24 + 100488040146152189128108079399204952454\ 9/112814146608254111404834084239533447571*c_0110_6^23 - 8645595803336789089377605606317867442167/21309338803781332154246438\ 1341340956523*c_0110_6^22 + 414508111730973765541345815221075928842\ 80/1917840492340319893882179432072068608707*c_0110_6^21 + 19741059620274099777640362252772764298741/4917539723949538189441485\ 7232617143813*c_0110_6^20 - 917906226752104554549338833321185940547\ 212/1917840492340319893882179432072068608707*c_0110_6^19 - 1420504115707169567209417094701661444265604/19178404923403198938821\ 79432072068608707*c_0110_6^18 + 33854795410941064339250772710564712\ 0391088/639280164113439964627393144024022869569*c_0110_6^17 + 1661140828184190216728108142229262676266566/19178404923403198938821\ 79432072068608707*c_0110_6^16 + 21443895137035283007969431953959910\ 53815414/1917840492340319893882179432072068608707*c_0110_6^15 - 117575756124742839888276104327613814686731/661324307703558584097303\ 25243864434783*c_0110_6^14 - 20344291203894355669038829946018981862\ 9356/112814146608254111404834084239533447571*c_0110_6^13 + 878702593828336373866191197799479541363319/191784049234031989388217\ 9432072068608707*c_0110_6^12 + 651668484134098935813699770415877407\ 4003339/1917840492340319893882179432072068608707*c_0110_6^11 - 292860285906960889031975461490863956482276/191784049234031989388217\ 9432072068608707*c_0110_6^10 - 619547990231252751367077912475863888\ 7704431/1917840492340319893882179432072068608707*c_0110_6^9 + 151943169649966194984142101643687408076066/639280164113439964627393\ 144024022869569*c_0110_6^8 + 10524916862816825666468943873461630087\ 36740/639280164113439964627393144024022869569*c_0110_6^7 + 277014701850550558339398403907254743673252/191784049234031989388217\ 9432072068608707*c_0110_6^6 - 1296959033839964541239370625273396032\ 688534/1917840492340319893882179432072068608707*c_0110_6^5 - 3582958321675852487283553948400134756585/49175397239495381894414857\ 232617143813*c_0110_6^4 + 28802746457968509327605187947965745268102\ 5/1917840492340319893882179432072068608707*c_0110_6^3 - 1191453121298379995939451173423954740510/63928016411343996462739314\ 4024022869569*c_0110_6^2 - 1090281524029027699870289659153267278845\ 5/1917840492340319893882179432072068608707*c_0110_6 + 4115285288612585762529688950224879983525/19178404923403198938821794\ 32072068608707, c_0101_4 + 2111530761759745701066086492546525456080/1917840492340319893\ 882179432072068608707*c_0110_6^25 - 150662040596749132300764107220916807936/191784049234031989388217943\ 2072068608707*c_0110_6^24 - 247026086201106733940420299335432841282\ 37/1917840492340319893882179432072068608707*c_0110_6^23 + 12439968298229927951334464003647513860841/2130933880378133215424643\ 81341340956523*c_0110_6^22 - 55082513405015772499798795197252010598\ 950/1917840492340319893882179432072068608707*c_0110_6^21 - 28628170008493643427668917509333496031555/4917539723949538189441485\ 7232617143813*c_0110_6^20 + 125674235824505631267744077851154966137\ 6531/1917840492340319893882179432072068608707*c_0110_6^19 + 2033903096741135607683510411670311074523995/19178404923403198938821\ 79432072068608707*c_0110_6^18 - 41849753968721142992334873931342306\ 4921998/639280164113439964627393144024022869569*c_0110_6^17 - 2273028394237701193795509531710900768606854/19178404923403198938821\ 79432072068608707*c_0110_6^16 - 32812103706844685771242226151384719\ 37963608/1917840492340319893882179432072068608707*c_0110_6^15 + 157051138876149761742505560375848564703344/661324307703558584097303\ 25243864434783*c_0110_6^14 + 48794968700616428932134650630909678997\ 18169/1917840492340319893882179432072068608707*c_0110_6^13 - 716819292419548857652448396321532347912623/191784049234031989388217\ 9432072068608707*c_0110_6^12 - 903089750054141847402895926116576160\ 2276569/1917840492340319893882179432072068608707*c_0110_6^11 + 70276639606940130954463578437770099119545/1917840492340319893882179\ 432072068608707*c_0110_6^10 + 8301727753528999618831063753044531748\ 075565/1917840492340319893882179432072068608707*c_0110_6^9 - 126242475220365158412837875670148901683531/639280164113439964627393\ 144024022869569*c_0110_6^8 - 13614869689964741754214436691666431664\ 76874/639280164113439964627393144024022869569*c_0110_6^7 - 30781797631735833068133045713700962957039/1128141466082541114048340\ 84239533447571*c_0110_6^6 + 167269411519096535295596226345716120401\ 2958/1917840492340319893882179432072068608707*c_0110_6^5 + 5001959008370690147359512450446051439568/49175397239495381894414857\ 232617143813*c_0110_6^4 - 34973971149779485518922451991572625345749\ 9/1917840492340319893882179432072068608707*c_0110_6^3 - 173304295710807679377508931894967220120/639280164113439964627393144\ 024022869569*c_0110_6^2 + 15452064505410164150313659798904360748414\ /1917840492340319893882179432072068608707*c_0110_6 - 3257888764574696392270357828323710667196/19178404923403198938821794\ 32072068608707, c_0110_6^26 - 12*c_0110_6^24 + 52*c_0110_6^23 - 19*c_0110_6^22 - 544*c_0110_6^21 + 556*c_0110_6^20 + 1160*c_0110_6^19 - 593*c_0110_6^18 - 1438*c_0110_6^17 - 1686*c_0110_6^16 + 2300*c_0110_6^15 + 3098*c_0110_6^14 - 348*c_0110_6^13 - 5054*c_0110_6^12 - 716*c_0110_6^11 + 4831*c_0110_6^10 + 686*c_0110_6^9 - 2628*c_0110_6^8 - 772*c_0110_6^7 + 1023*c_0110_6^6 + 373*c_0110_6^5 - 218*c_0110_6^4 - 65*c_0110_6^3 + 13*c_0110_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB