Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 4054871356] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0364 geometric_solution 4.40833566 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 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 0 -1 -1 0 1 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.635260568445 0.624703175161 3 2 2 0 0132 3012 1230 0132 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 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 1.199732264736 0.786968088422 1 3 0 1 1230 3201 0132 3012 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 -1 1 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 1.199732264736 0.786968088422 1 4 2 4 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 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 1 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 1.195789028769 0.508828733748 5 3 5 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 1 -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.865339348008 0.230546395469 4 6 4 6 0132 0132 1023 1023 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 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.871897870914 0.100853563188 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 1 -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.887979795207 0.064443777846 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], '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' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1641186264196292239217728272429064855698049374746/88585221738373206\ 707559265383142112463514198405*c_0101_6^21 + 27624369287071421020441191722572009320680644425947/1771704434767464\ 13415118530766284224927028396810*c_0101_6^20 + 165649589697092482527443966679941282137924026664193/177170443476746\ 413415118530766284224927028396810*c_0101_6^19 - 566936128142844121559939442141611398955045652177041/177170443476746\ 413415118530766284224927028396810*c_0101_6^18 - 243860523999997624547543898663170901189054154397359/354340886953492\ 82683023706153256844985405679362*c_0101_6^17 + 28560130808492021343512482200673584681148368822912/1610640395243149\ 212864713916057129317518439971*c_0101_6^16 - 3856192999598566257377253699100940237816442771295091/17717044347674\ 6413415118530766284224927028396810*c_0101_6^15 + 5836945845055300143434761714886087536233995294058866/88585221738373\ 206707559265383142112463514198405*c_0101_6^14 + 32499212191614309079765487774406321374438165421335717/1771704434767\ 46413415118530766284224927028396810*c_0101_6^13 - 45400812711532164676363757200069482560824397172539954/8858522173837\ 3206707559265383142112463514198405*c_0101_6^12 - 2062932017617408135092599887921416819891070363231153/93247601829866\ 53337637817408751801311948862990*c_0101_6^11 + 95187270148571197832845100396952807852853414494324567/1771704434767\ 46413415118530766284224927028396810*c_0101_6^10 + 3840043346248001521257099209787785323364222169501419/35434088695349\ 282683023706153256844985405679362*c_0101_6^9 + 1939287858542246401161671295786082650809787419717695/17717044347674\ 641341511853076628422492702839681*c_0101_6^8 + 19795151874254048296255138132430080023270040958625523/1771704434767\ 46413415118530766284224927028396810*c_0101_6^7 + 213423480970223109287927994397205142116041356997583/885852217383732\ 06707559265383142112463514198405*c_0101_6^6 + 886125895945183520157569911807737881520793328501737/177170443476746\ 413415118530766284224927028396810*c_0101_6^5 - 5728622079178591117788534303180667809372877245813/16106403952431492\ 128647139160571293175184399710*c_0101_6^4 - 4768973095676333232693499270283018998643129950782/88585221738373206\ 707559265383142112463514198405*c_0101_6^3 + 7773312150388025987510176840139105981001657414028/17717044347674641\ 341511853076628422492702839681*c_0101_6^2 - 2258604811151828974221274994305015054597741049389/17717044347674641\ 341511853076628422492702839681*c_0101_6 - 1423941750356564764064921076195480724551126124691/17717044347674641\ 3415118530766284224927028396810, c_0011_0 - 1, c_0011_1 + 2022958061537419476622827034066460800945698/3369540575822487\ 8930224140503287224215866945*c_0101_6^21 - 16841025655671000755229196877800347736789391/3369540575822487893022\ 4140503287224215866945*c_0101_6^20 - 103767476515092363990395662815729367882329698/336954057582248789302\ 24140503287224215866945*c_0101_6^19 + 341105202523338836854743241812612082684163458/336954057582248789302\ 24140503287224215866945*c_0101_6^18 + 790295645952197697202302691966034802625448513/336954057582248789302\ 24140503287224215866945*c_0101_6^17 - 1886214280855651954125864790795295968478792676/33695405758224878930\ 224140503287224215866945*c_0101_6^16 + 2139010750590795329846277794713450041069240651/33695405758224878930\ 224140503287224215866945*c_0101_6^15 - 6879165121262210680202237345569861286256853856/33695405758224878930\ 224140503287224215866945*c_0101_6^14 - 20748006075229783966985070237093845871722308224/3369540575822487893\ 0224140503287224215866945*c_0101_6^13 + 54472439266751956543973982318116585842863648057/3369540575822487893\ 0224140503287224215866945*c_0101_6^12 + 1620409240870391372313585958934620676126555289/17734424083276252068\ 53902131751959169256155*c_0101_6^11 - 59344571471354293472928111219648450851279699112/3369540575822487893\ 0224140503287224215866945*c_0101_6^10 - 21083053982508686448700496015803623164865008494/3369540575822487893\ 0224140503287224215866945*c_0101_6^9 - 9378551535093761195888857282431183046806374572/33695405758224878930\ 224140503287224215866945*c_0101_6^8 - 9641866807788207408558340092419991332415661818/33695405758224878930\ 224140503287224215866945*c_0101_6^7 - 231498175914656880237586646750818520175486831/673908115164497578604\ 4828100657444843173389*c_0101_6^6 - 66723899122878151728561908855189274545957067/3369540575822487893022\ 4140503287224215866945*c_0101_6^5 + 310907470459346695464289828171565684756215393/336954057582248789302\ 24140503287224215866945*c_0101_6^4 - 163406852577909124881782835098822140082022468/336954057582248789302\ 24140503287224215866945*c_0101_6^3 - 138457945694393403127604828557756955396457183/336954057582248789302\ 24140503287224215866945*c_0101_6^2 + 9383039162680199486395297188928671663437671/33695405758224878930224\ 140503287224215866945*c_0101_6 - 6520268103638491897238787356650174\ 801698343/33695405758224878930224140503287224215866945, c_0101_1 - 3579174651868665259901678480303569183/4813251210008482037871\ 9015653466119399*c_0101_6^21 + 283789112978997492353326506230659951\ 55/48132512100084820378719015653466119399*c_0101_6^20 + 195480404462577269037989824254965534050/481325121000848203787190156\ 53466119399*c_0101_6^19 - 532384291622820594265043632727746875410/4\ 8132512100084820378719015653466119399*c_0101_6^18 - 1634241945197374229574158232185404241145/48132512100084820378719015\ 653466119399*c_0101_6^17 + 2841019305811774128324778247495775329869\ /48132512100084820378719015653466119399*c_0101_6^16 - 2585166087819066797503718788784890099604/48132512100084820378719015\ 653466119399*c_0101_6^15 + 1028730271638074542656584152818858124918\ 8/48132512100084820378719015653466119399*c_0101_6^14 + 42496573825897523600933597142632644538659/4813251210008482037871901\ 5653466119399*c_0101_6^13 - 832560180513273180823118214685572251030\ 67/48132512100084820378719015653466119399*c_0101_6^12 - 90318201909492071729845367127345642902015/4813251210008482037871901\ 5653466119399*c_0101_6^11 + 939525200445364130182137327281659260780\ 66/48132512100084820378719015653466119399*c_0101_6^10 + 55016441170991518957838452584784834251792/4813251210008482037871901\ 5653466119399*c_0101_6^9 + 2141414486200629999655222556376450548968\ 4/48132512100084820378719015653466119399*c_0101_6^8 + 49814836921817372221793493261670541811147/4813251210008482037871901\ 5653466119399*c_0101_6^7 + 1105096331888360543509214369784419061144\ 2/48132512100084820378719015653466119399*c_0101_6^6 + 3755803497464124100036722848105544918661/48132512100084820378719015\ 653466119399*c_0101_6^5 + 2906003804111839304337018326898887270395/\ 48132512100084820378719015653466119399*c_0101_6^4 - 366621827094751749691488972191935492634/481325121000848203787190156\ 53466119399*c_0101_6^3 + 207627605838055903593343136785202094329/48\ 132512100084820378719015653466119399*c_0101_6^2 - 36258713448084502073816583277692893316/4813251210008482037871901565\ 3466119399*c_0101_6 + 26422037610943790843889526497754677188/481325\ 12100084820378719015653466119399, c_0101_2 - 4371776401317400856168457003480799562456638/3369540575822487\ 8930224140503287224215866945*c_0101_6^21 + 35206771768376598050223522653630761326248036/3369540575822487893022\ 4140503287224215866945*c_0101_6^20 + 234905302506587325302596782479435888863160368/336954057582248789302\ 24140503287224215866945*c_0101_6^19 - 682872001375305838980461335251686023337182788/336954057582248789302\ 24140503287224215866945*c_0101_6^18 - 1944920801818357731747183421408760606621857188/33695405758224878930\ 224140503287224215866945*c_0101_6^17 + 3754956523375971509958454002406992827183956706/33695405758224878930\ 224140503287224215866945*c_0101_6^16 - 3271913560439822610952979317963609746607696011/33695405758224878930\ 224140503287224215866945*c_0101_6^15 + 12801751864786170941099511489826873872295002596/3369540575822487893\ 0224140503287224215866945*c_0101_6^14 + 50019140399883664548609705454707223047801082214/3369540575822487893\ 0224140503287224215866945*c_0101_6^13 - 108532956578465305757421571480238805722671345122/336954057582248789\ 30224140503287224215866945*c_0101_6^12 - 5543459853919406053912367177240829698245879804/17734424083276252068\ 53902131751959169256155*c_0101_6^11 + 133394402459409998360338557735377538154379308587/336954057582248789\ 30224140503287224215866945*c_0101_6^10 + 82704111200423292072245120105827372970746448964/3369540575822487893\ 0224140503287224215866945*c_0101_6^9 + 8500512868013957664948029094525389829900636637/33695405758224878930\ 224140503287224215866945*c_0101_6^8 + 30874763101215592999601503813641505704042772203/3369540575822487893\ 0224140503287224215866945*c_0101_6^7 + 909199907399995025433590885671920598501657285/673908115164497578604\ 4828100657444843173389*c_0101_6^6 - 5134947247046496248161313961642126821005755628/33695405758224878930\ 224140503287224215866945*c_0101_6^5 - 207944181509949664311577380924273310078067743/336954057582248789302\ 24140503287224215866945*c_0101_6^4 - 402353635810182005741719160335880521701859962/336954057582248789302\ 24140503287224215866945*c_0101_6^3 + 46677857686590031495743150740185104259698238/3369540575822487893022\ 4140503287224215866945*c_0101_6^2 + 2398126267911690636389036594662035426375909/33695405758224878930224\ 140503287224215866945*c_0101_6 - 1697062629494283127295100577425223\ 2210665237/33695405758224878930224140503287224215866945, c_0101_4 + 1271974233451018324279467090521057012/4813251210008482037871\ 9015653466119399*c_0101_6^21 - 113395771319699153937784047379205367\ 05/48132512100084820378719015653466119399*c_0101_6^20 - 58810874576666596173896344418789580686/4813251210008482037871901565\ 3466119399*c_0101_6^19 + 251238116042558261292655214407464847387/48\ 132512100084820378719015653466119399*c_0101_6^18 + 362192637753045173830920997709934958063/481325121000848203787190156\ 53466119399*c_0101_6^17 - 1438709549322130195735271215492694605101/\ 48132512100084820378719015653466119399*c_0101_6^16 + 2088984380918845042026554803534542928373/48132512100084820378719015\ 653466119399*c_0101_6^15 - 5360601253446934573011397022520440518590\ /48132512100084820378719015653466119399*c_0101_6^14 - 10135290274743517699343006254936986073608/4813251210008482037871901\ 5653466119399*c_0101_6^13 + 411213542046495968768401292069509047654\ 78/48132512100084820378719015653466119399*c_0101_6^12 - 2192712645593240651728707459455950880123/48132512100084820378719015\ 653466119399*c_0101_6^11 - 4190436109723915373887517726330388022762\ 7/48132512100084820378719015653466119399*c_0101_6^10 + 6978957431871380429775339861755343426151/48132512100084820378719015\ 653466119399*c_0101_6^9 - 6047473926077693554611393789074695611124/\ 48132512100084820378719015653466119399*c_0101_6^8 + 608422460816759722737548709339986554662/481325121000848203787190156\ 53466119399*c_0101_6^7 + 3110017500194820903852318866420842380764/4\ 8132512100084820378719015653466119399*c_0101_6^6 + 199234268026097280379696450475434544516/481325121000848203787190156\ 53466119399*c_0101_6^5 + 1389610562572245066306978527697178569493/4\ 8132512100084820378719015653466119399*c_0101_6^4 - 93807448542292674794472272427493007010/4813251210008482037871901565\ 3466119399*c_0101_6^3 + 57370754736313324747536402237496314729/4813\ 2512100084820378719015653466119399*c_0101_6^2 + 86167162891263319770653873360585048388/4813251210008482037871901565\ 3466119399*c_0101_6 + 1882642972797393396312840287017025132/4813251\ 2100084820378719015653466119399, c_0101_5 - 7987173455360103620803685353015762596/4813251210008482037871\ 9015653466119399*c_0101_6^21 + 667043620996736042187759023732982518\ 05/48132512100084820378719015653466119399*c_0101_6^20 + 407130427597462911990827223476229615417/481325121000848203787190156\ 53466119399*c_0101_6^19 - 1351372302225928356050506712567961944252/\ 48132512100084820378719015653466119399*c_0101_6^18 - 3038894899845609032125309368705787766053/48132512100084820378719015\ 653466119399*c_0101_6^17 + 7417643010259402225239521266651940092239\ /48132512100084820378719015653466119399*c_0101_6^16 - 9046624314995484174173992789688856311080/48132512100084820378719015\ 653466119399*c_0101_6^15 + 2796769396554917822486939754921088913579\ 7/48132512100084820378719015653466119399*c_0101_6^14 + 80837756590901651685060505634694279957521/4813251210008482037871901\ 5653466119399*c_0101_6^13 - 215124969199770967560084467966137922330\ 307/48132512100084820378719015653466119399*c_0101_6^12 - 105783957518341634393315872060981437253043/481325121000848203787190\ 15653466119399*c_0101_6^11 + 22039932294674340373196081218089607244\ 2351/48132512100084820378719015653466119399*c_0101_6^10 + 50510745624851889422924408581008510015917/4813251210008482037871901\ 5653466119399*c_0101_6^9 + 5445848158675781311477517843722604323843\ 1/48132512100084820378719015653466119399*c_0101_6^8 + 61454807076966847411492077092711469483307/4813251210008482037871901\ 5653466119399*c_0101_6^7 + 7762783785642241683945860376011731266433\ /48132512100084820378719015653466119399*c_0101_6^6 + 4994958039178185785105507650140975706231/48132512100084820378719015\ 653466119399*c_0101_6^5 + 2280535652938593773556999021626107241217/\ 48132512100084820378719015653466119399*c_0101_6^4 + 272483421414440896411446827557929351456/481325121000848203787190156\ 53466119399*c_0101_6^3 + 219080265107031017656555880388615060165/48\ 132512100084820378719015653466119399*c_0101_6^2 + 23586250623008332193038356874341641741/4813251210008482037871901565\ 3466119399*c_0101_6 - 6910486956147864649274011926026321521/4813251\ 2100084820378719015653466119399, c_0101_6^22 - 8*c_0101_6^21 - 54*c_0101_6^20 + 152*c_0101_6^19 + 445*c_0101_6^18 - 808*c_0101_6^17 + 764*c_0101_6^16 - 3039*c_0101_6^15 - 11416*c_0101_6^14 + 23662*c_0101_6^13 + 23778*c_0101_6^12 - 24876*c_0101_6^11 - 18389*c_0101_6^10 - 7601*c_0101_6^9 - 8112*c_0101_6^8 - 2264*c_0101_6^7 - 194*c_0101_6^6 - 45*c_0101_6^5 + 18*c_0101_6^4 - 40*c_0101_6^3 - 2*c_0101_6^2 + 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB