Magma V2.19-8 Tue Aug 20 2013 23:52:23 on localhost [Seed = 2834219911] Type ? for help. Type -D to quit. Loading file "L13n2653__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2653 geometric_solution 10.97443182 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 0321 0132 1 0 0 1 0 0 0 0 1 0 -1 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 1 0 -1 -2 0 2 0 3 -2 0 -1 5 -1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359599648096 1.147964744297 0 4 6 5 0132 0132 0132 0132 0 0 1 0 0 0 0 0 -1 0 1 0 1 0 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 2 0 -3 1 -5 0 0 5 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.536482014020 0.898856924126 7 0 0 8 0132 0132 0321 0132 1 1 1 0 0 0 0 0 1 0 -1 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 -1 0 1 -4 0 4 0 -1 1 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359599648096 1.147964744297 9 10 0 11 0132 0132 0132 0132 1 0 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 4 1 -5 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.838060003838 0.661039329146 11 1 8 7 1023 0132 2103 2103 0 1 0 1 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 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436536290220 0.330607000650 8 8 1 9 3201 2103 0132 2031 0 0 1 1 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 -1 0 -1 0 0 1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539552677332 0.477837490852 6 9 6 1 2310 1302 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 -3 3 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246048190643 1.302441806699 2 11 10 4 0132 1023 1023 2103 0 1 0 1 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 4 0 -4 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.074632285200 0.889216348693 4 5 2 5 2103 2103 0132 2310 1 1 0 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 -1 1 5 0 0 -5 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.038708407361 0.919898723429 3 5 10 6 0132 1302 2103 2031 0 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 0 0 0 0 0 0 0 0 0 0 0 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 1.246048190643 1.302441806699 9 3 7 11 2103 0132 1023 0213 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 0 0 0 0 0 -4 4 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.327109453468 0.626565715264 7 4 3 10 1023 1023 0132 0213 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 0 0 0 0 0 -5 5 0 0 0 0 0 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.129437028892 0.741241098379 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_4'], 'c_1001_10' : d['c_0101_4'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_0011_8'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0110_10'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_5'], 'c_1010_11' : d['c_0110_4'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : negation(d['c_0110_10']), 'c_1100_8' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0101_0'], 'c_1100_7' : negation(d['c_0110_4']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_0011_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_2'], 'c_1100_10' : d['c_0110_4'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_10']), 'c_1010_6' : d['c_0110_10'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0110_10'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : negation(d['c_0011_10']), '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0110_10']), 'c_0110_10' : d['c_0110_10'], 'c_0011_11' : d['c_0011_0'], 'c_0101_7' : d['c_0101_4'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_4'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_5, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_4, c_0110_10, c_0110_4, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1872461593468910475471137573088925/282261751979328068875945419978*c\ _1001_2^16 - 4428549350338808694866579574911135/5645235039586561377\ 51890839956*c_1001_2^15 - 20331314128903326773344497406390103/11290\ 47007917312275503781679912*c_1001_2^14 - 12306974871936584493316300770544709/564523503958656137751890839956*\ c_1001_2^13 - 9933694813907562035704915369435363/376349002639104091\ 834593893304*c_1001_2^12 - 10108365582831569683539861200412167/2822\ 61751979328068875945419978*c_1001_2^11 - 24826258097071482117335418308797663/1129047007917312275503781679912\ *c_1001_2^10 - 7966304570048377331496297046706041/28226175197932806\ 8875945419978*c_1001_2^9 - 4679640823465444255077082872099938/14113\ 0875989664034437972709989*c_1001_2^8 - 13970129659704757623861002124716515/1129047007917312275503781679912\ *c_1001_2^7 - 69434869119537457129218917768701/56171492931209565945\ 46177512*c_1001_2^6 - 12053463299404527468408700476855493/112904700\ 7917312275503781679912*c_1001_2^5 - 376645724800260082883953232066551/188174501319552045917296946652*c_\ 1001_2^4 - 4134379473705070478979681710549299/112904700791731227550\ 3781679912*c_1001_2^3 + 4602934367312113680840919514965/66414529877\ 488957382575392936*c_1001_2^2 - 343090865840374791425047294027177/1\ 129047007917312275503781679912*c_1001_2 - 74314705792893109992859011129169/1129047007917312275503781679912, c_0011_0 - 1, c_0011_10 - 16198300223294677244100/256708298880446878769*c_1001_2^16 - 22255109227242689001610/256708298880446878769*c_1001_2^15 - 47843356893436724865549/256708298880446878769*c_1001_2^14 - 61456413665065104613243/256708298880446878769*c_1001_2^13 - 74337467248769462238468/256708298880446878769*c_1001_2^12 - 98918980043804716605485/256708298880446878769*c_1001_2^11 - 68899849037134699504658/256708298880446878769*c_1001_2^10 - 77798540630297502758507/256708298880446878769*c_1001_2^9 - 91540820159373874402922/256708298880446878769*c_1001_2^8 - 44135703594614458159110/256708298880446878769*c_1001_2^7 - 35017511614931053836603/256708298880446878769*c_1001_2^6 - 29517396286812725394267/256708298880446878769*c_1001_2^5 - 8948434666961347141309/256708298880446878769*c_1001_2^4 - 9437171017986278861664/256708298880446878769*c_1001_2^3 - 863480034305747637614/256708298880446878769*c_1001_2^2 - 860709118153140365781/256708298880446878769*c_1001_2 - 119565557054193289093/256708298880446878769, c_0011_5 + 2927328403856856722500/256708298880446878769*c_1001_2^16 + 3542900622703846583750/256708298880446878769*c_1001_2^15 + 8389055158473422499475/256708298880446878769*c_1001_2^14 + 10627593401138430974090/256708298880446878769*c_1001_2^13 + 13410085066729033954067/256708298880446878769*c_1001_2^12 + 18245262176043192976032/256708298880446878769*c_1001_2^11 + 12790509005578322842847/256708298880446878769*c_1001_2^10 + 15834294502978985407096/256708298880446878769*c_1001_2^9 + 17715376915741697757922/256708298880446878769*c_1001_2^8 + 8052052159148572894571/256708298880446878769*c_1001_2^7 + 7856783431219417269262/256708298880446878769*c_1001_2^6 + 6743162235821057957905/256708298880446878769*c_1001_2^5 + 1799754745519037130030/256708298880446878769*c_1001_2^4 + 1855692060998850438322/256708298880446878769*c_1001_2^3 + 365493847649465839461/256708298880446878769*c_1001_2^2 + 210285186683431909479/256708298880446878769*c_1001_2 + 58813016058765141889/256708298880446878769, c_0011_6 + 6313926017076635166800/256708298880446878769*c_1001_2^16 + 3035472485561028455680/256708298880446878769*c_1001_2^15 + 8150644107465216335392/256708298880446878769*c_1001_2^14 + 5992532896945580486230/256708298880446878769*c_1001_2^13 + 3377296301182705578792/256708298880446878769*c_1001_2^12 + 10038228090704271532833/256708298880446878769*c_1001_2^11 - 9685667157895962634250/256708298880446878769*c_1001_2^10 + 2086008383289737908974/256708298880446878769*c_1001_2^9 + 13142292368847986289224/256708298880446878769*c_1001_2^8 - 15482172039337329591248/256708298880446878769*c_1001_2^7 - 5105256161585268654536/256708298880446878769*c_1001_2^6 + 7053485279219791801771/256708298880446878769*c_1001_2^5 - 4474929386493678468606/256708298880446878769*c_1001_2^4 + 599434228840455604330/256708298880446878769*c_1001_2^3 + 272574301800101709014/256708298880446878769*c_1001_2^2 - 129293751184384047899/256708298880446878769*c_1001_2 + 716790841945552337098/256708298880446878769, c_0011_8 - 13262330760495781666800/256708298880446878769*c_1001_2^16 - 5695277825938031548180/256708298880446878769*c_1001_2^15 - 24582753527536130373442/256708298880446878769*c_1001_2^14 - 16069531753347725224435/256708298880446878769*c_1001_2^13 - 19640084734180816717939/256708298880446878769*c_1001_2^12 - 30237727297970910239443/256708298880446878769*c_1001_2^11 + 11852712768517539598714/256708298880446878769*c_1001_2^10 - 21099448469418532972971/256708298880446878769*c_1001_2^9 - 20072799046677526238839/256708298880446878769*c_1001_2^8 + 27094589414065564936083/256708298880446878769*c_1001_2^7 - 4583233063085452587743/256708298880446878769*c_1001_2^6 + 235895196902522639216/256708298880446878769*c_1001_2^5 + 13742604282826573221669/256708298880446878769*c_1001_2^4 - 3887025427520134036708/256708298880446878769*c_1001_2^3 + 5691451770900456551379/256708298880446878769*c_1001_2^2 - 668079604037572833451/256708298880446878769*c_1001_2 + 254002812792328452917/256708298880446878769, c_0101_0 - 5881301605876514188900/256708298880446878769*c_1001_2^16 - 3542103362607308885290/256708298880446878769*c_1001_2^15 - 12865930857691628003281/256708298880446878769*c_1001_2^14 - 10666362044566483472561/256708298880446878769*c_1001_2^13 - 13779808263249102909845/256708298880446878769*c_1001_2^12 - 19348764878003150078106/256708298880446878769*c_1001_2^11 - 2221667412407076401340/256708298880446878769*c_1001_2^10 - 15557364734746475547651/256708298880446878769*c_1001_2^9 - 14101530670932471814405/256708298880446878769*c_1001_2^8 + 5247017511283487677454/256708298880446878769*c_1001_2^7 - 6474762807366417152012/256708298880446878769*c_1001_2^6 - 1906177234535596284312/256708298880446878769*c_1001_2^5 + 4037763497117861431011/256708298880446878769*c_1001_2^4 - 2670034474947113653534/256708298880446878769*c_1001_2^3 + 2090944125233911005878/256708298880446878769*c_1001_2^2 - 457888377173246146985/256708298880446878769*c_1001_2 + 12389903861750172599/256708298880446878769, c_0101_1 - 1, c_0101_10 - 26909820274219705136800/256708298880446878769*c_1001_2^16 - 35482103907518189839380/256708298880446878769*c_1001_2^15 - 78620501927680286216962/256708298880446878769*c_1001_2^14 - 100053748546163472646513/256708298880446878769*c_1001_2^13 - 122342116182578259790281/256708298880446878769*c_1001_2^12 - 163667507190652860521821/256708298880446878769*c_1001_2^11 - 112994939432287723954170/256708298880446878769*c_1001_2^10 - 131927001134146055160716/256708298880446878769*c_1001_2^9 - 152528349930524774693963/256708298880446878769*c_1001_2^8 - 71150349652278246704421/256708298880446878769*c_1001_2^7 - 61220238566039184010442/256708298880446878769*c_1001_2^6 - 51145064462571127679100/256708298880446878769*c_1001_2^5 - 14284694560676660647240/256708298880446878769*c_1001_2^4 - 16413699911289114472957/256708298880446878769*c_1001_2^3 - 1593641663978325448062/256708298880446878769*c_1001_2^2 - 1419722414276400834505/256708298880446878769*c_1001_2 - 188790174431049095617/256708298880446878769, c_0101_4 - 1444322624257970155800/256708298880446878769*c_1001_2^16 - 892004092162733530780/256708298880446878769*c_1001_2^15 - 3892009916101277660922/256708298880446878769*c_1001_2^14 - 3551840722469931797108/256708298880446878769*c_1001_2^13 - 5085360463195738553997/256708298880446878769*c_1001_2^12 - 6819000617933927382916/256708298880446878769*c_1001_2^11 - 2498933858389917959395/256708298880446878769*c_1001_2^10 - 6465892711942508317198/256708298880446878769*c_1001_2^9 - 4306223549702729412787/256708298880446878769*c_1001_2^8 + 254727574676688721130/256708298880446878769*c_1001_2^7 - 3846544891222855982951/256708298880446878769*c_1001_2^6 - 408960670289800675289/256708298880446878769*c_1001_2^5 + 1164226345400185587159/256708298880446878769*c_1001_2^4 - 1158622431709578926156/256708298880446878769*c_1001_2^3 + 940599511006243436254/256708298880446878769*c_1001_2^2 - 176339817886106085451/256708298880446878769*c_1001_2 + 107115200509250278927/256708298880446878769, c_0110_10 + 15098723912044488294500/256708298880446878769*c_1001_2^16 + 24571586973012087911650/256708298880446878769*c_1001_2^15 + 53828779624344311652925/256708298880446878769*c_1001_2^14 + 70639684636549480080243/256708298880446878769*c_1001_2^13 + 91202695733271387002125/256708298880446878769*c_1001_2^12 + 115434951856289565645741/256708298880446878769*c_1001_2^11 + 94063245915373918604595/256708298880446878769*c_1001_2^10 + 98846254946728735786833/256708298880446878769*c_1001_2^9 + 101437006005623057773720/256708298880446878769*c_1001_2^8 + 68991528914496842888600/256708298880446878769*c_1001_2^7 + 50351349537163077780155/256708298880446878769*c_1001_2^6 + 27877186682133554712184/256708298880446878769*c_1001_2^5 + 15644229850922769189722/256708298880446878769*c_1001_2^4 + 11498716885560945933611/256708298880446878769*c_1001_2^3 - 1383379681452820879934/256708298880446878769*c_1001_2^2 + 1500880630231187985518/256708298880446878769*c_1001_2 - 1486331576792481748544/256708298880446878769, c_0110_4 - 1041160131809066463500/256708298880446878769*c_1001_2^16 + 6638915502078198060350/256708298880446878769*c_1001_2^15 + 6779257289824358820855/256708298880446878769*c_1001_2^14 + 19014731048708763510198/256708298880446878769*c_1001_2^13 + 23648926932952311235655/256708298880446878769*c_1001_2^12 + 28795301932903263396051/256708298880446878769*c_1001_2^11 + 42880027712109399647324/256708298880446878769*c_1001_2^10 + 26286189554255001252595/256708298880446878769*c_1001_2^9 + 32994660929961418695898/256708298880446878769*c_1001_2^8 + 41064893375973981630499/256708298880446878769*c_1001_2^7 + 16390928372946821485895/256708298880446878769*c_1001_2^6 + 16617617701085662575167/256708298880446878769*c_1001_2^5 + 14405572279305173753718/256708298880446878769*c_1001_2^4 + 2745223448021385863641/256708298880446878769*c_1001_2^3 + 5162483237576347831511/256708298880446878769*c_1001_2^2 + 218905363569842666097/256708298880446878769*c_1001_2 + 615848009638366102649/256708298880446878769, c_1001_2^17 + 11/10*c_1001_2^16 + 279/100*c_1001_2^15 + 81/25*c_1001_2^14 + 83/20*c_1001_2^13 + 557/100*c_1001_2^12 + 87/25*c_1001_2^11 + 241/50*c_1001_2^10 + 509/100*c_1001_2^9 + 53/25*c_1001_2^8 + 247/100*c_1001_2^7 + 83/50*c_1001_2^6 + 23/50*c_1001_2^5 + 19/25*c_1001_2^4 - 1/25*c_1001_2^3 + 7/50*c_1001_2^2 - 1/100*c_1001_2 + 1/100 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.350 seconds, Total memory usage: 32.09MB