Magma V2.19-8 Tue Aug 20 2013 16:19:07 on localhost [Seed = 54697593] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3255 geometric_solution 6.38415633 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 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 0 1 0 -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.136066711819 0.933026325024 0 3 5 4 0132 0132 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 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.291951568540 0.973504598791 3 0 4 5 0132 0132 0132 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 -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.291951568540 0.973504598791 2 1 6 6 0132 0132 0132 3201 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 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.682812887954 0.766779771324 4 4 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.839458595040 0.917506369273 2 5 5 1 3201 1230 3012 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.631730346954 0.722627781215 6 3 6 3 2031 2310 1302 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 1 -1 -1 0 1 0 -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.040888980187 1.232688943227 ==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' : negation(d['1']), 's_2_0' : negation(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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : 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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(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_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 1168956901051147712420241364164420076939060439448001675424095833937\ 075/451916995453537313730014011318817558047507488237492642269125007\ *c_0101_3^26 + 9303569449854716174511194250190103085353456706050238\ 9672508036329996243/18076679818141492549200560452752702321900299529\ 49970569076500028*c_0101_3^24 - 42306176206840087831677568302909489\ 1737138699131553187485985400771042581/18076679818141492549200560452\ 75270232190029952949970569076500028*c_0101_3^22 + 1904451502742321742568035289345410796892605671581055403600686830940\ 30621/4519169954535373137300140113188175580475074882374926422691250\ 07*c_0101_3^20 - 61735543645992377933412098961430874995996199891625\ 7495783491356989386977/18076679818141492549200560452752702321900299\ 52949970569076500028*c_0101_3^18 + 2830163064528527448484829212246374261708050473649123250395958482359\ 17609/1807667981814149254920056045275270232190029952949970569076500\ 028*c_0101_3^16 - 1261568993123852617929160920289208005987422226172\ 45819319740322451339261/1807667981814149254920056045275270232190029\ 952949970569076500028*c_0101_3^14 + 9393835077409814365951601894603590506178206743797786282954858648882\ 696/451916995453537313730014011318817558047507488237492642269125007\ *c_0101_3^12 + 6581598388377564521233077422235763911513829670441981\ 5989412166552299/10633341069494995617176800266325119012882529134999\ 8268769205884*c_0101_3^10 - 360799589602195791783752791894921016717\ 71242174624938034217090563859/3410694305309715575320860462783528739\ 9811885904716425831632076*c_0101_3^8 + 4616918830767257943164268362484812455980826848271469123541317199047\ 01/903833990907074627460028022637635116095014976474985284538250014*\ c_0101_3^6 - 202237815099081162874459900894328676554234829641633097\ 109643917617451/180766798181414925492005604527527023219002995294997\ 0569076500028*c_0101_3^4 + 1208303966427846401347723665685106582696\ 9216300703117191973000906039/18076679818141492549200560452752702321\ 90029952949970569076500028*c_0101_3^2 - 1106721641435347854767939734536307746312189449749698553847740848687\ /903833990907074627460028022637635116095014976474985284538250014, c_0011_0 - 1, c_0011_4 - 164784746072147720459434771216881418559840108617057952876125\ /91949688474113201848937981630452973653306653850519039883*c_0101_3^\ 26 + 3302151196280278261886255968757425475987450160377387091234130/\ 91949688474113201848937981630452973653306653850519039883*c_0101_3^2\ 4 - 15384961843430718093054585546102761762850239802395246950417613/\ 91949688474113201848937981630452973653306653850519039883*c_0101_3^2\ 2 + 29162211974722204489478334210777795724001160469956156928076857/\ 91949688474113201848937981630452973653306653850519039883*c_0101_3^2\ 0 - 26508274886779115673602237808333774254666999282057184568120192/\ 91949688474113201848937981630452973653306653850519039883*c_0101_3^1\ 8 + 14902649164792740369121354988942260296021466360148222900835410/\ 91949688474113201848937981630452973653306653850519039883*c_0101_3^1\ 6 - 7644464077914749463438773203632293715098351023571335273199027/9\ 1949688474113201848937981630452973653306653850519039883*c_0101_3^14 + 3046560982976180130973430508620791887161913668899682678708364/919\ 49688474113201848937981630452973653306653850519039883*c_0101_3^12 - 42605875651219465707741800377896062645244229792514356152385/5408805\ 204359600108761057742967821979606273755912884699*c_0101_3^10 + 3138165371991139669642677001578093957327507661842031567654/17348997\ 82530437770734678898687791955722767053783378111*c_0101_3^8 - 24611890240520428850297072252754601434868854054031130754775/9194968\ 8474113201848937981630452973653306653850519039883*c_0101_3^6 + 3358266380941622180389277137321435806770863182743400312933/91949688\ 474113201848937981630452973653306653850519039883*c_0101_3^4 - 563722807053622789272474007113112295263134923647995959174/919496884\ 74113201848937981630452973653306653850519039883*c_0101_3^2 + 19423150595385391050124217462356189592539658816139999253/9194968847\ 4113201848937981630452973653306653850519039883, c_0011_5 + 552087540528898264010246380463060948140350012571462995224350\ 8491125/18076679818141492549200560452752702321900299529499705690765\ 00028*c_0101_3^26 - 11082745919953331718903065925393725347502149769\ 1173301906520885129705/18076679818141492549200560452752702321900299\ 52949970569076500028*c_0101_3^24 + 2596983186456979600147548436008713416824132733436846036411604218814\ 53/903833990907074627460028022637635116095014976474985284538250014*\ c_0101_3^22 - 99640599408422168025926260171627823939977217044538739\ 8647984654539467/18076679818141492549200560452752702321900299529499\ 70569076500028*c_0101_3^20 + 92811035251659555635688023812766257116\ 8036435291405945300860243209053/18076679818141492549200560452752702\ 32190029952949970569076500028*c_0101_3^18 - 5401664500278731634674772833599599318094365418937737171483767784486\ 61/1807667981814149254920056045275270232190029952949970569076500028\ *c_0101_3^16 + 1401920372562723716606821383885385710420655680449459\ 58281149305448793/9038339909070746274600280226376351160950149764749\ 85284538250014*c_0101_3^14 - 11320651079020483510415565762932414481\ 9713051184597090664004430290667/18076679818141492549200560452752702\ 32190029952949970569076500028*c_0101_3^12 + 1687742524012756778846408081818814482710683338732378648294768107745\ /106333410694949956171768002663251190128825291349998268769205884*c_\ 0101_3^10 - 3084142220059538836931953956264399216259642252096809362\ 3234382438/85267357632742889383021511569588218499529714761791064579\ 08019*c_0101_3^8 + 826411634185842178666890424661774568259386831247\ 719224879967426851/180766798181414925492005604527527023219002995294\ 9970569076500028*c_0101_3^6 - 9459494621870923838722343989300693755\ 1788388609424924535210164665/18076679818141492549200560452752702321\ 90029952949970569076500028*c_0101_3^4 + 2638709683243209360544201765812532282827456001341755754560167688/45\ 1916995453537313730014011318817558047507488237492642269125007*c_010\ 1_3^2 - 58322445818640313661593925840770065571185652107559354347971\ 665/451916995453537313730014011318817558047507488237492642269125007\ , c_0011_6 + 12355753525781480979929303319039672219623650454656015136125/\ 91949688474113201848937981630452973653306653850519039883*c_0101_3^2\ 6 - 250330330274296086749495515637529536930117936919852115176980/91\ 949688474113201848937981630452973653306653850519039883*c_0101_3^24 + 1206463023825050439079580629189154597619472900375982864019758/91949\ 688474113201848937981630452973653306653850519039883*c_0101_3^22 - 2404526294715051675832134450770472731141302405550886997273062/91949\ 688474113201848937981630452973653306653850519039883*c_0101_3^20 + 2298130856096976804531065685341596476903444470453580855851081/91949\ 688474113201848937981630452973653306653850519039883*c_0101_3^18 - 1231698861731993823261079809953871713621155803271757342402854/91949\ 688474113201848937981630452973653306653850519039883*c_0101_3^16 + 535590475366028982756843417696726233924918431753749329567676/919496\ 88474113201848937981630452973653306653850519039883*c_0101_3^14 - 209573671187191389802635466965274293270180902846248423687457/919496\ 88474113201848937981630452973653306653850519039883*c_0101_3^12 + 1936568789289569211290137983832309628716183785601336023091/54088052\ 04359600108761057742967821979606273755912884699*c_0101_3^10 + 59851311305643696442081789001169968816332627695663282507/1734899782\ 530437770734678898687791955722767053783378111*c_0101_3^8 + 324984934517391098373243307028465959711024290420960078489/919496884\ 74113201848937981630452973653306653850519039883*c_0101_3^6 + 536614504042266352309018251266614690540168453009052347142/919496884\ 74113201848937981630452973653306653850519039883*c_0101_3^4 - 65091519784292041048567352747780849473906025405233839639/9194968847\ 4113201848937981630452973653306653850519039883*c_0101_3^2 - 11066779583745345317206443840674153052205808743889036581/9194968847\ 4113201848937981630452973653306653850519039883, c_0101_0 - 301198855695327351416998235998399980339133909292138504210679\ 63383475/3615335963628298509840112090550540464380059905899941138153\ 000056*c_0101_3^27 + 5934361809964889446323719825670065008188772810\ 35945124659411658831411/3615335963628298509840112090550540464380059\ 905899941138153000056*c_0101_3^25 - 1303681519151709535005057169596777999569374126984740649543408811276\ 593/180766798181414925492005604527527023219002995294997056907650002\ 8*c_0101_3^23 + 435300537522194643111277447560190760497123461683511\ 0788910008354807729/36153359636282985098401120905505404643800599058\ 99941138153000056*c_0101_3^21 - 29077816748145153396300257562581021\ 43775019546719484439568012050049119/3615335963628298509840112090550\ 540464380059905899941138153000056*c_0101_3^19 + 8192747156837666446855776164820463258338571671179502348573178375904\ 75/3615335963628298509840112090550540464380059905899941138153000056\ *c_0101_3^17 - 1131003483094234829464857312490786989433166473259058\ 60704881107643175/1807667981814149254920056045275270232190029952949\ 970569076500028*c_0101_3^15 - 6051546227539156831293988891739869098\ 9009343549278687630764524597935/36153359636282985098401120905505404\ 64380059905899941138153000056*c_0101_3^13 + 7631164974890056945185854004211233378671653649622214003234259611565\ /212666821389899912343536005326502380257650582699996537538411768*c_\ 0101_3^11 - 1022013546498110679842787046580154006256185318582627073\ 08653972601/8526735763274288938302151156958821849952971476179106457\ 908019*c_0101_3^9 + 12720150854199154564874831256994055380478146580\ 933609195407682540247/361533596362829850984011209055054046438005990\ 5899941138153000056*c_0101_3^7 - 2154304890434542061031636676998530\ 139875748953692546420431730731213/361533596362829850984011209055054\ 0464380059905899941138153000056*c_0101_3^5 + 19784548262413743693232142370542281134134805217908100200337022811/4\ 51916995453537313730014011318817558047507488237492642269125007*c_01\ 01_3^3 - 3033683703131786210356231758281192446834973437227977137005\ 452522/451916995453537313730014011318817558047507488237492642269125\ 007*c_0101_3, c_0101_1 - 768341171970128404037816768600357788333427447790443166865127\ 3708025/18076679818141492549200560452752702321900299529499705690765\ 00028*c_0101_3^26 + 15376516256301742478132084313881361867057143699\ 4491637658853984061529/18076679818141492549200560452752702321900299\ 52949970569076500028*c_0101_3^24 - 3565866752519700586243714874360902831198655991156991875297040828404\ 45/903833990907074627460028022637635116095014976474985284538250014*\ c_0101_3^22 + 13388548352404277911547114680609773016665349578629725\ 76696910742634407/1807667981814149254920056045275270232190029952949\ 970569076500028*c_0101_3^20 - 1191006522806855088476680249697216360\ 648483951128195425994340761635117/180766798181414925492005604527527\ 0232190029952949970569076500028*c_0101_3^18 + 6439491835514755647081735987349413895426354144991254448370852446533\ 57/1807667981814149254920056045275270232190029952949970569076500028\ *c_0101_3^16 - 1596102347404312309328753881248639686328644118451056\ 20408513135147639/9038339909070746274600280226376351160950149764749\ 85284538250014*c_0101_3^14 + 12023876967079893973170490074839459422\ 2385690030226548235631343820499/18076679818141492549200560452752702\ 32190029952949970569076500028*c_0101_3^12 - 1376586923016784186003928150730378282265172857576721190219659122025\ /106333410694949956171768002663251190128825291349998268769205884*c_\ 0101_3^10 + 1894527780121084551587863177378983696547115854364136058\ 6365980421/85267357632742889383021511569588218499529714761791064579\ 08019*c_0101_3^8 - 514199270302732261185503593088837985712533038221\ 93489241094160699/1807667981814149254920056045275270232190029952949\ 970569076500028*c_0101_3^6 - 65590250058914304510083143039953100119\ 783850744165814538864673423/180766798181414925492005604527527023219\ 0029952949970569076500028*c_0101_3^4 + 566377427653917515671285555835557591311398794016021605789295073/451\ 916995453537313730014011318817558047507488237492642269125007*c_0101\ _3^2 - 175719343545931906485320260692536471092586335563405935369769\ 203/451916995453537313730014011318817558047507488237492642269125007\ , c_0101_3^28 - 9743229/483025*c_0101_3^26 + 46383682/483025*c_0101_3^24 - 91599083/483025*c_0101_3^22 + 17950861/96605*c_0101_3^20 - 55422341/483025*c_0101_3^18 + 29535198/483025*c_0101_3^16 - 12605419/483025*c_0101_3^14 + 3629373/483025*c_0101_3^12 - 890756/483025*c_0101_3^10 + 30711/96605*c_0101_3^8 - 19373/483025*c_0101_3^6 + 524/96605*c_0101_3^4 - 136/483025*c_0101_3^2 + 16/483025 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB