Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

answered 7 years ago

FrédéricC gravatar image

But

sage: (eq.lhs()-eq.rhs()).log_expand()
0.0