On Jan 22, 3:48 pm, Michael Beeson <profbee...@gmail.com> wrote: > after declaring variables make these definitions > > sage: a = Z - Z^-1 > sage: b = L - L^-1 > sage: c = Z^2L-Z^-2L^-1 > sage: f = (p*a + q*b + r *c) *a + (n*a + m *b + l*c) * a*b > > Now I can tell it assume(Z^3 * L^2 == -1) but I can't get it to use > that assumption > in something like simplify(expand(Z^3*L^2*f)) > > Indeed after assume(Z^3*L^2 == -1) it still returns Z^3*L^2 as the > value of that expression, instead of -1 as hoped.
Our entire assumption setup is via Maxima. So if Maxima can't do it, we can't - and your assumption is relatively complicated from that standpoint, though of course your use of it is not. That said, Maxima does not necessarily use the assumptions for everything, either; one way to see what the immediate outcome is would be to try sage: (Z^3 * L^2 *f ).simplify() which just sends it to Maxima and back. It's also possible that either in Pynac (the Sage symbolics) or Maxima it is represented differently. Certainly after expanding it might not be obvious to the program how to apply the assumption. Sorry I can't check this for your specific example right now (not on a Sage-enabled computer); I hope this helps you further identify the situation. - kcrisman -- 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 For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
