Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 2480017337] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0083 geometric_solution 3.62720869 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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 1.323904360333 0.043881643951 0 2 2 0 3201 0132 1023 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 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 0 0 0 0 1.113694346980 0.035293737620 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.189566911026 0.089442842304 2 4 4 2 0132 0132 1023 1023 0 0 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 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 0 0 0 0 1.337397396229 0.476478392249 5 3 3 6 0132 0132 1023 0132 0 0 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 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 0.203336163617 0.416367283463 4 6 6 6 0132 2310 3201 0321 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 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.011184740105 0.993563202228 5 5 4 5 2310 0321 0132 3201 0 0 0 0 0 0 1 -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 1 0 -1 1 0 -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.011184740105 0.993563202228 ==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' : 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' : 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_1']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(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_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 15201328487274939956429761959527852988675958/6545143725930274304112\ 5983475818210706725*c_0101_5^22 + 798174790653831420346387610793352\ 66999424678/65451437259302743041125983475818210706725*c_0101_5^21 + 24907074001267180182415300178955512568253711/5034725943023287926240\ 460267370631592825*c_0101_5^20 - 6925106626581517611152418044100660\ 20069927/143849312657808226464013150496303759795*c_0101_5^19 - 4324269469941287668402263108633233591125969067/65451437259302743041\ 125983475818210706725*c_0101_5^18 - 1022166952100666597804664632496582980417710241/93502053227575347201\ 60854782259744386675*c_0101_5^17 + 1014056300336106037108996220759725757553674363/93502053227575347201\ 60854782259744386675*c_0101_5^16 + 2626852011496133137830052168306357340595737718/50347259430232879262\ 40460267370631592825*c_0101_5^15 + 23132186440447823065407972088722869045436715384/6545143725930274304\ 1125983475818210706725*c_0101_5^14 - 24672621820546624946148074731622541527441838266/6545143725930274304\ 1125983475818210706725*c_0101_5^13 - 25698577342075923650336686425766732933065959189/6545143725930274304\ 1125983475818210706725*c_0101_5^12 + 26365139944552569528823077659949708313690400877/6545143725930274304\ 1125983475818210706725*c_0101_5^11 + 25628699706364368280673186034137594934009428138/6545143725930274304\ 1125983475818210706725*c_0101_5^10 - 50565431610052687399198762186339830805361574884/6545143725930274304\ 1125983475818210706725*c_0101_5^9 - 72087859435245078700357339297156205676553450028/6545143725930274304\ 1125983475818210706725*c_0101_5^8 - 9649132359745794791130398458307903942678766767/65451437259302743041\ 125983475818210706725*c_0101_5^7 + 27057327899780262308965034156301206629230106307/6545143725930274304\ 1125983475818210706725*c_0101_5^6 + 9252619000643049753187624287234761664333031292/65451437259302743041\ 125983475818210706725*c_0101_5^5 - 5198625743939568354412377536290399337501736952/65451437259302743041\ 125983475818210706725*c_0101_5^4 - 346512642947686123943071244075025119251449633/654514372593027430411\ 25983475818210706725*c_0101_5^3 + 142467420070813069622989531634904\ 6492894461871/65451437259302743041125983475818210706725*c_0101_5^2 - 143655280952383186047211753643252640657540592/654514372593027430411\ 25983475818210706725*c_0101_5 - 59260843100280904901328487523424109\ 470420628/65451437259302743041125983475818210706725, c_0011_0 - 1, c_0011_1 - 3075196531697372825922502193518430032104/3596232816445205661\ 600328762407593994875*c_0101_5^22 - 15973238463918270836741442511910999867064/3596232816445205661600328\ 762407593994875*c_0101_5^21 - 6480823175303052853581426763683194452\ 4434/3596232816445205661600328762407593994875*c_0101_5^20 + 13296419561197467370052933786558931633956/7192465632890411323200657\ 52481518798975*c_0101_5^19 + 86736296238319624955636672440936204942\ 9721/3596232816445205661600328762407593994875*c_0101_5^18 + 1405812580522352883658532201635948438295881/35962328164452056616003\ 28762407593994875*c_0101_5^17 - 14623197849873413292171270298031767\ 40468383/3596232816445205661600328762407593994875*c_0101_5^16 - 6771412757092616890654951737075227005624617/35962328164452056616003\ 28762407593994875*c_0101_5^15 - 44382461461446055130698002960342796\ 01838492/3596232816445205661600328762407593994875*c_0101_5^14 + 4891532571193190779048740566649804433107558/35962328164452056616003\ 28762407593994875*c_0101_5^13 + 48923577013225800063627826618057241\ 28376807/3596232816445205661600328762407593994875*c_0101_5^12 - 5252277388025801980532592342963468556188651/35962328164452056616003\ 28762407593994875*c_0101_5^11 - 48304061538970307227608013669631270\ 98716344/3596232816445205661600328762407593994875*c_0101_5^10 + 10100027548388090220942780950143779671772092/3596232816445205661600\ 328762407593994875*c_0101_5^9 + 13995406220113815766457914313319962\ 214466539/3596232816445205661600328762407593994875*c_0101_5^8 + 1862092074416902638308064775953881585336121/35962328164452056616003\ 28762407593994875*c_0101_5^7 - 516903145288541310365238497321370913\ 8178916/3596232816445205661600328762407593994875*c_0101_5^6 - 1775260496398010555273305761792415243038146/35962328164452056616003\ 28762407593994875*c_0101_5^5 + 947412153739644463328231674062219785\ 164151/3596232816445205661600328762407593994875*c_0101_5^4 + 55625306490804588879877616505327215396479/3596232816445205661600328\ 762407593994875*c_0101_5^3 - 25633284746140567695860567738301763253\ 8273/3596232816445205661600328762407593994875*c_0101_5^2 + 17010881702666876249989966214883653732046/3596232816445205661600328\ 762407593994875*c_0101_5 + 1102152661062976523390828180517999728718\ 9/3596232816445205661600328762407593994875, c_0011_6 + 1162952633581128966537144849079400817441/3596232816445205661\ 600328762407593994875*c_0101_5^22 + 6030984191442274219994765761139570817156/35962328164452056616003287\ 62407593994875*c_0101_5^21 + 24499248033839616779434285603165372479\ 511/3596232816445205661600328762407593994875*c_0101_5^20 - 5031685362277444822157085516187907746249/71924656328904113232006575\ 2481518798975*c_0101_5^19 - 327058249045927146952007206340902406851\ 109/3596232816445205661600328762407593994875*c_0101_5^18 - 530245364332424236326797217131293989785249/359623281644520566160032\ 8762407593994875*c_0101_5^17 + 546786219562634328272051498406532558\ 472707/3596232816445205661600328762407593994875*c_0101_5^16 + 2544004948819287722236690257184715317508793/35962328164452056616003\ 28762407593994875*c_0101_5^15 + 16834199233711969169076292529352717\ 11186418/3596232816445205661600328762407593994875*c_0101_5^14 - 1790880352749299772713160685910560273771032/35962328164452056616003\ 28762407593994875*c_0101_5^13 - 18190140708273696889692990309864291\ 89057178/3596232816445205661600328762407593994875*c_0101_5^12 + 1932221748861289182248054194793997821184454/35962328164452056616003\ 28762407593994875*c_0101_5^11 + 17893603613623287783352749162110267\ 77081276/3596232816445205661600328762407593994875*c_0101_5^10 - 3760267701248856306828400732314844700661693/35962328164452056616003\ 28762407593994875*c_0101_5^9 - 525047926404026188444768111488680640\ 9570931/3596232816445205661600328762407593994875*c_0101_5^8 - 796041763693807714771332073195934211457709/359623281644520566160032\ 8762407593994875*c_0101_5^7 + 1863977103531389031114304610402073418\ 371389/3596232816445205661600328762407593994875*c_0101_5^6 + 679913689789726323469264587550680042138684/359623281644520566160032\ 8762407593994875*c_0101_5^5 - 3221801142701898166575482977979589721\ 24329/3596232816445205661600328762407593994875*c_0101_5^4 - 11509277731338335233201710807452583909691/3596232816445205661600328\ 762407593994875*c_0101_5^3 + 96898102203803874169946155449356357199\ 142/3596232816445205661600328762407593994875*c_0101_5^2 - 4127304647348892507099383266582146149159/35962328164452056616003287\ 62407593994875*c_0101_5 - 4906002890158144419241823275823382153281/\ 3596232816445205661600328762407593994875, c_0101_0 - 5452932848131865197551808911829039784704/3596232816445205661\ 600328762407593994875*c_0101_5^22 - 28992502817696171786856002299547319832789/3596232816445205661600328\ 762407593994875*c_0101_5^21 - 1180235946101926865980965144312876612\ 51034/3596232816445205661600328762407593994875*c_0101_5^20 + 21082749351175487097019359307789625061406/7192465632890411323200657\ 52481518798975*c_0101_5^19 + 15589052846991665824124474996064396593\ 27496/3596232816445205661600328762407593994875*c_0101_5^18 + 2668192160749464808663773389050777727510531/35962328164452056616003\ 28762407593994875*c_0101_5^17 - 23814584603275663737388295019725221\ 85501208/3596232816445205661600328762407593994875*c_0101_5^16 - 12418216815351077411266279640532084844949292/3596232816445205661600\ 328762407593994875*c_0101_5^15 - 9083314408832680570139973470890890\ 502857042/3596232816445205661600328762407593994875*c_0101_5^14 + 8331075398809232862170790194669647618057758/35962328164452056616003\ 28762407593994875*c_0101_5^13 + 97595730324467802388720192131661038\ 22008107/3596232816445205661600328762407593994875*c_0101_5^12 - 8932134654512088940954776021553136593154801/35962328164452056616003\ 28762407593994875*c_0101_5^11 - 97991893699195279351779727771361679\ 08203194/3596232816445205661600328762407593994875*c_0101_5^10 + 17621314875802486752935913587367543391980392/3596232816445205661600\ 328762407593994875*c_0101_5^9 + 27034119353478173693888341777370903\ 418620389/3596232816445205661600328762407593994875*c_0101_5^8 + 5046387946789828903292332288086133401002771/35962328164452056616003\ 28762407593994875*c_0101_5^7 - 945797062459654680891013251907002951\ 6395941/3596232816445205661600328762407593994875*c_0101_5^6 - 3814849560101015666345392189017047121883046/35962328164452056616003\ 28762407593994875*c_0101_5^5 + 170086451930315483531470055961283425\ 4409801/3596232816445205661600328762407593994875*c_0101_5^4 + 202406238640136049296722591554872747507704/359623281644520566160032\ 8762407593994875*c_0101_5^3 - 5268758589512345208889464867445684344\ 36223/3596232816445205661600328762407593994875*c_0101_5^2 + 30703615677819812312264859016121809135071/3596232816445205661600328\ 762407593994875*c_0101_5 + 2473948045020681421687529094029493002753\ 9/3596232816445205661600328762407593994875, c_0101_2 - 5468045608774171349195162413141659335253/3596232816445205661\ 600328762407593994875*c_0101_5^22 - 28869227284201086026222930321809758606973/3596232816445205661600328\ 762407593994875*c_0101_5^21 - 1174654867133300827719676100667038573\ 93063/3596232816445205661600328762407593994875*c_0101_5^20 + 21837552229815181636623911990324800473067/7192465632890411323200657\ 52481518798975*c_0101_5^19 + 15555815691687687177016588162552098713\ 78272/3596232816445205661600328762407593994875*c_0101_5^18 + 2623443762479797657516487162449027920519642/35962328164452056616003\ 28762407593994875*c_0101_5^17 - 24353984833474165011336267958179031\ 56425481/3596232816445205661600328762407593994875*c_0101_5^16 - 12299543093067184976827068884177442368570519/3596232816445205661600\ 328762407593994875*c_0101_5^15 - 8766839501107809812374000395862629\ 468536394/3596232816445205661600328762407593994875*c_0101_5^14 + 8326591449835035262757688812453540809282581/35962328164452056616003\ 28762407593994875*c_0101_5^13 + 93677751117941764351761501552951937\ 70077099/3596232816445205661600328762407593994875*c_0101_5^12 - 8984372622189144783024278673755155574773407/35962328164452056616003\ 28762407593994875*c_0101_5^11 - 93645549910007582200214770486576776\ 93809808/3596232816445205661600328762407593994875*c_0101_5^10 + 17659127350744727114385736025343086958066969/3596232816445205661600\ 328762407593994875*c_0101_5^9 + 26347604180572862372114018129349634\ 381701673/3596232816445205661600328762407593994875*c_0101_5^8 + 4724946971253549377084864066277677378731197/35962328164452056616003\ 28762407593994875*c_0101_5^7 - 913252317919397317920150637767078105\ 3794387/3596232816445205661600328762407593994875*c_0101_5^6 - 3573965874379279127654188082334400204103997/35962328164452056616003\ 28762407593994875*c_0101_5^5 + 162491106132407458098435671343864127\ 2932157/3596232816445205661600328762407593994875*c_0101_5^4 + 140703752339880958069585532873962994852378/359623281644520566160032\ 8762407593994875*c_0101_5^3 - 4961597518645766830292341575832620589\ 90961/3596232816445205661600328762407593994875*c_0101_5^2 + 30172385412119132563043254941005866091672/3596232816445205661600328\ 762407593994875*c_0101_5 + 2246932708096707722831239310624543603409\ 8/3596232816445205661600328762407593994875, c_0101_3 + 1289857007134084783870949059460086806666/3596232816445205661\ 600328762407593994875*c_0101_5^22 + 6661337078130977498710446766070101871131/35962328164452056616003287\ 62407593994875*c_0101_5^21 + 27011959041036417883814273598875687873\ 861/3596232816445205661600328762407593994875*c_0101_5^20 - 5708698645888409124341445118730653397724/71924656328904113232006575\ 2481518798975*c_0101_5^19 - 362361144948946023437283554921263798150\ 134/3596232816445205661600328762407593994875*c_0101_5^18 - 579374236441903947536865268881688139779774/359623281644520566160032\ 8762407593994875*c_0101_5^17 + 622690149631537506291061423553207025\ 603907/3596232816445205661600328762407593994875*c_0101_5^16 + 2808352719077156784675319494194175963600218/35962328164452056616003\ 28762407593994875*c_0101_5^15 + 17905026878291123867386782198108666\ 85114968/3596232816445205661600328762407593994875*c_0101_5^14 - 2043484946444776844117307431325505764313732/35962328164452056616003\ 28762407593994875*c_0101_5^13 - 19499166367891652470400992108512307\ 01690853/3596232816445205661600328762407593994875*c_0101_5^12 + 2218704188619070180923007632387926945749104/35962328164452056616003\ 28762407593994875*c_0101_5^11 + 19257999637905972116362490495750382\ 87846376/3596232816445205661600328762407593994875*c_0101_5^10 - 4241970630057774990930818080946024449401493/35962328164452056616003\ 28762407593994875*c_0101_5^9 - 570505637386574077212704211297920765\ 4951031/3596232816445205661600328762407593994875*c_0101_5^8 - 706330291727119477363886978576369617063359/359623281644520566160032\ 8762407593994875*c_0101_5^7 + 2065203392602444986540981811748714805\ 787789/3596232816445205661600328762407593994875*c_0101_5^6 + 667068798674278330859907988613939483574334/359623281644520566160032\ 8762407593994875*c_0101_5^5 - 3899508707574822942594038610904880857\ 82729/3596232816445205661600328762407593994875*c_0101_5^4 - 8090331752297299712570058102369143393166/35962328164452056616003287\ 62407593994875*c_0101_5^3 + 965562889235905858032034287102181604845\ 92/3596232816445205661600328762407593994875*c_0101_5^2 - 8173290096773883535657243353232895061934/35962328164452056616003287\ 62407593994875*c_0101_5 - 1716246090493036490740471886497044156381/\ 3596232816445205661600328762407593994875, c_0101_5^23 + 5*c_0101_5^22 + 20*c_0101_5^21 - 26*c_0101_5^20 - 279*c_0101_5^19 - 400*c_0101_5^18 + 581*c_0101_5^17 + 2126*c_0101_5^16 + 970*c_0101_5^15 - 1980*c_0101_5^14 - 1286*c_0101_5^13 + 2132*c_0101_5^12 + 1252*c_0101_5^11 - 3719*c_0101_5^10 - 3913*c_0101_5^9 + 502*c_0101_5^8 + 1918*c_0101_5^7 + 180*c_0101_5^6 - 483*c_0101_5^5 + 58*c_0101_5^4 + 98*c_0101_5^3 - 31*c_0101_5^2 - 2*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB