simplifyAssertAllEq({(x - a):polydivr(x - a, x, verbose)}, {1,0})
|
${2} = {2}$
${1} = {1}$ ${1} = {1}$ ${0} = {0}$ ${0} = {0}$ GOOD |
time: 12.014000ms stack: size: 7
|
simplifyAssertAllEq({(x^2 - a):polydivr(x - sqrt(a), x, verbose)}, {x + sqrt(a),0})
|
${2} = {2}$
${{x} + {\sqrt{a}}} = {{x} + {\sqrt{a}}}$ ${{x} + {\sqrt{a}}} = {{x} + {\sqrt{a}}}$ ${0} = {0}$ ${0} = {0}$ GOOD |
time: 34.867000ms stack: size: 7
|
|
| ||
simplifyAssertAllEq({(x^2 + 2 * x * a + a^2):polydivr(x + a, x, verbose)}, {x + a, 0})
|
${2} = {2}$
${{x} + {a}} = {{x} + {a}}$ ${{x} + {a}} = {{x} + {a}}$ ${0} = {0}$ ${0} = {0}$ GOOD |
time: 17.805000ms stack: size: 7
|
simplifyAssertAllEq({(x^2 - 2 * x * a + a^2):polydivr(x - a, x, verbose)}, {x - a, 0})
|
${2} = {2}$
${{x}{-{a}}} = {{x}{-{a}}}$ ${{x}{-{a}}} = {{x}{-{a}}}$ ${0} = {0}$ ${0} = {0}$ GOOD |
time: 15.387000ms stack: size: 7
|
|
| ||
simplifyAssertAllEq({(x^2 - a^2):polydivr(x - a, x, verbose)}, {x + a, 0})
|
${2} = {2}$
${{x} + {a}} = {{x} + {a}}$ ${{x} + {a}} = {{x} + {a}}$ ${0} = {0}$ ${0} = {0}$ GOOD |
time: 11.413000ms stack: size: 7
|
simplifyAssertAllEq({(x^2 - a^2):polydivr(x + a, x, verbose)}, {x - a, 0})
|
${2} = {2}$
${{x}{-{a}}} = {{x}{-{a}}}$ ${{x}{-{a}}} = {{x}{-{a}}}$ ${0} = {0}$ ${0} = {0}$ GOOD |
time: 10.946000ms stack: size: 7
|