Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 2345277415] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s803 geometric_solution 5.35615714 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 -1 2 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.306461140037 0.628432930494 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 -1 1 -1 0 1 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.694906784631 1.076900128442 1 3 0 4 1230 0132 0132 2310 0 0 0 0 0 1 -2 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 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.694906784631 1.076900128442 1 2 3 3 0132 0132 2031 1302 0 0 0 0 0 -1 0 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 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.556172875914 0.812715125856 2 5 5 1 3201 0132 1023 0132 0 0 0 0 0 -1 0 1 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 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.319384306238 0.506423288370 5 4 4 5 3012 0132 1023 1230 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 0 1.873490281922 0.808670706110 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : d['1'], 's_2_5' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 111995259881571576156318925031499001601/131198732384984288760360773\ 44652344*c_0101_5^21 + 44169511410074404409007824909270143807/13119\ 873238498428876036077344652344*c_0101_5^20 + 999246474269503965126959714521048548823/655993661924921443801803867\ 2326172*c_0101_5^19 + 1339729985441266465117341289957571432729/1311\ 9873238498428876036077344652344*c_0101_5^18 + 2359809501809871007368452874557425307891/32799683096246072190090193\ 36163086*c_0101_5^17 - 28361644574679134323420597631846587805151/13\ 119873238498428876036077344652344*c_0101_5^16 - 529559870129698074140503817498012528733/452409422017187202621933701\ 539736*c_0101_5^15 + 21563355470448247554027464993772115068845/6559\ 936619249214438018038672326172*c_0101_5^14 - 24719364943288864879997089800009857800695/3279968309624607219009019\ 336163086*c_0101_5^13 + 291113012716112563957673238031569986867/655\ 9936619249214438018038672326172*c_0101_5^12 + 43842527788871695935110438544596494947221/6559936619249214438018038\ 672326172*c_0101_5^11 + 3057529072184306243482985847378559456655/38\ 5878624661718496354002274842716*c_0101_5^10 - 62052945614881935293385219115613036254119/1311987323849842887603607\ 7344652344*c_0101_5^9 - 92784447896158210416733325267728646790139/1\ 3119873238498428876036077344652344*c_0101_5^8 + 295077465081282661119669671168702626085321/131198732384984288760360\ 77344652344*c_0101_5^7 - 3931553354038145662416010031538389366297/1\ 92939312330859248177001137421358*c_0101_5^6 + 15202831535960105774594334776723483128701/6559936619249214438018038\ 672326172*c_0101_5^5 + 57329903495293136972904275079152307406261/13\ 119873238498428876036077344652344*c_0101_5^4 - 32017213603809053060427228163571324727241/1311987323849842887603607\ 7344652344*c_0101_5^3 + 53120546354215057170025504360691755969/4524\ 09422017187202621933701539736*c_0101_5^2 + 871995717961202917546969191231021198939/655993661924921443801803867\ 2326172*c_0101_5 - 1135800715304867676966203991477692194947/1311987\ 3238498428876036077344652344, c_0011_0 - 1, c_0011_1 + 48470895568644099527021142431056551/385878624661718496354002\ 274842716*c_0101_5^21 - 9553842113206925305448756228172117/19293931\ 2330859248177001137421358*c_0101_5^20 - 432479379155622541456593570125460445/192939312330859248177001137421\ 358*c_0101_5^19 - 579973142384052181167916509458326933/385878624661\ 718496354002274842716*c_0101_5^18 - 4085008630937327801061875643791402357/38587862466171849635400227484\ 2716*c_0101_5^17 + 6137125819634934013315475155845865307/1929393123\ 30859248177001137421358*c_0101_5^16 + 229322608117134391238007440185874495/133061594710937412535862853394\ 04*c_0101_5^15 - 18668718997518259874814785931371810431/38587862466\ 1718496354002274842716*c_0101_5^14 + 42787882565791598620027927095360648739/3858786246617184963540022748\ 42716*c_0101_5^13 - 237444799093639204516463860694740109/3858786246\ 61718496354002274842716*c_0101_5^12 - 37966801262993556116504271331254661757/3858786246617184963540022748\ 42716*c_0101_5^11 - 44996995311224690306129941430197379273/38587862\ 4661718496354002274842716*c_0101_5^10 + 13430680834616131686127315369532100867/1929393123308592481770011374\ 21358*c_0101_5^9 + 40179847098968466884996441467782976785/385878624\ 661718496354002274842716*c_0101_5^8 - 63855232979715960303038867944994348199/1929393123308592481770011374\ 21358*c_0101_5^7 + 28917087932310177231880967791671353004/964696561\ 65429624088500568710679*c_0101_5^6 - 6544822339269004542769521933677647493/19293931233085924817700113742\ 1358*c_0101_5^5 - 24862734851642706679673381816457849769/3858786246\ 61718496354002274842716*c_0101_5^4 + 6931865528746191166167367258104441291/19293931233085924817700113742\ 1358*c_0101_5^3 - 22800029309150436257325052871410855/1330615947109\ 3741253586285339404*c_0101_5^2 - 7574594859874176199210032843571644\ 01/385878624661718496354002274842716*c_0101_5 + 246013511713276852619379956234997941/192939312330859248177001137421\ 358, c_0011_4 + 355866633904570843042580913174062957/65599366192492144380180\ 38672326172*c_0101_5^21 - 70304227306282247131501314394609513/32799\ 68309624607219009019336163086*c_0101_5^20 - 3174911547352926850820807870340620651/32799683096246072190090193361\ 63086*c_0101_5^19 - 4252542421090007723978220973230018471/655993661\ 9249214438018038672326172*c_0101_5^18 - 29995834915473302808101959780241255663/6559936619249214438018038672\ 326172*c_0101_5^17 + 45069057491269796322952973425784737513/3279968\ 309624607219009019336163086*c_0101_5^16 + 1679502959653578017267054394439763585/22620471100859360131096685076\ 9868*c_0101_5^15 - 136988429528552631795208304772000201909/65599366\ 19249214438018038672326172*c_0101_5^14 + 314319093303802499959397257734348042013/655993661924921443801803867\ 2326172*c_0101_5^13 - 2197528759115091539095927697000164387/6559936\ 619249214438018038672326172*c_0101_5^12 - 278331817392873750500854423044519431835/655993661924921443801803867\ 2326172*c_0101_5^11 - 19421177529945751302191320596677379967/385878\ 624661718496354002274842716*c_0101_5^10 + 98596495129657255256511008982620808643/3279968309624607219009019336\ 163086*c_0101_5^9 + 294387252148490565913784896560579833891/6559936\ 619249214438018038672326172*c_0101_5^8 - 468822401333851731579353324932085427177/327996830962460721900901933\ 6163086*c_0101_5^7 + 12506217274864209708075137183130789873/9646965\ 6165429624088500568710679*c_0101_5^6 - 49025614429582229601727066712326104451/3279968309624607219009019336\ 163086*c_0101_5^5 - 181247743029780252099764234540139800143/6559936\ 619249214438018038672326172*c_0101_5^4 + 50817781972396764942021132218264734969/3279968309624607219009019336\ 163086*c_0101_5^3 - 172578315649870345674800001636343789/2262047110\ 08593601310966850769868*c_0101_5^2 - 5492486689478989615675419506271227451/65599366192492144380180386723\ 26172*c_0101_5 + 1799900512137202442940878077359728895/327996830962\ 4607219009019336163086, c_0101_0 - 1560545256341460076520136753243453139/6559936619249214438018\ 038672326172*c_0101_5^21 + 308016279286009826718045463530690739/327\ 9968309624607219009019336163086*c_0101_5^20 + 13923434254008972294370278837085087281/3279968309624607219009019336\ 163086*c_0101_5^19 + 18657649866562995389459319468128343849/6559936\ 619249214438018038672326172*c_0101_5^18 + 131519097369422658088826942547763355497/655993661924921443801803867\ 2326172*c_0101_5^17 - 197620864571169599577686695713239394359/32799\ 68309624607219009019336163086*c_0101_5^16 - 7374008496093197654158786725875104723/22620471100859360131096685076\ 9868*c_0101_5^15 + 601011879056003535375822521196486846223/65599366\ 19249214438018038672326172*c_0101_5^14 - 1377961209679421722352106351031213100755/65599366192492144380180386\ 72326172*c_0101_5^13 + 8608210160911800999155500571580876297/655993\ 6619249214438018038672326172*c_0101_5^12 + 1221808685884064145007416912240182366989/65599366192492144380180386\ 72326172*c_0101_5^11 + 85184267387695807419283961682957412049/38587\ 8624661718496354002274842716*c_0101_5^10 - 432612865610337827028204561217116643755/327996830962460721900901933\ 6163086*c_0101_5^9 - 1292619225496004770730605217913922175009/65599\ 36619249214438018038672326172*c_0101_5^8 + 2056036112532200967168384711572072145941/32799683096246072190090193\ 36163086*c_0101_5^7 - 54803360168589277503753455696141168237/964696\ 56165429624088500568710679*c_0101_5^6 + 212498331936150666756819908193757102025/327996830962460721900901933\ 6163086*c_0101_5^5 + 798602770047390984300231525667932509005/655993\ 6619249214438018038672326172*c_0101_5^4 - 223123943641729683957974594736846907009/327996830962460721900901933\ 6163086*c_0101_5^3 + 742755849991923856177920439343367691/226204711\ 008593601310966850769868*c_0101_5^2 + 24288102098307939290645339745875493249/6559936619249214438018038672\ 326172*c_0101_5 - 7911869717742289081366203798659626653/32799683096\ 24607219009019336163086, c_0101_1 - 51318226326513879464535480041188178/163998415481230360950450\ 9668081543*c_0101_5^21 + 20458330296596808948218573732947808/163998\ 4154812303609504509668081543*c_0101_5^20 + 915575969431249819794755460735369346/163998415481230360950450966808\ 1543*c_0101_5^19 + 610045162655544190349043157164616230/16399841548\ 12303609504509668081543*c_0101_5^18 + 4324059188374152646436676182086538899/16399841548123036095045096680\ 81543*c_0101_5^17 - 13013871264262390734564617265780571788/16399841\ 54812303609504509668081543*c_0101_5^16 - 240507469538124564543872502045102395/565511777521484003277417126924\ 67*c_0101_5^15 + 19767659130373054512314862843194958810/16399841548\ 12303609504509668081543*c_0101_5^14 - 45393788610590051269328479503206493789/1639984154812303609504509668\ 081543*c_0101_5^13 + 493125997353713135940894816265258146/163998415\ 4812303609504509668081543*c_0101_5^12 + 40092554265529929944820888669221744917/1639984154812303609504509668\ 081543*c_0101_5^11 + 2794004037156888899113070622310416344/96469656\ 165429624088500568710679*c_0101_5^10 - 28585031852807731662311726532948683610/1639984154812303609504509668\ 081543*c_0101_5^9 - 42335869433746918685785704895551888407/16399841\ 54812303609504509668081543*c_0101_5^8 + 135321526047018228183411655127211654578/163998415481230360950450966\ 8081543*c_0101_5^7 - 7242642314450025275317161999979895115/96469656\ 165429624088500568710679*c_0101_5^6 + 14686244978918442255664137673383681587/1639984154812303609504509668\ 081543*c_0101_5^5 + 25920406550762518768913127957142992165/16399841\ 54812303609504509668081543*c_0101_5^4 - 14646043194526457065173548382539433969/1639984154812303609504509668\ 081543*c_0101_5^3 + 26078639252918864196729870200030836/56551177752\ 148400327741712692467*c_0101_5^2 + 780219268051656597375844247714437992/163998415481230360950450966808\ 1543*c_0101_5 - 515073590941400188847435971694007572/16399841548123\ 03609504509668081543, c_0101_5^22 - 18*c_0101_5^20 - 19*c_0101_5^19 - 89*c_0101_5^18 + 220*c_0101_5^17 + 237*c_0101_5^16 - 331*c_0101_5^15 + 731*c_0101_5^14 + 343*c_0101_5^13 - 785*c_0101_5^12 - 1237*c_0101_5^11 + 188*c_0101_5^10 + 1047*c_0101_5^9 - 2308*c_0101_5^8 + 1348*c_0101_5^7 + 670*c_0101_5^6 - 619*c_0101_5^5 + 84*c_0101_5^4 + 99*c_0101_5^3 - 21*c_0101_5^2 + 4*c_0101_5 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB