Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 2378961216] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1607 geometric_solution 5.36777217 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625212662529 0.132616899269 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 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.844196985083 0.192044066111 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -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 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.986988602399 0.516053909060 5 2 6 5 0132 0132 0132 3201 0 0 0 0 0 0 1 -1 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 -1 1 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758513363074 0.609749798016 5 6 2 5 2310 3201 0132 1023 0 0 0 0 0 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758513363074 0.609749798016 3 3 4 4 0132 2310 3201 1023 0 0 0 0 0 0 0 0 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 0 0 0 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 1.199151662037 0.643781818602 6 6 4 3 1230 3012 2310 0132 0 0 0 0 0 0 1 -1 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 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.572900561400 0.835036007012 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), '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' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_6']), '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_6, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 5612795514124374229728966518005053128257639594577175118229658206615\ 37625/4035269839895719862265452041009697877164401121221047402393133\ 569182301696*c_0101_6^31 - 1291625220966138274487086905957437789713\ 2664822791509140369716492144544255/10088174599739299655663630102524\ 24469291100280305261850598283392295575424*c_0101_6^29 - 2602912695791610680983890198516107949973326724977614021335547839496\ 49606647/6725449733159533103775753401682829795274001868701745670655\ 22261530383616*c_0101_6^27 - 52446809130492325885569649200454839400\ 01029073130313848979039737983425145435/1345089946631906620755150680\ 336565959054800373740349134131044523060767232*c_0101_6^25 - 4086125821749314018758969517489394702090245798697072632418982687088\ 62141013/5044087299869649827831815051262122346455501401526309252991\ 41696147787712*c_0101_6^23 + 46373700757415988411780229556032306688\ 3690021448494574501331765856289900609005/40352698398957198622654520\ 41009697877164401121221047402393133569182301696*c_0101_6^21 - 1095297882900296226490729645535559291444929184193863581506458574802\ 567627680639/403526983989571986226545204100969787716440112122104740\ 2393133569182301696*c_0101_6^19 - 145187087367706384358640258808808\ 32652595278200221703676667724865587016519063/5044087299869649827831\ 81505126212234645550140152630925299141696147787712*c_0101_6^17 + 2017727591681171937420748772611615766829614431245314814196619205125\ 847835707535/403526983989571986226545204100969787716440112122104740\ 2393133569182301696*c_0101_6^15 + 210811932224702071957292815179238\ 3086200491935584633776941574359104537823221819/40352698398957198622\ 65452041009697877164401121221047402393133569182301696*c_0101_6^13 - 5805050037958574924168089377911270534208559456007907611681741435679\ 809226524189/403526983989571986226545204100969787716440112122104740\ 2393133569182301696*c_0101_6^11 - 224181048733468130523589471853879\ 839940920454632960172573397394463011701321133/403526983989571986226\ 5452041009697877164401121221047402393133569182301696*c_0101_6^9 - 2259604252881427350981045111014615855636068404686197021485794412735\ 68828419811/6725449733159533103775753401682829795274001868701745670\ 65522261530383616*c_0101_6^7 + 174873159638595047091423509023278222\ 43378232118245841284806542001108012336103/6725449733159533103775753\ 40168282979527400186870174567065522261530383616*c_0101_6^5 + 2427767610270618345657950916481237710775562016958130419980403326924\ 1723951015/10088174599739299655663630102524244692911002803052618505\ 98283392295575424*c_0101_6^3 + 177393804359462827405693462682274541\ 19640014597967617291598374023312445182961/4035269839895719862265452\ 041009697877164401121221047402393133569182301696*c_0101_6, c_0011_0 - 1, c_0011_1 + 154393848106908773745788963721134862627380254868449330301072\ 8/10466648613607341110208779571842053341748633386301272520317515275\ 311*c_0101_6^30 + 4705689280178601475489983471772856357386450659198\ 3555561447343/34888828712024470367362598572806844472495444621004241\ 73439171758437*c_0101_6^28 + 14023564292536579968815100921793682773\ 05090977380140697270095711/3488882871202447036736259857280684447249\ 544462100424173439171758437*c_0101_6^26 + 13496067387874065378604599657413850372057792579353353040577806704/3\ 488882871202447036736259857280684447249544462100424173439171758437*\ c_0101_6^24 - 22072071006709724753705197697456996913275562408036689\ 432531009978/104666486136073411102087795718420533417486333863012725\ 20317515275311*c_0101_6^22 - 43973751566878052678148483878382746485\ 6742712705382927969025853543/34888828712024470367362598572806844472\ 49544462100424173439171758437*c_0101_6^20 + 3899436319078248392019952195289173206923856406275528033246841394362\ /104666486136073411102087795718420533417486333863012725203175152753\ 11*c_0101_6^18 - 10708242314120880794874199578200718073122199577212\ 502043053308170/348888287120244703673625985728068444724954446210042\ 4173439171758437*c_0101_6^16 - 125156751281923579492468611771319065\ 30446786915772141224372335389865/1046664861360734111020877957184205\ 3341748633386301272520317515275311*c_0101_6^14 + 4419268121652468729763594099178136817670692726980096647013015266342\ /104666486136073411102087795718420533417486333863012725203175152753\ 11*c_0101_6^12 + 95096930962373646348377784447638314610899707392479\ 51599943465290260/3488882871202447036736259857280684447249544462100\ 424173439171758437*c_0101_6^10 - 1834698335392488769253003628526812\ 5479234182478867570411316243477099/10466648613607341110208779571842\ 053341748633386301272520317515275311*c_0101_6^8 - 3150276332376700975498902420700419633289753302091248414770857107624\ 4/10466648613607341110208779571842053341748633386301272520317515275\ 311*c_0101_6^6 + 37494450542728173140115240219557269193644871472895\ 553711349598745179/104666486136073411102087795718420533417486333863\ 01272520317515275311*c_0101_6^4 - 202135328859796744498963690190851\ 528611282720528975654995977923791/104666486136073411102087795718420\ 53341748633386301272520317515275311*c_0101_6^2 + 1209079250395966055084994812693300186671245152002024655034333574013\ /348888287120244703673625985728068444724954446210042417343917175843\ 7, c_0011_6 - 373859782234847895861161405075433847257203576981178722396981\ 21479/2627128802015442618662403672532355388778906979961619402599696\ 334103061*c_0101_6^30 - 1144699467481977413453777006117635471892880\ 104442147570780367427755/875709600671814206220801224177451796259635\ 659987206467533232111367687*c_0101_6^28 - 3445325882316116097474563663784117208182056706063143592156194354174\ 4/87570960067181420622080122417745179625963565998720646753323211136\ 7687*c_0101_6^26 - 342622476290050615871847063120685444709705079956\ 686061562582448744939/875709600671814206220801224177451796259635659\ 987206467533232111367687*c_0101_6^24 - 1392783850491285125118257412851968314671257530124267241867401634514\ 7/26271288020154426186624036725323553887789069799616194025996963341\ 03061*c_0101_6^22 + 10314285541864166458829538142599714602057487927\ 374805292011324383597469/875709600671814206220801224177451796259635\ 659987206467533232111367687*c_0101_6^20 - 7892181705868139002391654836740753694791687152112426429652252315290\ 4669/26271288020154426186624036725323553887789069799616194025996963\ 34103061*c_0101_6^18 + 20117180583248109726503251026899673827855404\ 25981187600393867803753563/8757096006718142062208012241774517962596\ 35659987206467533232111367687*c_0101_6^16 + 1365566734297317463792578579898406632216920518859580845026141507088\ 28012/2627128802015442618662403672532355388778906979961619402599696\ 334103061*c_0101_6^14 + 1149039306967988763568678449739522794640736\ 92027019553237689636217909718/2627128802015442618662403672532355388\ 778906979961619402599696334103061*c_0101_6^12 - 1385071916145762767748273397972736603162580470531096919639963861486\ 10870/8757096006718142062208012241774517962596356599872064675332321\ 11367687*c_0101_6^10 + 57625340815782944036284307851881043334644632\ 757585610448909515278135217/262712880201544261866240367253235538877\ 8906979961619402599696334103061*c_0101_6^8 - 8292094743677132801713515507702057164297220587096698649804990488487\ 4161/26271288020154426186624036725323553887789069799616194025996963\ 34103061*c_0101_6^6 + 259715419306473750389490154269502194342974166\ 63550141934984371262384381/2627128802015442618662403672532355388778\ 906979961619402599696334103061*c_0101_6^4 + 4897228657063950885294327393424445922587253251090169722076236976134\ 564/262712880201544261866240367253235538877890697996161940259969633\ 4103061*c_0101_6^2 + 3653864264038883683360131644854384638343136162\ 931125421581161370225/875709600671814206220801224177451796259635659\ 987206467533232111367687, c_0101_0 + 184104636630624181630708875094974018774012263068776804649601\ 8807/13955531484809788146945039429122737788998177848401696693756687\ 033748*c_0101_6^31 + 1269971996998738431429901083093566840397023773\ 16692922430196923272/1046664861360734111020877957184205334174863338\ 6301272520317515275311*c_0101_6^29 + 2555077739225454123750273912204772533314579502354365451563726819775\ /697776574240489407347251971456136889449908892420084834687834351687\ 4*c_0101_6^27 + 512320520244353509611884356213226640174177834850510\ 53294595975830523/1395553148480978814694503942912273778899817784840\ 1696693756687033748*c_0101_6^25 + 174071574252969852265851738288654\ 0575630868818002479035465093830758/34888828712024470367362598572806\ 84447249544462100424173439171758437*c_0101_6^23 - 4563930482393612422098662298989012301319132393055367262114639300854\ 925/418665944544293644408351182873682133669945335452050900812700611\ 01244*c_0101_6^21 + 37052508125647617566992143579216958986632996451\ 44540771049006335161781/1395553148480978814694503942912273778899817\ 7848401696693756687033748*c_0101_6^19 + 7337834664098225433321586384888967616263952939710309255111991198230\ 3/10466648613607341110208779571842053341748633386301272520317515275\ 311*c_0101_6^17 - 6604632900221446261777783478698509993856973451154\ 117361310382505825565/139555314848097881469450394291227377889981778\ 48401696693756687033748*c_0101_6^15 - 1927080915280041369167981927863398491980189676380976982833663733567\ 8471/41866594454429364440835118287368213366994533545205090081270061\ 101244*c_0101_6^13 + 5844309255752573613661370709881535292561302510\ 7344519028947462501138985/41866594454429364440835118287368213366994\ 533545205090081270061101244*c_0101_6^11 - 7537331239656889940604660287433953285000387353473702134765758063192\ 41/1395553148480978814694503942912273778899817784840169669375668703\ 3748*c_0101_6^9 + 6911005339544157761987128998510233013267986388286\ 646772931559177472475/209332972272146822204175591436841066834972667\ 72602545040635030550622*c_0101_6^7 - 9956620104887700903799533806673004492546673178043049382927724306286\ 29/2093329722721468222041755914368410668349726677260254504063503055\ 0622*c_0101_6^5 - 1541757112508362448533581290849146584534152138238\ 56567552884677901138/1046664861360734111020877957184205334174863338\ 6301272520317515275311*c_0101_6^3 - 1513977861742086227305755763055504359106631019188258402962411231349\ 01/4186659445442936444083511828736821336699453354520509008127006110\ 1244*c_0101_6, c_0101_1 + 183163837433684091091805751824533701787075186480913674690657\ 58/1046664861360734111020877957184205334174863338630127252031751527\ 5311*c_0101_6^30 + 557601168750211255693110478683689231202369977072\ 911264057123714/348888287120244703673625985728068444724954446210042\ 4173439171758437*c_0101_6^28 + 165835363363207041286647142158480185\ 11267211897680590435867909469/3488882871202447036736259857280684447\ 249544462100424173439171758437*c_0101_6^26 + 158918820698463292133228839918280618202255329190548040143852570165/\ 3488882871202447036736259857280684447249544462100424173439171758437\ *c_0101_6^24 - 2628895812791651765263473263400558119576480204924156\ 63960297936398/1046664861360734111020877957184205334174863338630127\ 2520317515275311*c_0101_6^22 - 507090658018134394595503920598976784\ 7620341562775941322546433056881/34888828712024470367362598572806844\ 47249544462100424173439171758437*c_0101_6^20 + 4655670887362161430555879058343187459785780952328305893825521204252\ 0/10466648613607341110208779571842053341748633386301272520317515275\ 311*c_0101_6^18 - 7401283998670937544226590864622904644487946783935\ 186001564300270410/348888287120244703673625985728068444724954446210\ 0424173439171758437*c_0101_6^16 - 658013778306236183550598212984155\ 97759269113237184084678983434483104/1046664861360734111020877957184\ 2053341748633386301272520317515275311*c_0101_6^14 - 2613990141746583655918149082599313744817609266251435400001485115381\ 3/10466648613607341110208779571842053341748633386301272520317515275\ 311*c_0101_6^12 + 7854509725658605681113637573123780044363125028728\ 0911506073380396777/34888828712024470367362598572806844472495444621\ 00424173439171758437*c_0101_6^10 - 1188932478907528699625257826714824641448499682146243451114969966291\ 70/1046664861360734111020877957184205334174863338630127252031751527\ 5311*c_0101_6^8 + 5218241265365926607735430111568528436841785679933\ 7952455881661899019/10466648613607341110208779571842053341748633386\ 301272520317515275311*c_0101_6^6 - 6343016477085153129836906526490365292091676657545901238594599030110\ 5/10466648613607341110208779571842053341748633386301272520317515275\ 311*c_0101_6^4 + 46064698145488309935213094855076900062297575759507\ 6114965026446326/10466648613607341110208779571842053341748633386301\ 272520317515275311*c_0101_6^2 + 18593704830193902934867930795153042\ 31444686067779158915003347743123/3488882871202447036736259857280684\ 447249544462100424173439171758437, c_0101_5 + 187619164407011170848671249772655711751838522799451315699934\ 4289089/21017030416123540949299229380258843110231255839692955220797\ 570672824488*c_0101_6^31 + 4311908990041369648195333610457109172262\ 9641404227769565968240552703/52542576040308852373248073450647107775\ 57813959923238805199392668206122*c_0101_6^29 + 8666324921615705802891943642187516608190872367288964819281675334430\ 87/3502838402687256824883204896709807185038542639948825870132928445\ 470748*c_0101_6^27 + 1732315996527455102594420737580488373846593853\ 7997690330506494022243627/70056768053745136497664097934196143700770\ 85279897651740265856890941496*c_0101_6^25 + 5787493425613734956954980801083543826004394676551010738712973524555\ 51/2627128802015442618662403672532355388778906979961619402599696334\ 103061*c_0101_6^23 - 1551484840906637594484643183498450299794712795\ 068165308481864557083664957/210170304161235409492992293802588431102\ 31255839692955220797570672824488*c_0101_6^21 + 3846689239734049414988671937425231065843422378115168511762403806656\ 787039/210170304161235409492992293802588431102312558396929552207975\ 70672824488*c_0101_6^19 - 60857575568470987776362558608618228655524\ 20970558664319207550444498214/2627128802015442618662403672532355388\ 778906979961619402599696334103061*c_0101_6^17 - 6792356789163054424866337077869643613046390481205694269167553794320\ 435815/210170304161235409492992293802588431102312558396929552207975\ 70672824488*c_0101_6^15 - 20816915950988298463385155572077930165812\ 30818211550116216832864587219081/7005676805374513649766409793419614\ 370077085279897651740265856890941496*c_0101_6^13 + 2025697623126327457770523214753927301280394785542575921613427589519\ 1864397/21017030416123540949299229380258843110231255839692955220797\ 570672824488*c_0101_6^11 - 1563908759331847657420720194914001799725\ 369961018070216308053609625853579/210170304161235409492992293802588\ 43110231255839692955220797570672824488*c_0101_6^9 + 2213972402193592115630690949288882356086889727943802685816422989489\ 022189/105085152080617704746496146901294215551156279198464776103987\ 85336412244*c_0101_6^7 - 459563233965525066216666886600642821817583\ 727215213584207265285940277961/105085152080617704746496146901294215\ 55115627919846477610398785336412244*c_0101_6^5 - 2142038596144075189975304956666896489540700519883833351632891898004\ 7517/17514192013436284124416024483549035925192713199744129350664642\ 22735374*c_0101_6^3 - 343961720777533673622685093978163543828483329\ 50964054453390532633089609/2101703041612354094929922938025884311023\ 1255839692955220797570672824488*c_0101_6, c_0101_6^32 + 92*c_0101_6^30 + 2778*c_0101_6^28 + 27897*c_0101_6^26 + 4456*c_0101_6^24 - 826549*c_0101_6^22 + 1991575*c_0101_6^20 + 113528*c_0101_6^18 - 3607975*c_0101_6^16 - 3582387*c_0101_6^14 + 10531045*c_0101_6^12 - 94859*c_0101_6^10 + 2380450*c_0101_6^8 - 309754*c_0101_6^6 - 170748*c_0101_6^4 - 24793*c_0101_6^2 + 1152 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB