Hi Swastik, I like this package. I was wondering whether it could work with solvers in WL.
For instance, this fails:
Solve[LevelIndexArithmetic[2^(2^x) == 16^(16^16)],x]
(*
Solve::ifun: Inverse functions are being used by Solve, so some solutions may not be found; use Reduce for complete solution information.
{}
*)
But I can make it succeed like this:
With[{eq = LevelIndexArithmetic[2^(2^x) == 16^(16^16)]},
Block[{LIO},
First@SolveValues[eq,x]
]] // FromLIO
(*
SolveValues::ifun: Inverse functions are being used by SolveValues, so some solutions may not be found; use Reduce for complete solution information.
66. <-- correct! :)
*)
Apparently LIO[] does something inside Solve[] that trips it up.
I realize your post is 6 years old, so if it's not easy & convenient for you fix, don't worry about it.
