From 080d19f29b377e0a14a24ecb4b81f7b017ff80cc Mon Sep 17 00:00:00 2001
From: n0rbed <eng.yassin.elbedwihy@gmail.com>
Date: Thu, 12 Sep 2024 19:11:46 +0300
Subject: [PATCH] added test

---
 test/solver.jl | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/test/solver.jl b/test/solver.jl
index 9eb2e8ec8..58e5feb26 100644
--- a/test/solver.jl
+++ b/test/solver.jl
@@ -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])