Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 593674213] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0300 geometric_solution 4.34085529 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 -0.967736823166 0.264552092892 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.403656329360 0.093627971940 0 0 3 3 2310 0132 3201 0132 0 0 0 0 0 1 -1 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 -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.363500006806 0.196120117540 2 4 2 5 2310 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 -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.816446713898 0.510708622311 6 3 5 6 0132 0132 2310 3201 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 -1 0 1 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.616941954887 0.794542239984 6 4 3 6 2310 3201 0132 1023 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.616941954887 0.794542239984 4 4 5 5 0132 2310 3201 1023 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 0 1 -1 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 1.390322201721 0.785186936431 ==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' : negation(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' : negation(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' : negation(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_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' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_0']), '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_3'], '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' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1222297040570809135855005845576351784282777911969699/21996872200489\ 216358250252399993986466178789290938368*c_0101_6^21 - 21675371967974504905986857154217366031233038222779537/3299530830073\ 3824537375378599990979699268183936407552*c_0101_6^20 + 69981472545104987363568824132851052778935612868394709/6599061660146\ 7649074750757199981959398536367872815104*c_0101_6^19 - 46224770571102842461509857959784574463494176645525847/2199687220048\ 9216358250252399993986466178789290938368*c_0101_6^18 + 213962349813793805403009928321633559646159339986015585/471361547153\ 3403505339339799998711385609740562343936*c_0101_6^17 + 784772379404822569826671486319684532178927882810590679/109984361002\ 44608179125126199996993233089394645469184*c_0101_6^16 - 567104160804068705090865324040279268072713984088568341/471361547153\ 3403505339339799998711385609740562343936*c_0101_6^15 - 65161183776586248048479378558407761647176338471687943649/6599061660\ 1467649074750757199981959398536367872815104*c_0101_6^14 - 3326589157669853819871618707527563617692189124366592731/16497654150\ 366912268687689299995489849634091968203776*c_0101_6^13 + 8242775910662954002411799040898352978689516116977836997/20622067687\ 95864033585961162499436231204261496025472*c_0101_6^12 + 14362547410583232465964086012103767949542086491753988831/5499218050\ 122304089562563099998496616544697322734592*c_0101_6^11 - 511345253698810125768600808201254822976339485922579516457/659906166\ 01467649074750757199981959398536367872815104*c_0101_6^10 - 13144643356033771310904057033030547305867641668753813455/1571205157\ 177801168446446599999570461869913520781312*c_0101_6^9 + 23520731585384404073775809986751671958121790308689700767/2356807735\ 766701752669669899999355692804870281171968*c_0101_6^8 + 47033120653108809307444591564984894951545778949710311371/4124413537\ 591728067171922324998872462408522992050944*c_0101_6^7 - 49945363751044677173352973241715282908404939299437833/5079327016738\ 581363512219612067576924148427330112*c_0101_6^6 - 91348596254672699426282189732596543293229654783640001/1227504029045\ 1571628487864062496644233358699381104*c_0101_6^5 + 1678401290448224893910045738488815872717756071752455309/34370112813\ 2644005597660193749906038534043582670912*c_0101_6^4 + 201568808571927455669442390751105081690063672919533/793644846365403\ 33804878431438555889439819177033*c_0101_6^3 - 21103351755782655891151653506953301172808451907664107/4296264101658\ 0500699707524218738254816755447833864*c_0101_6^2 - 83718426520846281721437143693738543623124889500367475/1288879230497\ 41502099122572656214764450266343501592*c_0101_6 + 226027198011765945546633143880655835535404364719890/161109903812176\ 87762390321582026845556283292937699, c_0011_0 - 1, c_0011_3 - 135202450986092160114749938049666117119512241939/15712051571\ 77801168446446599999570461869913520781312*c_0101_6^21 + 730449795821297027360720289937278547959337858539/785602578588900584\ 223223299999785230934956760390656*c_0101_6^20 - 889972965474619791662124368091077892918686436383/157120515717780116\ 8446446599999570461869913520781312*c_0101_6^19 + 1655096607902382671502641791340330083607097379591/15712051571778011\ 68446446599999570461869913520781312*c_0101_6^18 - 51556726252474564764137399841546083170675516809153/7856025785889005\ 84223223299999785230934956760390656*c_0101_6^17 - 145476359910441917010289643691210576721543277382507/785602578588900\ 584223223299999785230934956760390656*c_0101_6^16 + 87397600541399115352000279763975934888315592721729/7856025785889005\ 84223223299999785230934956760390656*c_0101_6^15 + 2721441533999200789032601939664305193484640343530795/15712051571778\ 01168446446599999570461869913520781312*c_0101_6^14 + 699464666421451316950213784356344430503181353702941/392801289294450\ 292111611649999892615467478380195328*c_0101_6^13 - 1272636894312319395100324981765070087436363969376875/19640064464722\ 5146055805824999946307733739190097664*c_0101_6^12 - 3871455549903098482917146804145672733765568398249251/39280128929445\ 0292111611649999892615467478380195328*c_0101_6^11 + 15770318520654930888170370544247026115538522244834995/1571205157177\ 801168446446599999570461869913520781312*c_0101_6^10 + 19303654614162695574441489097114240312026323461605097/7856025785889\ 00584223223299999785230934956760390656*c_0101_6^9 - 2602435325503542094446458107432343320898209784951561/39280128929445\ 0292111611649999892615467478380195328*c_0101_6^8 - 3330208504468751506748585095426579868734900173912881/98200322323612\ 573027902912499973153866869595048832*c_0101_6^7 + 7545867675655319772460443283323357823990890568433/16931090055795271\ 21170739870689192308049475776704*c_0101_6^6 + 638879709110185725699496486342850303958203743688183/245500805809031\ 43256975728124993288466717398762208*c_0101_6^5 - 31727029968711774015300174003894596340327902360351/2455008058090314\ 3256975728124993288466717398762208*c_0101_6^4 - 1014205865993879604413696451626082800493915957463/10581931284872044\ 5073171241918074519253092236044*c_0101_6^3 - 7143707498394582019950536655266162105662165718601/30687600726128929\ 07121966015624161058339674845276*c_0101_6^2 + 4760376497186421678918022229286925714777787298933/30687600726128929\ 07121966015624161058339674845276*c_0101_6 + 221734200342407348332163254732802586290224880986/767190018153223226\ 780491503906040264584918711319, c_0101_0 - 1558043450090705357704055893070233670242286309431/1571205157\ 177801168446446599999570461869913520781312*c_0101_6^21 + 4394488772275131367162809807542670558780083850787/39280128929445029\ 2111611649999892615467478380195328*c_0101_6^20 - 20345926149413746357914202030050226656204650846855/1571205157177801\ 168446446599999570461869913520781312*c_0101_6^19 + 49202945154832443123812676321413293867926114426561/1571205157177801\ 168446446599999570461869913520781312*c_0101_6^18 - 156085303022448117665328048878655092533648611714365/196400644647225\ 146055805824999946307733739190097664*c_0101_6^17 - 1333965963062802766530039042470490646834952117067841/78560257858890\ 0584223223299999785230934956760390656*c_0101_6^16 + 919681236484200262889867619232429660536409908573515/785602578588900\ 584223223299999785230934956760390656*c_0101_6^15 + 28575901931027747724092130158329525075184244889114315/1571205157177\ 801168446446599999570461869913520781312*c_0101_6^14 + 10574085262170991672374435949560964413472873221630747/7856025785889\ 00584223223299999785230934956760390656*c_0101_6^13 - 12375417321530303973265539981507168441278454266299861/1964006446472\ 25146055805824999946307733739190097664*c_0101_6^12 - 31572101451553871620892319456413739984431794490375751/3928012892944\ 50292111611649999892615467478380195328*c_0101_6^11 + 145019629404004846012168435871237097761304434921077871/157120515717\ 7801168446446599999570461869913520781312*c_0101_6^10 + 77200226057166310585049575651410981418257333069319463/3928012892944\ 50292111611649999892615467478380195328*c_0101_6^9 - 6884684244735098081661772940866506166024566787021815/98200322323612\ 573027902912499973153866869595048832*c_0101_6^8 - 46324069502173387530731167405877758692377071727045669/1964006446472\ 25146055805824999946307733739190097664*c_0101_6^7 + 82571731670336345234801236024975429489859294008565/1693109005579527\ 121170739870689192308049475776704*c_0101_6^6 + 3894496555682897653662860057017286452728732172606259/24550080580903\ 143256975728124993288466717398762208*c_0101_6^5 - 169270976856930615867996577771119742878393063786167/245500805809031\ 43256975728124993288466717398762208*c_0101_6^4 - 21820506893234159717114786506603941794370369743563/4232772513948817\ 80292684967672298077012368944176*c_0101_6^3 - 16589012907603834623536076335267935702365230569211/1534380036306446\ 453560983007812080529169837422638*c_0101_6^2 + 19934207424576578006452228249174116425318737991771/3068760072612892\ 907121966015624161058339674845276*c_0101_6 + 2454082757771830927808713864588696510904142325353/15343800363064464\ 53560983007812080529169837422638, c_0101_1 - 813187268220361538290913992019197418619817922783/78560257858\ 8900584223223299999785230934956760390656*c_0101_6^21 + 8914028444879136978502204791371546682312289728271/78560257858890058\ 4223223299999785230934956760390656*c_0101_6^20 - 7410924824136765882121020490674621481171665017313/78560257858890058\ 4223223299999785230934956760390656*c_0101_6^19 + 1197787699711417223780794822842045910954670111517/49100161161806286\ 513951456249986576933434797524416*c_0101_6^18 - 639144903573573826135955688276849323217768960192523/785602578588900\ 584223223299999785230934956760390656*c_0101_6^17 - 402880087290912712853830866430380800149598659193805/196400644647225\ 146055805824999946307733739190097664*c_0101_6^16 + 183640150176922222815325527166632536693377826220009/196400644647225\ 146055805824999946307733739190097664*c_0101_6^15 + 15627746385509934863020734171325359872134476965947673/7856025785889\ 00584223223299999785230934956760390656*c_0101_6^14 + 15448477888974332625463411256336635898156080026125715/7856025785889\ 00584223223299999785230934956760390656*c_0101_6^13 - 1654167673709384068965126687744176867290590421702515/24550080580903\ 143256975728124993288466717398762208*c_0101_6^12 - 21264543112463616205430122284162076686153325528493177/1964006446472\ 25146055805824999946307733739190097664*c_0101_6^11 + 71319186980413977467105166619643037945183412921429251/7856025785889\ 00584223223299999785230934956760390656*c_0101_6^10 + 203014846089603387981632689055513599673099273139748681/785602578588\ 900584223223299999785230934956760390656*c_0101_6^9 - 15776919223946044612643834138244332515300533793635731/3928012892944\ 50292111611649999892615467478380195328*c_0101_6^8 - 64088280537146663703460384735051972238320503233852587/1964006446472\ 25146055805824999946307733739190097664*c_0101_6^7 + 435542960012257630560549809151470859100658116221/211638625697440890\ 146342483836149038506184472088*c_0101_6^6 + 6038667514348908693939243882365765629962187475563937/24550080580903\ 143256975728124993288466717398762208*c_0101_6^5 + 69272920139056174480828173162473778430651466690393/3068760072612892\ 907121966015624161058339674845276*c_0101_6^4 - 39648520287965296625951692970904649599099421884423/4232772513948817\ 80292684967672298077012368944176*c_0101_6^3 - 71085564659101469169924722694154579508880742646885/3068760072612892\ 907121966015624161058339674845276*c_0101_6^2 + 19110176010174715166856475680481254183169751773789/1534380036306446\ 453560983007812080529169837422638*c_0101_6 + 8086129379146346403857152891372183718509043350405/15343800363064464\ 53560983007812080529169837422638, c_0101_2 + 128810915118993434703529144915473246149945766069/78560257858\ 8900584223223299999785230934956760390656*c_0101_6^21 - 380856288185562326156818903104006436680970032967/196400644647225146\ 055805824999946307733739190097664*c_0101_6^20 + 2548975173878196500721428046874473484956650999221/78560257858890058\ 4223223299999785230934956760390656*c_0101_6^19 - 5832946230672618622157563496236701239338463841099/78560257858890058\ 4223223299999785230934956760390656*c_0101_6^18 + 6653955875531476370526385810200784030841494626763/49100161161806286\ 513951456249986576933434797524416*c_0101_6^17 + 80820216773444897711593778088650503902258524904923/3928012892944502\ 92111611649999892615467478380195328*c_0101_6^16 - 105729229517065723197075668723023658736798415888681/392801289294450\ 292111611649999892615467478380195328*c_0101_6^15 - 2152602983152025827059176279414196797549011452516001/78560257858890\ 0584223223299999785230934956760390656*c_0101_6^14 - 263888544070052904208295960575076466121681274727621/392801289294450\ 292111611649999892615467478380195328*c_0101_6^13 + 974385624223816287303245258497289143304780555230399/982003223236125\ 73027902912499973153866869595048832*c_0101_6^12 + 1238606761778436681862163544211987724538030728419045/19640064464722\ 5146055805824999946307733739190097664*c_0101_6^11 - 13358441215033535132195787786146268741300179133706941/7856025785889\ 00584223223299999785230934956760390656*c_0101_6^10 - 3300999784005459958937560307087098072427373415484695/19640064464722\ 5146055805824999946307733739190097664*c_0101_6^9 + 134259662543687578705919038293135811978376742222347/613752014522578\ 5814243932031248322116679349690552*c_0101_6^8 + 1580310902679262026177304736595843224810269679197531/98200322323612\ 573027902912499973153866869595048832*c_0101_6^7 - 20240872202034586488445217460444448930975896475243/8465545027897635\ 60585369935344596154024737888352*c_0101_6^6 - 46348950289729923686680381499457291037304601646265/1227504029045157\ 1628487864062496644233358699381104*c_0101_6^5 + 130680257300549069784703191646984296006766294210853/122750402904515\ 71628487864062496644233358699381104*c_0101_6^4 - 895187911541403094163028460081290537843409642827/211638625697440890\ 146342483836149038506184472088*c_0101_6^3 - 943836902740379226863163517489643557156120545077/767190018153223226\ 780491503906040264584918711319*c_0101_6^2 + 737858878602924361559094804782475818500725930226/767190018153223226\ 780491503906040264584918711319*c_0101_6 + 422193214141387857311952412653033515735656152345/767190018153223226\ 780491503906040264584918711319, c_0101_4 + 472058766898327658058529506213878842977889362347/15712051571\ 77801168446446599999570461869913520781312*c_0101_6^21 - 2688542572454870466039137413596021333619191639105/78560257858890058\ 4223223299999785230934956760390656*c_0101_6^20 + 6643481512069773246439273576231259818979591177167/15712051571778011\ 68446446599999570461869913520781312*c_0101_6^19 - 14440357304566475677405042385130352983597298938267/1571205157177801\ 168446446599999570461869913520781312*c_0101_6^18 + 189209023637443101263336530459171470838025811380623/785602578588900\ 584223223299999785230934956760390656*c_0101_6^17 + 385746367157594024968360701382957734078054623745623/785602578588900\ 584223223299999785230934956760390656*c_0101_6^16 - 363697164126985992250890628236869879031126432260285/785602578588900\ 584223223299999785230934956760390656*c_0101_6^15 - 8752272226839280754743554399200872209602350728638043/15712051571778\ 01168446446599999570461869913520781312*c_0101_6^14 - 674037754268973840006070114462579399442901330698387/196400644647225\ 146055805824999946307733739190097664*c_0101_6^13 + 4056167161410781180651532367820135600026549250210145/19640064464722\ 5146055805824999946307733739190097664*c_0101_6^12 + 9064675533969809654615401161718007505592304793045359/39280128929445\ 0292111611649999892615467478380195328*c_0101_6^11 - 53348414515150229556474628945580181895317792379435803/1571205157177\ 801168446446599999570461869913520781312*c_0101_6^10 - 48148676829407721503574538023455623550652946246009811/7856025785889\ 00584223223299999785230934956760390656*c_0101_6^9 + 12364700818482178684591381113387894382854331945412699/3928012892944\ 50292111611649999892615467478380195328*c_0101_6^8 + 7830722959504640950054158884659029435562582800933547/98200322323612\ 573027902912499973153866869595048832*c_0101_6^7 - 39844251687945460206840545557522557130681834398843/1693109005579527\ 121170739870689192308049475776704*c_0101_6^6 - 43265672309704658890352083622666144106496744005225/7671900181532232\ 26780491503906040264584918711319*c_0101_6^5 + 148948794925312180978473934509035702675609085465145/245500805809031\ 43256975728124993288466717398762208*c_0101_6^4 + 4349066649120570656889661081078183165196169249569/21163862569744089\ 0146342483836149038506184472088*c_0101_6^3 + 3191403351581098108177842396683743525621397963539/76719001815322322\ 6780491503906040264584918711319*c_0101_6^2 - 9725233239147810244259316210494124645967957582219/30687600726128929\ 07121966015624161058339674845276*c_0101_6 - 976897714277678433590845778588808201304042745662/767190018153223226\ 780491503906040264584918711319, c_0101_6^22 - 12*c_0101_6^21 + 21*c_0101_6^20 - 39*c_0101_6^19 + 820*c_0101_6^18 + 1146*c_0101_6^17 - 2546*c_0101_6^16 - 17621*c_0101_6^15 - 58*c_0101_6^14 + 75876*c_0101_6^13 + 34804*c_0101_6^12 - 161225*c_0101_6^11 - 134076*c_0101_6^10 + 232428*c_0101_6^9 + 200288*c_0101_6^8 - 247216*c_0101_6^7 - 138880*c_0101_6^6 + 145216*c_0101_6^5 + 52352*c_0101_6^4 - 33024*c_0101_6^3 - 16896*c_0101_6^2 + 3072*c_0101_6 + 2048 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB