Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 1814949958] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0070 geometric_solution 3.62393744 oriented_manifold CS_known 0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 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 0 1 0 -1 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 0 0 0 -0.434483949350 0.079310261952 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7.023207222749 2.217787816147 3 1 1 3 0132 3201 0132 3201 0 0 0 0 0 0 0 0 -1 0 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 1 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.272514971281 0.186693144685 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 -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 0 0 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.777937025778 0.971130123443 5 6 3 5 1230 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 1 -1 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 -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 1.197022595624 0.407465129871 6 4 4 3 3201 3012 1230 0132 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.197022595624 0.407465129871 6 4 6 5 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.990351338956 0.502546690289 ==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' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 1292686491832666694619730848127847315892947831/17405161252047816133\ 235779259638889475347819776*c_0101_5^20 + 40144768467546229671304066003195820572346801045/5221548375614344839\ 9707337778916668426043459328*c_0101_5^19 - 24725116674308956591594436419417905352281897935/6526935469517931049\ 963417222364583553255432416*c_0101_5^18 + 2074355441332382441617611009706820560602371896291/52215483756143448\ 399707337778916668426043459328*c_0101_5^17 - 11777770763806765195924601182488136312627179071/7172456559909814340\ 6191398047962456629180576*c_0101_5^16 + 721559429491515726557341682866372944964406201063/108782257825298850\ 8327236203727430592209238736*c_0101_5^15 - 6574898858575501189854813966037756606871625842767/37296774111531034\ 57121952698494047744717389952*c_0101_5^14 + 38235599672779926329521000870634339287181124781063/8702580626023908\ 066617889629819444737673909888*c_0101_5^13 - 423759856024542553671340447095783842333116869295987/522154837561434\ 48399707337778916668426043459328*c_0101_5^12 + 188218267759652546723122898811876143093940632952713/130538709390358\ 62099926834444729167106510864832*c_0101_5^11 - 21220704572036365967190717022576917737005128289431/1087822578252988\ 508327236203727430592209238736*c_0101_5^10 + 346538451637210720347541861099859687842487924581739/130538709390358\ 62099926834444729167106510864832*c_0101_5^9 - 200143249993075113353316253867408811232716266743505/745935482230620\ 6914243905396988095489434779904*c_0101_5^8 + 31721700086330908344912436762338580692829895688637/1087822578252988\ 508327236203727430592209238736*c_0101_5^7 - 190975242318841701341376332214971290878763610782351/870258062602390\ 8066617889629819444737673909888*c_0101_5^6 + 83757723910118308718437071463592090337372318102747/4351290313011954\ 033308944814909722368836954944*c_0101_5^5 - 35254663956763902175552665429183793773348914841493/3263467734758965\ 524981708611182291776627716208*c_0101_5^4 + 23008561175924449617599468584562814058014199791031/3263467734758965\ 524981708611182291776627716208*c_0101_5^3 - 5773637679723421462888501192390175561591929639001/16317338673794827\ 62490854305591145888313858104*c_0101_5^2 + 577343574495343751138508449267927654332185360689/407933466844870690\ 622713576397786472078464526*c_0101_5 - 127706172159186551229161052400633303832068910323/407933466844870690\ 622713576397786472078464526, c_0011_0 - 1, c_0011_2 - 10665045001001430660681781705068160512799/370322579830804598\ 579484665098699776071230208*c_0101_5^20 - 75328997484079050385865381951935695914377/3703225798308045985794846\ 65098699776071230208*c_0101_5^19 + 233974971257655541264172719691002364656783/925806449577011496448711\ 66274674944017807552*c_0101_5^18 - 7183378380714833666005613101310939387231459/37032257983080459857948\ 4665098699776071230208*c_0101_5^17 + 225401592358360981098862958876889179917485/203473944961980548670046\ 5192849998769622144*c_0101_5^16 - 787903002848327899171352362340497\ 17836203265/185161289915402299289742332549349888035615104*c_0101_5^\ 15 + 36184533894274880027427250973054563395737753/26451612845057471\ 327106047507049984005087872*c_0101_5^14 - 606352302180171719491704063901732084901055619/185161289915402299289\ 742332549349888035615104*c_0101_5^13 + 2578496475083354392683799792154325967278408209/37032257983080459857\ 9484665098699776071230208*c_0101_5^12 - 2095202324925221151775381806165301895084533873/18516128991540229928\ 9742332549349888035615104*c_0101_5^11 + 3223384197471820408614207113616043079283316871/18516128991540229928\ 9742332549349888035615104*c_0101_5^10 - 1812664085035201344968221120665323957489927107/92580644957701149644\ 871166274674944017807552*c_0101_5^9 + 1244470640549364054244024518390175268068533287/52903225690114942654\ 212095014099968010175744*c_0101_5^8 - 3137338541293110716892813379118875845912053553/18516128991540229928\ 9742332549349888035615104*c_0101_5^7 + 1684450656011434140020537493625630616653860647/92580644957701149644\ 871166274674944017807552*c_0101_5^6 - 125129597749658767051323528782715905445109117/231451612394252874112\ 17791568668736004451888*c_0101_5^5 + 93803622404891830581629840269963804926906861/1157258061971264370560\ 8895784334368002225944*c_0101_5^4 + 17543157135084529619792999347332357539716639/1157258061971264370560\ 8895784334368002225944*c_0101_5^3 + 2151999391804494343541673078925707209639464/14465725774640804632011\ 11973041796000278243*c_0101_5^2 - 104734712707976226982646469674636\ 149329138/1446572577464080463201111973041796000278243*c_0101_5 - 859586700199238619146004833353079071251692/144657257746408046320111\ 1973041796000278243, c_0011_4 - 24514554525156954424970756841541294969455/370322579830804598\ 579484665098699776071230208*c_0101_5^20 - 266635605836732492943394239927988403772631/370322579830804598579484\ 665098699776071230208*c_0101_5^19 + 550093901653118920398421039563815699157055/185161289915402299289742\ 332549349888035615104*c_0101_5^18 - 12634674525231629798421614334890058921737519/3703225798308045985794\ 84665098699776071230208*c_0101_5^17 + 66209153417157721379183315506583687023025/5086848624049513716751162\ 98212499692405536*c_0101_5^16 - 99485799155539847581797803711928331\ 002246569/185161289915402299289742332549349888035615104*c_0101_5^15 + 35852246346672183502941179416882263063354303/26451612845057471327\ 106047507049984005087872*c_0101_5^14 - 636909035692431862198936889951952007517517409/185161289915402299289\ 742332549349888035615104*c_0101_5^13 + 2247715241936168738813602746465509596593256557/37032257983080459857\ 9484665098699776071230208*c_0101_5^12 - 512652903793922019348522481238130829436725763/462903224788505748224\ 35583137337472008903776*c_0101_5^11 + 2641746171883464329361061381529941851426643615/18516128991540229928\ 9742332549349888035615104*c_0101_5^10 - 943997974809620119117207388376307198373252659/462903224788505748224\ 35583137337472008903776*c_0101_5^9 + 1029593236382907629929037977727269786054198311/52903225690114942654\ 212095014099968010175744*c_0101_5^8 - 529674295574275742330507880196890571738551105/231451612394252874112\ 17791568668736004451888*c_0101_5^7 + 1466520398252043711825959479854030740869362539/92580644957701149644\ 871166274674944017807552*c_0101_5^6 - 172743929984877336281668418808285896353738069/115725806197126437056\ 08895784334368002225944*c_0101_5^5 + 43605959229452340526162548391751706577550753/5786290309856321852804\ 447892167184001112972*c_0101_5^4 - 12557166508255527666157954337152103550349183/2893145154928160926402\ 223946083592000556486*c_0101_5^3 + 3511277735848387904015104447940309471029747/14465725774640804632011\ 11973041796000278243*c_0101_5^2 - 355520457644563214246444392339205\ 951136585/1446572577464080463201111973041796000278243*c_0101_5 + 51166203418313797952182727424002400666196/1446572577464080463201111\ 973041796000278243, c_0101_0 + 46601718486003701400078347533873000391479/370322579830804598\ 579484665098699776071230208*c_0101_5^20 + 568703258562768600728446254909221910207747/370322579830804598579484\ 665098699776071230208*c_0101_5^19 - 719190585143093754423328436196081468298849/185161289915402299289742\ 332549349888035615104*c_0101_5^18 + 20961580706149673259070066886586354520231495/3703225798308045985794\ 84665098699776071230208*c_0101_5^17 - 163633566250099277276569726887355021574347/101736972480990274335023\ 2596424999384811072*c_0101_5^16 + 125453506550350483177352381804917\ 223356722893/185161289915402299289742332549349888035615104*c_0101_5\ ^15 - 4594752782969223419247467012486927971641677/37788018350082101\ 89586578215292854857869696*c_0101_5^14 + 581033486630902628386896104132591137905687005/185161289915402299289\ 742332549349888035615104*c_0101_5^13 - 1244806141593905014077334045404089067773386525/37032257983080459857\ 9484665098699776071230208*c_0101_5^12 + 666102822746425657316676974868477514348730663/925806449577011496448\ 71166274674944017807552*c_0101_5^11 - 615955180954997065015459417460329348268798467/185161289915402299289\ 742332549349888035615104*c_0101_5^10 + 14664749618331359020651514338691802167056068/1446572577464080463201\ 111973041796000278243*c_0101_5^9 + 94451089119928289284155210704668998860034225/5290322569011494265421\ 2095014099968010175744*c_0101_5^8 + 1030832596274436013770257069430495910062898581/92580644957701149644\ 871166274674944017807552*c_0101_5^7 + 695582152625250003293648438151466771534746391/925806449577011496448\ 71166274674944017807552*c_0101_5^6 + 116467935161087455901503830753416238223399115/115725806197126437056\ 08895784334368002225944*c_0101_5^5 + 163519300270504283196208772863410605751349175/231451612394252874112\ 17791568668736004451888*c_0101_5^4 + 32274880616029241986854126999467756742772965/5786290309856321852804\ 447892167184001112972*c_0101_5^3 + 4656489774006162005528935311677587701513667/28931451549281609264022\ 23946083592000556486*c_0101_5^2 + 173071407775275951626959436859513\ 450444879/2893145154928160926402223946083592000556486*c_0101_5 + 422908177613892306663778788091294328505768/144657257746408046320111\ 1973041796000278243, c_0101_1 - 29378866196839780998152116586148906473/406947889923961097340\ 0930385699997539244288*c_0101_5^20 - 807681317630980770414331639395608757451/406947889923961097340093038\ 5699997539244288*c_0101_5^19 - 840540379201002154887149127496962363\ 85/78259209600761749488479430494230721908544*c_0101_5^18 + 3400896677892577037352949392580401504423/40694788992396109734009303\ 85699997539244288*c_0101_5^17 - 83607601553681477242936219217516675\ 527441/2034739449619805486700465192849998769622144*c_0101_5^16 + 251203627247523418675658347395038011190491/203473944961980548670046\ 5192849998769622144*c_0101_5^15 - 114598404375469176565603352609361\ 2563930307/2034739449619805486700465192849998769622144*c_0101_5^14 + 2249181912765776693741607223528822292332251/20347394496198054867004\ 65192849998769622144*c_0101_5^13 - 11531580220037721792144426785921401877407737/4069478899239610973400\ 930385699997539244288*c_0101_5^12 + 7286823787925884768383702750411582595495119/20347394496198054867004\ 65192849998769622144*c_0101_5^11 - 13959964712299785656322136703723815258595221/2034739449619805486700\ 465192849998769622144*c_0101_5^10 + 403655109123572516279276897874399277867089/782592096007617494884794\ 30494230721908544*c_0101_5^9 - 383691973612853808055204701215697914\ 99890817/4069478899239610973400930385699997539244288*c_0101_5^8 + 764697962035157893152288437396323308700541/290677064231400783814352\ 170407142681374592*c_0101_5^7 - 59848954547121647431233366890631992\ 7764445/72669266057850195953588042601785670343648*c_0101_5^6 - 51747683419600377225366058600435765733763/3633463302892509797679402\ 1300892835171824*c_0101_5^5 - 1167262074817492851695406029377610616\ 360107/254342431202475685837558149106249846202768*c_0101_5^4 - 38840041673789204516208383028768108526205/1816731651446254898839701\ 0650446417585912*c_0101_5^3 - 5352566531097670341626349015543509589\ 4385/63585607800618921459389537276562461550692*c_0101_5^2 - 206533975957560101026102639967822578602/158964019501547303648473843\ 19140615387673*c_0101_5 + 13257970390032329470310333029929735875371\ /15896401950154730364847384319140615387673, c_0101_3 + 3326913509671219165862349368232596562461/5290322569011494265\ 4212095014099968010175744*c_0101_5^20 + 33160212830980379361062337747320669477301/5290322569011494265421209\ 5014099968010175744*c_0101_5^19 - 924297587761240057948024033114923\ 75870997/26451612845057471327106047507049984005087872*c_0101_5^18 + 259779867263963062661718623556070582411147/755760367001642037917315\ 6430585709715739392*c_0101_5^17 - 770834371690620300345999053416376\ 92087289/508684862404951371675116298212499692405536*c_0101_5^16 + 15872451297383277733699355524263920473545875/2645161284505747132710\ 6047507049984005087872*c_0101_5^15 - 44515484278783490407861782725861513229224619/2645161284505747132710\ 6047507049984005087872*c_0101_5^14 + 109691496329435292042419204848546987728710691/264516128450574713271\ 06047507049984005087872*c_0101_5^13 - 429856578314834835784596365660388954254354327/529032256901149426542\ 12095014099968010175744*c_0101_5^12 + 93366574775342659654691032297778910795298633/6612903211264367831776\ 511876762496001271968*c_0101_5^11 - 542160221655036149692654642641542678131941861/264516128450574713271\ 06047507049984005087872*c_0101_5^10 + 172652202798284210820960678416593355537280997/661290321126436783177\ 6511876762496001271968*c_0101_5^9 - 1528792980403005680215138545958668536438210435/52903225690114942654\ 212095014099968010175744*c_0101_5^8 + 86627253959903946981289610940855412333720405/3306451605632183915888\ 255938381248000635984*c_0101_5^7 - 303215988698870123480429313085656764131098509/132258064225287356635\ 53023753524992002543936*c_0101_5^6 + 2558952013309079846870330691550784001464744/20665322535201149474301\ 5996148828000039749*c_0101_5^5 - 2071406922842969498733215390768230\ 035147299/206653225352011494743015996148828000039749*c_0101_5^4 + 239463317311955493242231233269262876935062/206653225352011494743015\ 996148828000039749*c_0101_5^3 - 45360719736933269008328077206468150\ 6334891/206653225352011494743015996148828000039749*c_0101_5^2 + 26823380926263061590135850178033974399853/2066532253520114947430159\ 96148828000039749*c_0101_5 + 58853116782831836236858902503558088381\ 216/206653225352011494743015996148828000039749, c_0101_5^21 + 11*c_0101_5^20 - 44*c_0101_5^19 + 505*c_0101_5^18 - 1878*c_0101_5^17 + 7650*c_0101_5^16 - 18538*c_0101_5^15 + 46170*c_0101_5^14 - 76975*c_0101_5^13 + 138362*c_0101_5^12 - 163102*c_0101_5^11 + 234092*c_0101_5^10 - 188599*c_0101_5^9 + 240754*c_0101_5^8 - 115296*c_0101_5^7 + 154528*c_0101_5^6 - 30768*c_0101_5^5 + 56608*c_0101_5^4 - 7360*c_0101_5^3 + 8192*c_0101_5^2 + 1792*c_0101_5 + 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB