Magma V2.19-8 Tue Aug 20 2013 16:17:13 on localhost [Seed = 1360055692] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1454 geometric_solution 5.27310701 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 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 1.461692336409 0.187367256656 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 -1 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 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.165006801960 0.245222986585 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 0 1 -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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.863750244252 0.499014844997 2 4 6 5 0132 0321 0132 0132 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 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.728843764505 0.759981448134 6 5 2 3 1023 1023 0132 0321 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 -1 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.728843764505 0.759981448134 4 5 3 5 1023 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.579534263584 0.346483993536 6 4 6 3 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.123228864246 1.030828872891 ==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_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1069799353821397238754760870760338/10126037768904874681179423330476\ 523*c_0110_5^28 + 20930663041622385390638743936792909/1012603776890\ 4874681179423330476523*c_0110_5^26 - 20998699885696697113822369862156833/1012603776890487468117942333047\ 6523*c_0110_5^24 - 42075320450378116562257541792942042/595649280523\ 816157716436666498619*c_0110_5^22 - 887523510890708267723194481988754904/337534592296829156039314111015\ 8841*c_0110_5^20 + 11163549481267294835015677059904357558/337534592\ 2968291560393141110158841*c_0110_5^18 - 15892153192660656294302426687837207719/3375345922968291560393141110\ 158841*c_0110_5^16 + 80390233874204609155162670404314656515/1012603\ 7768904874681179423330476523*c_0110_5^14 - 75674693696104370527717809798155672003/1012603776890487468117942333\ 0476523*c_0110_5^12 - 173536903948649808740091177135785703967/10126\ 037768904874681179423330476523*c_0110_5^10 - 44607333693968025497493792804204936575/3375345922968291560393141110\ 158841*c_0110_5^8 - 13309993772138180646711325666046896054/10126037\ 768904874681179423330476523*c_0110_5^6 + 22176910443465239130902718822213322970/1012603776890487468117942333\ 0476523*c_0110_5^4 + 2610717522324138701727575762701225919/33753459\ 22968291560393141110158841*c_0110_5^2 + 601940818694976225534447334244043841/101260377689048746811794233304\ 76523, c_0011_0 - 1, c_0011_1 + 750734151699560916271798146659515/33753459229682915603931411\ 10158841*c_0110_5^28 - 9160708090983035564511279025500960/337534592\ 2968291560393141110158841*c_0110_5^26 - 52206955040730141807273452675057309/3375345922968291560393141110158\ 841*c_0110_5^24 + 13089153274301727294833622229033285/3970995203492\ 10771810957777665746*c_0110_5^22 + 5308686448343931561804159448836076687/67506918459365831207862822203\ 17682*c_0110_5^20 - 7747853889434035675694511253931531779/675069184\ 5936583120786282220317682*c_0110_5^18 + 13393062947411036551882815473733847007/6750691845936583120786282220\ 317682*c_0110_5^16 - 20478083141659666207269897827740083585/6750691\ 845936583120786282220317682*c_0110_5^14 - 33980780707712420738872384072506692175/6750691845936583120786282220\ 317682*c_0110_5^12 - 23068967632728604098248595549831563131/6750691\ 845936583120786282220317682*c_0110_5^10 - 405901501240847422506903220806608182/337534592296829156039314111015\ 8841*c_0110_5^8 + 3909664751948646396344824370930067033/67506918459\ 36583120786282220317682*c_0110_5^6 + 1176430097624648199716346316706351649/67506918459365831207862822203\ 17682*c_0110_5^4 + 104290511518772047008288014690515923/67506918459\ 36583120786282220317682*c_0110_5^2 - 2234427381712409803093667881259001/67506918459365831207862822203176\ 82, c_0011_4 - 408028999063910766718125443273803/67506918459365831207862822\ 20317682*c_0110_5^29 + 4961310463005426889275965250717497/675069184\ 5936583120786282220317682*c_0110_5^27 + 28522836463698008933595069858269579/6750691845936583120786282220317\ 682*c_0110_5^25 - 3435592477499165178293032422836063/39709952034921\ 0771810957777665746*c_0110_5^23 - 144096141282786447502405022855765\ 5261/6750691845936583120786282220317682*c_0110_5^21 + 2031675800364763882954167416675683783/67506918459365831207862822203\ 17682*c_0110_5^19 - 3779943663017442506411299618840437359/675069184\ 5936583120786282220317682*c_0110_5^17 + 2922682480196019615478822669353635213/33753459229682915603931411101\ 58841*c_0110_5^15 + 8703694217576582450379786032709408499/675069184\ 5936583120786282220317682*c_0110_5^13 + 7885206494745464548943462156237839285/67506918459365831207862822203\ 17682*c_0110_5^11 + 1513387083219171953328209972538739735/675069184\ 5936583120786282220317682*c_0110_5^9 - 448113681772253102958327046583738743/675069184593658312078628222031\ 7682*c_0110_5^7 - 283382416206943702103088683302231718/337534592296\ 8291560393141110158841*c_0110_5^5 - 66321428797116886852612561973211605/3375345922968291560393141110158\ 841*c_0110_5^3 - 5023288781512200850059063404452435/337534592296829\ 1560393141110158841*c_0110_5, c_0101_0 + 2104626844940228185377245359788714/3375345922968291560393141\ 110158841*c_0110_5^29 - 50943983498069935802655392142696625/6750691\ 845936583120786282220317682*c_0110_5^27 - 148908474428223655482700462463438878/337534592296829156039314111015\ 8841*c_0110_5^25 + 34973793058986131555286536628581383/397099520349\ 210771810957777665746*c_0110_5^23 + 14944191362327021849491097028185144409/6750691845936583120786282220\ 317682*c_0110_5^21 - 20237334637491165709210039045670333477/6750691\ 845936583120786282220317682*c_0110_5^19 + 35414210397851901721315152138172866427/6750691845936583120786282220\ 317682*c_0110_5^17 - 53793519352560133260065479304847046335/6750691\ 845936583120786282220317682*c_0110_5^15 - 50375856059298215049964437087677168423/3375345922968291560393141110\ 158841*c_0110_5^13 - 37257846739243595213796333592882069315/3375345\ 922968291560393141110158841*c_0110_5^11 - 4268452189752581274699096213192601101/33753459229682915603931411101\ 58841*c_0110_5^9 + 10924929591494893285931711406723876839/675069184\ 5936583120786282220317682*c_0110_5^7 + 4539035476731508628531009640663159665/67506918459365831207862822203\ 17682*c_0110_5^5 + 279756907958222254710154352272878145/33753459229\ 68291560393141110158841*c_0110_5^3 + 10095575517290651022895628873138111/6750691845936583120786282220317\ 682*c_0110_5, c_0101_2 + 3295632077731497590691946754956809/6750691845936583120786282\ 220317682*c_0110_5^29 - 40237832505001074991718306942723679/6750691\ 845936583120786282220317682*c_0110_5^27 - 114408093404335818497585793200487681/337534592296829156039314111015\ 8841*c_0110_5^25 + 28765736422534868088293489375200201/397099520349\ 210771810957777665746*c_0110_5^23 + 11643742880835827603074825750951053321/6750691845936583120786282220\ 317682*c_0110_5^21 - 17074264923412443966579590718437200897/6750691\ 845936583120786282220317682*c_0110_5^19 + 29793647417562834744522571502644790741/6750691845936583120786282220\ 317682*c_0110_5^17 - 22859798475299360232109741993930982026/3375345\ 922968291560393141110158841*c_0110_5^15 - 73273986415426176927343104143193364981/6750691845936583120786282220\ 317682*c_0110_5^13 - 25839564550436801763888199819048412717/3375345\ 922968291560393141110158841*c_0110_5^11 - 1240082415941408477395957168541212476/33753459229682915603931411101\ 58841*c_0110_5^9 + 8072092215090262778752522280306080217/6750691845\ 936583120786282220317682*c_0110_5^7 + 1423475590769504219459394857829223338/33753459229682915603931411101\ 58841*c_0110_5^5 + 140886810430315832059193112835800316/33753459229\ 68291560393141110158841*c_0110_5^3 - 3584527670966535153467149942483175/67506918459365831207862822203176\ 82*c_0110_5, c_0101_3 - 488857081759304823479889567528437/67506918459365831207862822\ 20317682*c_0110_5^28 + 3031136816302519338673799631724525/337534592\ 2968291560393141110158841*c_0110_5^26 + 16383717827708630586377134185278773/3375345922968291560393141110158\ 841*c_0110_5^24 - 2313276698932563311432386526313928/19854976017460\ 5385905478888832873*c_0110_5^22 - 855591341217270212578845854001142\ 974/3375345922968291560393141110158841*c_0110_5^20 + 1429208448622351908486373860516024679/33753459229682915603931411101\ 58841*c_0110_5^18 - 2506866407118681868598792824370421136/337534592\ 2968291560393141110158841*c_0110_5^16 + 7807863268585368918354551123717004283/67506918459365831207862822203\ 17682*c_0110_5^14 + 9263976236599059594651764864881479231/675069184\ 5936583120786282220317682*c_0110_5^12 + 3027742139336678002026696936527885267/33753459229682915603931411101\ 58841*c_0110_5^10 - 231416387761457187028386328737660095/3375345922\ 968291560393141110158841*c_0110_5^8 - 459910103546571248501877052884695692/337534592296829156039314111015\ 8841*c_0110_5^6 - 234572496646691462009455068606935271/675069184593\ 6583120786282220317682*c_0110_5^4 - 15342199646631378944787562048393681/3375345922968291560393141110158\ 841*c_0110_5^2 - 29022198078041653697514413462813/33753459229682915\ 60393141110158841, c_0110_5^30 - 12*c_0110_5^28 - 72*c_0110_5^26 + 134*c_0110_5^24 + 3565*c_0110_5^22 - 4443*c_0110_5^20 + 7911*c_0110_5^18 - 11902*c_0110_5^16 - 25274*c_0110_5^14 - 20127*c_0110_5^12 - 3809*c_0110_5^10 + 2428*c_0110_5^8 + 1352*c_0110_5^6 + 241*c_0110_5^4 + 11*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB