Magma V2.19-8 Tue Aug 20 2013 16:18:52 on localhost [Seed = 4122241155] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3028 geometric_solution 6.19707051 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 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 1 0 -1 0 0 0 0 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.247454437523 0.788658423620 0 3 5 4 0132 0132 0132 0132 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 0 0 0 0 0 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.405935662797 0.662884841101 4 5 3 0 3201 0132 0132 0132 0 0 0 0 0 1 0 -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 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.405935662797 0.662884841101 6 1 6 2 0132 0132 2310 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 1.802343532382 1.117560003464 4 4 1 2 1302 2031 0132 2310 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 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.353100884420 0.786636790879 5 2 5 1 2031 0132 1302 0132 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 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.960532564277 0.952383077463 3 3 6 6 0132 3201 2031 1302 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.445490136660 0.302779528085 ==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' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(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_1100_6' : d['c_0101_2'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_1001_1'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_1, c_0101_2, c_0101_3, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1991249704406704559324839129247732431205/32803577241672531593100150\ 23016862054592*c_1001_1^19 + 16257776366784344979594241431258859133\ 77/820089431041813289827503755754215513648*c_1001_1^18 - 435370509684143285628922924265383402247/713121244384185469415220657\ 17757870752*c_1001_1^17 + 27337132191014481585624287047178555496917\ /1640178862083626579655007511508431027296*c_1001_1^16 - 66377938932903469239567124693069763100771/3280357724167253159310015\ 023016862054592*c_1001_1^15 + 2403659407491109921173375270921847856\ 181/51255589440113330614218984734638469603*c_1001_1^14 - 63588652940619760481349977732635608034197/3280357724167253159310015\ 023016862054592*c_1001_1^13 + 8101765008532377724847666134230635898\ 4773/3280357724167253159310015023016862054592*c_1001_1^12 + 15039924029679726446364919442107698848395/1640178862083626579655007\ 511508431027296*c_1001_1^11 - 4673002811867253525871376702650153744\ 60703/3280357724167253159310015023016862054592*c_1001_1^10 - 210477918488386713359634309415138101845485/328035772416725315931001\ 5023016862054592*c_1001_1^9 - 9375667002751866045665529603472356839\ 20455/3280357724167253159310015023016862054592*c_1001_1^8 - 345234211957549539485993526193130230741265/164017886208362657965500\ 7511508431027296*c_1001_1^7 - 3713701292254421441690607213609118181\ 72999/3280357724167253159310015023016862054592*c_1001_1^6 - 187756260292527884399007455381322233244769/164017886208362657965500\ 7511508431027296*c_1001_1^5 + 5179108151628229595582685261643258349\ 93731/3280357724167253159310015023016862054592*c_1001_1^4 + 941263428239656377853714472314766208434985/328035772416725315931001\ 5023016862054592*c_1001_1^3 + 5241917435841307374502649307371604176\ 70599/3280357724167253159310015023016862054592*c_1001_1^2 + 174751351851135781121292361212814751770233/328035772416725315931001\ 5023016862054592*c_1001_1 + 293511491222906352169411239528656650271\ 7/205022357760453322456875938938553878412, c_0011_0 - 1, c_0011_2 - 197916039844584451310236491642273848069/82008943104181328982\ 7503755754215513648*c_1001_1^19 + 130058625934838703913484196621153\ 204105/205022357760453322456875938938553878412*c_1001_1^18 - 33792376587961397413437029623385056075/1782803110960463673538051642\ 9439467688*c_1001_1^17 + 2045874529516951180685589327931013420317/4\ 10044715520906644913751877877107756824*c_1001_1^16 - 2902202475789222584904526447739867930699/82008943104181328982750375\ 5754215513648*c_1001_1^15 + 652744962962622523835334196518445464414\ /51255589440113330614218984734638469603*c_1001_1^14 + 4186706423354901716829668608162875307051/82008943104181328982750375\ 5754215513648*c_1001_1^13 + 205866388109637810747485381028187525398\ 9/820089431041813289827503755754215513648*c_1001_1^12 + 4512390535913983368044575059410425730607/41004471552090664491375187\ 7877107756824*c_1001_1^11 - 462739593865151099248593164913825077691\ 11/820089431041813289827503755754215513648*c_1001_1^10 - 49950737055992537205097032428903507278373/8200894310418132898275037\ 55754215513648*c_1001_1^9 - 102088148356965940624583464589369858260\ 327/820089431041813289827503755754215513648*c_1001_1^8 - 61889856100952202317279014839073381155865/4100447155209066449137518\ 77877107756824*c_1001_1^7 - 681296335895473214427240671678627465521\ 75/820089431041813289827503755754215513648*c_1001_1^6 - 26088521798950264114421936388212366354905/4100447155209066449137518\ 77877107756824*c_1001_1^5 + 362908583367837260858716841534867594822\ 59/820089431041813289827503755754215513648*c_1001_1^4 + 128454277117222306695464575767886115217993/820089431041813289827503\ 755754215513648*c_1001_1^3 + 10649606648953722433638910569029839671\ 2191/820089431041813289827503755754215513648*c_1001_1^2 + 36971644006641586037982561997755711828993/8200894310418132898275037\ 55754215513648*c_1001_1 + 238698465638276630714487512561244864585/5\ 1255589440113330614218984734638469603, c_0011_4 - 919661723388426864678138431742684580807/82008943104181328982\ 7503755754215513648*c_1001_1^19 + 551015092348603293746417720484332\ 464309/205022357760453322456875938938553878412*c_1001_1^18 - 141714951740436271921894470543147606373/178280311096046367353805164\ 29439467688*c_1001_1^17 + 8435152652398191708128293129430376857203/\ 410044715520906644913751877877107756824*c_1001_1^16 - 7660809326326874163646451702029015156977/82008943104181328982750375\ 5754215513648*c_1001_1^15 + 259803223448149729418222208484100891379\ 3/51255589440113330614218984734638469603*c_1001_1^14 + 35170010141789929055443248281397649572009/8200894310418132898275037\ 55754215513648*c_1001_1^13 + 38288930454724464569050328058312278266\ 23/820089431041813289827503755754215513648*c_1001_1^12 + 23750909442858984291814981934941787013237/4100447155209066449137518\ 77877107756824*c_1001_1^11 - 20883622766165864164806611321116117169\ 7661/820089431041813289827503755754215513648*c_1001_1^10 - 285793292514328632954356758203739503834399/820089431041813289827503\ 755754215513648*c_1001_1^9 - 49309485179559661870425247448661449523\ 4989/820089431041813289827503755754215513648*c_1001_1^8 - 334868928067572404273118204685391255312375/410044715520906644913751\ 877877107756824*c_1001_1^7 - 38769173886202679390173735612270378786\ 1469/820089431041813289827503755754215513648*c_1001_1^6 - 132879879240087444060936096115412350744019/410044715520906644913751\ 877877107756824*c_1001_1^5 + 12894848518643592264941662194485423081\ 2625/820089431041813289827503755754215513648*c_1001_1^4 + 658855275733185120002532351225358011124203/820089431041813289827503\ 755754215513648*c_1001_1^3 + 59208745660234179969060357095511104303\ 9013/820089431041813289827503755754215513648*c_1001_1^2 + 216425545169349268920698316056525655630403/820089431041813289827503\ 755754215513648*c_1001_1 + 1653003048492311144437189112388759408815\ /51255589440113330614218984734638469603, c_0101_1 - 189385689195311917859884675613886923903/82008943104181328982\ 7503755754215513648*c_1001_1^19 + 292087603017894931886839536092185\ 53010/51255589440113330614218984734638469603*c_1001_1^18 - 30492789573266664360615845059568714235/1782803110960463673538051642\ 9439467688*c_1001_1^17 + 1831907382695802524840001668969210415213/4\ 10044715520906644913751877877107756824*c_1001_1^16 - 2111953363336134512554700414105646881965/82008943104181328982750375\ 5754215513648*c_1001_1^15 + 590968413158139188670620860878443731097\ /51255589440113330614218984734638469603*c_1001_1^14 + 5668650070174503884242478313912819647281/82008943104181328982750375\ 5754215513648*c_1001_1^13 + 239709540853103897663859694107902165289\ 9/820089431041813289827503755754215513648*c_1001_1^12 + 4417828914679477678036537508655791955917/41004471552090664491375187\ 7877107756824*c_1001_1^11 - 429162875909188823590149388616252944258\ 05/820089431041813289827503755754215513648*c_1001_1^10 - 55041768386122581594608684818297299249211/8200894310418132898275037\ 55754215513648*c_1001_1^9 - 104434145948955552267149360410613926758\ 381/820089431041813289827503755754215513648*c_1001_1^8 - 66388324836554387753549195619795011732481/4100447155209066449137518\ 77877107756824*c_1001_1^7 - 821631426172329720632441463494306675119\ 21/820089431041813289827503755754215513648*c_1001_1^6 - 28884065782095965579632946301563476817263/4100447155209066449137518\ 77877107756824*c_1001_1^5 + 281394196171257314707461328419480252533\ 69/820089431041813289827503755754215513648*c_1001_1^4 + 128977949006989303366167352487522548126447/820089431041813289827503\ 755754215513648*c_1001_1^3 + 12073574053342068719352802789561827474\ 6717/820089431041813289827503755754215513648*c_1001_1^2 + 48825932381981908559752705404595392682439/8200894310418132898275037\ 55754215513648*c_1001_1 + 421458921639381513122255852348040406903/5\ 1255589440113330614218984734638469603, c_0101_2 + 1909181967277435103636797939973/1102645225050106116452969209\ 6964*c_1001_1^19 - 4237614983041535737154940970391/1102645225050106\ 1164529692096964*c_1001_1^18 + 12245136759617268744948698624895/110\ 26452250501061164529692096964*c_1001_1^17 - 31105603339253905384757696082287/11026452250501061164529692096964*c\ _1001_1^16 + 1290385385240484427496095773297/2756613062625265291132\ 423024241*c_1001_1^15 - 17818866585602985932320116701919/2756613062\ 625265291132423024241*c_1001_1^14 - 101445914781667256435360503571507/11026452250501061164529692096964*\ c_1001_1^13 + 2488737330237416752605396296438/275661306262526529113\ 2423024241*c_1001_1^12 - 52349111021308877848059811457309/551322612\ 5250530582264846048482*c_1001_1^11 + 418897216514052788894429313207813/11026452250501061164529692096964*\ c_1001_1^10 + 346560496020213376218539919226933/5513226125250530582\ 264846048482*c_1001_1^9 + 1002054471603553115019542601746213/110264\ 52250501061164529692096964*c_1001_1^8 + 1520611943291026069760925330566343/11026452250501061164529692096964\ *c_1001_1^7 + 423550924390482441175315021254583/5513226125250530582\ 264846048482*c_1001_1^6 + 127571930713232709194242545441725/2756613\ 062625265291132423024241*c_1001_1^5 - 208340820588601077279547520518683/11026452250501061164529692096964*\ c_1001_1^4 - 377788270984962806051016123807072/27566130626252652911\ 32423024241*c_1001_1^3 - 1333876542546769647725049862984499/1102645\ 2250501061164529692096964*c_1001_1^2 - 108491178175795556170048855915908/2756613062625265291132423024241*c\ _1001_1 - 8409616948506579009638590606711/2756613062625265291132423\ 024241, c_0101_3 + 1618194975839641450096068883695/2205290450100212232905938419\ 3928*c_1001_1^19 - 819779958309747363244666641239/55132261252505305\ 82264846048482*c_1001_1^18 + 4616328724075094653526052941185/110264\ 52250501061164529692096964*c_1001_1^17 - 11431525079728220337728767699335/11026452250501061164529692096964*c\ _1001_1^16 - 5219618508257992640102363677347/2205290450100212232905\ 9384193928*c_1001_1^15 - 5919633502316153661126793896732/2756613062\ 625265291132423024241*c_1001_1^14 - 112015051494409796113512326247369/22052904501002122329059384193928*\ c_1001_1^13 + 23807469630176534220029791636161/22052904501002122329\ 059384193928*c_1001_1^12 - 48774842322460704854600448797335/1102645\ 2250501061164529692096964*c_1001_1^11 + 344950781601531999497519850222017/22052904501002122329059384193928*\ c_1001_1^10 + 674239220833404605960726914348435/2205290450100212232\ 9059384193928*c_1001_1^9 + 841565524468910406115410775765557/220529\ 04501002122329059384193928*c_1001_1^8 + 712061852479677990814063804540063/11026452250501061164529692096964*\ c_1001_1^7 + 767267955668998599269498464581601/22052904501002122329\ 059384193928*c_1001_1^6 + 218034517553551459986616090506111/1102645\ 2250501061164529692096964*c_1001_1^5 - 130488892978562718081034746079657/22052904501002122329059384193928*\ c_1001_1^4 - 1394052337263301661230263181145379/2205290450100212232\ 9059384193928*c_1001_1^3 - 1236688674223259772826905775159833/22052\ 904501002122329059384193928*c_1001_1^2 - 395913622848692857148249049481279/22052904501002122329059384193928*\ c_1001_1 - 844270871563986410193631512728/2756613062625265291132423\ 024241, c_1001_1^20 - 12/7*c_1001_1^19 + 38/7*c_1001_1^18 - 94/7*c_1001_1^17 - 31/7*c_1001_1^16 - 272/7*c_1001_1^15 - 489/7*c_1001_1^14 - 199/7*c_1001_1^13 - 386/7*c_1001_1^12 + 1349/7*c_1001_1^11 + 3263/7*c_1001_1^10 + 5197/7*c_1001_1^9 + 7638/7*c_1001_1^8 + 907*c_1001_1^7 + 3974/7*c_1001_1^6 + 367/7*c_1001_1^5 - 5715/7*c_1001_1^4 - 7885/7*c_1001_1^3 - 4643/7*c_1001_1^2 - 1280/7*c_1001_1 - 128/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB