Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 1764291979] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0548 geometric_solution 4.57087347 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 0 0 0 0 0 0 1 -1 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 1 0 -1 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.323245331921 0.732712057542 0 2 3 2 0132 3201 0132 1230 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 1 0 -1 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.504004150540 1.142444705875 1 3 1 0 3012 1023 2310 0132 0 0 0 0 0 1 0 -1 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 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.504004150540 1.142444705875 2 4 4 1 1023 0132 1023 0132 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631395393794 0.253969366664 5 3 3 5 0132 0132 1023 1023 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 0 0 0 0 0 0 0 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.052652887189 0.341729083460 4 6 6 4 0132 0132 1023 1023 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 0 0 0 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.144325519791 0.152310419968 6 5 5 6 3201 0132 1023 2310 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 0 0 0 0 0 0 0 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.132066817790 0.090408852535 ==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' : 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' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_2'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0011_2'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 392655298838219426049107/24380265120438327125607*c_0101_6^19 + 160762718719522278756379/8126755040146109041869*c_0101_6^18 + 1891269232239717605414885/8126755040146109041869*c_0101_6^17 + 29001202661051014899865423/24380265120438327125607*c_0101_6^16 + 30253578720074219133369946/8126755040146109041869*c_0101_6^15 - 19342551909114004890338543/24380265120438327125607*c_0101_6^14 - 895082941484411077542860/566982909777635514549*c_0101_6^13 + 18702706371225962103253963/8126755040146109041869*c_0101_6^12 - 130044376831346310797688883/24380265120438327125607*c_0101_6^11 - 21403383521249167870799213/24380265120438327125607*c_0101_6^10 + 29331258800230935729157483/8126755040146109041869*c_0101_6^9 - 86955187942652460453170770/24380265120438327125607*c_0101_6^8 + 13147498076731588709764175/8126755040146109041869*c_0101_6^7 + 24063104866254387733148491/24380265120438327125607*c_0101_6^6 - 29647582912638121031417906/24380265120438327125607*c_0101_6^5 + 18594326854234086512801209/24380265120438327125607*c_0101_6^4 - 2888650000248645184462595/24380265120438327125607*c_0101_6^3 - 3137243042822248929297134/24380265120438327125607*c_0101_6^2 + 2169657763617680173286732/24380265120438327125607*c_0101_6 - 803402375717995819081957/24380265120438327125607, c_0011_0 - 1, c_0011_2 - 5867802832894419724591/24380265120438327125607*c_0101_6^19 + 3102874350904960575361/8126755040146109041869*c_0101_6^18 + 8465657066026574201284/2708918346715369680623*c_0101_6^17 + 409942066737374594014709/24380265120438327125607*c_0101_6^16 + 143448738037678686534850/2708918346715369680623*c_0101_6^15 - 323104356390484393984885/24380265120438327125607*c_0101_6^14 + 21307791875782349299175/566982909777635514549*c_0101_6^13 + 210606752718078892725448/8126755040146109041869*c_0101_6^12 - 3668770320189443732570282/24380265120438327125607*c_0101_6^11 + 476710011890228703833846/24380265120438327125607*c_0101_6^10 - 94912832269732435522991/8126755040146109041869*c_0101_6^9 - 2291414845727349424231892/24380265120438327125607*c_0101_6^8 + 902281865189031474320992/8126755040146109041869*c_0101_6^7 - 66433003075508062690342/24380265120438327125607*c_0101_6^6 - 234390156579788712378574/24380265120438327125607*c_0101_6^5 + 734309543132076427467386/24380265120438327125607*c_0101_6^4 - 276136049168051459965018/24380265120438327125607*c_0101_6^3 - 3075484518101386902097/24380265120438327125607*c_0101_6^2 + 25154838683737867988254/24380265120438327125607*c_0101_6 - 35686546171961833882919/24380265120438327125607, c_0101_1 - 18119184246545313743377/24380265120438327125607*c_0101_6^19 + 2136393792840697543712/2708918346715369680623*c_0101_6^18 + 92261520672128443468865/8126755040146109041869*c_0101_6^17 + 1374345481767511500999932/24380265120438327125607*c_0101_6^16 + 1414269806353712589966349/8126755040146109041869*c_0101_6^15 - 1114839021858270760097662/24380265120438327125607*c_0101_6^14 - 116081540276785314353914/566982909777635514549*c_0101_6^13 + 152351055275806140524179/2708918346715369680623*c_0101_6^12 - 4297501843935610433237432/24380265120438327125607*c_0101_6^11 - 2610862746109842696417148/24380265120438327125607*c_0101_6^10 + 747771851837034969985459/2708918346715369680623*c_0101_6^9 - 1080247245964187583506507/24380265120438327125607*c_0101_6^8 - 200007523549443782375690/8126755040146109041869*c_0101_6^7 + 2090411494420464820904018/24380265120438327125607*c_0101_6^6 - 1276876023112752015849337/24380265120438327125607*c_0101_6^5 - 85891324502067870277408/24380265120438327125607*c_0101_6^4 + 225194752881069702750125/24380265120438327125607*c_0101_6^3 - 175894086391946709859600/24380265120438327125607*c_0101_6^2 + 32504611058513525958964/24380265120438327125607*c_0101_6 + 19271642811089379806860/24380265120438327125607, c_0101_2 - 12295452363085936697335/24380265120438327125607*c_0101_6^19 + 4420675230184473542824/8126755040146109041869*c_0101_6^18 + 19920825421498255398964/2708918346715369680623*c_0101_6^17 + 939717426415122772307198/24380265120438327125607*c_0101_6^16 + 331407466909325252511833/2708918346715369680623*c_0101_6^15 - 193859577066966501214285/24380265120438327125607*c_0101_6^14 - 34153446460435039263622/566982909777635514549*c_0101_6^13 + 171655130415935736840481/8126755040146109041869*c_0101_6^12 - 3872930225513920826881226/24380265120438327125607*c_0101_6^11 - 960248900776638868139830/24380265120438327125607*c_0101_6^10 + 602587119627999533631430/8126755040146109041869*c_0101_6^9 - 1211415266505507961741853/24380265120438327125607*c_0101_6^8 + 432264666988460277172693/8126755040146109041869*c_0101_6^7 + 204978679693825818086618/24380265120438327125607*c_0101_6^6 + 70061747769238190028230/24380265120438327125607*c_0101_6^5 + 307483211848482150659111/24380265120438327125607*c_0101_6^4 - 150195670106151402911449/24380265120438327125607*c_0101_6^3 + 8276587806304827427694/24380265120438327125607*c_0101_6^2 - 29284420742786668027865/24380265120438327125607*c_0101_6 - 14004835673302396458422/24380265120438327125607, c_0101_4 + 2732714579344301151904/2708918346715369680623*c_0101_6^19 - 8997426925327434553226/8126755040146109041869*c_0101_6^18 - 121443528771843092016110/8126755040146109041869*c_0101_6^17 - 621819269696166930894968/8126755040146109041869*c_0101_6^16 - 1947075617801524381590205/8126755040146109041869*c_0101_6^15 + 320873738016597850178963/8126755040146109041869*c_0101_6^14 + 11316961646228235844670/62998101086403946061*c_0101_6^13 - 449161586816411285290055/8126755040146109041869*c_0101_6^12 + 2379597824305676315498404/8126755040146109041869*c_0101_6^11 + 255763422565003794940085/2708918346715369680623*c_0101_6^10 - 1924849006643714048219498/8126755040146109041869*c_0101_6^9 + 717764505577349970538768/8126755040146109041869*c_0101_6^8 - 165209047027657632969623/2708918346715369680623*c_0101_6^7 - 136288951047844104691155/2708918346715369680623*c_0101_6^6 + 239899837555353547144216/8126755040146109041869*c_0101_6^5 - 124825887690985003446676/8126755040146109041869*c_0101_6^4 + 10970045428825390654983/2708918346715369680623*c_0101_6^3 + 24421325615278641513211/8126755040146109041869*c_0101_6^2 - 6057977411351579378437/8126755040146109041869*c_0101_6 + 3135180515748359772589/8126755040146109041869, c_0101_5 + 11534056523436041802748/24380265120438327125607*c_0101_6^19 - 3875507805807598663151/8126755040146109041869*c_0101_6^18 - 57115804594988432889850/8126755040146109041869*c_0101_6^17 - 889887687376234748237666/24380265120438327125607*c_0101_6^16 - 942492517779637507625807/8126755040146109041869*c_0101_6^15 + 143009997627465681318823/24380265120438327125607*c_0101_6^14 + 43193077271721713469463/566982909777635514549*c_0101_6^13 - 239050152442832430544844/8126755040146109041869*c_0101_6^12 + 3203864548904298706825013/24380265120438327125607*c_0101_6^11 + 1339329278289954093819199/24380265120438327125607*c_0101_6^10 - 840946831208768565678389/8126755040146109041869*c_0101_6^9 + 1033854409400598255844457/24380265120438327125607*c_0101_6^8 - 169798563874721407091194/8126755040146109041869*c_0101_6^7 - 607456641185275235140199/24380265120438327125607*c_0101_6^6 + 370591668200476824514540/24380265120438327125607*c_0101_6^5 - 156236235980218113188084/24380265120438327125607*c_0101_6^4 + 18103394748724569603346/24380265120438327125607*c_0101_6^3 + 34990047916257674415181/24380265120438327125607*c_0101_6^2 - 48491483995780495159648/24380265120438327125607*c_0101_6 + 2170316277825232620287/24380265120438327125607, c_0101_6^20 - c_0101_6^19 - 15*c_0101_6^18 - 77*c_0101_6^17 - 244*c_0101_6^16 + 19*c_0101_6^15 + 186*c_0101_6^14 - 85*c_0101_6^13 + 293*c_0101_6^12 + 164*c_0101_6^11 - 277*c_0101_6^10 + 113*c_0101_6^9 - 26*c_0101_6^8 - 125*c_0101_6^7 + 60*c_0101_6^6 - 15*c_0101_6^5 - 12*c_0101_6^4 + 15*c_0101_6^3 - 2*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB