Magma V2.19-8 Tue Aug 20 2013 16:19:09 on localhost [Seed = 1065263684] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3286 geometric_solution 6.41168737 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 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 -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.366939569756 0.714844220826 0 3 5 4 0132 0132 0132 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 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.365633475524 0.884551492249 3 0 4 5 3201 0132 3201 0132 0 0 0 0 0 1 -1 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 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 0 0 0 0 0 0 0.365633475524 0.884551492249 3 1 3 2 2310 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.181445405023 1.151324855520 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881225521517 1.133586299931 5 5 2 1 1302 2031 0132 0132 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 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.595836925636 0.914158577136 6 4 6 4 2031 0132 1302 1023 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 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.481242747333 0.191742848442 ==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' : negation(d['1']), 's_2_0' : negation(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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 12754803257144110940787/22216538050273990251613*c_0101_2*c_0110_6^1\ 9 - 243924262722040438015029/44433076100547980503226*c_0101_2*c_011\ 0_6^18 - 254594303147841675262967/22216538050273990251613*c_0101_2*\ c_0110_6^17 + 3142388194805935202416008/22216538050273990251613*c_0\ 101_2*c_0110_6^16 + 2591227012991732867974891/222165380502739902516\ 13*c_0101_2*c_0110_6^15 - 18109153843502470189925556/22216538050273\ 990251613*c_0101_2*c_0110_6^14 + 10655521250528011395882063/2221653\ 8050273990251613*c_0101_2*c_0110_6^13 + 68551805651016053268529754/22216538050273990251613*c_0101_2*c_0110_\ 6^12 - 73644606697226056000420435/22216538050273990251613*c_0101_2*\ c_0110_6^11 - 276491720131108316813991819/44433076100547980503226*c\ _0101_2*c_0110_6^10 + 277380824310613796210266219/44433076100547980\ 503226*c_0101_2*c_0110_6^9 + 113861319137342438922885692/2221653805\ 0273990251613*c_0101_2*c_0110_6^8 - 248625584427846034421183585/44433076100547980503226*c_0101_2*c_0110\ _6^7 - 23462307032484981080424287/44433076100547980503226*c_0101_2*\ c_0110_6^6 + 104918748290300538771411291/44433076100547980503226*c_\ 0101_2*c_0110_6^5 - 20878782612947571728019992/22216538050273990251\ 613*c_0101_2*c_0110_6^4 - 2492551537825363353917795/222165380502739\ 90251613*c_0101_2*c_0110_6^3 + 9195251321893042848656409/4443307610\ 0547980503226*c_0101_2*c_0110_6^2 - 4980356509294890817100105/44433076100547980503226*c_0101_2*c_0110_6 - 168587841342829100236019/44433076100547980503226*c_0101_2, c_0011_0 - 1, c_0011_4 - 3521356670523061245741/22216538050273990251613*c_0101_2*c_01\ 10_6^19 + 4393303001501631895148/22216538050273990251613*c_0101_2*c\ _0110_6^18 + 105746763230288742428512/22216538050273990251613*c_010\ 1_2*c_0110_6^17 + 26930900519092275573268/22216538050273990251613*c\ _0101_2*c_0110_6^16 - 486943071787214076615289/22216538050273990251\ 613*c_0101_2*c_0110_6^15 + 553908739512747935084756/222165380502739\ 90251613*c_0101_2*c_0110_6^14 + 1715929528306667577809895/222165380\ 50273990251613*c_0101_2*c_0110_6^13 - 2494794998743473048269729/22216538050273990251613*c_0101_2*c_0110_6\ ^12 - 3492332108239549689525474/22216538050273990251613*c_0101_2*c_\ 0110_6^11 + 3278022383869786243158264/22216538050273990251613*c_010\ 1_2*c_0110_6^10 + 2726043645450513317636506/22216538050273990251613\ *c_0101_2*c_0110_6^9 - 1538018760361449479514601/222165380502739902\ 51613*c_0101_2*c_0110_6^8 - 270370405692414650893109/22216538050273\ 990251613*c_0101_2*c_0110_6^7 + 227551928426235717133883/2221653805\ 0273990251613*c_0101_2*c_0110_6^6 - 98537164610821326236052/22216538050273990251613*c_0101_2*c_0110_6^5 - 70703712043015366405743/22216538050273990251613*c_0101_2*c_0110_6\ ^4 - 104340540614467335192997/22216538050273990251613*c_0101_2*c_01\ 10_6^3 + 56432861270819841780591/22216538050273990251613*c_0101_2*c\ _0110_6^2 - 25632595851817060161795/22216538050273990251613*c_0101_\ 2*c_0110_6 - 17459436940852323919627/22216538050273990251613*c_0101\ _2, c_0011_5 + 6628868656555495487427/22216538050273990251613*c_0101_2*c_01\ 10_6^19 - 5884102934875755772671/22216538050273990251613*c_0101_2*c\ _0110_6^18 - 204741664470558328790801/22216538050273990251613*c_010\ 1_2*c_0110_6^17 - 118609795426011539773510/22216538050273990251613*\ c_0101_2*c_0110_6^16 + 979702706163263040554372/2221653805027399025\ 1613*c_0101_2*c_0110_6^15 - 705108942772229570689371/22216538050273\ 990251613*c_0101_2*c_0110_6^14 - 4000875779125385132662317/22216538\ 050273990251613*c_0101_2*c_0110_6^13 + 4025784825231804853242722/22216538050273990251613*c_0101_2*c_0110_6\ ^12 + 9589344527321043342551880/22216538050273990251613*c_0101_2*c_\ 0110_6^11 - 6107284791773593807062775/22216538050273990251613*c_010\ 1_2*c_0110_6^10 - 9837294211092031303869036/22216538050273990251613\ *c_0101_2*c_0110_6^9 + 4527552840853234349894752/222165380502739902\ 51613*c_0101_2*c_0110_6^8 + 3085246646310872082469889/2221653805027\ 3990251613*c_0101_2*c_0110_6^7 - 2155293859798970952848647/22216538\ 050273990251613*c_0101_2*c_0110_6^6 + 650859747008727522913419/22216538050273990251613*c_0101_2*c_0110_6^\ 5 + 260843781596545620316215/22216538050273990251613*c_0101_2*c_011\ 0_6^4 - 350002533261728975236798/22216538050273990251613*c_0101_2*c\ _0110_6^3 + 221908276137896956836101/22216538050273990251613*c_0101\ _2*c_0110_6^2 + 18342951678465416873806/22216538050273990251613*c_0\ 101_2*c_0110_6 + 4646109207257570450911/22216538050273990251613*c_0\ 101_2, c_0101_0 + 1456769595075378470075/22216538050273990251613*c_0110_6^19 + 1587448665040257166753/22216538050273990251613*c_0110_6^18 - 48894935749120799642089/22216538050273990251613*c_0110_6^17 - 111782029552862574821416/22216538050273990251613*c_0110_6^16 + 201748672236435409430340/22216538050273990251613*c_0110_6^15 + 234346757531144791615272/22216538050273990251613*c_0110_6^14 - 1372148184462274124143903/22216538050273990251613*c_0110_6^13 - 425602505788057104719510/22216538050273990251613*c_0110_6^12 + 4214940296153813494754855/22216538050273990251613*c_0110_6^11 + 1180497196294506068205764/22216538050273990251613*c_0110_6^10 - 4889706797559954799349735/22216538050273990251613*c_0110_6^9 - 740506851581597013889439/22216538050273990251613*c_0110_6^8 + 1944833498981016764985785/22216538050273990251613*c_0110_6^7 - 620410292078515640085548/22216538050273990251613*c_0110_6^6 + 34981118843343277918960/22216538050273990251613*c_0110_6^5 + 344281985650915272463902/22216538050273990251613*c_0110_6^4 - 147109108185996392967227/22216538050273990251613*c_0110_6^3 + 69642267237344378597670/22216538050273990251613*c_0110_6^2 + 30649777789766585707490/22216538050273990251613*c_0110_6 + 3232321719367582248845/22216538050273990251613, c_0101_1 + 7566453906549088822408/22216538050273990251613*c_0110_6^19 - 6463232222778462828710/22216538050273990251613*c_0110_6^18 - 234520899108975833922669/22216538050273990251613*c_0110_6^17 - 141895853987816027312408/22216538050273990251613*c_0110_6^16 + 1130499780055229200127928/22216538050273990251613*c_0110_6^15 - 778426639791675547397698/22216538050273990251613*c_0110_6^14 - 4669896267471124699825028/22216538050273990251613*c_0110_6^13 + 4594976943509254423925011/22216538050273990251613*c_0110_6^12 + 11276072740476414711899663/22216538050273990251613*c_0110_6^11 - 7135497898559514220704194/22216538050273990251613*c_0110_6^10 - 11745105532535719091584627/22216538050273990251613*c_0110_6^9 + 5545434564915066476389081/22216538050273990251613*c_0110_6^8 + 4167783608059173108819303/22216538050273990251613*c_0110_6^7 - 2966777190807576914211115/22216538050273990251613*c_0110_6^6 + 37173293530701319084107/22216538050273990251613*c_0110_6^5 + 714621388135091814761972/22216538050273990251613*c_0110_6^4 - 97214825891503782095440/22216538050273990251613*c_0110_6^3 + 79661579158419062261279/22216538050273990251613*c_0110_6^2 + 34741988659779172313820/22216538050273990251613*c_0110_6 + 14202437979059641017206/22216538050273990251613, c_0101_2^2 + 98877089351961900668458/1177476516664521483335489*c_0110_6\ ^19 - 100574954939556333727017/1177476516664521483335489*c_0110_6^1\ 8 - 3047922276458114256394896/1177476516664521483335489*c_0110_6^17 - 1352511912153350597599535/1177476516664521483335489*c_0110_6^16 + 14990469368595708546831455/1177476516664521483335489*c_0110_6^15 - 12820703360398926239607108/1177476516664521483335489*c_0110_6^14 - 59317211965744459590989360/1177476516664521483335489*c_0110_6^13 + 70846366637126105762951224/1177476516664521483335489*c_0110_6^12 + 136244628141744989084444887/1177476516664521483335489*c_0110_6^11 - 122617814160478572336697288/1177476516664521483335489*c_0110_6^10 - 130548548977794450921506097/1177476516664521483335489*c_0110_6^9 + 113036220062374802878182796/1177476516664521483335489*c_0110_6^8 + 25189661370628637654144696/1177476516664521483335489*c_0110_6^7 - 62274394388895834770279416/1177476516664521483335489*c_0110_6^6 + 27043081492016047507023651/1177476516664521483335489*c_0110_6^5 + 11393817324973326347791629/1177476516664521483335489*c_0110_6^4 - 12959480051426183527870411/1177476516664521483335489*c_0110_6^3 + 3069997257592825238897555/1177476516664521483335489*c_0110_6^2 + 1321497228409580400224978/1177476516664521483335489*c_0110_6 - 996259474669604543867924/1177476516664521483335489, c_0110_6^20 - c_0110_6^19 - 31*c_0110_6^18 - 14*c_0110_6^17 + 156*c_0110_6^16 - 126*c_0110_6^15 - 622*c_0110_6^14 + 730*c_0110_6^13 + 1459*c_0110_6^12 - 1308*c_0110_6^11 - 1492*c_0110_6^10 + 1216*c_0110_6^9 + 434*c_0110_6^8 - 663*c_0110_6^7 + 170*c_0110_6^6 + 131*c_0110_6^5 - 93*c_0110_6^4 + 30*c_0110_6^3 + 9*c_0110_6^2 - 4*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB