Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 3583265075] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0750 geometric_solution 4.69430254 oriented_manifold CS_known -0.0000000000000001 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548166960069 0.468787372867 3 2 2 0 0132 3012 2031 0132 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 0 0 0 0 0 1 -1 0 -1 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.692141382483 0.702101491371 1 3 0 1 1230 3201 0132 1302 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 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692141382483 0.702101491371 1 4 2 4 0132 0132 2310 1023 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.942426937968 1.070654050425 5 3 5 3 0132 0132 2310 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.727240868887 0.411081238175 4 4 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476504840186 0.136317701826 6 5 6 5 2310 2310 3201 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 -1.406685695647 0.197254626834 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], '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_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : 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_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], '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_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1832881854668313703226996659537666281045529927969/23354727464717863\ 63688638675087497832057992729*c_0101_5^19 - 83850797058993835512096296482620796923669566338/2335472746471786363\ 688638675087497832057992729*c_0101_5^18 - 65981391479899467229671584271315333284215432380977/2335472746471786\ 363688638675087497832057992729*c_0101_5^17 - 59299698905940295576259225833438198654696216846208/2335472746471786\ 363688638675087497832057992729*c_0101_5^16 + 45522154640387968731242167845984525911993486266474/7784909154905954\ 54562879558362499277352664243*c_0101_5^15 + 441034393710452151384604807085880716962948176267499/233547274647178\ 6363688638675087497832057992729*c_0101_5^14 + 1124740997490989044765275688465800483484182856586161/77849091549059\ 5454562879558362499277352664243*c_0101_5^13 + 2378302022411336698035856938328096871302564904160380/23354727464717\ 86363688638675087497832057992729*c_0101_5^12 - 7501787461563784762797265487048885223887456133008378/23354727464717\ 86363688638675087497832057992729*c_0101_5^11 - 5460379376906947768897958826255247369598807630003464/23354727464717\ 86363688638675087497832057992729*c_0101_5^10 - 8718461976675334769152591258611439964945141053527341/23354727464717\ 86363688638675087497832057992729*c_0101_5^9 - 2005825921778458442771034128980555994609246357106794/23354727464717\ 86363688638675087497832057992729*c_0101_5^8 + 5241174163334140813833882028125307404593066280942059/77849091549059\ 5454562879558362499277352664243*c_0101_5^7 + 2977245017382595702556251074962299790664796304848280/23354727464717\ 86363688638675087497832057992729*c_0101_5^6 + 7766151348861452267730156416093646738933224108957567/23354727464717\ 86363688638675087497832057992729*c_0101_5^5 - 211781058133999448358710144334341590462478770180022/233547274647178\ 6363688638675087497832057992729*c_0101_5^4 - 2120244429337170378480857727382598404230908711286931/23354727464717\ 86363688638675087497832057992729*c_0101_5^3 + 904040750316419197391883204598183447825707086085949/233547274647178\ 6363688638675087497832057992729*c_0101_5^2 - 492605184640206407504888627767788226704382859931464/233547274647178\ 6363688638675087497832057992729*c_0101_5 + 47840557725664749518271376412812074145068101530978/2335472746471786\ 363688638675087497832057992729, c_0011_0 - 1, c_0011_1 + 421043246422528890106741005373460298511670/86498990610066161\ 618097728706944364150296027*c_0101_5^19 + 200122472751365615296365905540485090803044/864989906100661616180977\ 28706944364150296027*c_0101_5^18 - 15060518433590688252647652122440232929871436/8649899061006616161809\ 7728706944364150296027*c_0101_5^17 - 21467985892691011066886447908827065643459758/8649899061006616161809\ 7728706944364150296027*c_0101_5^16 + 20403513772889555691392820385936484903263843/8649899061006616161809\ 7728706944364150296027*c_0101_5^15 + 112180063098046735096266107107285427416794056/864989906100661616180\ 97728706944364150296027*c_0101_5^14 + 835182377408092563687394333924193326449809016/864989906100661616180\ 97728706944364150296027*c_0101_5^13 + 981026749431061040742007710104206498293400651/864989906100661616180\ 97728706944364150296027*c_0101_5^12 - 1231349890244140085654792955312498034169830253/86498990610066161618\ 097728706944364150296027*c_0101_5^11 - 1917639782218964738246241591385914065915597663/86498990610066161618\ 097728706944364150296027*c_0101_5^10 - 3077320120715338356274717154522065951279747019/86498990610066161618\ 097728706944364150296027*c_0101_5^9 - 2089885467787116120020070097595868382390167102/86498990610066161618\ 097728706944364150296027*c_0101_5^8 + 2827789611838992140765459694305160775618527402/86498990610066161618\ 097728706944364150296027*c_0101_5^7 + 2265370581452196050524893564572791272659032154/86498990610066161618\ 097728706944364150296027*c_0101_5^6 + 3084026165277319116253482161171392648137253418/86498990610066161618\ 097728706944364150296027*c_0101_5^5 + 1500052971369060683366900474870134524610573687/86498990610066161618\ 097728706944364150296027*c_0101_5^4 - 142022147875734979996335852903609674746302040/864989906100661616180\ 97728706944364150296027*c_0101_5^3 + 163511028937188108879133992187869004525968928/864989906100661616180\ 97728706944364150296027*c_0101_5^2 - 130130456017535048496876260969836387112930571/864989906100661616180\ 97728706944364150296027*c_0101_5 - 23488255704028074588113554403681501654718577/8649899061006616161809\ 7728706944364150296027, c_0011_6 + 854593111555503389804895583573543924192673/86498990610066161\ 618097728706944364150296027*c_0101_5^19 + 194973138937377812031645974595632747839409/864989906100661616180977\ 28706944364150296027*c_0101_5^18 - 30789648093194425326078236657641546930440073/8649899061006616161809\ 7728706944364150296027*c_0101_5^17 - 36055500145678712646439531644285359674259874/8649899061006616161809\ 7728706944364150296027*c_0101_5^16 + 56638125144919122999723358101436987806190614/8649899061006616161809\ 7728706944364150296027*c_0101_5^15 + 222892097229624002650412015343834330349936378/864989906100661616180\ 97728706944364150296027*c_0101_5^14 + 1627570683294790341284186651140104277790929596/86498990610066161618\ 097728706944364150296027*c_0101_5^13 + 1536647071033723120852865727408958470168668815/86498990610066161618\ 097728706944364150296027*c_0101_5^12 - 3216507866975626242747608161296681896946858710/86498990610066161618\ 097728706944364150296027*c_0101_5^11 - 3485110798736338882343357371393540242356393000/86498990610066161618\ 097728706944364150296027*c_0101_5^10 - 4657575564774272641591016054784681976475165772/86498990610066161618\ 097728706944364150296027*c_0101_5^9 - 2031634287799212510806519149774074260782089887/86498990610066161618\ 097728706944364150296027*c_0101_5^8 + 7078447895874577273540222865787831789336481890/86498990610066161618\ 097728706944364150296027*c_0101_5^7 + 3232088105689135196803774338211700960466596679/86498990610066161618\ 097728706944364150296027*c_0101_5^6 + 3764665603366531686804674474164823255909403623/86498990610066161618\ 097728706944364150296027*c_0101_5^5 + 898767413544972441277797692303517248433925114/864989906100661616180\ 97728706944364150296027*c_0101_5^4 - 927767960877985738469370836392079770788473519/864989906100661616180\ 97728706944364150296027*c_0101_5^3 + 347985119747704688280840398940433355842853524/864989906100661616180\ 97728706944364150296027*c_0101_5^2 - 92460243351934010014414924702584464809667168/8649899061006616161809\ 7728706944364150296027*c_0101_5 - 117223319864415674920654350107348\ 04708828633/86498990610066161618097728706944364150296027, c_0101_0 + 5432415115657665786997963538827043279336791/8649899061006616\ 1618097728706944364150296027*c_0101_5^19 + 479914596126383990698985151675977773128146/864989906100661616180977\ 28706944364150296027*c_0101_5^18 - 195477302274546538973544731124503703101399351/864989906100661616180\ 97728706944364150296027*c_0101_5^17 - 202042889663698527225905245590269641373926950/864989906100661616180\ 97728706944364150296027*c_0101_5^16 + 377023507074374536009603889748859267671014254/864989906100661616180\ 97728706944364150296027*c_0101_5^15 + 1359823059134884913305208595636735492966184067/86498990610066161618\ 097728706944364150296027*c_0101_5^14 + 10186587003795346734537234194220134837112440118/8649899061006616161\ 8097728706944364150296027*c_0101_5^13 + 8412498271953464439445498337215101737535841605/86498990610066161618\ 097728706944364150296027*c_0101_5^12 - 21090399839625335498169031739113928415968719252/8649899061006616161\ 8097728706944364150296027*c_0101_5^11 - 19119683403342981207325662634762902006008959338/8649899061006616161\ 8097728706944364150296027*c_0101_5^10 - 28555695310817390860541677241051085246543054156/8649899061006616161\ 8097728706944364150296027*c_0101_5^9 - 9467441206020530764933729297133335277493002756/86498990610066161618\ 097728706944364150296027*c_0101_5^8 + 45452882174228915728063246843499045175303698717/8649899061006616161\ 8097728706944364150296027*c_0101_5^7 + 15071902484433736878667251351843746693362541973/8649899061006616161\ 8097728706944364150296027*c_0101_5^6 + 25169357805667994596155164298145997397626720991/8649899061006616161\ 8097728706944364150296027*c_0101_5^5 + 2114675545029496714245059315728700943720560124/86498990610066161618\ 097728706944364150296027*c_0101_5^4 - 5937714217817484063768158356815251409076560301/86498990610066161618\ 097728706944364150296027*c_0101_5^3 + 1801203250921889183107746975442381987040374482/86498990610066161618\ 097728706944364150296027*c_0101_5^2 - 1142941009878651788167302440115935472878103842/86498990610066161618\ 097728706944364150296027*c_0101_5 + 49089871520336339768936454062932472152174499/8649899061006616161809\ 7728706944364150296027, c_0101_1 + 2319522040850016174583560724983267876196049/8649899061006616\ 1618097728706944364150296027*c_0101_5^19 - 1196998758671025271894774927932904106537/86498990610066161618097728\ 706944364150296027*c_0101_5^18 - 8354937622942654850202116998787284\ 8824155142/86498990610066161618097728706944364150296027*c_0101_5^17 - 78803172946734643023032130412437105987522174/86498990610066161618\ 097728706944364150296027*c_0101_5^16 + 171035359325999748274346911750348997697192281/864989906100661616180\ 97728706944364150296027*c_0101_5^15 + 566817553308430235336888091243671152600432593/864989906100661616180\ 97728706944364150296027*c_0101_5^14 + 4291746907974201669108889179415543245376112029/86498990610066161618\ 097728706944364150296027*c_0101_5^13 + 3193982735871977254002645982459225597223588078/86498990610066161618\ 097728706944364150296027*c_0101_5^12 - 9436502840767684405494540366599426877260396242/86498990610066161618\ 097728706944364150296027*c_0101_5^11 - 7371480563020514520160780585909723810710796714/86498990610066161618\ 097728706944364150296027*c_0101_5^10 - 11156514369986879177440556747199468948370299728/8649899061006616161\ 8097728706944364150296027*c_0101_5^9 - 2998195672663895824192054434051225997921882456/86498990610066161618\ 097728706944364150296027*c_0101_5^8 + 19979614324480207191693408928443006105462073513/8649899061006616161\ 8097728706944364150296027*c_0101_5^7 + 4722340894760871518567052234353999997732212712/86498990610066161618\ 097728706944364150296027*c_0101_5^6 + 9616689398203195028704924604118048389743278226/86498990610066161618\ 097728706944364150296027*c_0101_5^5 + 260572563266135228060193353545942239476465135/864989906100661616180\ 97728706944364150296027*c_0101_5^4 - 2969984857161859945076848139413870888162983461/86498990610066161618\ 097728706944364150296027*c_0101_5^3 + 1033990455827578832495608951544278296299632562/86498990610066161618\ 097728706944364150296027*c_0101_5^2 - 505489253152337430012888125562720145893720963/864989906100661616180\ 97728706944364150296027*c_0101_5 + 3528660761458489939534881978032314153614140/86498990610066161618097\ 728706944364150296027, c_0101_4 - 1050042806841075392481364419415049632498107/8649899061006616\ 1618097728706944364150296027*c_0101_5^19 - 91811327221722018530092595403444991985912/8649899061006616161809772\ 8706944364150296027*c_0101_5^18 + 378390370607816764184832461885151\ 28133246337/86498990610066161618097728706944364150296027*c_0101_5^1\ 7 + 39028770844986355873763239037509997930741996/864989906100661616\ 18097728706944364150296027*c_0101_5^16 - 74858099354536903871509048263732675044417315/8649899061006616161809\ 7728706944364150296027*c_0101_5^15 - 264979758998939768263765202098971035690013034/864989906100661616180\ 97728706944364150296027*c_0101_5^14 - 1965950465826496204937771317806580865013137556/86498990610066161618\ 097728706944364150296027*c_0101_5^13 - 1611337052338544176099170219745423488963358319/86498990610066161618\ 097728706944364150296027*c_0101_5^12 + 4183871992141761672965528243265957347559865147/86498990610066161618\ 097728706944364150296027*c_0101_5^11 + 3792230709364444142067022123130205486333655119/86498990610066161618\ 097728706944364150296027*c_0101_5^10 + 5353519291577926759547755929628100843955534854/86498990610066161618\ 097728706944364150296027*c_0101_5^9 + 1658252499213287747512879943328624243834221070/86498990610066161618\ 097728706944364150296027*c_0101_5^8 - 9197220663809385746122192910732897035313242235/86498990610066161618\ 097728706944364150296027*c_0101_5^7 - 3135134981112870785608273619454902983060991010/86498990610066161618\ 097728706944364150296027*c_0101_5^6 - 4479389608328019688512425554251843487696516890/86498990610066161618\ 097728706944364150296027*c_0101_5^5 - 260369119674363284384900413276988785606158937/864989906100661616180\ 97728706944364150296027*c_0101_5^4 + 1593879136718464044719775323598474081672377876/86498990610066161618\ 097728706944364150296027*c_0101_5^3 - 292745694844105201162135301996236154289131176/864989906100661616180\ 97728706944364150296027*c_0101_5^2 + 270345919375884123917750340454578019199497596/864989906100661616180\ 97728706944364150296027*c_0101_5 - 515788678991509325385133932994532788343532/864989906100661616180977\ 28706944364150296027, c_0101_5^20 - 36*c_0101_5^18 - 34*c_0101_5^17 + 73*c_0101_5^16 + 244*c_0101_5^15 + 1852*c_0101_5^14 + 1382*c_0101_5^13 - 4032*c_0101_5^12 - 3165*c_0101_5^11 - 4896*c_0101_5^10 - 1315*c_0101_5^9 + 8524*c_0101_5^8 + 2015*c_0101_5^7 + 4318*c_0101_5^6 + 81*c_0101_5^5 - 1158*c_0101_5^4 + 441*c_0101_5^3 - 247*c_0101_5^2 + 14*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB