From 78772873d496cbdf6a564b4825f882b11a5c9e8c Mon Sep 17 00:00:00 2001
From: Alexander Demin <60229118+sumiya11@users.noreply.github.com>
Date: Thu, 18 Apr 2024 08:14:50 +0300
Subject: [PATCH] test eval_at_nemo

---
 test/extensions/modelingtoolkit.jl | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/test/extensions/modelingtoolkit.jl b/test/extensions/modelingtoolkit.jl
index 99e8a422..4d5a7eb9 100644
--- a/test/extensions/modelingtoolkit.jl
+++ b/test/extensions/modelingtoolkit.jl
@@ -1,4 +1,20 @@
 if GROUP == "All" || GROUP == "ModelingToolkitSIExt"
+    @testset "eval_at_nemo" begin
+        using ModelingToolkit, Symbolics
+        using Nemo
+        
+        @parameters a01 a21 a12
+        @variables t x0(t) x1(t)
+
+        ring, (a, b, c, x, y) = QQ["a","b","c","x","y"]
+        
+        nemo = StructuralIdentifiability.eval_at_nemo(
+            x0(t) + x1(t)*a01^2 + x1(t)^20*(a21 + a12), 
+            Dict(x0(t) => x, x1(t) => y, a01 => a, a21 => b, a12 => c)
+        )
+        @test nemo == x + y*a^2 + y^20*(b + c)
+    end
+    
     @testset "Check identifiability of `ODESystem` object" begin
         using ModelingToolkit
         using ModelingToolkit: parameters