simplifyAssertAllEq({(x - a):polydivr(x - a, x, verbose)}, {1,0}) 		${2} = {2}$
${1} = {1}$
${1} = {1}$
${0} = {0}$
${0} = {0}$
GOOD 		time: 14.180000ms
stack: size: 7
  • Init
  • Prune
  • Expand
  • Prune
  • Factor
  • Prune
  • Tidy

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: 59.449000ms
stack: size: 7
  • Init
  • Prune
  • Expand
  • Prune
  • Factor
  • Prune
  • Tidy

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: 20.727000ms
stack: size: 7
  • Init
  • Prune
  • Expand
  • Prune
  • Factor
  • Prune
  • Tidy

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: 32.330000ms
stack: size: 7
  • Init
  • Prune
  • Expand
  • Prune
  • Factor
  • Prune
  • Tidy

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: 18.138000ms
stack: size: 7
  • Init
  • Prune
  • Expand
  • Prune
  • Factor
  • Prune
  • Tidy

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: 20.434000ms
stack: size: 7
  • Init
  • Prune
  • Expand
  • Prune
  • Factor
  • Prune
  • Tidy