Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1478083774] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0764 geometric_solution 4.70651530 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -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.490635701452 0.338941882057 0 2 2 0 3201 0132 1023 0132 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 0 0 -1 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.999299111156 0.380206765444 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 1 -1 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.647796032718 0.248830466899 2 4 5 4 0132 0321 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475708532795 1.298431309306 5 3 2 3 1023 2310 0132 0321 0 0 0 0 0 0 0 0 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 -1 0 1 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.475708532795 1.298431309306 6 4 6 3 0132 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -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 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 -0.272749379777 1.050177004646 5 5 6 6 0132 3201 2031 1302 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 -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.435862502280 0.085707981214 ==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' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_4']), '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' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 60688113670909556886763709852705692/7745397540292118817654347569431\ 3*c_0101_5^18 - 1113637037790989650686331521034639099/7745397540292\ 1188176543475694313*c_0101_5^17 + 561682330799391391952230479226963\ 5767/77453975402921188176543475694313*c_0101_5^16 + 13776506109704826296354093776235240576/7745397540292118817654347569\ 4313*c_0101_5^15 + 8285260628960084352150514887714707220/2581799180\ 0973729392181158564771*c_0101_5^14 + 31098916507117796609417626477016101986/2581799180097372939218115856\ 4771*c_0101_5^13 - 114530441276815407726999796888876520581/77453975\ 402921188176543475694313*c_0101_5^12 - 385541417430401493703238398258334249693/774539754029211881765434756\ 94313*c_0101_5^11 - 63801752938816116162524630325215515022/77453975\ 402921188176543475694313*c_0101_5^10 + 180973783091770651827420453141874618244/774539754029211881765434756\ 94313*c_0101_5^9 + 52422154683162543840080966040786953334/258179918\ 00973729392181158564771*c_0101_5^8 + 148647262504285415335247537177552221586/774539754029211881765434756\ 94313*c_0101_5^7 - 16794824790955966056731385260880497516/774539754\ 02921188176543475694313*c_0101_5^6 - 34033746555815830750908762734442116524/2581799180097372939218115856\ 4771*c_0101_5^5 - 606840178620497975720027384451002507/164795692346\ 6408259075393099879*c_0101_5^4 + 1175988862800992875504540815575687\ 7802/77453975402921188176543475694313*c_0101_5^3 + 4707525896584910598233100143744819119/77453975402921188176543475694\ 313*c_0101_5^2 - 156559323337577044942952215176889376/7745397540292\ 1188176543475694313*c_0101_5 - 122579052373521291303210531432143770\ /77453975402921188176543475694313, c_0011_0 - 1, c_0011_1 + 99701674656508194304892850549983/774539754029211881765434756\ 94313*c_0101_5^18 + 3565031016422150176358611743459439/154907950805\ 842376353086951388626*c_0101_5^17 - 20131016303194035623851565467692971/1549079508058423763530869513886\ 26*c_0101_5^16 - 35668457091186770152219278784641779/15490795080584\ 2376353086951388626*c_0101_5^15 - 218163981252822229438102186780669\ 31/51635983601947458784362317129542*c_0101_5^14 - 46104160120216673970577478625367270/2581799180097372939218115856477\ 1*c_0101_5^13 + 252658769132959661495603741975437577/77453975402921\ 188176543475694313*c_0101_5^12 + 5106104619240962272782848088024617\ 50/77453975402921188176543475694313*c_0101_5^11 - 255068566467414701602935528109548583/154907950805842376353086951388\ 626*c_0101_5^10 - 444690853695543494030230887358991255/154907950805\ 842376353086951388626*c_0101_5^9 - 54189566931677020899480992109637506/2581799180097372939218115856477\ 1*c_0101_5^8 - 178605539194010982228254375784339412/774539754029211\ 88176543475694313*c_0101_5^7 + 108884384323370973959021206450904695\ /77453975402921188176543475694313*c_0101_5^6 + 75703958650729446133821784205256897/5163598360194745878436231712954\ 2*c_0101_5^5 - 20884346336200244309475035067563/1647956923466408259\ 075393099879*c_0101_5^4 - 14020861778288175287022918479765624/77453\ 975402921188176543475694313*c_0101_5^3 - 2350027672338715235006456283183257/77453975402921188176543475694313\ *c_0101_5^2 + 423510362378072648674756717876019/1549079508058423763\ 53086951388626*c_0101_5 + 217793589809747221527487734117973/1549079\ 50805842376353086951388626, c_0011_4 + 45699345837495069707222923059740/258179918009737293921811585\ 64771*c_0101_5^18 + 1598713155583896128535982309050527/516359836019\ 47458784362317129542*c_0101_5^17 - 9870115143034267807569044596088955/51635983601947458784362317129542\ *c_0101_5^16 - 12965010580924093861162005523403903/5163598360194745\ 8784362317129542*c_0101_5^15 - 22490369915680908230076110643677099/\ 51635983601947458784362317129542*c_0101_5^14 - 56940666899731729963087283894101521/2581799180097372939218115856477\ 1*c_0101_5^13 + 141620047899491073756193361263918733/25817991800973\ 729392181158564771*c_0101_5^12 + 1957822406455244634912772319521597\ 73/25817991800973729392181158564771*c_0101_5^11 - 332989611121003923434941622385891107/516359836019474587843623171295\ 42*c_0101_5^10 - 197407697739158840141747219646301011/5163598360194\ 7458784362317129542*c_0101_5^9 - 1477002974261012773288219140532094\ 3/25817991800973729392181158564771*c_0101_5^8 - 47106512028821184053759827493289671/2581799180097372939218115856477\ 1*c_0101_5^7 + 85372001472522005669660587393043231/2581799180097372\ 9392181158564771*c_0101_5^6 + 78084101055243539708433370830146485/5\ 1635983601947458784362317129542*c_0101_5^5 - 659965316000424049750928713705160/549318974488802753025131033293*c_\ 0101_5^4 - 8522563278506626581711256649382802/258179918009737293921\ 81158564771*c_0101_5^3 + 3814242958768926386528181161900462/2581799\ 1800973729392181158564771*c_0101_5^2 + 1172414781616862817342811049709351/51635983601947458784362317129542\ *c_0101_5 - 276163952405329477110759507823617/516359836019474587843\ 62317129542, c_0101_0 - 174912764486330918962417097097871/77453975402921188176543475\ 694313*c_0101_5^18 - 6181820626056383458369435234486517/15490795080\ 5842376353086951388626*c_0101_5^17 + 36652551917295909454955168887033981/1549079508058423763530869513886\ 26*c_0101_5^16 + 55929043443151332249072742405075873/15490795080584\ 2376353086951388626*c_0101_5^15 + 325529622583678438424921564610229\ 71/51635983601947458784362317129542*c_0101_5^14 + 76039804846771755044005402115018004/2581799180097372939218115856477\ 1*c_0101_5^13 - 498672042787465479660677553911711437/77453975402921\ 188176543475694313*c_0101_5^12 - 8285318836812147697714108232799188\ 99/77453975402921188176543475694313*c_0101_5^11 + 937577385569897428460618048126756093/154907950805842376353086951388\ 626*c_0101_5^10 + 839660880043886043889625294815449103/154907950805\ 842376353086951388626*c_0101_5^9 + 47481245858980553439374624504927051/2581799180097372939218115856477\ 1*c_0101_5^8 + 231785484009887308819630071207737648/774539754029211\ 88176543475694313*c_0101_5^7 - 268682688255331975206106459796069300\ /77453975402921188176543475694313*c_0101_5^6 - 122975397824184448813805605032388587/516359836019474587843623171295\ 42*c_0101_5^5 + 1614696213818773053590443436417545/1647956923466408\ 259075393099879*c_0101_5^4 + 33783004436374183538682072335584843/77\ 453975402921188176543475694313*c_0101_5^3 - 9673090006483548530754644262337070/77453975402921188176543475694313\ *c_0101_5^2 - 3829718830305846493208773874433559/154907950805842376\ 353086951388626*c_0101_5 + 993376961960625507593346881972395/154907\ 950805842376353086951388626, c_0101_2 - 922375329970788921893140615743/10986379489776055060502620665\ 86*c_0101_5^18 - 16224924547799250268453898261753/10986379489776055\ 06050262066586*c_0101_5^17 + 98031133203306031610976205188665/10986\ 37948977605506050262066586*c_0101_5^16 + 140939871148464615178149764884047/1098637948977605506050262066586*c\ _0101_5^15 + 118743524881272189395449877540183/54931897448880275302\ 5131033293*c_0101_5^14 + 586312266135032889515285012190068/54931897\ 4488802753025131033293*c_0101_5^13 - 1372145381031658127802266280237895/549318974488802753025131033293*c\ _0101_5^12 - 4245794219315920715980892580167957/1098637948977605506\ 050262066586*c_0101_5^11 + 3064897460950676505007626684128447/10986\ 37948977605506050262066586*c_0101_5^10 + 1152659935097361384174119225889809/549318974488802753025131033293*c\ _0101_5^9 + 146802707733817177433908544269262/549318974488802753025\ 131033293*c_0101_5^8 + 510734567352675146046194655285826/5493189744\ 88802753025131033293*c_0101_5^7 - 158452307387779552936892064587856\ 3/1098637948977605506050262066586*c_0101_5^6 - 470409330721840769087417074131738/549318974488802753025131033293*c_\ 0101_5^5 + 314427949544519091627481366954668/5493189744888027530251\ 31033293*c_0101_5^4 + 101535787650931168881940775473632/54931897448\ 8802753025131033293*c_0101_5^3 - 96071464267842637882346405585771/1\ 098637948977605506050262066586*c_0101_5^2 - 14206630325086101395022861570149/1098637948977605506050262066586*c_\ 0101_5 + 2348889804696823500162090085820/54931897448880275302513103\ 3293, c_0101_3 + 170364893960459804096136507279209/15490795080584237635308695\ 1388626*c_0101_5^18 + 3039267553282285482336167286871547/1549079508\ 05842376353086951388626*c_0101_5^17 - 17332427620790085830118943988386789/1549079508058423763530869513886\ 26*c_0101_5^16 - 30068674805749191109023002215155109/15490795080584\ 2376353086951388626*c_0101_5^15 - 884638265589975972055903802324983\ 5/25817991800973729392181158564771*c_0101_5^14 - 38718319292132952145079806388783447/2581799180097372939218115856477\ 1*c_0101_5^13 + 222260880351069607613391550076886262/77453975402921\ 188176543475694313*c_0101_5^12 + 8741037232838505738133516652474449\ 27/154907950805842376353086951388626*c_0101_5^11 - 300746779817276958212933482225696625/154907950805842376353086951388\ 626*c_0101_5^10 - 213595011467557019563300126569507515/774539754029\ 21188176543475694313*c_0101_5^9 - 345714531209176537799373851824926\ 92/25817991800973729392181158564771*c_0101_5^8 - 137243487003581148920732981865313364/774539754029211881765434756943\ 13*c_0101_5^7 + 211603529387254366446687936658276795/15490795080584\ 2376353086951388626*c_0101_5^6 + 3400123478613267922946825190218011\ 6/25817991800973729392181158564771*c_0101_5^5 - 410917741538885585418968384532370/1647956923466408259075393099879*c\ _0101_5^4 - 16037160111626379670233257058841249/7745397540292118817\ 6543475694313*c_0101_5^3 + 2430784108312120296212904688456135/15490\ 7950805842376353086951388626*c_0101_5^2 + 1332453536100436217478182570135167/15490795080584237635308695138862\ 6*c_0101_5 - 30624260067910205565595057658927/774539754029211881765\ 43475694313, c_0101_5^19 + 18*c_0101_5^18 - 99*c_0101_5^17 - 195*c_0101_5^16 - 328*c_0101_5^15 - 1389*c_0101_5^14 + 2434*c_0101_5^13 + 5725*c_0101_5^12 - 1218*c_0101_5^11 - 3490*c_0101_5^10 - 1555*c_0101_5^9 - 1466*c_0101_5^8 + 1183*c_0101_5^7 + 1633*c_0101_5^6 - 131*c_0101_5^5 - 398*c_0101_5^4 - 15*c_0101_5^3 + 36*c_0101_5^2 + 2*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB