Magma V2.19-8 Tue Aug 20 2013 23:53:11 on localhost [Seed = 239625707] Type ? for help. Type -D to quit. Loading file "L13n4849__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4849 geometric_solution 11.40698088 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1230 0132 0132 1 1 0 1 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 1 -2 1 -1 0 1 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.847959707478 0.978023170135 0 4 0 5 0132 0132 3012 0132 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 0 0 0 0 0 0 1 -1 0 1 0 -1 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.493926100065 0.583697545499 6 7 6 0 0132 0132 2310 0132 1 1 1 1 0 0 1 -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 0 -2 2 0 0 1 -1 -1 0 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603291548947 0.654296151025 8 7 0 9 0132 0321 0132 0132 1 1 1 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 1 0 -1 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218260393775 0.721686476233 10 1 11 9 0132 0132 0132 3120 1 1 0 1 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 -1 0 1 0 0 0 0 -2 -1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562735070735 0.665518070941 6 11 1 11 2103 2103 0132 3120 1 1 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 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.669059924772 0.699496401502 2 2 5 10 0132 3201 2103 2103 1 1 1 1 0 -1 1 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 2 -2 0 0 0 0 0 -2 2 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417334033154 0.973003898229 9 2 8 3 3201 0132 1230 0321 1 0 1 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 0 0 0 0 0 0 0 -3 0 0 3 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.804306057893 0.674071108353 3 10 11 7 0132 1230 3120 3012 1 1 0 1 0 0 0 0 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 0 0 0 0 0 0 0 -2 2 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.270589122651 1.253435904110 4 10 3 7 3120 0132 0132 2310 1 1 0 1 0 -1 1 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 2 -1 -1 0 0 0 0 -3 0 0 3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.937670242779 0.690229135160 4 9 8 6 0132 0132 3012 2103 1 1 1 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 -2 2 0 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625351628477 0.474072969000 5 5 8 4 3120 2103 3120 0132 1 1 1 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 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371302812741 0.619914955295 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_5'], 'c_1001_10' : d['c_0011_3'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0011_11'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_11'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_2'], 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_2']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_2']), 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_0011_5'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : negation(d['c_0011_11']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : d['c_0101_11'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : d['c_0101_10'], 'c_1100_8' : negation(d['c_0101_11']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_0'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : d['c_0101_4'], 'c_0110_10' : d['c_0101_4'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_2, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_4, c_0101_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 1556411171710171419593925717793856/299324548213690385412349149*c_10\ 01_2^13 - 1190462031239935029948580893295102/9977484940456346180411\ 6383*c_1001_2^12 - 4733866808871840934250424707743531/5986490964273\ 80770824698298*c_1001_2^11 - 18225101226733069513460008612922027/23\ 94596385709523083298793192*c_1001_2^10 + 6605326418425921435046721378772997/2394596385709523083298793192*c_1\ 001_2^9 + 8306232233439687561827464620426911/7981987952365076944329\ 31064*c_1001_2^8 + 2783165662078935919693835057221081/3990993976182\ 53847216465532*c_1001_2^7 + 908921836458701650570985326964419/19954\ 9698809126923608232766*c_1001_2^6 + 3739257432800696690385338512793441/2394596385709523083298793192*c_1\ 001_2^5 - 132628583507476491777129387734023/79819879523650769443293\ 1064*c_1001_2^4 + 97646586057810528123484883024314/2993245482136903\ 85412349149*c_1001_2^3 + 23295650858547262045289388738617/299324548\ 213690385412349149*c_1001_2^2 - 21188933846627558475425773611689/39\ 9099397618253847216465532*c_1001_2 + 13025257014112905618914679023959/2394596385709523083298793192, c_0011_0 - 1, c_0011_11 - 801828743998162633292535576/228317733191220736393859*c_1001\ _2^13 - 1686973448341665166170984930/228317733191220736393859*c_100\ 1_2^12 - 1684662371263982497008208897/456635466382441472787718*c_10\ 01_2^11 - 876642700521383758947676457/228317733191220736393859*c_10\ 01_2^10 + 699760056823883710552990610/228317733191220736393859*c_10\ 01_2^9 + 3139442760689927857544424329/456635466382441472787718*c_10\ 01_2^8 + 761989126594520814070211735/228317733191220736393859*c_100\ 1_2^7 + 885798610408743259077157681/456635466382441472787718*c_1001\ _2^6 + 62511693552189400908630377/228317733191220736393859*c_1001_2\ ^5 - 203152858957067051766118177/456635466382441472787718*c_1001_2^\ 4 + 43390800878599733465717896/228317733191220736393859*c_1001_2^3 + 1823842070935761178057262/228317733191220736393859*c_1001_2^2 - 24124271974038457000773961/456635466382441472787718*c_1001_2 + 3616197619525794188346025/456635466382441472787718, c_0011_2 + 2380990196259436820844080604/228317733191220736393859*c_1001\ _2^13 + 5442145474871261258233342245/228317733191220736393859*c_100\ 1_2^12 + 14260389734329103528765640917/913270932764882945575436*c_1\ 001_2^11 + 3436140336529596548682907740/228317733191220736393859*c_\ 1001_2^10 - 5232609005299029885612821527/913270932764882945575436*c\ _1001_2^9 - 4767941069415521761251839533/228317733191220736393859*c\ _1001_2^8 - 3149095172376623449148977437/228317733191220736393859*c\ _1001_2^7 - 8178270968274852849894511459/913270932764882945575436*c\ _1001_2^6 - 1367344233961757670913073389/456635466382441472787718*c\ _1001_2^5 + 183923830480642310471006511/456635466382441472787718*c_\ 1001_2^4 - 584193551766306690170967651/913270932764882945575436*c_1\ 001_2^3 - 134872705495941553164209201/913270932764882945575436*c_10\ 01_2^2 + 99873570417852911745746659/913270932764882945575436*c_1001\ _2 - 5222961633772287500997279/456635466382441472787718, c_0011_3 + 3368194546744374331454558974/684953199573662209181577*c_1001\ _2^13 + 5238264771248190507508549059/456635466382441472787718*c_100\ 1_2^12 + 43230046477790081838866999921/5479625596589297673452616*c_\ 1001_2^11 + 40816691994169492429988814097/5479625596589297673452616\ *c_1001_2^10 - 12872167033792621794492185941/5479625596589297673452\ 616*c_1001_2^9 - 18213354678642312215129056733/18265418655297658911\ 50872*c_1001_2^8 - 6347275599836208509339023225/9132709327648829455\ 75436*c_1001_2^7 - 8288512086343830247371414253/1826541865529765891\ 150872*c_1001_2^6 - 8888427134557611844656269797/547962559658929767\ 3452616*c_1001_2^5 + 105936332242121248152510751/913270932764882945\ 575436*c_1001_2^4 - 1642871197498099123568454241/547962559658929767\ 3452616*c_1001_2^3 - 58090518307870462775879059/6849531995736622091\ 81577*c_1001_2^2 + 21223287250527140637717939/456635466382441472787\ 718*c_1001_2 - 18909775831543415115297725/5479625596589297673452616\ , c_0011_5 - 2256168055967831295908743560/228317733191220736393859*c_1001\ _2^13 - 5161094541283351509482575830/228317733191220736393859*c_100\ 1_2^12 - 6773945758552612290543659523/456635466382441472787718*c_10\ 01_2^11 - 3258784567649347226511029190/228317733191220736393859*c_1\ 001_2^10 + 4943492247451981721282592933/913270932764882945575436*c_\ 1001_2^9 + 18079580659813473388282406579/913270932764882945575436*c\ _1001_2^8 + 5985800338512868304522330035/456635466382441472787718*c\ _1001_2^7 + 3876439765922525991921298149/456635466382441472787718*c\ _1001_2^6 + 650207298039508580646233667/228317733191220736393859*c_\ 1001_2^5 - 342985815253999171978865893/913270932764882945575436*c_1\ 001_2^4 + 553583869143057917712612135/913270932764882945575436*c_10\ 01_2^3 + 129668829168737277882766005/913270932764882945575436*c_100\ 1_2^2 - 47465019699168478227730223/456635466382441472787718*c_1001_\ 2 + 9344191446536236435078501/913270932764882945575436, c_0101_0 - 1, c_0101_1 - 1672225883058556448095608292/684953199573662209181577*c_1001\ _2^13 - 1352317239497395758335567557/228317733191220736393859*c_100\ 1_2^12 - 12229200142719313797722851351/2739812798294648836726308*c_\ 1001_2^11 - 11277552793520121339079019471/2739812798294648836726308\ *c_1001_2^10 + 525559221842751614445635597/684953199573662209181577\ *c_1001_2^9 + 2295634473761153433120067813/456635466382441472787718\ *c_1001_2^8 + 891278627336192681710078972/228317733191220736393859*\ c_1001_2^7 + 2398135965848128469016541415/913270932764882945575436*\ c_1001_2^6 + 2907514222066933364089334039/2739812798294648836726308\ *c_1001_2^5 + 36825310752172891434218493/913270932764882945575436*c\ _1001_2^4 + 209848077861371036556474325/1369906399147324418363154*c\ _1001_2^3 + 150349117034311664835083401/2739812798294648836726308*c\ _1001_2^2 - 4552887812522656839348357/228317733191220736393859*c_10\ 01_2 + 1307623596335906386009871/1369906399147324418363154, c_0101_10 - 17252290960147097836029213854/684953199573662209181577*c_10\ 01_2^13 - 26211538075145764119778934259/456635466382441472787718*c_\ 1001_2^12 - 204305768228695253219518820449/547962559658929767345261\ 6*c_1001_2^11 - 197187951450047920676880348449/54796255965892976734\ 52616*c_1001_2^10 + 77597477021027433077730494711/54796255965892976\ 73452616*c_1001_2^9 + 92064711153523791148037448111/182654186552976\ 5891150872*c_1001_2^8 + 30106401229565560442095200355/9132709327648\ 82945575436*c_1001_2^7 + 38909195965187061369075252077/182654186552\ 9765891150872*c_1001_2^6 + 38504112882090715696955338805/5479625596\ 589297673452616*c_1001_2^5 - 241849292993777321123719348/2283177331\ 91220736393859*c_1001_2^4 + 8427320673065948027155690259/5479625596\ 589297673452616*c_1001_2^3 + 943363532850827246196461057/2739812798\ 294648836726308*c_1001_2^2 - 61768942843448498523876850/22831773319\ 1220736393859*c_1001_2 + 154893566257808250688014247/54796255965892\ 97673452616, c_0101_11 - 1484331872658435491244777320/228317733191220736393859*c_100\ 1_2^13 - 3335471248707513503550187806/228317733191220736393859*c_10\ 01_2^12 - 4168855008232414000300596007/456635466382441472787718*c_1\ 001_2^11 - 2037431784978175226956544100/228317733191220736393859*c_\ 1001_2^10 + 3651534155929677115531552969/913270932764882945575436*c\ _1001_2^9 + 11810015053513661737558866779/913270932764882945575436*\ c_1001_2^8 + 3694675070806281368816654667/456635466382441472787718*\ c_1001_2^7 + 2363386806254860312260509163/456635466382441472787718*\ c_1001_2^6 + 364369511748809743335613622/228317733191220736393859*c\ _1001_2^5 - 324661099192173604573366357/913270932764882945575436*c_\ 1001_2^4 + 359955163285314081986680359/913270932764882945575436*c_1\ 001_2^3 + 70721748537246771728383053/913270932764882945575436*c_100\ 1_2^2 - 33363248016036688683907515/456635466382441472787718*c_1001_\ 2 + 7340824889181812893778233/913270932764882945575436, c_0101_4 - 1312615616656714442709192920/228317733191220736393859*c_1001\ _2^13 - 2993382423342589746112209590/228317733191220736393859*c_100\ 1_2^12 - 3911206311354359829762993423/456635466382441472787718*c_10\ 01_2^11 - 7582519573802199487033162151/913270932764882945575436*c_1\ 001_2^10 + 724734861935102542861287905/228317733191220736393859*c_1\ 001_2^9 + 10464219548911569100314468469/913270932764882945575436*c_\ 1001_2^8 + 3452877990152997392706864713/456635466382441472787718*c_\ 1001_2^7 + 2253463863534933757143362651/456635466382441472787718*c_\ 1001_2^6 + 1507492770352568018454987497/913270932764882945575436*c_\ 1001_2^5 - 47665780874388390461829052/228317733191220736393859*c_10\ 01_2^4 + 82700301492565893050183368/228317733191220736393859*c_1001\ _2^3 + 73367267560870487055366483/913270932764882945575436*c_1001_2\ ^2 - 53572095090635772148189045/913270932764882945575436*c_1001_2 + 6318789027664841738816593/913270932764882945575436, c_0101_8 + 336966927395547750854504170/228317733191220736393859*c_1001_\ 2^13 + 1621426088739499139539927691/456635466382441472787718*c_1001\ _2^12 + 4792595284938875765130548851/1826541865529765891150872*c_10\ 01_2^11 + 4434458167498808749154529937/1826541865529765891150872*c_\ 1001_2^10 - 943315776683666927793811117/1826541865529765891150872*c\ _1001_2^9 - 5528129964440171836220606933/1826541865529765891150872*\ c_1001_2^8 - 2093495345173998642209174325/913270932764882945575436*\ c_1001_2^7 - 2792770981795263446088797365/1826541865529765891150872\ *c_1001_2^6 - 1107357490460914575779837225/182654186552976589115087\ 2*c_1001_2^5 - 7078972634254041684335893/456635466382441472787718*c\ _1001_2^4 - 178484654577493429335471577/1826541865529765891150872*c\ _1001_2^3 - 16126602296866643859847725/456635466382441472787718*c_1\ 001_2^2 + 11084253567552664353113539/913270932764882945575436*c_100\ 1_2 - 233180103238240819483915/1826541865529765891150872, c_1001_2^14 + 11/4*c_1001_2^13 + 4361/1712*c_1001_2^12 + 1807/856*c_1001_2^11 + 43/428*c_1001_2^10 - 487/214*c_1001_2^9 - 3849/1712*c_1001_2^8 - 2481/1712*c_1001_2^7 - 143/214*c_1001_2^6 - 143/1712*c_1001_2^5 - 67/1712*c_1001_2^4 - 73/1712*c_1001_2^3 + 1/214*c_1001_2^2 + 7/1712*c_1001_2 - 1/1712 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB