Hi Bob,
You can use the bool() function to turn an equation in to a True/False value.
sage: q,j = var('q, j')
sage: a = (2*j*2^(18*q) + 13*2^(18*q)/27 - 13/27)
sage: b = (2^(18*q)*(2*j+0)+13*(2^(18*q)-1)/27)
sage: a == b
2*j*2^(18*q) + 13*2^(18*q)/27 - 13/27 == 2*j*2^(18*q) + 13*(2^(18*q) - 1)/27
sage: bool(_)
True
Note that that bool(equation) could return False even though an
equation is True if the system is not able to show that the equation
is True.
Hope that helps,
Mike
--~--~---------~--~----~------------~-------~--~----~
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
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
