我有一个已知的函数: eq = function(x){(4E-11*x^4)-(2E-8*x^3)-(1E-5*x^2)+(0.0132*x)+0.1801} 我想从已知的y值中得到x值。但是,由于浮点运算的原因,我不能像这个问题那样使用which:How to find the x-value given the y-val
在Z3求解器中,我希望使用定点表示法来表示数字,并使用四舍五入来执行算术运算。例如:假设X、Y和Z表示定点数字类型, X[4,3] Total 4 digits number with 3 digits after the decimal.Y[4,2] Assign fixed point numbers to X, YX = 1.234 ( here there are