solveTest.frink

View or download solveTest.frink in plain text format


// This is a test for some nasty cases of pattern-matching that
// require that backtracking goes right.

symbolicMode[true]

// Solve for two terms containing c
solve[_a _c + _b _c === _d, _c] :: freeOf[_d, _c] <->  solve[_c === _d / (_a + _b), _c]

println[join["\n",transformExpressionDebug[noEval[solve[g x + x y z === 10, x]]]]]
println[]

println[join["\n",transformExpressionDebug[noEval[solve[x y + g y === 10, y]]]]]
println[]

println[join["\n",transformExpressionDebug[noEval[solve[g x + x y === 10, x]]]]]
println[]

println[join["\n",transformExpressionDebug[noEval[solve[v x + v y === 10, v]]]]]
println[]

println[join["\n",transformExpressionDebug[noEval[solve[g x + g y z === 10, g]]]]]
println[]

println[join["\n",transformExpressionDebug[noEval[solve[g x y + x y z === 10, x]]]]]
println[]

println[join["\n",transformExpressionDebug[noEval[solve[g x y + x y z === 10, y]]]]]
println[]


View or download solveTest.frink in plain text format


This is a program written in the programming language Frink.
For more information, view the Frink Documentation or see More Sample Frink Programs.

Alan Eliasen was born 17686 days, 15 hours, 19 minutes ago.