> >> might each be considered "simpler" depending on the context, which is the >> way a lot of people who don't know about decidability would perceive this >> question (or so my experience has been interacting with a lot of people who >> ask about why Sage doesn't "simplify" this or that). I suppose the answer >> to my example would depend on what you pick for your axiomoids? RJF always >> seems to have a useful comment about these things as well. >> > Carette would argue that 1-x^2 requires fewer characters (or tree nodes, > or whatever), so is definitely 'simpler'. > I would add 'if the user wants 'factor', he/she should ask for it! > >
Of course! I guess my point is that that's not always what people mean by simplify, but sometimes it is, because people (esp. if they're not computer scientists) don't have an expression tree in mind when they use that word colloquially :-) -- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en.
