| 1 | initial version |
If you substitute v instead of v^2 via
sage: eq=eq1.subs({v: sqrt(p^4-2*p^3+5*p^2+8*p+4)})
then you get zero after simplification:
sage: eq.simplify_full()
0
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.