Magma V2.19-8 Tue Aug 20 2013 16:16:54 on localhost [Seed = 559988220] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1156 geometric_solution 5.03188287 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 1.624500913195 0.132923220370 0 2 2 0 3201 0132 1023 0132 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 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.489024261166 0.393854918295 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 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 -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.094332075326 0.733151442242 2 5 4 6 0132 0132 1302 0132 0 0 0 0 0 0 0 0 -1 0 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 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.346569107671 0.411949144127 3 6 2 5 2031 1023 0132 2310 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 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.346569107671 0.411949144127 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.804159882274 1.421434577133 4 6 3 6 1023 1302 0132 2031 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 -1 0 1 -1 0 0 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.712623365064 0.547315124547 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0110_5'], '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_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : negation(d['c_0011_1']), '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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), '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' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), '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_5, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 21941769698341363755169597113083809283006/6500389967711267508692262\ 011858741551763*c_0110_5^22 + 2459718098176019147831254770440937966\ 26310/6500389967711267508692262011858741551763*c_0110_5^21 - 341224496911325331450051671959690022675200/650038996771126750869226\ 2011858741551763*c_0110_5^20 - 368266472944779586054861582457562491\ 3119920/6500389967711267508692262011858741551763*c_0110_5^19 + 119703167736555079980785684918744640695005/890464379138529795711268\ 76874777281531*c_0110_5^18 + 85591770011003239899639669013840690294\ 61021/6500389967711267508692262011858741551763*c_0110_5^17 - 10148160888262385983767554480847260452140931/6500389967711267508692\ 262011858741551763*c_0110_5^16 + 1879811303265331653246807832193745\ 9701636236/6500389967711267508692262011858741551763*c_0110_5^15 - 105893290299300675255994859436673859559687223/650038996771126750869\ 2262011858741551763*c_0110_5^14 - 765916372574502853680355215577273\ 49438136397/6500389967711267508692262011858741551763*c_0110_5^13 + 147737209464315757924851252294388634640487547/650038996771126750869\ 2262011858741551763*c_0110_5^12 + 623213436463702337902801605326338\ 20557506464/6500389967711267508692262011858741551763*c_0110_5^11 + 201637855216612558473940374002369238735345245/650038996771126750869\ 2262011858741551763*c_0110_5^10 - 241679272926417516267038346056327\ 19441916251/6500389967711267508692262011858741551763*c_0110_5^9 - 172464064810304233720483587388032800176004046/650038996771126750869\ 2262011858741551763*c_0110_5^8 - 2376848989847257554989844778599851\ 0200041236/6500389967711267508692262011858741551763*c_0110_5^7 - 105759361229981805699737044990520567102611610/650038996771126750869\ 2262011858741551763*c_0110_5^6 + 1809965055154215642891517989018558\ 4370003024/6500389967711267508692262011858741551763*c_0110_5^5 - 2400990701418447089530491712021506766026197/65003899677112675086922\ 62011858741551763*c_0110_5^4 + 152129411277431878187415999548835252\ 09057445/6500389967711267508692262011858741551763*c_0110_5^3 + 9175211709154309804917761593257764921718910/65003899677112675086922\ 62011858741551763*c_0110_5^2 + 517874782361722664640745624558363630\ 252069/6500389967711267508692262011858741551763*c_0110_5 + 1057088824103788410432658075892583593601353/65003899677112675086922\ 62011858741551763, c_0011_0 - 1, c_0011_1 + 205879180377690356511016409839830089735/65003899677112675086\ 92262011858741551763*c_0110_5^22 - 407272952399836239443751658835913998637/650038996771126750869226201\ 1858741551763*c_0110_5^21 - 100937352960855001243509444030963036608\ 47/6500389967711267508692262011858741551763*c_0110_5^20 + 7659606664667047516457043463144598601657/65003899677112675086922620\ 11858741551763*c_0110_5^19 + 17343918284736064400830409475630718563\ 31/89046437913852979571126876874777281531*c_0110_5^18 + 47237422510286664279778034421651235390653/6500389967711267508692262\ 011858741551763*c_0110_5^17 - 1547680913667010740454971449009407582\ 96473/6500389967711267508692262011858741551763*c_0110_5^16 - 369045186996994997451458548063961777411378/650038996771126750869226\ 2011858741551763*c_0110_5^15 - 138926310954604937686797986807136976\ 3143003/6500389967711267508692262011858741551763*c_0110_5^14 - 125399888493572881554852265314142931817252/650038996771126750869226\ 2011858741551763*c_0110_5^13 + 219907198868927899375347226892219864\ 1666692/6500389967711267508692262011858741551763*c_0110_5^12 + 1813287753666688715042998665476527692351987/65003899677112675086922\ 62011858741551763*c_0110_5^11 + 20357853600212759886265333948363603\ 23518036/6500389967711267508692262011858741551763*c_0110_5^10 - 1012493390337732385213100312308655518573574/65003899677112675086922\ 62011858741551763*c_0110_5^9 - 229024368540658967722997120285587112\ 5618690/6500389967711267508692262011858741551763*c_0110_5^8 - 938577784853921140509628830342315101279114/650038996771126750869226\ 2011858741551763*c_0110_5^7 - 1135334850021770942516053148834175369\ 815908/6500389967711267508692262011858741551763*c_0110_5^6 + 98644678822931276051003312285940492798254/6500389967711267508692262\ 011858741551763*c_0110_5^5 + 86052386774952559384224717080389976912\ 780/6500389967711267508692262011858741551763*c_0110_5^4 + 218694151385606630763109803729144108595634/650038996771126750869226\ 2011858741551763*c_0110_5^3 + 1266200203900814347449811674133777892\ 59892/6500389967711267508692262011858741551763*c_0110_5^2 + 18413669770844165394229150539808833334210/6500389967711267508692262\ 011858741551763*c_0110_5 + 1120376683088120303078926960676962231391\ 2/6500389967711267508692262011858741551763, c_0011_4 - 403344368351208282874440364698758495757/65003899677112675086\ 92262011858741551763*c_0110_5^22 + 2717501090154128867732988163576288263271/65003899677112675086922620\ 11858741551763*c_0110_5^21 + 63306594236227278074333386442462644220\ 70/6500389967711267508692262011858741551763*c_0110_5^20 - 42028937812461458379701957874375733504436/6500389967711267508692262\ 011858741551763*c_0110_5^19 - 5105811175056202349856964764348204499\ 72/89046437913852979571126876874777281531*c_0110_5^18 + 33877194247199550138759043177178824046303/6500389967711267508692262\ 011858741551763*c_0110_5^17 + 5188836940350605634337874105368346437\ 0650/6500389967711267508692262011858741551763*c_0110_5^16 + 536038985273566324568392721647364648417579/650038996771126750869226\ 2011858741551763*c_0110_5^15 + 315110862970498768282713399302800459\ 230805/6500389967711267508692262011858741551763*c_0110_5^14 - 593869923368581002139147959235844743127568/650038996771126750869226\ 2011858741551763*c_0110_5^13 - 712729928822416576751229556420858660\ 935962/6500389967711267508692262011858741551763*c_0110_5^12 - 1213545840123052059657112540377571499298168/65003899677112675086922\ 62011858741551763*c_0110_5^11 - 18351574125432208482300734786866987\ 42333/6500389967711267508692262011858741551763*c_0110_5^10 + 799939679782254788697190923006903258866898/650038996771126750869226\ 2011858741551763*c_0110_5^9 + 6230810272723330911674162717747595068\ 31776/6500389967711267508692262011858741551763*c_0110_5^8 + 737746766086925539107718814833227038758360/650038996771126750869226\ 2011858741551763*c_0110_5^7 - 6203632110347291187103718637327917673\ 592/6500389967711267508692262011858741551763*c_0110_5^6 + 2880578226671368402723155956071685831362/65003899677112675086922620\ 11858741551763*c_0110_5^5 - 115452092866899788271750488116423195156\ 453/6500389967711267508692262011858741551763*c_0110_5^4 - 77646085258988317335454026972109244814407/6500389967711267508692262\ 011858741551763*c_0110_5^3 - 17018636859438636104861992149592330127\ 528/6500389967711267508692262011858741551763*c_0110_5^2 - 7496788735758295188908685135190237263184/65003899677112675086922620\ 11858741551763*c_0110_5 + 1098145713163982589672514143735820290199/\ 6500389967711267508692262011858741551763, c_0101_0 - 174370706031136414905331886826510723272/65003899677112675086\ 92262011858741551763*c_0110_5^22 + 503842379732528479612645762856584154355/650038996771126750869226201\ 1858741551763*c_0110_5^21 + 767012776694464307465874798924512080587\ 7/6500389967711267508692262011858741551763*c_0110_5^20 - 10481314983594740248336145042242887144143/6500389967711267508692262\ 011858741551763*c_0110_5^19 - 1263796992519361620488683956681940887\ 290/89046437913852979571126876874777281531*c_0110_5^18 - 2169474375265548539531779883849685777169/65003899677112675086922620\ 11858741551763*c_0110_5^17 + 11272481688669916525646439741498751883\ 7778/6500389967711267508692262011858741551763*c_0110_5^16 + 258377229120487211113938168886445153422525/650038996771126750869226\ 2011858741551763*c_0110_5^15 + 970777518380541930526964993864447636\ 173124/6500389967711267508692262011858741551763*c_0110_5^14 - 243314706729594325589474572814327756229412/650038996771126750869226\ 2011858741551763*c_0110_5^13 - 152022387148695216235074134818522299\ 2783360/6500389967711267508692262011858741551763*c_0110_5^12 - 853269072419594135315312000881432941286878/650038996771126750869226\ 2011858741551763*c_0110_5^11 - 133971928282054388197602028273171668\ 1117680/6500389967711267508692262011858741551763*c_0110_5^10 + 1083245960936505433729140168962661464771629/65003899677112675086922\ 62011858741551763*c_0110_5^9 + 124330181059501671129207332414881272\ 4180399/6500389967711267508692262011858741551763*c_0110_5^8 + 331412976654669590626189000284981927624613/650038996771126750869226\ 2011858741551763*c_0110_5^7 + 8984543432581572278689346450341454203\ 56630/6500389967711267508692262011858741551763*c_0110_5^6 - 258337667280276062927492611887462095602448/650038996771126750869226\ 2011858741551763*c_0110_5^5 + 7308895639819468998922829990405858704\ 2115/6500389967711267508692262011858741551763*c_0110_5^4 - 171432645282148748756571675226769518949205/650038996771126750869226\ 2011858741551763*c_0110_5^3 - 5809211191109596738644774847032616841\ 5820/6500389967711267508692262011858741551763*c_0110_5^2 - 12826895084757249474243340316771770818670/6500389967711267508692262\ 011858741551763*c_0110_5 - 1173906041849470453582494513454933012865\ 0/6500389967711267508692262011858741551763, c_0101_2 - 412832047532836328395332088261169169146/65003899677112675086\ 92262011858741551763*c_0110_5^22 + 3010539987987743825182848808793839128602/65003899677112675086922620\ 11858741551763*c_0110_5^21 + 51264798655589451538578822274451695690\ 81/6500389967711267508692262011858741551763*c_0110_5^20 - 48104158945587929540762715217420562180833/6500389967711267508692262\ 011858741551763*c_0110_5^19 - 2178049887569220779995702873008762398\ 19/89046437913852979571126876874777281531*c_0110_5^18 + 79235693819053303425490398246132092796200/6500389967711267508692262\ 011858741551763*c_0110_5^17 + 2954559119166076577934869486468695555\ 7538/6500389967711267508692262011858741551763*c_0110_5^16 + 479749108518904277897976962142867356760752/650038996771126750869226\ 2011858741551763*c_0110_5^15 + 213269369132638781741397392655048976\ 80569/6500389967711267508692262011858741551763*c_0110_5^14 - 1003804435140818128561610333377193444690467/65003899677112675086922\ 62011858741551763*c_0110_5^13 - 28179051539829117123099046731173087\ 0464734/6500389967711267508692262011858741551763*c_0110_5^12 - 372447194287283274213067925620672373987512/650038996771126750869226\ 2011858741551763*c_0110_5^11 + 601070702530809326050988589656081007\ 088994/6500389967711267508692262011858741551763*c_0110_5^10 + 945261299754647438272739129196702453865310/650038996771126750869226\ 2011858741551763*c_0110_5^9 - 2280575553629957497724134653928139010\ 08806/6500389967711267508692262011858741551763*c_0110_5^8 + 82044454372804688003517472957918952745173/6500389967711267508692262\ 011858741551763*c_0110_5^7 - 13528292084340108437966929567071880433\ 1973/6500389967711267508692262011858741551763*c_0110_5^6 - 66031286906102600477879676236305329449147/6500389967711267508692262\ 011858741551763*c_0110_5^5 + 66227669898260727468862544747383142936\ 77/6500389967711267508692262011858741551763*c_0110_5^4 - 9285689887884869769523465200029504978839/65003899677112675086922620\ 11858741551763*c_0110_5^3 + 209240164333920388240375523189906216504\ 81/6500389967711267508692262011858741551763*c_0110_5^2 - 463982800473583440645301104150697005606/650038996771126750869226201\ 1858741551763*c_0110_5 - 1580608198924791827647163065223758622654/6\ 500389967711267508692262011858741551763, c_0101_5 - 208458829011315102946551170891792421377/65003899677112675086\ 92262011858741551763*c_0110_5^22 + 1916433897022679901815181163895984364596/65003899677112675086922620\ 11858741551763*c_0110_5^21 - 33650538175006759954468247089578486355\ 4/6500389967711267508692262011858741551763*c_0110_5^20 - 28786602182168615916259192336787439360281/6500389967711267508692262\ 011858741551763*c_0110_5^19 + 5116788134458060998536720082585634410\ 90/89046437913852979571126876874777281531*c_0110_5^18 + 49256584187198892108180779612891006587466/6500389967711267508692262\ 011858741551763*c_0110_5^17 - 4313801343123796022541786902157186469\ 6196/6500389967711267508692262011858741551763*c_0110_5^16 + 224571081720443770595463633313859454152497/650038996771126750869226\ 2011858741551763*c_0110_5^15 - 475786224878923364996720625496951374\ 119833/6500389967711267508692262011858741551763*c_0110_5^14 - 495065336562067627632534821196336830856338/650038996771126750869226\ 2011858741551763*c_0110_5^13 + 623812997158010252966062110091824291\ 071029/6500389967711267508692262011858741551763*c_0110_5^12 + 9650138162123097973933605023183458714946/65003899677112675086922620\ 11858741551763*c_0110_5^11 + 10054718967267806331602271028809418847\ 74470/6500389967711267508692262011858741551763*c_0110_5^10 - 44703007904430363308151198334715519005917/6500389967711267508692262\ 011858741551763*c_0110_5^9 - 74850305077302414004156451531619684725\ 3751/6500389967711267508692262011858741551763*c_0110_5^8 + 75421390591974790935289567297539239814031/6500389967711267508692262\ 011858741551763*c_0110_5^7 - 50738833623347462054291520264042486270\ 4578/6500389967711267508692262011858741551763*c_0110_5^6 + 155011435236018743860945248536370424603657/650038996771126750869226\ 2011858741551763*c_0110_5^5 - 4332288758481153684232588749631660451\ 8917/6500389967711267508692262011858741551763*c_0110_5^4 + 88248046260682467079420095578222559313312/6500389967711267508692262\ 011858741551763*c_0110_5^3 + 32961777633988735333255232191414645288\ 189/6500389967711267508692262011858741551763*c_0110_5^2 - 1973008414933225954160660193268390837238/65003899677112675086922620\ 11858741551763*c_0110_5 + 3388194011458665087278858436630500086145/\ 6500389967711267508692262011858741551763, c_0110_5^23 - 7*c_0110_5^22 - 14*c_0110_5^21 + 109*c_0110_5^20 + 65*c_0110_5^19 - 119*c_0110_5^18 - 94*c_0110_5^17 - 1269*c_0110_5^16 - 449*c_0110_5^15 + 1744*c_0110_5^14 + 1214*c_0110_5^13 + 2283*c_0110_5^12 - 528*c_0110_5^11 - 1825*c_0110_5^10 - 704*c_0110_5^9 - 1349*c_0110_5^8 + 87*c_0110_5^7 - 89*c_0110_5^6 + 216*c_0110_5^5 + 115*c_0110_5^4 + 36*c_0110_5^3 + 23*c_0110_5^2 + 2*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB