Magma V2.19-8 Tue Aug 20 2013 23:29:33 on localhost [Seed = 3583226808] Type ? for help. Type -D to quit. Loading file "K12a1157__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1157 geometric_solution 6.28957675 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 8 1 2 3 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 -1 0 1 14 0 -14 0 -15 15 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445725557089 0.633077419799 0 5 4 5 0132 0132 1230 1230 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 -14 0 14 0 -1 1 0 0 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.782865570445 0.894168081760 6 0 3 5 0132 0132 0213 3012 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 1 0 -1 0 0 0 0 0 0 0 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.772343597327 0.300527638631 6 2 5 0 1230 0213 2031 0132 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 0 0 0 0 0 0 0 -14 0 0 14 -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.078536885384 1.177528617168 4 4 0 1 1302 2031 0132 3012 0 0 0 0 0 1 0 -1 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 -14 -1 15 0 0 0 0 14 0 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.613487583890 1.201762094929 1 1 2 3 3012 0132 1230 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.256452762004 1.056082514101 2 3 7 7 0132 3012 0132 3201 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 0 -15 14 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.699024941492 0.528844444090 7 6 7 6 2310 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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 -1.012589614226 0.339880843558 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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_7' : 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_2_7' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(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' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_7']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : negation(d['c_0011_7']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0101_5']), 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0011_3'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0110_4'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 9 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_7, c_0101_3, c_0101_5, c_0110_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 1978046737344030613822661158954995771343146287/43891014551506919572\ 831116807918085696059462784*c_1001_1^18 - 7124729378310632651324406284626893403357898777/43891014551506919572\ 831116807918085696059462784*c_1001_1^17 - 19771340289443003772772507434532486595765583125/4389101455150691957\ 2831116807918085696059462784*c_1001_1^16 + 3199425440911234636564005739718263700978707393/27431884094691824733\ 01944800494880356003716424*c_1001_1^15 - 14993312121013557162517588231301028277560369997/1097275363787672989\ 3207779201979521424014865696*c_1001_1^14 + 114198324416241977488672471758427969818135412899/438910145515069195\ 72831116807918085696059462784*c_1001_1^13 - 723866723970611316331560966172224248437309200297/438910145515069195\ 72831116807918085696059462784*c_1001_1^12 + 5452776674655386323378337515578427518815046669/15454582588558774497\ 4757453549007344000209376*c_1001_1^11 - 687420568952406716143695652357620685923254177949/438910145515069195\ 72831116807918085696059462784*c_1001_1^10 + 1599556740927060060540525713233018898017485510075/10972753637876729\ 893207779201979521424014865696*c_1001_1^9 + 8546327059105940895345374283658713855388124393225/43891014551506919\ 572831116807918085696059462784*c_1001_1^8 + 377600655537502490715142471872124798515169514343/645456096345689993\ 718104658939971848471462688*c_1001_1^7 + 20704461743177475941721237735699380548779253907951/2194550727575345\ 9786415558403959042848029731392*c_1001_1^6 + 53950414487792235194498177600727791853520978250623/4389101455150691\ 9572831116807918085696059462784*c_1001_1^5 + 51206258913110464293558661142795395268124083926799/2194550727575345\ 9786415558403959042848029731392*c_1001_1^4 + 66800386808953269163589025204686152463618340364537/4389101455150691\ 9572831116807918085696059462784*c_1001_1^3 + 144315271947243486586605465194337405951024973523677/438910145515069\ 19572831116807918085696059462784*c_1001_1^2 + 18249351292053273859237343957736335167954384107303/2194550727575345\ 9786415558403959042848029731392*c_1001_1 + 5489822139316426859362767618718855183847389904379/25818243853827599\ 74872418635759887393885850752, c_0011_0 - 1, c_0011_3 - 51834202836383678426574529882979821/635693872681691789248966\ 13578593441091*c_1001_1^18 - 55597035205140379194252086976001033/63\ 569387268169178924896613578593441091*c_1001_1^17 + 219926440737213694273909897882048275/635693872681691789248966135785\ 93441091*c_1001_1^16 - 314409387050935604858963824204616982/6356938\ 7268169178924896613578593441091*c_1001_1^15 + 311461340180394392832991285549654586/635693872681691789248966135785\ 93441091*c_1001_1^14 - 1928220022733936780790436328541213337/635693\ 87268169178924896613578593441091*c_1001_1^13 + 10311296655805772113844905831874700606/6356938726816917892489661357\ 8593441091*c_1001_1^12 + 5777031470176099830142289247947756830/6356\ 9387268169178924896613578593441091*c_1001_1^11 + 54723071459541731986915620886066517338/6356938726816917892489661357\ 8593441091*c_1001_1^10 + 84291900931107017087070351463416315406/635\ 69387268169178924896613578593441091*c_1001_1^9 + 204953262666397986770912740580282804761/635693872681691789248966135\ 78593441091*c_1001_1^8 + 302248282918652109304966621653027944092/63\ 569387268169178924896613578593441091*c_1001_1^7 + 423177833528793321209185144578548421624/635693872681691789248966135\ 78593441091*c_1001_1^6 + 647618086746858122385118442482867095444/63\ 569387268169178924896613578593441091*c_1001_1^5 + 480818832756207566351308837245657952759/635693872681691789248966135\ 78593441091*c_1001_1^4 + 829350039778177882875188325774488764769/63\ 569387268169178924896613578593441091*c_1001_1^3 + 145298141891714442112241020498577479489/635693872681691789248966135\ 78593441091*c_1001_1^2 + 503234260654765968737501463174690623628/63\ 569387268169178924896613578593441091*c_1001_1 - 188126878799154551313636653110971034032/635693872681691789248966135\ 78593441091, c_0011_4 - 511771636854381094865624410587322416/63569387268169178924896\ 613578593441091*c_1001_1^18 - 780438955832052930650568509151012525/\ 63569387268169178924896613578593441091*c_1001_1^17 + 1969959296949370761999430376650235911/63569387268169178924896613578\ 593441091*c_1001_1^16 - 2055901258861275449800026899521367778/63569\ 387268169178924896613578593441091*c_1001_1^15 + 1475593114136860589158787319263007625/63569387268169178924896613578\ 593441091*c_1001_1^14 - 17675629921661826621602051684684880652/6356\ 9387268169178924896613578593441091*c_1001_1^13 + 92683770803643030498422027300276925645/6356938726816917892489661357\ 8593441091*c_1001_1^12 + 105900552848589346270648446822306735372/63\ 569387268169178924896613578593441091*c_1001_1^11 + 557041239610441489078968510199641395905/635693872681691789248966135\ 78593441091*c_1001_1^10 + 1067309134473405335965884337266388751271/\ 63569387268169178924896613578593441091*c_1001_1^9 + 2346018597116425431379778572361294650521/63569387268169178924896613\ 578593441091*c_1001_1^8 + 3841981405482952141423945929192522854168/\ 63569387268169178924896613578593441091*c_1001_1^7 + 5399001508351011568748911313858107003957/63569387268169178924896613\ 578593441091*c_1001_1^6 + 8167731394845022873838785337939318027155/\ 63569387268169178924896613578593441091*c_1001_1^5 + 7668481323430872781012017782386298553227/63569387268169178924896613\ 578593441091*c_1001_1^4 + 10338521808446886639083140893666427995005\ /63569387268169178924896613578593441091*c_1001_1^3 + 5942576719382007531166692934002597709168/63569387268169178924896613\ 578593441091*c_1001_1^2 + 6097129974990394937128548123697706924386/\ 63569387268169178924896613578593441091*c_1001_1 + 1685868963321712953721549693193036466051/63569387268169178924896613\ 578593441091, c_0011_7 - 62170444340959669526910155416899519/635693872681691789248966\ 13578593441091*c_1001_1^18 - 55199639761733101685218904156997990/63\ 569387268169178924896613578593441091*c_1001_1^17 + 268554583872763060374931300340733874/635693872681691789248966135785\ 93441091*c_1001_1^16 - 422680731353080385724119429102930244/6356938\ 7268169178924896613578593441091*c_1001_1^15 + 515132007629067682168829472408584428/635693872681691789248966135785\ 93441091*c_1001_1^14 - 2499384596492473571835062449853368997/635693\ 87268169178924896613578593441091*c_1001_1^13 + 12745469458269318556854171165866468566/6356938726816917892489661357\ 8593441091*c_1001_1^12 + 4720027005589151828890496133363921758/6356\ 9387268169178924896613578593441091*c_1001_1^11 + 65635017869956698123351391155447505547/6356938726816917892489661357\ 8593441091*c_1001_1^10 + 89184960609486303397958610451638338172/635\ 69387268169178924896613578593441091*c_1001_1^9 + 227050952393195228449293623809455687751/635693872681691789248966135\ 78593441091*c_1001_1^8 + 322888152155993290072324640674646841353/63\ 569387268169178924896613578593441091*c_1001_1^7 + 428736255095763345658858170742202048867/635693872681691789248966135\ 78593441091*c_1001_1^6 + 686567973503403604566938753179584524834/63\ 569387268169178924896613578593441091*c_1001_1^5 + 416772701637275886872117523480071909518/635693872681691789248966135\ 78593441091*c_1001_1^4 + 876037938921955177377999987944151769471/63\ 569387268169178924896613578593441091*c_1001_1^3 + 19911254512133132458493141668370296762/6356938726816917892489661357\ 8593441091*c_1001_1^2 + 532679196221075823030768953890283278369/635\ 69387268169178924896613578593441091*c_1001_1 - 251395128854942241366757948432973278101/635693872681691789248966135\ 78593441091, c_0101_3 + 37578693694189104862808032965991079/635693872681691789248966\ 13578593441091*c_1001_1^18 + 33925504304463982225523173940735870/63\ 569387268169178924896613578593441091*c_1001_1^17 - 173397009506005885037012685212156207/635693872681691789248966135785\ 93441091*c_1001_1^16 + 240868718684931728495888733524087538/6356938\ 7268169178924896613578593441091*c_1001_1^15 - 255838637519107408718749565132815041/635693872681691789248966135785\ 93441091*c_1001_1^14 + 1418523934737929457322932413449306955/635693\ 87268169178924896613578593441091*c_1001_1^13 - 7571676075085450615593421820363134272/63569387268169178924896613578\ 593441091*c_1001_1^12 - 3245135748341319242024306440202679942/63569\ 387268169178924896613578593441091*c_1001_1^11 - 37946867418302165206447622436823799453/6356938726816917892489661357\ 8593441091*c_1001_1^10 - 52471710171529918844970059269778535685/635\ 69387268169178924896613578593441091*c_1001_1^9 - 127279242606439559596793576101049974556/635693872681691789248966135\ 78593441091*c_1001_1^8 - 174138431102845686791468952079678122001/63\ 569387268169178924896613578593441091*c_1001_1^7 - 227910073834766177044134000070022205277/635693872681691789248966135\ 78593441091*c_1001_1^6 - 349726551406378197911988285443147348488/63\ 569387268169178924896613578593441091*c_1001_1^5 - 190351685992864963518049685580687770384/635693872681691789248966135\ 78593441091*c_1001_1^4 - 443927186027658912033531135260396729337/63\ 569387268169178924896613578593441091*c_1001_1^3 + 55163666381195363912284727663653440332/6356938726816917892489661357\ 8593441091*c_1001_1^2 - 279634356977601780137733780358632037625/635\ 69387268169178924896613578593441091*c_1001_1 + 179859087019546767349448944461822641773/635693872681691789248966135\ 78593441091, c_0101_5 + 39526135140724555897273018736029567/635693872681691789248966\ 13578593441091*c_1001_1^18 + 287804879580627780347727911979838836/6\ 3569387268169178924896613578593441091*c_1001_1^17 + 127418350303214069672523493594022208/635693872681691789248966135785\ 93441091*c_1001_1^16 - 796392428291497439570594536561442483/6356938\ 7268169178924896613578593441091*c_1001_1^15 + 1067689978707075229266078860189443466/63569387268169178924896613578\ 593441091*c_1001_1^14 + 300550003225511009638404094783361676/635693\ 87268169178924896613578593441091*c_1001_1^13 + 1107591223185457966039017980990718949/63569387268169178924896613578\ 593441091*c_1001_1^12 - 51753414940407968654848885147748513448/6356\ 9387268169178924896613578593441091*c_1001_1^11 - 76999936319095254402997294949037013841/6356938726816917892489661357\ 8593441091*c_1001_1^10 - 321798647752692237123768340358508926983/63\ 569387268169178924896613578593441091*c_1001_1^9 - 582240425115879729864132093795768051025/635693872681691789248966135\ 78593441091*c_1001_1^8 - 1216931276550139488734387369401425749002/6\ 3569387268169178924896613578593441091*c_1001_1^7 - 1835774108925509099142124461889948479902/63569387268169178924896613\ 578593441091*c_1001_1^6 - 2586363848034574870595393716051764132515/\ 63569387268169178924896613578593441091*c_1001_1^5 - 3598414430829915208017162762416140790469/63569387268169178924896613\ 578593441091*c_1001_1^4 - 3246448192751772375835465678782764857570/\ 63569387268169178924896613578593441091*c_1001_1^3 - 4296007386435771362454653803756874053693/63569387268169178924896613\ 578593441091*c_1001_1^2 - 1879884767178670483084429240089862500996/\ 63569387268169178924896613578593441091*c_1001_1 - 2443494610553427721561527058181989179151/63569387268169178924896613\ 578593441091, c_0110_4 + 9707132175579286565829389876276066/6356938726816917892489661\ 3578593441091*c_1001_1^18 + 140207772398413659220352263473880795/63\ 569387268169178924896613578593441091*c_1001_1^17 + 116776393563535713455127174288937153/635693872681691789248966135785\ 93441091*c_1001_1^16 - 489180702823587282423495398023250506/6356938\ 7268169178924896613578593441091*c_1001_1^15 + 634947950749536464237819166512328398/635693872681691789248966135785\ 93441091*c_1001_1^14 - 212785597110301321272079369746205294/6356938\ 7268169178924896613578593441091*c_1001_1^13 + 2732519671079739540993084877160543890/63569387268169178924896613578\ 593441091*c_1001_1^12 - 26064472250126608490464281900670360838/6356\ 9387268169178924896613578593441091*c_1001_1^11 - 29403278456390115093811754557111708694/6356938726816917892489661357\ 8593441091*c_1001_1^10 - 151142326488788660061693947257497754730/63\ 569387268169178924896613578593441091*c_1001_1^9 - 267364859126827616484607926379516221152/635693872681691789248966135\ 78593441091*c_1001_1^8 - 584083288002502138613677786343658684084/63\ 569387268169178924896613578593441091*c_1001_1^7 - 896812382079974847265317211045943953476/635693872681691789248966135\ 78593441091*c_1001_1^6 - 1255097774319515307932723182827732611386/6\ 3569387268169178924896613578593441091*c_1001_1^5 - 1839219897243420086767057700977065712628/63569387268169178924896613\ 578593441091*c_1001_1^4 - 1621027166113687602922174671966208190068/\ 63569387268169178924896613578593441091*c_1001_1^3 - 2272811080773395107662186189208661887360/63569387268169178924896613\ 578593441091*c_1001_1^2 - 1005808191110894166798717136629806092832/\ 63569387268169178924896613578593441091*c_1001_1 - 1338840580378859641912501542829372897241/63569387268169178924896613\ 578593441091, c_1001_1^19 + c_1001_1^18 - 3*c_1001_1^17 + 8*c_1001_1^16 - 12*c_1001_1^15 + 45*c_1001_1^14 - 207*c_1001_1^13 - 52*c_1001_1^12 - 1299*c_1001_1^11 - 1748*c_1001_1^10 - 5209*c_1001_1^9 - 7956*c_1001_1^8 - 13214*c_1001_1^7 - 20575*c_1001_1^6 - 20614*c_1001_1^5 - 33977*c_1001_1^4 - 18501*c_1001_1^3 - 33478*c_1001_1^2 - 6987*c_1001_1 - 14824 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB