Skip to content

Commit

Permalink
added test
Browse files Browse the repository at this point in the history
  • Loading branch information
n0rbed committed Sep 12, 2024
1 parent f0ba7f7 commit 080d19f
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions test/solver.jl
Original file line number Diff line number Diff line change
Expand Up @@ -61,6 +61,12 @@ end
@test_throws AssertionError symbolic_solve(1/x, x)
end

@testset "Nice univar cases" begin
found_roots = symbolic_solve(1/x^2 ~ 1/y^2 - 2/x^3 * (x-y), x)
known_roots = Symbolics.unwrap.([y, -2y])
@test isequal(found_roots, known_roots)
end

@testset "Deg 1 univar" begin
@test isequal(symbolic_solve(x+1, x), [-1])

Expand Down

0 comments on commit 080d19f

Please sign in to comment.