Magma V2.19-8 Tue Aug 20 2013 16:18:52 on localhost [Seed = 2968595910] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3034 geometric_solution 6.20509056 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.462766840651 0.425143845111 2 0 3 0 0132 2310 0132 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.365376163747 0.651441046600 1 4 5 6 0132 0132 0132 0132 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 0 1 0 0 0 0 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.639414842970 0.694760054140 6 5 4 1 0132 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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.639414842970 0.694760054140 4 2 3 4 3201 0132 1023 2310 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 1 0 -1 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.064197872788 0.880782890166 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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.414746658653 0.512870860928 3 6 2 6 0132 2310 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 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.169332135552 0.904408790254 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : 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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : negation(d['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_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 122018285827382701240132029965980655/100317459421008931776103739755\ 51*c_0101_4^21 - 22973375199867673408944734601769337/34592227386554\ 8040607254275019*c_0101_4^20 + 102811368337386524229721480112128700\ /10031745942100893177610373975551*c_0101_4^19 + 322987101892806139225953750121268906/771672764776991782893105690427\ *c_0101_4^18 - 4060668908937031185107647614264299684/10031745942100\ 893177610373975551*c_0101_4^17 - 7778050936417499012004351267397516\ 306/10031745942100893177610373975551*c_0101_4^16 + 6286502407139333692107573478295870552/10031745942100893177610373975\ 551*c_0101_4^15 + 9630361636424163727929937382023578359/10031745942\ 100893177610373975551*c_0101_4^14 + 656001305789520077181216334633849672/100317459421008931776103739755\ 51*c_0101_4^13 - 10705870163117306929364374995282417359/10031745942\ 100893177610373975551*c_0101_4^12 - 4113729127732916657228606957884043815/10031745942100893177610373975\ 551*c_0101_4^11 - 1014459542952798256517317375712967330/10031745942\ 100893177610373975551*c_0101_4^10 + 9020676263860562250595368591569808989/10031745942100893177610373975\ 551*c_0101_4^9 + 156485224743041266670813615468801572/7716727647769\ 91782893105690427*c_0101_4^8 + 555082624034125643249835767342564834\ /10031745942100893177610373975551*c_0101_4^7 - 2070231689584967931916473844827134770/10031745942100893177610373975\ 551*c_0101_4^6 - 1995744748316804456802756412753225704/100317459421\ 00893177610373975551*c_0101_4^5 + 121951427818961241715652078923754\ 64/10031745942100893177610373975551*c_0101_4^4 + 347676828738827344127624515157218249/100317459421008931776103739755\ 51*c_0101_4^3 + 306802565745837468738443872611855470/10031745942100\ 893177610373975551*c_0101_4^2 + 59417263691918613806673356633683/26\ 609405681965233892865713463*c_0101_4 - 43326173137911601212879500712506295/1003174594210089317761037397555\ 1, c_0011_0 - 1, c_0011_1 + 45396700731766731003600906445/26609405681965233892865713463*\ c_0101_4^21 - 207187678174014942844202352148/2660940568196523389286\ 5713463*c_0101_4^20 - 170117973340816996612121698804/26609405681965\ 233892865713463*c_0101_4^19 + 1537580517404743108351783595014/26609\ 405681965233892865713463*c_0101_4^18 - 178494154369192957514911303216/26609405681965233892865713463*c_0101\ _4^17 - 3805478439113592281620981342833/266094056819652338928657134\ 63*c_0101_4^16 - 176480863731599101817571554504/2660940568196523389\ 2865713463*c_0101_4^15 + 4569372165360902519300449363742/2660940568\ 1965233892865713463*c_0101_4^14 + 3022593844921758275868390011252/2\ 6609405681965233892865713463*c_0101_4^13 - 2501868772581915969780542794819/26609405681965233892865713463*c_010\ 1_4^12 - 3690255783221981553125055747841/26609405681965233892865713\ 463*c_0101_4^11 - 2167285146161902517261996062692/26609405681965233\ 892865713463*c_0101_4^10 + 1650640232069054160343398201981/26609405\ 681965233892865713463*c_0101_4^9 + 2751296128570631408412507640267/26609405681965233892865713463*c_010\ 1_4^8 + 1222879535788796611564266741716/266094056819652338928657134\ 63*c_0101_4^7 + 318507960544559834995206731216/26609405681965233892\ 865713463*c_0101_4^6 - 841015908420464198666589176843/2660940568196\ 5233892865713463*c_0101_4^5 - 420151142839860349109001022866/266094\ 05681965233892865713463*c_0101_4^4 - 51191881800433757438334679209/26609405681965233892865713463*c_0101_\ 4^3 + 72319565905128348135128069514/26609405681965233892865713463*c\ _0101_4^2 + 35831885614071596148488161420/2660940568196523389286571\ 3463*c_0101_4 + 4369492566406373392081068176/2660940568196523389286\ 5713463, c_0011_3 - 42953513384881563798753779689/26609405681965233892865713463*\ c_0101_4^21 + 249534873098973851008667920166/2660940568196523389286\ 5713463*c_0101_4^20 - 93971960504709753044953454118/266094056819652\ 33892865713463*c_0101_4^19 - 1592822135741805466461781298243/266094\ 05681965233892865713463*c_0101_4^18 + 1951135419358815062781733255055/26609405681965233892865713463*c_010\ 1_4^17 + 3021752147777816842464763188556/26609405681965233892865713\ 463*c_0101_4^16 - 3809740279365344714404949353271/26609405681965233\ 892865713463*c_0101_4^15 - 3989012872624766167859991610629/26609405\ 681965233892865713463*c_0101_4^14 + 1602479841827849905855567235228/26609405681965233892865713463*c_010\ 1_4^13 + 5444845596221661890955972857879/26609405681965233892865713\ 463*c_0101_4^12 + 1033237681748336253332044465038/26609405681965233\ 892865713463*c_0101_4^11 - 1634030285015465440697910742109/26609405\ 681965233892865713463*c_0101_4^10 - 4349628549743566677310385934625/26609405681965233892865713463*c_010\ 1_4^9 - 583711343951033155912134181797/2660940568196523389286571346\ 3*c_0101_4^8 + 1485539541516154456304639493850/26609405681965233892\ 865713463*c_0101_4^7 + 1241848951201133545498397002421/266094056819\ 65233892865713463*c_0101_4^6 + 1247260551733758473778977321926/2660\ 9405681965233892865713463*c_0101_4^5 - 483070499669220616057048672321/26609405681965233892865713463*c_0101\ _4^4 - 413342193118476782580803505664/26609405681965233892865713463\ *c_0101_4^3 - 234702382276867268797283325963/2660940568196523389286\ 5713463*c_0101_4^2 - 10600484473367181462792426985/2660940568196523\ 3892865713463*c_0101_4 + 60559635643299729361753969745/266094056819\ 65233892865713463, c_0101_0 + 91011073464702001693837472417/26609405681965233892865713463*\ c_0101_4^21 - 404120397568915032226234469726/2660940568196523389286\ 5713463*c_0101_4^20 - 442152926776520164944068296831/26609405681965\ 233892865713463*c_0101_4^19 + 3304847252573130422093516963483/26609\ 405681965233892865713463*c_0101_4^18 - 1876813472415656844286979861/26609405681965233892865713463*c_0101_4\ ^17 - 9276207142460714671677902737201/26609405681965233892865713463\ *c_0101_4^16 + 125463331302226227258892187330/266094056819652338928\ 65713463*c_0101_4^15 + 11785078430496501309020944746161/26609405681\ 965233892865713463*c_0101_4^14 + 5597514746046562217359423257959/26\ 609405681965233892865713463*c_0101_4^13 - 7147900632171180121527291510607/26609405681965233892865713463*c_010\ 1_4^12 - 9459322729531015759562930268316/26609405681965233892865713\ 463*c_0101_4^11 - 2477767747126069703724760879420/26609405681965233\ 892865713463*c_0101_4^10 + 4390732164060531998134959832476/26609405\ 681965233892865713463*c_0101_4^9 + 7786711526140731469823384461105/26609405681965233892865713463*c_010\ 1_4^8 + 327633582798696800290936217012/2660940568196523389286571346\ 3*c_0101_4^7 + 435189075846356309504394357768/266094056819652338928\ 65713463*c_0101_4^6 - 2852420410677714383341056212643/2660940568196\ 5233892865713463*c_0101_4^5 - 736224128941028140069346780530/266094\ 05681965233892865713463*c_0101_4^4 + 117585515818949311956842953166/26609405681965233892865713463*c_0101\ _4^3 + 199849783207908297741907207223/26609405681965233892865713463\ *c_0101_4^2 + 152919789629928614625091937380/2660940568196523389286\ 5713463*c_0101_4 - 40078516835112804347673758063/266094056819652338\ 92865713463, c_0101_1 - 206512816120162476383490416994/26609405681965233892865713463\ *c_0101_4^21 + 1016479726716866777616246358749/26609405681965233892\ 865713463*c_0101_4^20 + 388202025533090756115419104059/266094056819\ 65233892865713463*c_0101_4^19 - 7001901372292562530365479795679/266\ 09405681965233892865713463*c_0101_4^18 + 3228112274751891413961736124065/26609405681965233892865713463*c_010\ 1_4^17 + 15417841004114235074443653150254/2660940568196523389286571\ 3463*c_0101_4^16 - 3538654799883480818935015027675/2660940568196523\ 3892865713463*c_0101_4^15 - 18559610624283107963433241245233/266094\ 05681965233892865713463*c_0101_4^14 - 9067980584954404263490799900934/26609405681965233892865713463*c_010\ 1_4^13 + 13578257874096382373544802454084/2660940568196523389286571\ 3463*c_0101_4^12 + 12846697659543483425262563312177/266094056819652\ 33892865713463*c_0101_4^11 + 7059692860494715393463493013346/266094\ 05681965233892865713463*c_0101_4^10 - 10408027334581111189911686355430/26609405681965233892865713463*c_01\ 01_4^9 - 8659405628659476602626841290898/26609405681965233892865713\ 463*c_0101_4^8 - 4113517069611472061568618919582/266094056819652338\ 92865713463*c_0101_4^7 + 325331879370597386798926669905/26609405681\ 965233892865713463*c_0101_4^6 + 3466182058814573898014012909578/266\ 09405681965233892865713463*c_0101_4^5 + 1229718018721107407910220774399/26609405681965233892865713463*c_010\ 1_4^4 + 59114062601344403607986609006/26609405681965233892865713463\ *c_0101_4^3 - 353648481549812331072542954639/2660940568196523389286\ 5713463*c_0101_4^2 - 112299680121456206933689824810/266094056819652\ 33892865713463*c_0101_4 + 50108785777022497696325055222/26609405681\ 965233892865713463, c_0101_3 - 195082108630245460368782869545/26609405681965233892865713463\ *c_0101_4^21 + 981507663731613379637267296786/266094056819652338928\ 65713463*c_0101_4^20 + 224045722652115453665695397966/2660940568196\ 5233892865713463*c_0101_4^19 - 6442576513897535530230860569210/2660\ 9405681965233892865713463*c_0101_4^18 + 3704538250733717215319098667950/26609405681965233892865713463*c_010\ 1_4^17 + 12970936787863753298059210757709/2660940568196523389286571\ 3463*c_0101_4^16 - 3492566417512648567160230377349/2660940568196523\ 3892865713463*c_0101_4^15 - 15169242327476634808119695065464/266094\ 05681965233892865713463*c_0101_4^14 - 8778759271228505288566735223646/26609405681965233892865713463*c_010\ 1_4^13 + 11539871909350909082763588779303/2660940568196523389286571\ 3463*c_0101_4^12 + 10825569247561293669004395969850/266094056819652\ 33892865713463*c_0101_4^11 + 8013818097201492747120350757001/266094\ 05681965233892865713463*c_0101_4^10 - 10128914650196087572194784004311/26609405681965233892865713463*c_01\ 01_4^9 - 6332795180964720593556272489104/26609405681965233892865713\ 463*c_0101_4^8 - 5322863174198108813107985041996/266094056819652338\ 92865713463*c_0101_4^7 + 676578166844670111024820293814/26609405681\ 965233892865713463*c_0101_4^6 + 2594660926217611825481962096571/266\ 09405681965233892865713463*c_0101_4^5 + 1259591389982391476765943645920/26609405681965233892865713463*c_010\ 1_4^4 + 280058295313437952085951962768/2660940568196523389286571346\ 3*c_0101_4^3 - 270766545813725725785752169553/266094056819652338928\ 65713463*c_0101_4^2 - 87506273993936925871306712052/266094056819652\ 33892865713463*c_0101_4 + 7138823477006300801419566415/266094056819\ 65233892865713463, c_0101_4^22 - 41/7*c_0101_4^21 + 3*c_0101_4^20 + 239/7*c_0101_4^19 - 47*c_0101_4^18 - 356/7*c_0101_4^17 + 542/7*c_0101_4^16 + 411/7*c_0101_4^15 - 187/7*c_0101_4^14 - 631/7*c_0101_4^13 + 9/7*c_0101_4^12 + 41/7*c_0101_4^11 + 77*c_0101_4^10 - 87/7*c_0101_4^9 - 3*c_0101_4^8 - 128/7*c_0101_4^7 - 10*c_0101_4^6 + 7*c_0101_4^5 + 19/7*c_0101_4^4 + 10/7*c_0101_4^3 - 6/7*c_0101_4^2 - 3/7*c_0101_4 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB