Re: [fricas-devel] discussion: bug and description for 'radicalRoots:(L

2016-05-30 Thread oldk1331
> Our solvers transform > system of equations into triangular form. If system is zero > dimensional (has finite number of solutions) than current > method works OK. We have problem in case of higher dimensional > solution set. I noticed that too, 'triangularSystems' uses 'groebSolve'

[fricas-devel] discussion: bug and description for 'radicalRoots:(L RF, L SY) -> L L RE'

2016-05-29 Thread oldk1331
The bug is: (1) -> radicalSolve([x-y],[x,y]) (1) [[x= x]] Type: List(List(Equation(Expression(Integer (2) -> radicalRoots([x-y],[x,y]) (2) [[x]] Type: List(List(Expression(Integer))) (3) -> solve([x-y],[x,y])