Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 273779967] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0714 geometric_solution 4.66714146 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1.677847474444 0.290949235368 0 2 2 0 3201 0132 1023 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 1 -1 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 1.144118253847 0.721853430517 3 1 1 4 0132 0132 1023 0132 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 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 0.332898208800 0.259562147942 2 4 5 4 0132 2310 0132 3201 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.344793599476 1.296865977384 5 3 2 3 1023 2310 0132 3201 0 0 0 0 0 0 0 0 1 0 -1 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 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.344793599476 1.296865977384 6 4 6 3 0132 1023 2310 0132 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 -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.402671185816 0.974533110746 5 5 6 6 0132 3201 2031 1302 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 0 0 0 0 0.482160099572 0.130304371532 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 64098024835308426925832852122190351308/5201282214966371369374122613\ 778890865*c_0101_5^18 + 1250716043280860228601109259244321120409/52\ 01282214966371369374122613778890865*c_0101_5^17 - 5354549191947170481304689086905740327961/52012822149663713693741226\ 13778890865*c_0101_5^16 - 6388470910015422915223024649962952738257/\ 5201282214966371369374122613778890865*c_0101_5^15 - 32743471026703230920388361404332040888277/5201282214966371369374122\ 613778890865*c_0101_5^14 + 4024634874042154133024564452377290919456\ 1/1040256442993274273874824522755778173*c_0101_5^13 + 17084662837083889746736536750038457389807/5201282214966371369374122\ 613778890865*c_0101_5^12 - 3214037625818723970947513769368422111338\ 58/5201282214966371369374122613778890865*c_0101_5^11 + 261130811540622619129191904836161873672108/520128221496637136937412\ 2613778890865*c_0101_5^10 + 375451958723124029359807000087490447071\ 36/5201282214966371369374122613778890865*c_0101_5^9 - 10633099243630701069909704999410743153411/2261427049985378856249618\ 52772995255*c_0101_5^8 - 8011346552650653898020720574288054864529/1\ 040256442993274273874824522755778173*c_0101_5^7 + 841731718861141995477863937789393490252/611915554701926043455779131\ 03281069*c_0101_5^6 + 11461296248718690719506520139326430114480/104\ 0256442993274273874824522755778173*c_0101_5^5 + 41121754791094604363942264095675160689/1330251205873752268382128545\ 7235015*c_0101_5^4 - 882402440556624811070287974571262901094/104025\ 6442993274273874824522755778173*c_0101_5^3 - 5062565698025795104163867372893994821681/52012822149663713693741226\ 13778890865*c_0101_5^2 - 1289154313692082987829209542179718442919/5\ 201282214966371369374122613778890865*c_0101_5 - 126100861834478677576423580946883079736/520128221496637136937412261\ 3778890865, c_0011_0 - 1, c_0011_1 + 21435736846500552058505159269087503/452285409997075771249923\ 70554599051*c_0101_5^18 - 421238441969857451105471785091222776/4522\ 8540999707577124992370554599051*c_0101_5^17 + 1845467196434902350932803262033107537/45228540999707577124992370554\ 599051*c_0101_5^16 + 1953409218327859411295675958381764842/45228540\ 999707577124992370554599051*c_0101_5^15 + 10332810720146253922851372953011745012/4522854099970757712499237055\ 4599051*c_0101_5^14 - 68894665071147521405344858681632272426/452285\ 40999707577124992370554599051*c_0101_5^13 + 2171941407540255381016748057639073776/45228540999707577124992370554\ 599051*c_0101_5^12 + 119650472080866612971847927922135076191/452285\ 40999707577124992370554599051*c_0101_5^11 - 110166307138548297679497737136312016852/452285409997075771249923705\ 54599051*c_0101_5^10 - 14507915816855452493778059322211700679/45228\ 540999707577124992370554599051*c_0101_5^9 + 4763110522256876941357287628544337351/19664583043351120489127117632\ 43437*c_0101_5^8 - 11380561186842234690295426395248375637/452285409\ 99707577124992370554599051*c_0101_5^7 - 2072745519407484393985000402164007349/26605024117475045367642570914\ 47003*c_0101_5^6 - 7835732919245766492784305193171495545/4522854099\ 9707577124992370554599051*c_0101_5^5 - 2337349162674832344005653925127972/11567401790206541464192422136726\ 1*c_0101_5^4 + 2282052263002275728059955169406582418/45228540999707\ 577124992370554599051*c_0101_5^3 + 1179055826511823839984580499036339519/45228540999707577124992370554\ 599051*c_0101_5^2 - 48319958144316395683818815101544823/45228540999\ 707577124992370554599051*c_0101_5 - 76493764026898837141186468861717544/4522854099970757712499237055459\ 9051, c_0011_4 - 6337719469284022968149571725943995/4522854099970757712499237\ 0554599051*c_0101_5^18 + 119755438950604141554562393296275893/45228\ 540999707577124992370554599051*c_0101_5^17 - 450484807201850713564967026689615026/452285409997075771249923705545\ 99051*c_0101_5^16 - 1010943347855295098261171261523296571/452285409\ 99707577124992370554599051*c_0101_5^15 - 3390417901368376153752187660678968634/45228540999707577124992370554\ 599051*c_0101_5^14 + 18106133906199343303050740207281030233/4522854\ 0999707577124992370554599051*c_0101_5^13 + 15230177054069412564067165633613008183/4522854099970757712499237055\ 4599051*c_0101_5^12 - 39484772818581824312644428189779814618/452285\ 40999707577124992370554599051*c_0101_5^11 + 7766746023241195066259454127677476296/45228540999707577124992370554\ 599051*c_0101_5^10 + 33824930089635436367537601742111601609/4522854\ 0999707577124992370554599051*c_0101_5^9 - 1599703813426768699202686108833384913/19664583043351120489127117632\ 43437*c_0101_5^8 - 18144778985093154234808624680658743006/452285409\ 99707577124992370554599051*c_0101_5^7 + 976889996011119060000433523110401658/266050241174750453676425709144\ 7003*c_0101_5^6 + 8188053932429047702567399883900958284/45228540999\ 707577124992370554599051*c_0101_5^5 + 2813219020817906650219948074585323/11567401790206541464192422136726\ 1*c_0101_5^4 - 587692330717324572508934391353883336/452285409997075\ 77124992370554599051*c_0101_5^3 - 786927825407693488448759185033684\ 248/45228540999707577124992370554599051*c_0101_5^2 - 109733678518236832260444992048835348/452285409997075771249923705545\ 99051*c_0101_5 + 64314172003833159723420366892552538/45228540999707\ 577124992370554599051, c_0101_0 + 9845902986577856845662294949830551/4522854099970757712499237\ 0554599051*c_0101_5^18 - 192648491098639462026490015835720215/45228\ 540999707577124992370554599051*c_0101_5^17 + 828926154786027557144699763988156484/452285409997075771249923705545\ 99051*c_0101_5^16 + 1014846733133332397020703797630575706/452285409\ 99707577124992370554599051*c_0101_5^15 + 4619923725777406985976485031968800965/45228540999707577124992370554\ 599051*c_0101_5^14 - 31435042952231647535531937206600717444/4522854\ 0999707577124992370554599051*c_0101_5^13 - 2830582174553283211359750797927979287/45228540999707577124992370554\ 599051*c_0101_5^12 + 62524780319004537078216585156494539865/4522854\ 0999707577124992370554599051*c_0101_5^11 - 46755500225398918796397587942202806333/4522854099970757712499237055\ 4599051*c_0101_5^10 - 22567442315838779621809556152965387283/452285\ 40999707577124992370554599051*c_0101_5^9 + 2692050952942266944025564789824394835/19664583043351120489127117632\ 43437*c_0101_5^8 - 1715663839015101187785174772817784509/4522854099\ 9707577124992370554599051*c_0101_5^7 - 1533780124363493819254395088145115979/26605024117475045367642570914\ 47003*c_0101_5^6 - 4043259467878733079034537067405426809/4522854099\ 9707577124992370554599051*c_0101_5^5 + 4648071683557347846335007618355295/11567401790206541464192422136726\ 1*c_0101_5^4 + 2109994419219990954948465081659231944/45228540999707\ 577124992370554599051*c_0101_5^3 + 742396309895562979086489663089270583/452285409997075771249923705545\ 99051*c_0101_5^2 - 92375860731963287363501543390404698/452285409997\ 07577124992370554599051*c_0101_5 - 82554594203198973218555459022346275/4522854099970757712499237055459\ 9051, c_0101_2 + 11478973649963963773352285530121636/452285409997075771249923\ 70554599051*c_0101_5^18 - 223203072135697648146535543299615780/4522\ 8540999707577124992370554599051*c_0101_5^17 + 940550870819690911536298448788494273/452285409997075771249923705545\ 99051*c_0101_5^16 + 1271859590487962203098553271130081441/452285409\ 99707577124992370554599051*c_0101_5^15 + 5650669503475057309433413361535886212/45228540999707577124992370554\ 599051*c_0101_5^14 - 35819640637464869467037466503518904578/4522854\ 0999707577124992370554599051*c_0101_5^13 - 6974602942014450991052517188514602935/45228540999707577124992370554\ 599051*c_0101_5^12 + 67911384589016117094086721063832904183/4522854\ 0999707577124992370554599051*c_0101_5^11 - 46879694015581960899932224077242722540/4522854099970757712499237055\ 4599051*c_0101_5^10 - 25346133469099763670448836226985189268/452285\ 40999707577124992370554599051*c_0101_5^9 + 2785194310630492540554232715430552592/19664583043351120489127117632\ 43437*c_0101_5^8 + 4445466472595689009256955771230497483/4522854099\ 9707577124992370554599051*c_0101_5^7 - 1450484530591571780944965373545040342/26605024117475045367642570914\ 47003*c_0101_5^6 - 6401203391303708492627403816419354809/4522854099\ 9707577124992370554599051*c_0101_5^5 - 1058561649893520464442811041034473/11567401790206541464192422136726\ 1*c_0101_5^4 + 1320816013628107512071744592232142574/45228540999707\ 577124992370554599051*c_0101_5^3 + 821377042817390627062486266294441939/452285409997075771249923705545\ 99051*c_0101_5^2 + 612057727550747545963808981832116/45228540999707\ 577124992370554599051*c_0101_5 - 5005417215941509453819890874577354\ 9/45228540999707577124992370554599051, c_0101_3 - 4993277470114531333233246670255256/4522854099970757712499237\ 0554599051*c_0101_5^18 + 96329798952733191875849453092840201/452285\ 40999707577124992370554599051*c_0101_5^17 - 395027705475459977456024887998177512/452285409997075771249923705545\ 99051*c_0101_5^16 - 601590304152151089255404661174026566/4522854099\ 9707577124992370554599051*c_0101_5^15 - 2606318618912131901237957188911562355/45228540999707577124992370554\ 599051*c_0101_5^14 + 15159949787473934341204731355801615272/4522854\ 0999707577124992370554599051*c_0101_5^13 + 5035813028580433335649126991726940722/45228540999707577124992370554\ 599051*c_0101_5^12 - 26775548353995507843584710385124895821/4522854\ 0999707577124992370554599051*c_0101_5^11 + 15219251723332895569803345394477881213/4522854099970757712499237055\ 4599051*c_0101_5^10 + 11717278632408364937129468679983429802/452285\ 40999707577124992370554599051*c_0101_5^9 - 964631096919930981872163152048950103/196645830433511204891271176324\ 3437*c_0101_5^8 - 8210430712167648354787852072366795308/45228540999\ 707577124992370554599051*c_0101_5^7 + 554598682548809845026555575198756602/266050241174750453676425709144\ 7003*c_0101_5^6 + 4601709307124426871949832086210151696/45228540999\ 707577124992370554599051*c_0101_5^5 + 769115354191573660405956557665064/115674017902065414641924221367261\ *c_0101_5^4 - 132887692524324452603476741311035410/4522854099970757\ 7124992370554599051*c_0101_5^3 - 3829517318825178056134007565773994\ 28/45228540999707577124992370554599051*c_0101_5^2 - 43158908512852949536143525989931253/4522854099970757712499237055459\ 9051*c_0101_5 + 40352076895458468191252212734894001/452285409997075\ 77124992370554599051, c_0101_5^19 - 20*c_0101_5^18 + 93*c_0101_5^17 + 60*c_0101_5^16 + 456*c_0101_5^15 - 3383*c_0101_5^14 + 1246*c_0101_5^13 + 5349*c_0101_5^12 - 6878*c_0101_5^11 + 1285*c_0101_5^10 + 4825*c_0101_5^9 - 1902*c_0101_5^8 - 1415*c_0101_5^7 + 15*c_0101_5^6 + 127*c_0101_5^5 + 121*c_0101_5^4 + 22*c_0101_5^3 - 16*c_0101_5^2 - 4*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB