for k,v in pairs( const(1):polyCoeffs(x) ) do printbr(k, '=', v) end
0 = $1$
GOOD
time: 0.099000ms
stack: size: 0


    simplifyAssertAllEq( const(1):polyCoeffs(x), {[0]=const(1)})
    ${1} = {1}$
    ${1} = {1}$
    ${1} = {1}$
    GOOD
    time: 0.853000ms
    stack: size: 7
    • Init
    • Prune
    • Expand
    • Prune
    • Factor
    • Prune
    • Tidy


    simplifyAssertAllEq( x:polyCoeffs(x), {[1]=const(1)} )
    ${1} = {1}$
    ${1} = {1}$
    ${1} = {1}$
    GOOD
    time: 0.863000ms
    stack: size: 7
    • Init
    • Prune
    • Expand
    • Prune
    • Factor
    • Prune
    • Tidy

    simplifyAssertAllEq( sin(x):polyCoeffs(x), {extra=sin(x)} )
    ${1} = {1}$
    ${\sin\left( x\right)} = {\sin\left( x\right)}$
    ${\sin\left( x\right)} = {\sin\left( x\right)}$
    GOOD
    time: 1.622000ms
    stack: size: 7
    • Init
    • Prune
    • Expand
    • Prune
    • Factor
    • Prune
    • Tidy

    simplifyAssertAllEq( (x^2 - a):polyCoeffs(x), {[0]=-a, [2]=const(1)} )
    ${2} = {2}$
    ${{{-1}} {{a}}} = {-{a}}$
    ${{{-1}} {{a}}} = {-{a}}$
    ${1} = {1}$
    ${1} = {1}$
    GOOD
    time: 2.956000ms
    stack: size: 7
    • Init
    • Prune
    • Expand
    • Prune
    • Factor
    • Prune
    • Tidy

    simplifyAssertAllEq( (x^2 - 2 * a * x + a^2):polyCoeffs(x), {[0]=a^2, [1]=-2*a, [2]=const(1)} )
    ${3} = {3}$
    ${{a}^{2}} = {{a}^{2}}$
    ${{a}^{2}} = {{a}^{2}}$
    ${{{-2}} {{a}}} = {{{-2}} {{a}}}$
    ${{{-2}} {{a}}} = {{{-2}} {{a}}}$
    ${1} = {1}$
    ${1} = {1}$
    GOOD
    time: 6.595000ms
    stack: size: 7
    • Init
    • Prune
    • Expand
    • Prune
    • Factor
    • Prune
    • Tidy