Magma V2.19-8 Tue Aug 20 2013 16:19:06 on localhost [Seed = 3852761247] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3240 geometric_solution 6.37498377 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2103 0132 0132 0 0 0 0 0 0 -1 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 -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.605110191917 0.893721435909 0 0 5 4 0132 2103 0132 0132 0 0 0 0 0 0 1 -1 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 -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.290475780298 1.078370054620 3 6 5 0 0321 0132 3201 0132 0 0 0 0 0 0 -1 1 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 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667295341070 1.173390767860 2 4 0 6 0321 1302 0132 1023 0 0 0 0 0 0 -1 1 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 -1 1 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.790363173431 1.360486435524 4 4 1 3 1302 2031 0132 2031 0 0 0 0 0 -1 1 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425806524840 0.647161848318 2 6 6 1 2310 3201 2103 0132 0 0 0 0 0 1 0 -1 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 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.250763667131 0.627326727820 5 2 5 3 2103 0132 2310 1023 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 0 0 -1 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.198541775292 0.614438599959 ==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' : negation(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' : negation(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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : negation(d['c_0110_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0110_6']), 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : d['c_0110_4']})} 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_2, c_0011_3, c_0011_5, c_0101_1, c_0110_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 19247171341786362333381833/3572995940253451358953600*c_0110_6^15 + 40517930714872416476100531/510427991464778765564800*c_0110_6^14 + 145314127986880562325953043/510427991464778765564800*c_0110_6^13 + 980732669974973611668736311/3572995940253451358953600*c_0110_6^12 - 1122336299573772852342948743/3572995940253451358953600*c_0110_6^11 - 87889515279561555985167761/714599188050690271790720*c_0110_6^10 + 934666897713547747877036437/714599188050690271790720*c_0110_6^9 + 64902049045617716594141099/357299594025345135895360*c_0110_6^8 - 1963360732796181021233855517/446624492531681419869200*c_0110_6^7 - 4994562843231023153807550827/1786497970126725679476800*c_0110_6^6 + 13963064566647956095494021733/3572995940253451358953600*c_0110_6^5 + 12504739457155206105286603423/3572995940253451358953600*c_0110_6^4 - 348559804537523702755887253/178649797012672567947680*c_0110_6^3 - 2352801226784822587721259861/3572995940253451358953600*c_0110_6^2 + 976192290239208361628528117/3572995940253451358953600*c_0110_6 + 181514121875098303976858577/714599188050690271790720, c_0011_0 - 1, c_0011_2 + 12328184066394793975/600503519370327959488*c_0110_6^15 + 180876387146712800795/600503519370327959488*c_0110_6^14 + 639632206203476020827/600503519370327959488*c_0110_6^13 + 583490559406684643081/600503519370327959488*c_0110_6^12 - 761184500459724577625/600503519370327959488*c_0110_6^11 - 205865823332136991883/600503519370327959488*c_0110_6^10 + 3077333621731396317591/600503519370327959488*c_0110_6^9 + 115496136216420721033/300251759685163979744*c_0110_6^8 - 1260274126275812147943/75062939921290994936*c_0110_6^7 - 2761565817304733088293/300251759685163979744*c_0110_6^6 + 9620347076853624238907/600503519370327959488*c_0110_6^5 + 7150913808682445580257/600503519370327959488*c_0110_6^4 - 1371124130891323527703/150125879842581989872*c_0110_6^3 - 1018730737970304689003/600503519370327959488*c_0110_6^2 + 712086143741489823979/600503519370327959488*c_0110_6 + 220037521302127148107/600503519370327959488, c_0011_3 - 219033732302697117/37531469960645497468*c_0110_6^15 - 3075652161709419745/37531469960645497468*c_0110_6^14 - 4707940305076039471/18765734980322748734*c_0110_6^13 - 4256520130249287229/37531469960645497468*c_0110_6^12 + 17037666758545871255/37531469960645497468*c_0110_6^11 - 2602350865737679603/18765734980322748734*c_0110_6^10 - 47013766982687809127/37531469960645497468*c_0110_6^9 + 9577333060249305794/9382867490161374367*c_0110_6^8 + 175059571603250701755/37531469960645497468*c_0110_6^7 - 3542765608385968363/37531469960645497468*c_0110_6^6 - 159402154038258924471/37531469960645497468*c_0110_6^5 + 8211102312486176205/18765734980322748734*c_0110_6^4 + 54366681195848943653/18765734980322748734*c_0110_6^3 - 131116429829889285075/37531469960645497468*c_0110_6^2 - 13625284543083284301/37531469960645497468*c_0110_6 + 9438393625770551965/18765734980322748734, c_0011_5 - 4334645710372757669/150125879842581989872*c_0110_6^15 - 64003229597159812035/150125879842581989872*c_0110_6^14 - 231731023198910449489/150125879842581989872*c_0110_6^13 - 238376430876379790041/150125879842581989872*c_0110_6^12 + 212417469625517173299/150125879842581989872*c_0110_6^11 + 83672270568376407799/150125879842581989872*c_0110_6^10 - 1015418232646024439997/150125879842581989872*c_0110_6^9 - 28530059411298765009/18765734980322748734*c_0110_6^8 + 1672388302163993266583/75062939921290994936*c_0110_6^7 + 601127702942791733019/37531469960645497468*c_0110_6^6 - 2625099353128868959719/150125879842581989872*c_0110_6^5 - 2919412547987116984191/150125879842581989872*c_0110_6^4 + 527200921453435549479/75062939921290994936*c_0110_6^3 + 606201002762472179255/150125879842581989872*c_0110_6^2 + 126334584754608385523/150125879842581989872*c_0110_6 - 222633020616487474207/150125879842581989872, c_0101_1 + 1217810988053244409/300251759685163979744*c_0110_6^15 + 19453823577639090689/300251759685163979744*c_0110_6^14 + 86242926873916711973/300251759685163979744*c_0110_6^13 + 135513465112332269131/300251759685163979744*c_0110_6^12 - 28674904664497445175/300251759685163979744*c_0110_6^11 - 179615898703890537865/300251759685163979744*c_0110_6^10 + 261112134365459764553/300251759685163979744*c_0110_6^9 + 233546009933802246941/150125879842581989872*c_0110_6^8 - 279088405287318530543/75062939921290994936*c_0110_6^7 - 1037572899079618338885/150125879842581989872*c_0110_6^6 + 539941015147030078233/300251759685163979744*c_0110_6^5 + 2623358941097089738471/300251759685163979744*c_0110_6^4 + 7799659009276610879/18765734980322748734*c_0110_6^3 - 1394947690908948530393/300251759685163979744*c_0110_6^2 - 144784469425021116931/300251759685163979744*c_0110_6 + 328242671750762791129/300251759685163979744, c_0110_4 - 960479424066618533/300251759685163979744*c_0110_6^15 - 17139693921962384521/300251759685163979744*c_0110_6^14 - 95669649748503401065/300251759685163979744*c_0110_6^13 - 219794939848398080627/300251759685163979744*c_0110_6^12 - 140832675185309764581/300251759685163979744*c_0110_6^11 + 147798364291581281745/300251759685163979744*c_0110_6^10 - 146768749510640829365/300251759685163979744*c_0110_6^9 - 380173332031645185471/150125879842581989872*c_0110_6^8 + 70353162478216565275/37531469960645497468*c_0110_6^7 + 1468857934330360292055/150125879842581989872*c_0110_6^6 + 1410885164355039286663/300251759685163979744*c_0110_6^5 - 2294724345253773003579/300251759685163979744*c_0110_6^4 - 398969760457929959869/75062939921290994936*c_0110_6^3 + 747045298131822129481/300251759685163979744*c_0110_6^2 + 97346512253604515519/300251759685163979744*c_0110_6 - 235982175446505096465/300251759685163979744, c_0110_6^16 + 14*c_0110_6^15 + 42*c_0110_6^14 + 12*c_0110_6^13 - 96*c_0110_6^12 + 20*c_0110_6^11 + 260*c_0110_6^10 - 145*c_0110_6^9 - 842*c_0110_6^8 + 82*c_0110_6^7 + 1111*c_0110_6^6 + 116*c_0110_6^5 - 845*c_0110_6^4 + 143*c_0110_6^3 + 144*c_0110_6^2 + 10*c_0110_6 - 35 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB