Magma V2.19-8 Tue Aug 20 2013 16:17:06 on localhost [Seed = 3414841114] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1353 geometric_solution 5.22268077 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 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 1 1 -2 -1 0 1 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.729727776448 0.877101109984 3 4 2 0 0132 0132 1230 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 1 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.102490479426 0.954778115808 4 3 0 1 2310 3201 0132 3012 0 0 0 0 0 -1 1 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 -1 2 -1 1 0 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.102490479426 0.954778115808 1 5 2 5 0132 0132 2310 1023 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 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.878444175282 0.574465062530 4 1 2 4 3201 0132 3201 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 0 0 0 1 0 -1 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.119490919420 0.850882637963 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706713647044 0.170814274650 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634033746596 0.061619966585 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 31742041565448066164158267721320764475240764660620255/2688389966228\ 87628395290257950311592656525738973980928*c_0101_6^22 + 124628920611444451638659165724443841598264417753296035/134419498311\ 443814197645128975155796328262869486990464*c_0101_6^21 - 68261344696745171649512147556645973717163808200973411/2688389966228\ 87628395290257950311592656525738973980928*c_0101_6^20 - 260497331660469617845362028634081778955484472666848521/672097491557\ 21907098822564487577898164131434743495232*c_0101_6^19 - 74712929081199816409348460983552089161737438734484737/3360487457786\ 0953549411282243788949082065717371747616*c_0101_6^18 - 1164673540087657806809364033734660837429304400151486501/16802437288\ 930476774705641121894474541032858685873808*c_0101_6^17 + 76483201005741478311909071692963475985264778743618880661/2688389966\ 22887628395290257950311592656525738973980928*c_0101_6^16 - 7144452448425176795493292905253341853790963977099846315/84012186444\ 65238387352820560947237270516429342936904*c_0101_6^15 + 157006665870072910558627404867985957670861237736860162185/672097491\ 55721907098822564487577898164131434743495232*c_0101_6^14 - 11101540294686608940817360699261498845727332495005412347/2584990352\ 143150273031637095676073006312747490134432*c_0101_6^13 + 862865959053350526505607376045593561706108867634636628477/134419498\ 311443814197645128975155796328262869486990464*c_0101_6^12 - 2036652150356337208736426890938754960997863112064486422447/26883899\ 6622887628395290257950311592656525738973980928*c_0101_6^11 + 1447320013931550884303699009362032499479581643148502839667/26883899\ 6622887628395290257950311592656525738973980928*c_0101_6^10 - 34169664243416114385935524394394308121332675542658337377/3360487457\ 7860953549411282243788949082065717371747616*c_0101_6^9 - 987684922340395427361245009582665345012320351454927957639/268838996\ 622887628395290257950311592656525738973980928*c_0101_6^8 + 1300290735339106771659527852566231903375634226613052788529/26883899\ 6622887628395290257950311592656525738973980928*c_0101_6^7 - 2975748509485974869100344305509074813719404801888479795/12924951760\ 71575136515818547838036503156373745067216*c_0101_6^6 - 6239109724995755172477451947515567592883223356173958427/20679922817\ 145202184253096765408584050501979921075456*c_0101_6^5 + 310180430322610016631735033346356129272055520882902375553/268838996\ 622887628395290257950311592656525738973980928*c_0101_6^4 - 2661517261747625212440058240895283896412588844935407569/61099771959\ 74718827165687680688899833102857703954112*c_0101_6^3 - 3259377441668408950524351984972497800825373144187390195/26883899662\ 2887628395290257950311592656525738973980928*c_0101_6^2 + 1399295061511872561396411203423104892254179381394806285/20679922817\ 145202184253096765408584050501979921075456*c_0101_6 + 407304887727321324470598875437284803325508854240886429/268838996622\ 887628395290257950311592656525738973980928, c_0011_0 - 1, c_0011_1 + 112103882300113177055530046734163648732955/26505043525064906\ 049488977733220265980721928*c_0101_6^22 + 458251839547831081057692196571089103036513/132525217625324530247444\ 88866610132990360964*c_0101_6^21 + 109905191180186994510687615266013081642277/265050435250649060494889\ 77733220265980721928*c_0101_6^20 - 787735084019967227655046024635474479031481/662626088126622651237224\ 4433305066495180482*c_0101_6^19 - 332832588180269218995676062538331\ 794282213/3313130440633113256186122216652533247590241*c_0101_6^18 - 8453289240203591988391292203911706036951859/33131304406331132561861\ 22216652533247590241*c_0101_6^17 + 246643982700641637411555245065362291183462521/265050435250649060494\ 88977733220265980721928*c_0101_6^16 - 190568203212737989769100427481758112253638145/662626088126622651237\ 2244433305066495180482*c_0101_6^15 + 258150307957591591661423202524913512016048615/331313044063311325618\ 6122216652533247590241*c_0101_6^14 - 931716434660381041517708046343594078236787011/662626088126622651237\ 2244433305066495180482*c_0101_6^13 + 2839993882532981436338043739778754599294473947/13252521762532453024\ 744488866610132990360964*c_0101_6^12 - 6676174730897857858616025553347327834992538527/26505043525064906049\ 488977733220265980721928*c_0101_6^11 + 4929361351625009276140851007279296166827129167/26505043525064906049\ 488977733220265980721928*c_0101_6^10 - 353940294255500365718692436377425206233318465/662626088126622651237\ 2244433305066495180482*c_0101_6^9 - 2634868268748123360085379071118549465568754535/26505043525064906049\ 488977733220265980721928*c_0101_6^8 + 3772735333448142967311564124284757478491120565/26505043525064906049\ 488977733220265980721928*c_0101_6^7 - 529122745306706856461538277242586700417711707/662626088126622651237\ 2244433305066495180482*c_0101_6^6 + 267670630292307916276630594651957640468123305/265050435250649060494\ 88977733220265980721928*c_0101_6^5 + 622613901897667955339026593479481294268712821/265050435250649060494\ 88977733220265980721928*c_0101_6^4 - 30451300937381215100832981407963679185506337/3313130440633113256186\ 122216652533247590241*c_0101_6^3 + 69586909334745649544110291529360176891132965/2650504352506490604948\ 8977733220265980721928*c_0101_6^2 - 5621098856002733858526188327901988477628971/26505043525064906049488\ 977733220265980721928*c_0101_6 + 1994284243575082805684148224560644\ 4068801701/26505043525064906049488977733220265980721928, c_0101_1 + 3098971331200632060228451971334740272112109808993/1174995614\ 61052285137801686167094227559670340460656*c_0101_6^22 + 14840446268181141928950966747972383551018590076473/5874978073052614\ 2568900843083547113779835170230328*c_0101_6^21 + 44274328083344686127968265636565533598354424085691/1174995614610522\ 85137801686167094227559670340460656*c_0101_6^20 - 7066638651023368135302244407921958832241419633371/29374890365263071\ 284450421541773556889917585115164*c_0101_6^19 - 14306345905134107767800690800857523409259862742737/1468744518263153\ 5642225210770886778444958792557582*c_0101_6^18 - 126097685353020927319735289153812496145575038920911/734372259131576\ 7821112605385443389222479396278791*c_0101_6^17 + 4005353885234458959079510725686621240903412121880395/11749956146105\ 2285137801686167094227559670340460656*c_0101_6^16 - 1902874772186399754855347628354813396634730949874191/14687445182631\ 535642225210770886778444958792557582*c_0101_6^15 + 8742348544460560412667619421885985122102270835627397/29374890365263\ 071284450421541773556889917585115164*c_0101_6^14 - 3236539266531646450996057501537753334982044054624204/73437225913157\ 67821112605385443389222479396278791*c_0101_6^13 + 39173376423469737926832345417593597383645865493255231/5874978073052\ 6142568900843083547113779835170230328*c_0101_6^12 - 64897950858261680182285262296219306720608049860686713/1174995614610\ 52285137801686167094227559670340460656*c_0101_6^11 + 31332106171832385462203826330578997600705527133456733/1174995614610\ 52285137801686167094227559670340460656*c_0101_6^10 + 1250861728729346989228968411395007546638914662795626/73437225913157\ 67821112605385443389222479396278791*c_0101_6^9 - 52038301949150268096312951290461567159551792498685297/1174995614610\ 52285137801686167094227559670340460656*c_0101_6^8 + 29808629440516239889684245902364688128860500822085231/1174995614610\ 52285137801686167094227559670340460656*c_0101_6^7 - 840752092749496749332970786843005816358272575424005/146874451826315\ 35642225210770886778444958792557582*c_0101_6^6 - 11188200668835326095966622947004342486340339162406281/1174995614610\ 52285137801686167094227559670340460656*c_0101_6^5 + 3758414826570117745058418406309125588884338621921887/11749956146105\ 2285137801686167094227559670340460656*c_0101_6^4 - 79471769393896937600747280362086328103809143237099/2937489036526307\ 1284450421541773556889917585115164*c_0101_6^3 - 397089875386069661988413385543797598527071412588821/117499561461052\ 285137801686167094227559670340460656*c_0101_6^2 - 92830361133278322246493315821976517855392149768873/1174995614610522\ 85137801686167094227559670340460656*c_0101_6 + 130097029439256904348110636947446586608264186260075/117499561461052\ 285137801686167094227559670340460656, c_0101_2 - 33479827161972719771930892189571467726932867544531/469998245\ 844209140551206744668376910238681361842624*c_0101_6^22 - 154677429543391724847025525651016259704940079237603/234999122922104\ 570275603372334188455119340680921312*c_0101_6^21 - 370666797412784260345587610643616898209409702080641/469998245844209\ 140551206744668376910238681361842624*c_0101_6^20 + 114794390085355434116427924834932096785728940778385/117499561461052\ 285137801686167094227559670340460656*c_0101_6^19 + 138501123104891217107332695892887956796187731914671/587497807305261\ 42568900843083547113779835170230328*c_0101_6^18 + 667762691741914597505969211016701781561200315644485/146874451826315\ 35642225210770886778444958792557582*c_0101_6^17 - 50583505565192324641663949529589293120836769830334977/4699982458442\ 09140551206744668376910238681361842624*c_0101_6^16 + 22439013824282488216744330387794660301400069007664545/5874978073052\ 6142568900843083547113779835170230328*c_0101_6^15 - 108234026811211794483945633195682746814574315007135715/117499561461\ 052285137801686167094227559670340460656*c_0101_6^14 + 21465363876654110450471380671119446589906422806787603/1468744518263\ 1535642225210770886778444958792557582*c_0101_6^13 - 515520905045720323156971800472491056956746907428098789/234999122922\ 104570275603372334188455119340680921312*c_0101_6^12 + 969656853208421411274427542552768377906998772532821979/469998245844\ 209140551206744668376910238681361842624*c_0101_6^11 - 542999595657144827987746368262473557675258290142575175/469998245844\ 209140551206744668376910238681361842624*c_0101_6^10 - 5100948113112495634401049969369098356839056265274893/14687445182631\ 535642225210770886778444958792557582*c_0101_6^9 + 707943590032841835545929704987547560860290027290884019/469998245844\ 209140551206744668376910238681361842624*c_0101_6^8 - 576223359751956164795605807281787586353940483095672077/469998245844\ 209140551206744668376910238681361842624*c_0101_6^7 + 25502815234679498354529957567881774874553609137826883/5874978073052\ 6142568900843083547113779835170230328*c_0101_6^6 + 122430529654563653931600490711914738533000648809396635/469998245844\ 209140551206744668376910238681361842624*c_0101_6^5 - 121147789603381917468325788247364473683456576105288941/469998245844\ 209140551206744668376910238681361842624*c_0101_6^4 + 11204879067039047524626728113778318072995417830390565/1174995614610\ 52285137801686167094227559670340460656*c_0101_6^3 + 2616291902975997102121947887944905656172678260269359/46999824584420\ 9140551206744668376910238681361842624*c_0101_6^2 - 4577603195722591339543272077098805693792325447224901/46999824584420\ 9140551206744668376910238681361842624*c_0101_6 + 1159810643577805876121187384394973181496008307154063/46999824584420\ 9140551206744668376910238681361842624, c_0101_4 + 738266542210295281045275045724954729525124269417/11749956146\ 1052285137801686167094227559670340460656*c_0101_6^22 + 836634290201123498167921514757323819174444680991/146874451826315356\ 42225210770886778444958792557582*c_0101_6^21 + 7247439860387748048829575728212648450807008665029/11749956146105228\ 5137801686167094227559670340460656*c_0101_6^20 - 1112177553925457285677176996689458939532559488271/14687445182631535\ 642225210770886778444958792557582*c_0101_6^19 - 4351644393255325850781440612448954752102641656495/29374890365263071\ 284450421541773556889917585115164*c_0101_6^18 - 116523389571203947040498493892737549611205974889277/293748903652630\ 71284450421541773556889917585115164*c_0101_6^17 + 1187660283504145660811766460336583732653289030815727/11749956146105\ 2285137801686167094227559670340460656*c_0101_6^16 - 2165284487707363259720773364192093312499449027262877/58749780730526\ 142568900843083547113779835170230328*c_0101_6^15 + 5236990424535356342212512154546005345381947926233665/58749780730526\ 142568900843083547113779835170230328*c_0101_6^14 - 8991895024066319656276481328080637223668553706876941/58749780730526\ 142568900843083547113779835170230328*c_0101_6^13 + 6952161651413857979113184005224598114618257587454909/29374890365263\ 071284450421541773556889917585115164*c_0101_6^12 - 28737542813399283459465433126515071844441088028793319/1174995614610\ 52285137801686167094227559670340460656*c_0101_6^11 + 21561860343993313501776019994316018420515930987190361/1174995614610\ 52285137801686167094227559670340460656*c_0101_6^10 - 1489210352250195457234729965549680932654921429167327/58749780730526\ 142568900843083547113779835170230328*c_0101_6^9 - 12601559710943009757235190272580060561371315735806727/1174995614610\ 52285137801686167094227559670340460656*c_0101_6^8 + 14422845735257237382499549935258398430933356837656947/1174995614610\ 52285137801686167094227559670340460656*c_0101_6^7 - 3787332014663822006941764159666833064794661042870009/58749780730526\ 142568900843083547113779835170230328*c_0101_6^6 - 2124278464041402682201352978629418396533049038570379/11749956146105\ 2285137801686167094227559670340460656*c_0101_6^5 + 2337658426633771205161583512504482821786597402769735/11749956146105\ 2285137801686167094227559670340460656*c_0101_6^4 - 630594414149212425782970165208331465425605842840473/587497807305261\ 42568900843083547113779835170230328*c_0101_6^3 - 434360222209283020719180489523016875784394353447979/117499561461052\ 285137801686167094227559670340460656*c_0101_6^2 + 188186994434995133896138595075098622837434069788851/117499561461052\ 285137801686167094227559670340460656*c_0101_6 - 52391690596129246383665004302479956450091182665679/1174995614610522\ 85137801686167094227559670340460656, c_0101_5 - 5248957600404850513042917988567642978520004048751/2349991229\ 22104570275603372334188455119340680921312*c_0101_6^22 - 24185301453465172276469843161264779753648698341263/1174995614610522\ 85137801686167094227559670340460656*c_0101_6^21 - 56647063914954819218261659601438367288421657560021/2349991229221045\ 70275603372334188455119340680921312*c_0101_6^20 + 19063234042019018583697612586143596043495465693805/5874978073052614\ 2568900843083547113779835170230328*c_0101_6^19 + 22297187325367416712348680654497849357872453210655/2937489036526307\ 1284450421541773556889917585115164*c_0101_6^18 + 104589750677461402814973593228063474155218754388431/734372259131576\ 7821112605385443389222479396278791*c_0101_6^17 - 8026055023521250373646216732279014462109038425035861/23499912292210\ 4570275603372334188455119340680921312*c_0101_6^16 + 3519909782068174393176469470642667517510907378182249/29374890365263\ 071284450421541773556889917585115164*c_0101_6^15 - 17103093728639825801444547668718066767159633832435231/5874978073052\ 6142568900843083547113779835170230328*c_0101_6^14 + 3390078050614397089748732413939975835192267285242104/73437225913157\ 67821112605385443389222479396278791*c_0101_6^13 - 81434384498405593199289650324507266910189517420534857/1174995614610\ 52285137801686167094227559670340460656*c_0101_6^12 + 155242337419239760255086335224410170189105651331140695/234999122922\ 104570275603372334188455119340680921312*c_0101_6^11 - 88150825237784024518174004392228712669109502588966835/2349991229221\ 04570275603372334188455119340680921312*c_0101_6^10 - 620438810893781552772293253299417271096867504904000/734372259131576\ 7821112605385443389222479396278791*c_0101_6^9 + 105386603529225102173284592518702345205755154546876399/234999122922\ 104570275603372334188455119340680921312*c_0101_6^8 - 85097316834682180723481892576804507341687274226405169/2349991229221\ 04570275603372334188455119340680921312*c_0101_6^7 + 3695815360078472172113169611348747708629308805784815/29374890365263\ 071284450421541773556889917585115164*c_0101_6^6 + 16688739876157507577216853178271835677095196035968887/2349991229221\ 04570275603372334188455119340680921312*c_0101_6^5 - 15944994454685193259600771861674350644078381322518417/2349991229221\ 04570275603372334188455119340680921312*c_0101_6^4 + 1075219737767078897678043298237271380670698556725361/58749780730526\ 142568900843083547113779835170230328*c_0101_6^3 - 47015689641951610869911976276590954611120006135749/2349991229221045\ 70275603372334188455119340680921312*c_0101_6^2 - 357180709583664511173627963757970809406680892842825/234999122922104\ 570275603372334188455119340680921312*c_0101_6 - 151920952119608004546317215574232666943359578723973/234999122922104\ 570275603372334188455119340680921312, c_0101_6^23 + 9*c_0101_6^22 + 9*c_0101_6^21 - 15*c_0101_6^20 - 28*c_0101_6^19 - 632*c_0101_6^18 + 1659*c_0101_6^17 - 5819*c_0101_6^16 + 14428*c_0101_6^15 - 24388*c_0101_6^14 + 37550*c_0101_6^13 - 39223*c_0101_6^12 + 27566*c_0101_6^11 - 3157*c_0101_6^10 - 19777*c_0101_6^9 + 22488*c_0101_6^8 - 12623*c_0101_6^7 - 273*c_0101_6^6 + 3696*c_0101_6^5 - 2499*c_0101_6^4 + 519*c_0101_6^3 + 52*c_0101_6^2 - 68*c_0101_6 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB