Magma V2.19-8 Tue Aug 20 2013 16:14:53 on localhost [Seed = 3431813284] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s866 geometric_solution 5.51592077 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 -1 0 1 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.303268315313 0.269175286028 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.852336878272 1.367875056848 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 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 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.675512478308 0.994820320726 2 5 4 1 3012 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.675512478308 0.994820320726 4 2 4 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569862373619 0.576048211951 5 5 3 2 1302 2031 2310 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.627663782979 1.088504831008 ==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_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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 158127121517111714920682474437250552423794954/197469692881020704722\ 3377721246583457674665*c_0101_3^25 + 1663676425134106079814460944068705114058831589/39493938576204140944\ 46755442493166915349330*c_0101_3^24 + 3428797093391186690304919288751186988202520806/19746969288102070472\ 23377721246583457674665*c_0101_3^23 - 12322703265845776039112351862264557149179918171/1974696928810207047\ 223377721246583457674665*c_0101_3^22 - 407160820199831907383735262088470436680870808/394939385762041409444\ 675544249316691534933*c_0101_3^21 + 150094963252447830236122469032497269999321937398/197469692881020704\ 7223377721246583457674665*c_0101_3^20 + 23257682889203289058783823753404696889322542667/1974696928810207047\ 223377721246583457674665*c_0101_3^19 - 509760037219133239584208838323541829769478358139/197469692881020704\ 7223377721246583457674665*c_0101_3^18 + 393847942024101854622131230477153485246487024497/394939385762041409\ 4446755442493166915349330*c_0101_3^17 + 1135264202942238735366130150445527055259684359094/19746969288102070\ 47223377721246583457674665*c_0101_3^16 - 478535183801796544599784301074971096613369029833/789878771524082818\ 889351088498633383069866*c_0101_3^15 - 2573453152545263205297463565615843696534778291698/19746969288102070\ 47223377721246583457674665*c_0101_3^14 + 1619879166504308398842111860445036078705451245634/19746969288102070\ 47223377721246583457674665*c_0101_3^13 + 8083106031022073836852480639721884086730001395571/39493938576204140\ 94446755442493166915349330*c_0101_3^12 + 88970173740236871974018189660825662654721013597/3949393857620414094\ 446755442493166915349330*c_0101_3^11 - 3370272434915328040553688147272873660117402251952/19746969288102070\ 47223377721246583457674665*c_0101_3^10 - 2956077069442697744710887763257121165578480430049/39493938576204140\ 94446755442493166915349330*c_0101_3^9 + 1457689520649997138012662999812537865583501321622/19746969288102070\ 47223377721246583457674665*c_0101_3^8 + 2157055556200024877907365690796182225387519982933/39493938576204140\ 94446755442493166915349330*c_0101_3^7 - 367960498670777036315144027530507546358905125946/197469692881020704\ 7223377721246583457674665*c_0101_3^6 - 599489327174383253897359174419237040816468922873/394939385762041409\ 4446755442493166915349330*c_0101_3^5 + 164076836864189074229801902634016220267333890261/394939385762041409\ 4446755442493166915349330*c_0101_3^4 + 31460126480655080084459303161629241717031482821/1974696928810207047\ 223377721246583457674665*c_0101_3^3 - 28682904325071054340053242593251528307107191377/3949393857620414094\ 446755442493166915349330*c_0101_3^2 - 1676421251151330480553476034460177570208517623/19746969288102070472\ 23377721246583457674665*c_0101_3 + 1018265639347746378587361793720231566752641361/39493938576204140944\ 46755442493166915349330, c_0011_0 - 1, c_0011_1 - 398803585950977397306036519018880766085021/39493938576204140\ 9444675544249316691534933*c_0101_3^25 + 2080551850149801325791360962522532085410699/39493938576204140944467\ 5544249316691534933*c_0101_3^24 + 868346050594288173486494906573481\ 9402517434/394939385762041409444675544249316691534933*c_0101_3^23 - 30410356835142366652346177533444338766400178/3949393857620414094446\ 75544249316691534933*c_0101_3^22 - 5322787252255468454903580291522376714379915/39493938576204140944467\ 5544249316691534933*c_0101_3^21 + 374256777610134679209695839371465\ 471439271021/394939385762041409444675544249316691534933*c_0101_3^20 + 75232481887403008053330948549964002327000212/39493938576204140944\ 4675544249316691534933*c_0101_3^19 - 1233784465092140333608658454001094458950624234/39493938576204140944\ 4675544249316691534933*c_0101_3^18 + 450552838559994514576037181894396757385997524/394939385762041409444\ 675544249316691534933*c_0101_3^17 + 2744974107463536107043889979881060033295155411/39493938576204140944\ 4675544249316691534933*c_0101_3^16 - 2827050348971703008440490241992001570988651455/39493938576204140944\ 4675544249316691534933*c_0101_3^15 - 6334026837766910523655384095142522274985247357/39493938576204140944\ 4675544249316691534933*c_0101_3^14 + 3465299517735581968570777918677973703957291876/39493938576204140944\ 4675544249316691534933*c_0101_3^13 + 9675994770437420018091383796332421792751578162/39493938576204140944\ 4675544249316691534933*c_0101_3^12 + 792445810677163312650461002925316707638463807/394939385762041409444\ 675544249316691534933*c_0101_3^11 - 7558944005401206749991110737329875873803322010/39493938576204140944\ 4675544249316691534933*c_0101_3^10 - 3751110726084108909474061967562064440282755098/39493938576204140944\ 4675544249316691534933*c_0101_3^9 + 3030112713819011441624693018611351924563148439/39493938576204140944\ 4675544249316691534933*c_0101_3^8 + 2451084485517815392559318314809200330275808626/39493938576204140944\ 4675544249316691534933*c_0101_3^7 - 744933965484175125804286292556157020885739022/394939385762041409444\ 675544249316691534933*c_0101_3^6 - 657552517259614925129146981936782702399303983/394939385762041409444\ 675544249316691534933*c_0101_3^5 + 176178594683567849709025380107209185948203062/394939385762041409444\ 675544249316691534933*c_0101_3^4 + 74919825293732478291888740515613427879934226/3949393857620414094446\ 75544249316691534933*c_0101_3^3 - 311303421141676628131502557142694\ 21971329315/394939385762041409444675544249316691534933*c_0101_3^2 - 4264743809624624293514824005589700409844914/39493938576204140944467\ 5544249316691534933*c_0101_3 + 121772097539937706917009947217776048\ 6476592/394939385762041409444675544249316691534933, c_0011_3 - 417758478037205704097958029101063339217526/39493938576204140\ 9444675544249316691534933*c_0101_3^25 + 2188166160312492039621530138652317121095835/39493938576204140944467\ 5544249316691534933*c_0101_3^24 + 903432504570226180930183928845233\ 3663663547/394939385762041409444675544249316691534933*c_0101_3^23 - 31951542001956700423192517831003350216059300/3949393857620414094446\ 75544249316691534933*c_0101_3^22 - 4609038274797132357809176980383170717898812/39493938576204140944467\ 5544249316691534933*c_0101_3^21 + 390760751632855928651961785219429\ 524910469839/394939385762041409444675544249316691534933*c_0101_3^20 + 71220681730166732860422111353015654118470350/39493938576204140944\ 4675544249316691534933*c_0101_3^19 - 1279266073956916395666309643684268502205804296/39493938576204140944\ 4675544249316691534933*c_0101_3^18 + 493812591353956119440616276364692327304912029/394939385762041409444\ 675544249316691534933*c_0101_3^17 + 2820052119163904263250420863408968782083967442/39493938576204140944\ 4675544249316691534933*c_0101_3^16 - 2978108123013822641214321971627237382837101165/39493938576204140944\ 4675544249316691534933*c_0101_3^15 - 6493367502054036659282934146350273352064929167/39493938576204140944\ 4675544249316691534933*c_0101_3^14 + 3613127688729617232811869553807170897680254029/39493938576204140944\ 4675544249316691534933*c_0101_3^13 + 9904328399098222907450051355638271866347481340/39493938576204140944\ 4675544249316691534933*c_0101_3^12 + 822982450790054105727236695278413163397973647/394939385762041409444\ 675544249316691534933*c_0101_3^11 - 7686826794265920962853018255509427241085322521/39493938576204140944\ 4675544249316691534933*c_0101_3^10 - 3828809831045098550241406837687514186821645978/39493938576204140944\ 4675544249316691534933*c_0101_3^9 + 3043370578931981232729047055536177359428228688/39493938576204140944\ 4675544249316691534933*c_0101_3^8 + 2453677807279316625410336073494438289959678891/39493938576204140944\ 4675544249316691534933*c_0101_3^7 - 741078246084949593167208747402542578917576385/394939385762041409444\ 675544249316691534933*c_0101_3^6 - 646522051705625210519072017120516674258336623/394939385762041409444\ 675544249316691534933*c_0101_3^5 + 175746840844627783991599626286711517625134711/394939385762041409444\ 675544249316691534933*c_0101_3^4 + 74235906166897523596373911472552907904817790/3949393857620414094446\ 75544249316691534933*c_0101_3^3 - 311092234563972230846631927465122\ 62069755796/394939385762041409444675544249316691534933*c_0101_3^2 - 4226469984228172571010578189571257280860894/39493938576204140944467\ 5544249316691534933*c_0101_3 + 152167692058072134520971284881725401\ 7810518/394939385762041409444675544249316691534933, c_0011_5 - 90983440580697133405062167609823160201007/394939385762041409\ 444675544249316691534933*c_0101_3^25 + 435962310817257360233389327966933227872530/394939385762041409444675\ 544249316691534933*c_0101_3^24 + 2200233443518724782146599031155717\ 720308297/394939385762041409444675544249316691534933*c_0101_3^23 - 6199943182050813530727585845189753273326391/39493938576204140944467\ 5544249316691534933*c_0101_3^22 - 445265526539664203980832966107335\ 2576091346/394939385762041409444675544249316691534933*c_0101_3^21 + 86420150004475035764662965199592622905829697/3949393857620414094446\ 75544249316691534933*c_0101_3^20 + 52351449611515920003860439886234378590395576/3949393857620414094446\ 75544249316691534933*c_0101_3^19 - 289426853258883182684588856988963601759088821/394939385762041409444\ 675544249316691534933*c_0101_3^18 - 7177580380302568894120017119438492810556115/39493938576204140944467\ 5544249316691534933*c_0101_3^17 + 713625742992538083793077145419472\ 614279934081/394939385762041409444675544249316691534933*c_0101_3^16 - 438705477258828556131855176964762636866274498/3949393857620414094\ 44675544249316691534933*c_0101_3^15 - 1784847416549698057328533073404830299577932409/39493938576204140944\ 4675544249316691534933*c_0101_3^14 + 359719864225751010448329615006290051867063125/394939385762041409444\ 675544249316691534933*c_0101_3^13 + 2650782621369013404214351866075432330852664723/39493938576204140944\ 4675544249316691534933*c_0101_3^12 + 873406222377945565200558327659496279421042808/394939385762041409444\ 675544249316691534933*c_0101_3^11 - 1816973104318745197846416683131972635282138302/39493938576204140944\ 4675544249316691534933*c_0101_3^10 - 1442320554934045699164840653638666562705948640/39493938576204140944\ 4675544249316691534933*c_0101_3^9 + 502229345300373887556521386219563076582327738/394939385762041409444\ 675544249316691534933*c_0101_3^8 + 809817887396973194065673314348827202424896534/394939385762041409444\ 675544249316691534933*c_0101_3^7 - 47993471201366373322196806505823717387889627/3949393857620414094446\ 75544249316691534933*c_0101_3^6 - 212502902301672250600160289422545\ 032989832009/394939385762041409444675544249316691534933*c_0101_3^5 + 15033736939540388479897700191098247189811668/3949393857620414094446\ 75544249316691534933*c_0101_3^4 + 295927815526899883062447614907439\ 74543263959/394939385762041409444675544249316691534933*c_0101_3^3 - 4050306428320748631502129244623976902553695/39493938576204140944467\ 5544249316691534933*c_0101_3^2 - 2677378936211221397840375186727510\ 853725786/394939385762041409444675544249316691534933*c_0101_3 + 129257265977148855909307983628266289185027/394939385762041409444675\ 544249316691534933, c_0101_0 - 12744166947570702276408552272890259893148/394939385762041409\ 444675544249316691534933*c_0101_3^25 + 107261543670893630365118787694136639959319/394939385762041409444675\ 544249316691534933*c_0101_3^24 + 7055112776614503671368850152231892\ 2068864/394939385762041409444675544249316691534933*c_0101_3^23 - 1861472544925073153460937175902598856952445/39493938576204140944467\ 5544249316691534933*c_0101_3^22 + 264955892732122103616327318722624\ 4772855095/394939385762041409444675544249316691534933*c_0101_3^21 + 12429841112420705136231972971201619357059391/3949393857620414094446\ 75544249316691534933*c_0101_3^20 - 33397498266930362233849157688578541055737355/3949393857620414094446\ 75544249316691534933*c_0101_3^19 - 53712784539183119082539484291802675700046408/3949393857620414094446\ 75544249316691534933*c_0101_3^18 + 114389413022693807894630642439722779709820602/394939385762041409444\ 675544249316691534933*c_0101_3^17 + 67915155754086374935228929291976662969178370/3949393857620414094446\ 75544249316691534933*c_0101_3^16 - 304479267297569210817739234522295408298248633/394939385762041409444\ 675544249316691534933*c_0101_3^15 - 24574565223980362082385218611509415973513560/3949393857620414094446\ 75544249316691534933*c_0101_3^14 + 674722625173574106439738073795773115226026043/394939385762041409444\ 675544249316691534933*c_0101_3^13 + 294870950437620626935682831318343776913995201/394939385762041409444\ 675544249316691534933*c_0101_3^12 - 760409785696247205859646831848730932773975679/394939385762041409444\ 675544249316691534933*c_0101_3^11 - 759555675664127004771764385996099191057458329/394939385762041409444\ 675544249316691534933*c_0101_3^10 + 244078624416990326386062806175220443736355780/394939385762041409444\ 675544249316691534933*c_0101_3^9 + 645997807726228027297890254471515943192060405/394939385762041409444\ 675544249316691534933*c_0101_3^8 + 135557975189581189487243114365305450708714332/394939385762041409444\ 675544249316691534933*c_0101_3^7 - 225758564728115110685342211021436194475185760/394939385762041409444\ 675544249316691534933*c_0101_3^6 - 101835214685172368330452594762256179076516034/394939385762041409444\ 675544249316691534933*c_0101_3^5 + 42434346441743637154543417016297999607225543/3949393857620414094446\ 75544249316691534933*c_0101_3^4 + 207832119555009565615410079136500\ 97612992112/394939385762041409444675544249316691534933*c_0101_3^3 - 9080725460404207761580493562021697494555985/39493938576204140944467\ 5544249316691534933*c_0101_3^2 - 1613560230225865170673158260902894\ 294989427/394939385762041409444675544249316691534933*c_0101_3 + 771911808923632042697089797859914239095156/394939385762041409444675\ 544249316691534933, c_0101_3^26 - 5*c_0101_3^25 - 23*c_0101_3^24 + 72*c_0101_3^23 + 32*c_0101_3^22 - 942*c_0101_3^21 - 394*c_0101_3^20 + 3137*c_0101_3^19 - 421*c_0101_3^18 - 7368*c_0101_3^17 + 5647*c_0101_3^16 + 17957*c_0101_3^15 - 5705*c_0101_3^14 - 27510*c_0101_3^13 - 7090*c_0101_3^12 + 20306*c_0101_3^11 + 14447*c_0101_3^10 - 6374*c_0101_3^9 - 8755*c_0101_3^8 + 556*c_0101_3^7 + 2378*c_0101_3^6 - 44*c_0101_3^5 - 330*c_0101_3^4 + 37*c_0101_3^3 + 34*c_0101_3^2 - c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB