Magma V2.19-8 Tue Aug 20 2013 16:18:12 on localhost [Seed = 3330759675] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2414 geometric_solution 5.76794459 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3201 0132 0132 2310 0 0 0 0 0 -1 -1 2 -1 0 1 0 -2 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.169869103540 0.882241347014 3 0 5 4 0132 0132 0132 0132 0 0 0 0 0 1 -1 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 1 -1 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.288300223299 0.706062006456 5 4 3 0 1023 1023 2310 0132 0 0 0 0 0 0 -1 1 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.288300223299 0.706062006456 1 2 3 3 0132 3201 1230 3012 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.858851684529 1.949074472392 2 6 1 6 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730256962779 0.363287207668 5 2 5 1 2310 1023 3201 0132 0 0 0 0 0 0 -1 1 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 -1 1 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.655837311026 1.549889812109 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603136879922 0.113879052373 ==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' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : 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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0110_4'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0110_4'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : 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_2, c_0101_0, c_0101_1, c_0101_3, c_0110_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 170175970139677783040101153266703045581/154682730878502069506279614\ 1604122*c_0110_6^14 - 14453335348077053725501911012535783223259/247\ 49236940560331121004738265665952*c_0110_6^13 - 18056611415532563172505508351814300838065/1237461847028016556050236\ 9132832976*c_0110_6^12 - 59980502437339904027419798417742779524547/\ 24749236940560331121004738265665952*c_0110_6^11 - 22801038721449484206235643078997435319013/6187309235140082780251184\ 566416488*c_0110_6^10 - 126594050171871136901747864118615301306433/\ 24749236940560331121004738265665952*c_0110_6^9 - 117336486436565112181692318739083248165111/247492369405603311210047\ 38265665952*c_0110_6^8 - 50555954089526796153638095782788449223697/\ 12374618470280165560502369132832976*c_0110_6^7 - 104408088430796486328340288125568453369545/247492369405603311210047\ 38265665952*c_0110_6^6 - 70150792465024317031758279811490794250535/\ 24749236940560331121004738265665952*c_0110_6^5 - 33847383572037875848800464324060852284925/2474923694056033112100473\ 8265665952*c_0110_6^4 - 10192375830388362351384301598547926317321/2\ 4749236940560331121004738265665952*c_0110_6^3 + 3626978453596205405698420648201590279349/24749236940560331121004738\ 265665952*c_0110_6^2 + 728462662526932664317333901755149378429/6187\ 309235140082780251184566416488*c_0110_6 + 13544597874814506330724007965837931401/7734136543925103475313980708\ 02061, c_0011_0 - 1, c_0011_2 - 15440803580381719951505000420798980/594933580301931036562613\ 90061697*c_0110_6^14 - 322553069615118803644241803426972935/2379734\ 32120772414625045560246788*c_0110_6^13 - 396275281858548836360459984600052235/118986716060386207312522780123\ 394*c_0110_6^12 - 1297976327410981176949469638665875963/23797343212\ 0772414625045560246788*c_0110_6^11 - 492630747600105473959279244486039226/594933580301931036562613900616\ 97*c_0110_6^10 - 2723583643978560556275079012606458833/237973432120\ 772414625045560246788*c_0110_6^9 - 2459884236901902553465897588919076443/23797343212077241462504556024\ 6788*c_0110_6^8 - 1063314929366531996679348643900679487/11898671606\ 0386207312522780123394*c_0110_6^7 - 2224659288526776953067591072847218061/23797343212077241462504556024\ 6788*c_0110_6^6 - 1434161289256695836572190293359538067/23797343212\ 0772414625045560246788*c_0110_6^5 - 681023408668350030309875884781378533/237973432120772414625045560246\ 788*c_0110_6^4 - 195113147636439497166682992325937673/2379734321207\ 72414625045560246788*c_0110_6^3 + 885574717269269387583754123382460\ 29/237973432120772414625045560246788*c_0110_6^2 + 13779104614300732865739315594927084/5949335803019310365626139006169\ 7*c_0110_6 + 1622485873947366997613930288476224/5949335803019310365\ 6261390061697, c_0101_0 - 18526607481721951106340637721171524/594933580301931036562613\ 90061697*c_0110_6^14 - 387115223561615286366281553160032919/2379734\ 32120772414625045560246788*c_0110_6^13 - 237929977043697161415940188732754649/594933580301931036562613900616\ 97*c_0110_6^12 - 1559837090763792185419003043862990755/237973432120\ 772414625045560246788*c_0110_6^11 - 1184473592737857202332607718747097867/11898671606038620731252278012\ 3394*c_0110_6^10 - 3274712376973772465863317219882194045/2379734321\ 20772414625045560246788*c_0110_6^9 - 2961357766038803473539598596529923177/23797343212077241462504556024\ 6788*c_0110_6^8 - 640688280181830331191404094705027051/594933580301\ 93103656261390061697*c_0110_6^7 - 267728399436187778758975112061403\ 7825/237973432120772414625045560246788*c_0110_6^6 - 1728721762849961932457670286774333929/23797343212077241462504556024\ 6788*c_0110_6^5 - 824438022254364573677542815921631163/237973432120\ 772414625045560246788*c_0110_6^4 - 236594620461006029056758482206206607/237973432120772414625045560246\ 788*c_0110_6^3 + 105352934600924584620524245189875255/2379734321207\ 72414625045560246788*c_0110_6^2 + 333552674850279605153390143555361\ 75/118986716060386207312522780123394*c_0110_6 + 2071231139194351772485546417904516/59493358030193103656261390061697\ , c_0101_1 - 4456271147317915012949755951214576/5949335803019310365626139\ 0061697*c_0110_6^14 - 23609148804616833557405987317691737/594933580\ 30193103656261390061697*c_0110_6^13 - 58881445541388286646140679686632140/5949335803019310365626139006169\ 7*c_0110_6^12 - 97648651610394748262577792277691616/594933580301931\ 03656261390061697*c_0110_6^11 - 14846324499483764181265954509446936\ 8/59493358030193103656261390061697*c_0110_6^10 - 205992772749098722863052085274046965/594933580301931036562613900616\ 97*c_0110_6^9 - 190453671865333516678654189317874714/59493358030193\ 103656261390061697*c_0110_6^8 - 16422396596039482020571225724639547\ 6/59493358030193103656261390061697*c_0110_6^7 - 169797338777179846133945450850631966/594933580301931036562613900616\ 97*c_0110_6^6 - 113772190346370667400962717254773517/59493358030193\ 103656261390061697*c_0110_6^5 - 54785033413472635693094694578775208\ /59493358030193103656261390061697*c_0110_6^4 - 16499383969996663964042021248371775/5949335803019310365626139006169\ 7*c_0110_6^3 + 5757430473375091240248145798584322/59493358030193103\ 656261390061697*c_0110_6^2 + 4666336952841315408919510577851544/594\ 93358030193103656261390061697*c_0110_6 + 622849302741097977003773227471175/59493358030193103656261390061697, c_0101_3 - 9001316456804912051867279783435360/5949335803019310365626139\ 0061697*c_0110_6^14 - 46695165928888686716377415300614618/594933580\ 30193103656261390061697*c_0110_6^13 - 113993899795612185048591173393732645/594933580301931036562613900616\ 97*c_0110_6^12 - 185736497179697744982158806083967137/5949335803019\ 3103656261390061697*c_0110_6^11 - 281925882747658101310656796761611\ 920/59493358030193103656261390061697*c_0110_6^10 - 388970403615117775703483352020309227/594933580301931036562613900616\ 97*c_0110_6^9 - 347784410188578468183258052802048566/59493358030193\ 103656261390061697*c_0110_6^8 - 30158522091212967732663924990297768\ 6/59493358030193103656261390061697*c_0110_6^7 - 316599544669566719004243451543440789/594933580301931036562613900616\ 97*c_0110_6^6 - 200759311861911325236577792836975135/59493358030193\ 103656261390061697*c_0110_6^5 - 95109053604695271841269543909496947\ /59493358030193103656261390061697*c_0110_6^4 - 26508714821213199603237739110667740/5949335803019310365626139006169\ 7*c_0110_6^3 + 13028719755936559837791758926786950/5949335803019310\ 3656261390061697*c_0110_6^2 + 7552924780210788410711669767612854/59\ 493358030193103656261390061697*c_0110_6 + 852091646546172094680958653139392/59493358030193103656261390061697, c_0110_4 - 10811376819931692019786525187683748/594933580301931036562613\ 90061697*c_0110_6^14 - 226572121418855513362281878761569567/2379734\ 32120772414625045560246788*c_0110_6^13 - 279240788553323919857512641927709605/118986716060386207312522780123\ 394*c_0110_6^12 - 917012211647942775799925820730312367/237973432120\ 772414625045560246788*c_0110_6^11 - 348118414912252155075732773229202539/594933580301931036562613900616\ 97*c_0110_6^10 - 1926301026419352787551930729244301385/237973432120\ 772414625045560246788*c_0110_6^9 - 1748364162946402527971390064841185107/23797343212077241462504556024\ 6788*c_0110_6^8 - 754927441818255625218605581309945597/118986716060\ 386207312522780123394*c_0110_6^7 - 1576348540247255688925097719937498993/23797343212077241462504556024\ 6788*c_0110_6^6 - 1024003573804207126839321414996722387/23797343212\ 0772414625045560246788*c_0110_6^5 - 487095824979657451718659881972916837/237973432120772414625045560246\ 788*c_0110_6^4 - 141389126431273044676211998725090673/2379734321207\ 72414625045560246788*c_0110_6^3 + 614937897135540712429129675442255\ 65/237973432120772414625045560246788*c_0110_6^2 + 10008450343319467790311031471261928/5949335803019310365626139006169\ 7*c_0110_6 + 1203964481064243355480487000819868/5949335803019310365\ 6261390061697, c_0110_6^15 + 1495/272*c_0110_6^14 + 485/34*c_0110_6^13 + 6675/272*c_0110_6^12 + 5125/136*c_0110_6^11 + 14381/272*c_0110_6^10 + 14133/272*c_0110_6^9 + 772/17*c_0110_6^8 + 12377/272*c_0110_6^7 + 9013/272*c_0110_6^6 + 279/16*c_0110_6^5 + 1687/272*c_0110_6^4 - 151/272*c_0110_6^3 - 175/136*c_0110_6^2 - 6/17*c_0110_6 - 1/34 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB