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. How can I get it to use what it has assumed? -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
