Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 3819077577] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0082 geometric_solution 3.62704008 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.324605362858 0.044293843534 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 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.114186783358 0.035734817241 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.190511982583 0.090841986129 2 4 4 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 -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.334381747562 0.485262914291 5 3 3 6 0132 0132 1023 0132 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 -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.204650924125 0.405801778333 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 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.006708699596 1.011297551174 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 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.006708699596 1.011297551174 ==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_1']), '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_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], '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_1'], 'c_0011_4' : negation(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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], '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_6, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 5199482229418158631442691716242/78157343731068637117715911623*c_010\ 1_4^19 - 63120492881196590019653885431601/7815734373106863711771591\ 1623*c_0101_4^18 + 29520023805099015613206047923544/781573437310686\ 37117715911623*c_0101_4^17 + 172268075298759706819626464131152/2605\ 2447910356212372571970541*c_0101_4^16 - 969680865335663141971550270450264/78157343731068637117715911623*c_0\ 101_4^15 - 339186766967931065128812897762240/2605244791035621237257\ 1970541*c_0101_4^14 + 4282603415555537963413521972321455/7815734373\ 1068637117715911623*c_0101_4^13 - 615697761977325284943851873073751\ /78157343731068637117715911623*c_0101_4^12 - 6608446506669991060668965468819860/78157343731068637117715911623*c_\ 0101_4^11 + 58980811712752544872373340748129/7815734373106863711771\ 5911623*c_0101_4^10 + 9374230415510158733438248781294567/7815734373\ 1068637117715911623*c_0101_4^9 + 2904796499786472248477996594423651\ /78157343731068637117715911623*c_0101_4^8 - 15451997350262776286869024572344050/78157343731068637117715911623*c\ _0101_4^7 + 1164483565683769253069949065029333/26052447910356212372\ 571970541*c_0101_4^6 + 2242755166117026519807419778000040/260524479\ 10356212372571970541*c_0101_4^5 - 138499406568465748692938274080882\ 2/78157343731068637117715911623*c_0101_4^4 - 1445343107094442128565194445568624/78157343731068637117715911623*c_\ 0101_4^3 - 27818013507841408973035447994737/78157343731068637117715\ 911623*c_0101_4^2 + 157736158595347893729230306751305/7815734373106\ 8637117715911623*c_0101_4 + 966361502321389870297474934890/78157343\ 731068637117715911623, c_0011_0 - 1, c_0011_1 - 3203371700636076758414560242/26052447910356212372571970541*c\ _0101_4^19 + 38054909780667087511272959701/260524479103562123725719\ 70541*c_0101_4^18 - 9113122545222962899709130410/260524479103562123\ 72571970541*c_0101_4^17 - 311161680678574353525475013259/2605244791\ 0356212372571970541*c_0101_4^16 + 516405975682788639891590946481/26\ 052447910356212372571970541*c_0101_4^15 + 680549500813914007298283359639/26052447910356212372571970541*c_0101\ _4^14 - 2347792929818034747860387990798/260524479103562123725719705\ 41*c_0101_4^13 - 25414860069679753591613194674/26052447910356212372\ 571970541*c_0101_4^12 + 3505563282350087385188102506018/26052447910\ 356212372571970541*c_0101_4^11 + 723843292726673700894355301024/260\ 52447910356212372571970541*c_0101_4^10 - 4700248112427150706158616957808/26052447910356212372571970541*c_010\ 1_4^9 - 2592554058659451107513820848173/260524479103562123725719705\ 41*c_0101_4^8 + 7705387838701445419535147118778/2605244791035621237\ 2571970541*c_0101_4^7 - 1121592433656808629022940946610/26052447910\ 356212372571970541*c_0101_4^6 - 2659308057021303242200079108273/260\ 52447910356212372571970541*c_0101_4^5 + 351809863318867025324352779610/26052447910356212372571970541*c_0101\ _4^4 + 295235314553081625618287119647/26052447910356212372571970541\ *c_0101_4^3 + 4880917379583238904799075921/260524479103562123725719\ 70541*c_0101_4^2 - 5164104946042081703702320308/2605244791035621237\ 2571970541*c_0101_4 + 8048023105837699430059190582/2605244791035621\ 2372571970541, c_0011_6 - 1760638373478857838989616442/26052447910356212372571970541*c\ _0101_4^19 + 20598622020372764249322676795/260524479103562123725719\ 70541*c_0101_4^18 - 744074366163020893335509804/2605244791035621237\ 2571970541*c_0101_4^17 - 177428510278175758240269418903/26052447910\ 356212372571970541*c_0101_4^16 + 249838871458743046147315373780/260\ 52447910356212372571970541*c_0101_4^15 + 472629220874431455443711860265/26052447910356212372571970541*c_0101\ _4^14 - 1264874763724051799397015292192/260524479103562123725719705\ 41*c_0101_4^13 - 399587150992674631819927790663/2605244791035621237\ 2571970541*c_0101_4^12 + 2185312684559840159533120860656/2605244791\ 0356212372571970541*c_0101_4^11 + 990831407344059232739913807457/26\ 052447910356212372571970541*c_0101_4^10 - 2949078065227005893498598446653/26052447910356212372571970541*c_010\ 1_4^9 - 2368494033352673272862492165419/260524479103562123725719705\ 41*c_0101_4^8 + 4441617722846568649816584828477/2605244791035621237\ 2571970541*c_0101_4^7 + 987622391381037296587313093539/260524479103\ 56212372571970541*c_0101_4^6 - 2244970040855921422770443201112/2605\ 2447910356212372571970541*c_0101_4^5 - 577762989576581912051461660968/26052447910356212372571970541*c_0101\ _4^4 + 480219756706556679655149989748/26052447910356212372571970541\ *c_0101_4^3 + 159315468038595713495489806512/2605244791035621237257\ 1970541*c_0101_4^2 - 3983415056130455073297945280/26052447910356212\ 372571970541*c_0101_4 - 872875449182965340236453138/260524479103562\ 12372571970541, c_0101_0 - 9461920204753045079571590752/26052447910356212372571970541*c\ _0101_4^19 + 113045228567449928800930156269/26052447910356212372571\ 970541*c_0101_4^18 - 31707690454702948234131841133/2605244791035621\ 2372571970541*c_0101_4^17 - 949502347925206093370232850339/26052447\ 910356212372571970541*c_0101_4^16 + 1580356348560778366896494399995/26052447910356212372571970541*c_010\ 1_4^15 + 2179818784547902283328546272549/26052447910356212372571970\ 541*c_0101_4^14 - 7398524870490773363053626571983/26052447910356212\ 372571970541*c_0101_4^13 - 375700502877926572902116725017/260524479\ 10356212372571970541*c_0101_4^12 + 12093250901038259574391626603634/26052447910356212372571970541*c_01\ 01_4^11 + 2313832769672008305085925410722/2605244791035621237257197\ 0541*c_0101_4^10 - 16830456903195577001850840496309/260524479103562\ 12372571970541*c_0101_4^9 - 8693498608276744590176365822937/2605244\ 7910356212372571970541*c_0101_4^8 + 26694542632895977374611871955369/26052447910356212372571970541*c_01\ 01_4^7 - 913358257846751672595654508861/260524479103562123725719705\ 41*c_0101_4^6 - 12820235576594047959675816372139/260524479103562123\ 72571970541*c_0101_4^5 - 45272104003111182764819415133/260524479103\ 56212372571970541*c_0101_4^4 + 2808432847558770123225516677846/2605\ 2447910356212372571970541*c_0101_4^3 + 560115387300357068487777779082/26052447910356212372571970541*c_0101\ _4^2 - 215704121600259066342465593399/26052447910356212372571970541\ *c_0101_4 - 20941202359063741089239580312/2605244791035621237257197\ 0541, c_0101_2 - 4308031841670661108809326328/26052447910356212372571970541*c\ _0101_4^19 + 51952829764063846765968206322/260524479103562123725719\ 70541*c_0101_4^18 - 19602975369766736582006622743/26052447910356212\ 372571970541*c_0101_4^17 - 437428640911385624591201832681/260524479\ 10356212372571970541*c_0101_4^16 + 764395797496181408035881290973/26052447910356212372571970541*c_0101\ _4^15 + 971051272445991235081476703100/2605244791035621237257197054\ 1*c_0101_4^14 - 3531980358754750433283901885242/2605244791035621237\ 2571970541*c_0101_4^13 + 13534406376433151771104462023/260524479103\ 56212372571970541*c_0101_4^12 + 5855888770887446903803780612222/260\ 52447910356212372571970541*c_0101_4^11 + 756612111416530021495744375223/26052447910356212372571970541*c_0101\ _4^10 - 8361574389190785114353439498044/260524479103562123725719705\ 41*c_0101_4^9 - 3728088793934951009826538864299/2605244791035621237\ 2571970541*c_0101_4^8 + 13235165854937967051202995492881/2605244791\ 0356212372571970541*c_0101_4^7 - 675849373835999591658867721446/260\ 52447910356212372571970541*c_0101_4^6 - 6684035601319858289527362399555/26052447910356212372571970541*c_010\ 1_4^5 - 106048827133733916925172194527/2605244791035621237257197054\ 1*c_0101_4^4 + 1671389425382202313714003480743/26052447910356212372\ 571970541*c_0101_4^3 + 336124722312919859223874896815/2605244791035\ 6212372571970541*c_0101_4^2 - 142847520145103247036587391761/260524\ 47910356212372571970541*c_0101_4 - 12420943005826492026128817740/26052447910356212372571970541, c_0101_3 - 1519272147908159145316974073/26052447910356212372571970541*c\ _0101_4^19 + 16829479659147624311937472351/260524479103562123725719\ 70541*c_0101_4^18 + 9191709828058078230007465216/260524479103562123\ 72571970541*c_0101_4^17 - 139978952303834362582746455031/2605244791\ 0356212372571970541*c_0101_4^16 + 128358264678064889181094155731/26\ 052447910356212372571970541*c_0101_4^15 + 428482669120261419641649404730/26052447910356212372571970541*c_0101\ _4^14 - 737469242665473904005432024238/2605244791035621237257197054\ 1*c_0101_4^13 - 668108395310342364134237475799/26052447910356212372\ 571970541*c_0101_4^12 + 1070200994063468111701541300071/26052447910\ 356212372571970541*c_0101_4^11 + 1465798776399868740800447643210/26\ 052447910356212372571970541*c_0101_4^10 - 1102813834668716646172238076857/26052447910356212372571970541*c_010\ 1_4^9 - 2475501202929259401879747418309/260524479103562123725719705\ 41*c_0101_4^8 + 1638210651720157639977594510264/2605244791035621237\ 2571970541*c_0101_4^7 + 1282810464533873412999112538633/26052447910\ 356212372571970541*c_0101_4^6 - 14386350709096688634933112372/26052\ 447910356212372571970541*c_0101_4^5 - 664970559708392074897469271037/26052447910356212372571970541*c_0101\ _4^4 - 140621311978246124288884344549/26052447910356212372571970541\ *c_0101_4^3 + 22148836112704604092829776792/26052447910356212372571\ 970541*c_0101_4^2 + 1838826215912365665308618612/260524479103562123\ 72571970541*c_0101_4 + 12897076597240740848144463942/26052447910356\ 212372571970541, c_0101_4^20 - 12*c_0101_4^19 + 4*c_0101_4^18 + 100*c_0101_4^17 - 173*c_0101_4^16 - 220*c_0101_4^15 + 797*c_0101_4^14 - 12*c_0101_4^13 - 1284*c_0101_4^12 - 142*c_0101_4^11 + 1795*c_0101_4^10 + 768*c_0101_4^9 - 2892*c_0101_4^8 + 319*c_0101_4^7 + 1395*c_0101_4^6 - 151*c_0101_4^5 - 319*c_0101_4^4 - 20*c_0101_4^3 + 36*c_0101_4^2 + 2*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB