Magma V2.19-8 Tue Aug 20 2013 16:14:26 on localhost [Seed = 4122241524] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s429 geometric_solution 4.73155119 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 2 0132 0132 0132 2310 0 0 0 0 0 0 -1 1 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 0 2 -2 -1 0 1 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.920674835418 0.378580918097 0 3 3 4 0132 0213 3012 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 -1 1 0 1 0 -1 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 0.720720430644 0.721569584885 0 0 2 2 3201 0132 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630338056509 0.166683298879 4 1 1 0 1023 1230 0213 0132 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 0 1 1 -2 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.720720430644 0.721569584885 5 3 1 5 0132 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581605152474 0.672615758067 4 5 5 4 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.368489940498 0.489748835703 ==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' : 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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : 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' : negation(d['1']), 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0110_2'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1524231714045150108610/5761447875057208064997*c_0110_2^20 + 7500455010845396552476/1920482625019069354999*c_0110_2^19 - 115459404536166502485872/5761447875057208064997*c_0110_2^18 + 166911915040792176998182/5761447875057208064997*c_0110_2^17 + 186735261015402500553641/1920482625019069354999*c_0110_2^16 - 770798052552414561657116/1920482625019069354999*c_0110_2^15 + 85259448767100696905147/274354660717009907857*c_0110_2^14 + 4049377222563717714527887/5761447875057208064997*c_0110_2^13 - 2376408954933980004167569/1920482625019069354999*c_0110_2^12 - 1553871961319728386391264/5761447875057208064997*c_0110_2^11 + 1293807022730340050316902/823063982151029723571*c_0110_2^10 - 2414275885037535307295165/5761447875057208064997*c_0110_2^9 - 1397772006924942836097985/1920482625019069354999*c_0110_2^8 + 2044950378315232087365950/5761447875057208064997*c_0110_2^7 - 438764899409336568224446/5761447875057208064997*c_0110_2^6 - 65928767063215835684914/823063982151029723571*c_0110_2^5 + 318397204455896541887067/1920482625019069354999*c_0110_2^4 - 17057485621600887608827/5761447875057208064997*c_0110_2^3 + 72160183659750588792659/5761447875057208064997*c_0110_2^2 + 161241092880334418299913/5761447875057208064997*c_0110_2 - 36711872994834944871899/5761447875057208064997, c_0011_0 - 1, c_0011_3 + 134808931638415515315/274354660717009907857*c_0110_2^20 - 1438071234766358803344/274354660717009907857*c_0110_2^19 + 4598979205756020202589/274354660717009907857*c_0110_2^18 + 1643078580414889981987/274354660717009907857*c_0110_2^17 - 38471624928081757834757/274354660717009907857*c_0110_2^16 + 63646051656429102132600/274354660717009907857*c_0110_2^15 + 40677864757884801237410/274354660717009907857*c_0110_2^14 - 192089121809391229920911/274354660717009907857*c_0110_2^13 + 60954482505117075688013/274354660717009907857*c_0110_2^12 + 245548245586263561430462/274354660717009907857*c_0110_2^11 - 174467103411802755634934/274354660717009907857*c_0110_2^10 - 146638074557223264072962/274354660717009907857*c_0110_2^9 + 146525670592814941873781/274354660717009907857*c_0110_2^8 + 27088534832799870060688/274354660717009907857*c_0110_2^7 - 53723750868455614988659/274354660717009907857*c_0110_2^6 + 20977009572169057289399/274354660717009907857*c_0110_2^5 + 8706447207611748212094/274354660717009907857*c_0110_2^4 - 10569185848901014496439/274354660717009907857*c_0110_2^3 - 1698582439818860211721/274354660717009907857*c_0110_2^2 - 625886965855007066144/274354660717009907857*c_0110_2 - 792638917800351292912/274354660717009907857, c_0101_0 + 315867484249554141171/274354660717009907857*c_0110_2^20 - 3333245117520137477288/274354660717009907857*c_0110_2^19 + 10347134388003856653522/274354660717009907857*c_0110_2^18 + 5563927741850880393537/274354660717009907857*c_0110_2^17 - 91461935555754833618443/274354660717009907857*c_0110_2^16 + 139394131376622964589089/274354660717009907857*c_0110_2^15 + 124377593687716344150194/274354660717009907857*c_0110_2^14 - 467080593441234995854784/274354660717009907857*c_0110_2^13 + 94675050895808530028952/274354660717009907857*c_0110_2^12 + 652905073913744800215887/274354660717009907857*c_0110_2^11 - 398115489184334076851051/274354660717009907857*c_0110_2^10 - 440693323164265670579225/274354660717009907857*c_0110_2^9 + 388048280316459433406248/274354660717009907857*c_0110_2^8 + 106531275813862472282579/274354660717009907857*c_0110_2^7 - 164917737129061535325189/274354660717009907857*c_0110_2^6 + 48201420903580660083209/274354660717009907857*c_0110_2^5 + 32286863794962813536881/274354660717009907857*c_0110_2^4 - 32031543630843707042400/274354660717009907857*c_0110_2^3 - 3733106309821270658778/274354660717009907857*c_0110_2^2 + 180779217702803440343/274354660717009907857*c_0110_2 - 1870189059674383482510/274354660717009907857, c_0101_1 - 174570275024596065578/274354660717009907857*c_0110_2^20 + 1818712313265894841905/274354660717009907857*c_0110_2^19 - 5491434206883514547448/274354660717009907857*c_0110_2^18 - 3650774934378782372905/274354660717009907857*c_0110_2^17 + 49687765849749588496525/274354660717009907857*c_0110_2^16 - 71144379062757669234655/274354660717009907857*c_0110_2^15 - 74141443034789644238060/274354660717009907857*c_0110_2^14 + 245659708367095409508690/274354660717009907857*c_0110_2^13 - 30000427033791252995815/274354660717009907857*c_0110_2^12 - 351367101515400063957743/274354660717009907857*c_0110_2^11 + 185671898102600191362868/274354660717009907857*c_0110_2^10 + 244960309951411407455785/274354660717009907857*c_0110_2^9 - 189436556927969757994648/274354660717009907857*c_0110_2^8 - 64471877137703318432811/274354660717009907857*c_0110_2^7 + 84842049076528940459045/274354660717009907857*c_0110_2^6 - 22358210980210052885702/274354660717009907857*c_0110_2^5 - 19396844260861541395560/274354660717009907857*c_0110_2^4 + 15534810229401531952653/274354660717009907857*c_0110_2^3 + 2117496946732672520683/274354660717009907857*c_0110_2^2 + 25015845822941364516/274354660717009907857*c_0110_2 + 1221957113465672331370/274354660717009907857, c_0101_5 - 651159897395083321037/274354660717009907857*c_0110_2^20 + 6916105187834795637629/274354660717009907857*c_0110_2^19 - 21900725619353061783210/274354660717009907857*c_0110_2^18 - 8953387008747971822385/274354660717009907857*c_0110_2^17 + 185926256243246387972551/274354660717009907857*c_0110_2^16 - 301010084997481519901582/274354660717009907857*c_0110_2^15 - 210062664190632492056337/274354660717009907857*c_0110_2^14 + 932865178428440544688173/274354660717009907857*c_0110_2^13 - 277553453341738064944765/274354660717009907857*c_0110_2^12 - 1209869896998078269540813/274354660717009907857*c_0110_2^11 + 848231153314357073505019/274354660717009907857*c_0110_2^10 + 729163613007733857134723/274354660717009907857*c_0110_2^9 - 734940752155157405084822/274354660717009907857*c_0110_2^8 - 129362230142396309368352/274354660717009907857*c_0110_2^7 + 274095703921831654451511/274354660717009907857*c_0110_2^6 - 102669855352166106002797/274354660717009907857*c_0110_2^5 - 41671988931684407763780/274354660717009907857*c_0110_2^4 + 52382238817515848521340/274354660717009907857*c_0110_2^3 + 4772417221272011266792/274354660717009907857*c_0110_2^2 + 1611162280918646370082/274354660717009907857*c_0110_2 + 2999610673124407340812/274354660717009907857, c_0110_2^21 - 10*c_0110_2^20 + 27*c_0110_2^19 + 35*c_0110_2^18 - 278*c_0110_2^17 + 284*c_0110_2^16 + 619*c_0110_2^15 - 1244*c_0110_2^14 - 478*c_0110_2^13 + 2162*c_0110_2^12 - 148*c_0110_2^11 - 1983*c_0110_2^10 + 453*c_0110_2^9 + 937*c_0110_2^8 - 318*c_0110_2^7 - 116*c_0110_2^6 + 173*c_0110_2^5 - 40*c_0110_2^4 - 61*c_0110_2^3 - 7*c_0110_2^2 - 6*c_0110_2 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB