Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 172725957] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0377 geometric_solution 4.43400236 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.430822575665 0.153700385594 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.824661071471 0.354342679541 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -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.373399712356 0.346823501321 4 2 5 2 0132 2310 0132 0132 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 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 1.190509903444 0.447112228557 3 5 5 6 0132 1230 3012 0132 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 -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 1.114391700518 0.759346363209 6 4 4 3 3201 1230 3012 0132 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 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 1.114391700518 0.759346363209 6 6 4 5 1230 3012 0132 2310 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 0 0 0 0.806516515674 0.793595100680 ==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' : negation(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' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 2029303760683699681138472022181/39116387908349794503738758152*c_010\ 1_3^17 - 59141292958715684093038571144689/3911638790834979450373875\ 8152*c_0101_3^16 + 344155554670125753118147317142925/19558193954174\ 897251869379076*c_0101_3^15 - 511312625640028307258858619992213/488\ 9548488543724312967344769*c_0101_3^14 + 6298531139762013534208114729135053/19558193954174897251869379076*c_\ 0101_3^13 - 7369185869049957677796251307082729/19558193954174897251\ 869379076*c_0101_3^12 - 8847557913900744677105247266794027/19558193\ 954174897251869379076*c_0101_3^11 + 4083117841640124531027410142466977/2794027707739271035981339868*c_0\ 101_3^10 - 5517913190845456368378330928382981/391163879083497945037\ 38758152*c_0101_3^9 - 17060798334228555027951340600888315/977909697\ 7087448625934689538*c_0101_3^8 + 984361019189542489814265966173201/\ 9779096977087448625934689538*c_0101_3^7 + 35274908936326149440340231789352475/39116387908349794503738758152*c\ _0101_3^6 + 10581541905628552713354626690792413/3911638790834979450\ 3738758152*c_0101_3^5 - 617039406345237856771237353785371/488954848\ 8543724312967344769*c_0101_3^4 - 2585141182995869023435413228357235\ /19558193954174897251869379076*c_0101_3^3 - 1019490087961851709652570407531829/39116387908349794503738758152*c_\ 0101_3^2 + 4866411706727152778803330216253/391163879083497945037387\ 58152*c_0101_3 + 18886770159689625449083099313361/19558193954174897\ 251869379076, c_0011_0 - 1, c_0011_3 - 207416734542566523188266264/14668645465631172938902034307*c_\ 0101_3^17 + 6207692267003387950015605854/14668645465631172938902034\ 307*c_0101_3^16 - 75227093570147856953152562336/1466864546563117293\ 8902034307*c_0101_3^15 + 477185671572781202076105958841/14668645465\ 631172938902034307*c_0101_3^14 - 1662594006898537557104729429762/14\ 668645465631172938902034307*c_0101_3^13 + 2814014156316467588267865664423/14668645465631172938902034307*c_010\ 1_3^12 - 406625248378020501907577635655/146686454656311729389020343\ 07*c_0101_3^11 - 262852265425275925631499130861/6985069269348177589\ 95334967*c_0101_3^10 + 4905175109461506469194962160431/146686454656\ 31172938902034307*c_0101_3^9 + 1046072450729121002669416292646/4889\ 548488543724312967344769*c_0101_3^8 - 2913553219555608470871226495081/14668645465631172938902034307*c_010\ 1_3^7 - 1379549289050942452144943104730/146686454656311729389020343\ 07*c_0101_3^6 + 31653879410344502955419756154/488954848854372431296\ 7344769*c_0101_3^5 + 183924191936838165445028797248/488954848854372\ 4312967344769*c_0101_3^4 + 118706212737453948680298405434/146686454\ 65631172938902034307*c_0101_3^3 - 15506201944437914155519581022/146\ 68645465631172938902034307*c_0101_3^2 - 7213592911513164463396882833/4889548488543724312967344769*c_0101_3 - 7393010411383880864659566848/14668645465631172938902034307, c_0011_6 + 132234974950471668768200371/58674581862524691755608137228*c_\ 0101_3^17 - 2076030042052477479334038283/29337290931262345877804068\ 614*c_0101_3^16 + 53675824534013865934005456371/5867458186252469175\ 5608137228*c_0101_3^15 - 92933984948857435573942116548/146686454656\ 31172938902034307*c_0101_3^14 + 736206317641189165876563671947/2933\ 7290931262345877804068614*c_0101_3^13 - 786578107464119349875535266737/14668645465631172938902034307*c_0101\ _3^12 + 566563049394586649057200418057/1466864546563117293890203430\ 7*c_0101_3^11 + 46029485010156026967359127210/698506926934817758995\ 334967*c_0101_3^10 - 7418727128168169619064245960625/58674581862524\ 691755608137228*c_0101_3^9 - 52058089783439811386745514339/19558193\ 954174897251869379076*c_0101_3^8 + 2441845777757743029178560004967/29337290931262345877804068614*c_010\ 1_3^7 + 1588985678511402342374750123945/586745818625246917556081372\ 28*c_0101_3^6 - 247872443104423850536090660045/97790969770874486259\ 34689538*c_0101_3^5 - 665249019887412274362748566107/19558193954174\ 897251869379076*c_0101_3^4 + 33581541908835722839754989372/14668645\ 465631172938902034307*c_0101_3^3 + 282845304359976710003899058551/58674581862524691755608137228*c_0101\ _3^2 + 25505839151639246315998769329/9779096977087448625934689538*c\ _0101_3 + 15429499460710151690658356357/586745818625246917556081372\ 28, c_0101_0 - 4083739409246268428414950781/29337290931262345877804068614*c\ _0101_3^17 + 59560446391702896444806626868/146686454656311729389020\ 34307*c_0101_3^16 - 1388028641197891364708689888387/293372909312623\ 45877804068614*c_0101_3^15 + 4130731428183844546560525002519/146686\ 45465631172938902034307*c_0101_3^14 - 12744618655412324035033440262985/14668645465631172938902034307*c_01\ 01_3^13 + 14921561296313820947678505210958/146686454656311729389020\ 34307*c_0101_3^12 + 18248380032865475658056979106498/14668645465631\ 172938902034307*c_0101_3^11 - 2827731950329721854237017365416/69850\ 6926934817758995334967*c_0101_3^10 + 14411838563481029012230300691131/29337290931262345877804068614*c_01\ 01_3^9 + 47632758757509375624355807295891/9779096977087448625934689\ 538*c_0101_3^8 - 8396201750093689524034798139410/146686454656311729\ 38902034307*c_0101_3^7 - 74216558972393943098667106022719/293372909\ 31262345877804068614*c_0101_3^6 - 2620690267929595745680800081857/4\ 889548488543724312967344769*c_0101_3^5 + 3912391765862877632618569730119/9779096977087448625934689538*c_0101\ _3^4 + 4852003998558837995386056934946/1466864546563117293890203430\ 7*c_0101_3^3 + 1360524801528799868830042816927/29337290931262345877\ 804068614*c_0101_3^2 - 20277530902725273979324584895/48895484885437\ 24312967344769*c_0101_3 - 54950796258162267350075172535/29337290931\ 262345877804068614, c_0101_1 + 108836504388859672897530211/14668645465631172938902034307*c_\ 0101_3^17 - 2978493150762610353856048790/14668645465631172938902034\ 307*c_0101_3^16 + 31181162511248805554463879245/1466864546563117293\ 8902034307*c_0101_3^15 - 150848462162901644345283506942/14668645465\ 631172938902034307*c_0101_3^14 + 250246680608192883414087128111/146\ 68645465631172938902034307*c_0101_3^13 + 635128667470447034517030901304/14668645465631172938902034307*c_0101\ _3^12 - 3137963630878229903024877834142/146686454656311729389020343\ 07*c_0101_3^11 + 129398565726196583336998415089/6985069269348177589\ 95334967*c_0101_3^10 + 4897041729317551724138379408592/146686454656\ 31172938902034307*c_0101_3^9 - 2218764278300964159305102086569/4889\ 548488543724312967344769*c_0101_3^8 - 4005001644414677335005170954069/14668645465631172938902034307*c_010\ 1_3^7 + 3497550822949328173364152514681/146686454656311729389020343\ 07*c_0101_3^6 + 903260338579411426963820433420/48895484885437243129\ 67344769*c_0101_3^5 + 91646670499463861298321808371/488954848854372\ 4312967344769*c_0101_3^4 - 737851372909438123182386559893/146686454\ 65631172938902034307*c_0101_3^3 - 372345180251294256508490111195/14\ 668645465631172938902034307*c_0101_3^2 - 26748858996149277013992072970/4889548488543724312967344769*c_0101_3 + 3910688836175766193732994645/14668645465631172938902034307, c_0101_2 + 979945814133273561414794714/14668645465631172938902034307*c_\ 0101_3^17 - 28470263990108627823399113341/1466864546563117293890203\ 4307*c_0101_3^16 + 329732482833439752792716315875/14668645465631172\ 938902034307*c_0101_3^15 - 1943333007453252601292709409465/14668645\ 465631172938902034307*c_0101_3^14 + 5881865531058033209863377912862/14668645465631172938902034307*c_010\ 1_3^13 - 6423922244106788902164502994846/14668645465631172938902034\ 307*c_0101_3^12 - 9692643268873437221625593051177/14668645465631172\ 938902034307*c_0101_3^11 + 1319584277595851313919282224743/69850692\ 6934817758995334967*c_0101_3^10 - 354174637079255755829747053123/14\ 668645465631172938902034307*c_0101_3^9 - 11644706823938090899279542437548/4889548488543724312967344769*c_010\ 1_3^8 + 733059350824713221454097959749/1466864546563117293890203430\ 7*c_0101_3^7 + 18104714631011144358197642107225/1466864546563117293\ 8902034307*c_0101_3^6 + 1768618045764625262216587974885/48895484885\ 43724312967344769*c_0101_3^5 - 773442173184404236027068826789/48895\ 48488543724312967344769*c_0101_3^4 - 2500208808340250149927924390060/14668645465631172938902034307*c_010\ 1_3^3 - 510788635271335703716474653736/1466864546563117293890203430\ 7*c_0101_3^2 - 5324810529470453630746310100/48895484885437243129673\ 44769*c_0101_3 + 8710386817639871805084320338/146686454656311729389\ 02034307, c_0101_3^18 - 29*c_0101_3^17 + 335*c_0101_3^16 - 1967*c_0101_3^15 + 5918*c_0101_3^14 - 6370*c_0101_3^13 - 9772*c_0101_3^12 + 26952*c_0101_3^11 + 1261*c_0101_3^10 - 34002*c_0101_3^9 - 2765*c_0101_3^8 + 17537*c_0101_3^7 + 7641*c_0101_3^6 - 1605*c_0101_3^5 - 2867*c_0101_3^4 - 875*c_0101_3^3 - 81*c_0101_3^2 + 17*c_0101_3 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB