Package evaluation to test StructuralIdentifiability on Julia 1.14.0-DEV.2275 (3ea3bac2a3*) started at 2026-06-02T20:01:57.348 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.95s ################################################################################ # Installation # Installing StructuralIdentifiability... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [220ca800] + StructuralIdentifiability v0.5.21 Updating `~/.julia/environments/v1.14/Manifest.toml` ⌅ [c3fe647b] + AbstractAlgebra v0.48.6 [a9b6321e] + Atomix v1.1.3 [861a8166] + Combinatorics v1.1.0 [864edb3b] + DataStructures v0.19.5 [e2ba6199] + ExprTools v0.1.10 [0b43b601] + Groebner v0.10.3 [18e54dd8] + IntegerMathUtils v0.1.3 [c8e1da08] + IterTools v1.10.0 [692b3bcd] + JLLWrappers v1.8.0 [1914dd2f] + MacroTools v0.5.16 ⌅ [2edaba10] + Nemo v0.54.2 ⌅ [bac558e1] + OrderedCollections v1.8.2 [3e851597] + ParamPunPam v0.5.7 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [27ebfcd6] + Primes v0.5.7 [92933f4c] + ProgressMeter v1.11.0 [fb686558] + RandomExtensions v0.4.4 [73480bc8] + RationalFunctionFields v0.3.1 [220ca800] + StructuralIdentifiability v0.5.21 [a759f4b9] + TimerOutputs v0.5.29 [013be700] + UnsafeAtomics v0.3.1 ⌅ [e134572f] + FLINT_jll v301.400.1+0 [656ef2d0] + OpenBLAS32_jll v0.3.33+1 [56f22d72] + Artifacts v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.2+0 [781609d7] + GMP_jll v6.3.0+2 [3a97d323] + MPFR_jll v4.2.2+0 [4536629a] + OpenBLAS_jll v0.3.33+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 4.98s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 1.6 s ✓ OpenBLAS32_jll 100.4 s ✓ AbstractAlgebra 2.5 s ✓ CPUSummary 1.9 s ✓ FLINT_jll 7.9 s ✓ AbstractAlgebra → TestExt 32.8 s ✓ Nemo 135.3 s ✓ Groebner 12.7 s ✓ ParamPunPam 13.2 s ✓ RationalFunctionFields 13.9 s ✓ StructuralIdentifiability 10 dependencies successfully precompiled in 323 seconds. 67 already precompiled. Precompilation completed after 347.1s ################################################################################ # Testing # Testing StructuralIdentifiability Status `/tmp/jl_q81dWw/Project.toml` ⌅ [c3fe647b] AbstractAlgebra v0.48.6 [4c88cf16] Aqua v0.8.15 [2a0fbf3d] CPUSummary v0.2.7 [861a8166] Combinatorics v1.1.0 [864edb3b] DataStructures v0.19.5 [0b43b601] Groebner v0.10.3 [c8e1da08] IterTools v1.10.0 [1914dd2f] MacroTools v0.5.16 ⌅ [2edaba10] Nemo v0.54.2 [3e851597] ParamPunPam v0.5.7 [aea7be01] PrecompileTools v1.3.4 [27ebfcd6] Primes v0.5.7 [73480bc8] RationalFunctionFields v0.3.1 [276daf66] SpecialFunctions v2.8.0 [220ca800] StructuralIdentifiability v0.5.21 ⌅ [98d24dd4] TestSetExtensions v3.0.0 [a759f4b9] TimerOutputs v0.5.29 [ade2ca70] Dates v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [44cfe95a] Pkg v1.14.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_q81dWw/Manifest.toml` ⌅ [c3fe647b] AbstractAlgebra v0.48.6 [4c88cf16] Aqua v0.8.15 [a9b6321e] Atomix v1.1.3 [2a0fbf3d] CPUSummary v0.2.7 [861a8166] Combinatorics v1.1.0 [f70d9fcc] CommonWorldInvalidations v1.0.0 [34da2185] Compat v4.18.1 [adafc99b] CpuId v0.3.1 [864edb3b] DataStructures v0.19.5 [ab62b9b5] DeepDiffs v1.2.0 [ffbed154] DocStringExtensions v0.9.5 [e2ba6199] ExprTools v0.1.10 [0b43b601] Groebner v0.10.3 [615f187c] IfElse v0.1.1 [18e54dd8] IntegerMathUtils v0.1.3 [92d709cd] IrrationalConstants v0.2.6 [c8e1da08] IterTools v1.10.0 [692b3bcd] JLLWrappers v1.8.0 [2ab3a3ac] LogExpFunctions v1.0.0 [1914dd2f] MacroTools v0.5.16 ⌅ [2edaba10] Nemo v0.54.2 ⌅ [bac558e1] OrderedCollections v1.8.2 [3e851597] ParamPunPam v0.5.7 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [27ebfcd6] Primes v0.5.7 [92933f4c] ProgressMeter v1.11.0 [fb686558] RandomExtensions v0.4.4 [73480bc8] RationalFunctionFields v0.3.1 [431bcebd] SciMLPublic v1.0.1 [276daf66] SpecialFunctions v2.8.0 [aedffcd0] Static v1.4.0 [220ca800] StructuralIdentifiability v0.5.21 ⌅ [98d24dd4] TestSetExtensions v3.0.0 [a759f4b9] TimerOutputs v0.5.29 [013be700] UnsafeAtomics v0.3.1 ⌅ [e134572f] FLINT_jll v301.400.1+0 [656ef2d0] OpenBLAS32_jll v0.3.33+1 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.2+0 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.20.0+1 [e37daf67] LibGit2_jll v1.9.4+0 [29816b5a] LibSSH2_jll v1.11.101+0 [3a97d323] MPFR_jll v4.2.2+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [4536629a] OpenBLAS_jll v0.3.33+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.6+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.69.0+0 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Resolving package versions... Installed ModelingToolkitBase ─ v1.42.1 Updating `/tmp/jl_q81dWw/Project.toml` ⌅ [861a8166] ↓ Combinatorics v1.1.0 ⇒ v1.0.2 [loaded: v1.1.0] [961ee093] + ModelingToolkit v11.26.7 Updating `/tmp/jl_q81dWw/Manifest.toml` [47edcb42] + ADTypes v1.22.0 [6e696c72] + AbstractPlutoDingetjes v1.4.0 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.44 [79e6a3ab] + Adapt v4.6.0 [ec485272] + ArnoldiMethod v0.4.0 [4fba245c] + ArrayInterface v7.25.0 [4c555306] + ArrayLayouts v1.12.2 [aae01518] + BandedMatrices v1.11.0 [e2ed5e7c] + Bijections v0.2.2 [caf10ac8] + BipartiteGraphs v0.1.7 [8e7c35d0] + BlockArrays v1.9.3 [70df07ce] + BracketingNonlinearSolve v1.12.1 ⌅ [861a8166] ↓ Combinatorics v1.1.0 ⇒ v1.0.2 [loaded: v1.1.0] [38540f10] + CommonSolve v0.2.7 [bbf7d656] + CommonSubexpressions v0.3.1 [b152e2b5] + CompositeTypes v0.1.4 [a33af91c] + CompositionsBase v0.1.2 [2569d6c7] + ConcreteStructs v0.2.4 [187b0558] + ConstructionBase v1.6.0 [85a47980] + Dictionaries v0.4.6 [2b5f629d] + DiffEqBase v7.5.5 [459566f4] + DiffEqCallbacks v4.17.0 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.16.0 [a0c0ee7d] + DifferentiationInterface v0.7.18 ⌅ [5b8099bc] + DomainSets v0.7.18 [7c1d4256] + DynamicPolynomials v0.6.6 [4e289a0a] + EnumX v1.0.7 [f151be2c] + EnzymeCore v0.8.20 [55351af7] + ExproniconLite v0.10.14 [7034ab61] + FastBroadcast v1.3.2 [9aa1b823] + FastClosures v0.3.2 [a4df4552] + FastPower v1.3.1 [1a297f60] + FillArrays v1.16.0 [64ca27bc] + FindFirstFunctions v2.1.0 [6a86dc24] + FiniteDiff v2.31.0 [f6369f11] + ForwardDiff v1.3.3 [a85aefff] + FunctionMaps v0.1.2 [069b7b12] + FunctionWrappers v1.1.3 [77dc65aa] + FunctionWrappersWrappers v1.9.1 [46192b85] + GPUArraysCore v0.2.0 [86223c79] + Graphs v1.14.0 [3263718b] + ImplicitDiscreteSolve v2.1.0 [313cdc1a] + Indexing v1.1.1 [d25df0c9] + Inflate v0.1.5 [8197267c] + IntervalSets v0.7.14 [3587e190] + InverseFunctions v0.1.17 [82899510] + IteratorInterfaceExtensions v1.0.0 [ae98c720] + Jieko v0.2.1 [ccbc3e58] + JumpProcesses v9.29.0 [ba0b0d4f] + Krylov v0.10.6 [87fe0de2] + LineSearch v0.1.9 [7ed4a6bd] + LinearSolve v3.82.0 ⌅ [2ab3a3ac] ↓ LogExpFunctions v1.0.0 ⇒ v0.3.29 [loaded: v1.0.0] [e6f89c97] + LoggingExtras v1.2.0 [bb5d69b7] + MaybeInplace v0.1.4 [961ee093] + ModelingToolkit v11.26.7 [7771a370] + ModelingToolkitBase v1.42.1 [6bb917b9] + ModelingToolkitTearing v1.13.6 [2e0e35c7] + Moshi v0.3.8 [46d2c3a1] + MuladdMacro v0.2.4 [102ac46a] + MultivariatePolynomials v0.5.19 [d8a4904e] + MutableArithmetics v1.8.0 [77ba4419] + NaNMath v1.1.3 [be0214bd] + NonlinearSolveBase v2.30.2 [5959db7a] + NonlinearSolveFirstOrder v2.1.1 [6fe1bfb0] + OffsetArrays v1.17.0 [bbf590c4] + OrdinaryDiffEqCore v4.3.0 [e409e4f3] + PoissonRandom v0.4.9 [d236fae5] + PreallocationTools v1.2.0 [988b38a3] + ReadOnlyArrays v0.2.0 [795d4caa] + ReadOnlyDicts v1.0.1 [3cdcf5f2] + RecipesBase v1.3.4 [731186ca] + RecursiveArrayTools v4.3.0 [189a3867] + Reexport v1.2.2 [7e49a35a] + RuntimeGeneratedFunctions v0.5.19 [9dfe8606] + SCCNonlinearSolve v1.13.0 [0bca4576] + SciMLBase v3.17.0 [19f34311] + SciMLJacobianOperators v0.1.13 [a6db7da4] + SciMLLogging v2.0.0 [c0aeaf25] + SciMLOperators v1.22.0 [53ae85a6] + SciMLStructures v1.10.0 [efcf1570] + Setfield v1.1.2 [727e6d20] + SimpleNonlinearSolve v2.12.0 [699a6c99] + SimpleTraits v0.9.6 [0c0c59c1] + StarAlgebras v0.3.0 [64909d44] + StateSelection v1.9.3 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [2efcf032] + SymbolicIndexingInterface v0.3.48 [19f23fe9] + SymbolicLimits v1.1.0 [d1185830] + SymbolicUtils v4.33.2 [0c5d862f] + Symbolics v7.25.0 [ed4db957] + TaskLocalValues v0.1.3 [8ea1fca8] + TermInterface v2.0.0 [781d530d] + TruncatedStacktraces v1.4.0 [3a884ed6] + UnPack v1.0.2 [d30d5f5c] + WeakCacheSets v0.1.0 [1d5cc7b8] + IntelOpenMP_jll v2025.2.0+0 [856f044c] + MKL_jll v2025.2.0+0 [1317d2d5] + oneTBB_jll v2022.3.0+0 [9fa8497b] + Future v1.11.0 [4af54fe1] + LazyArtifacts v1.11.0 [3fa0cd96] + REPL v1.11.0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Updating `/tmp/jl_q81dWw/Project.toml` [0c5d862f] + Symbolics v7.25.0 Manifest No packages added to or removed from `/tmp/jl_q81dWw/Manifest.toml` WARNING: @nospecialize annotation only supported on the first 32 arguments. 1 dependency had output during precompilation: ┌ ModelingToolkitBase │ WARNING: @nospecialize annotation only supported on the first 32 arguments. └ __JL_PRECOMP_VERBOSE_TIMING__ include_ns=7950673595 deps_ns=7889113251 compilation_ns=748814497 methods=197 __JL_PRECOMP_VERBOSE_TIMING__ include_ns=12766909485 deps_ns=12750920377 compilation_ns=2964970170 methods=311 __JL_PRECOMP_VERBOSE_TIMING__ include_ns=17533882536 deps_ns=16841043325 compilation_ns=3773296140 methods=325 __JL_PRECOMP_VERBOSE_TIMING__ include_ns=34951007198 deps_ns=34092664467 compilation_ns=3930728636 methods=350 __JL_PRECOMP_VERBOSE_TIMING__ include_ns=2532143326 deps_ns=2315312764 compilation_ns=178734745 methods=113 [ Info: Testing started [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: a, b, c, d [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: S, I, W, R [ Info: Parameters: a, bi, bw, gam, k, mu, xi [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: S, I, W, R [ Info: Parameters: a, bi, bw, gam, k, mu, xi [ Info: Inputs: [ Info: Outputs: y, y2 [ Info: Summary of the model: [ Info: State variables: x0, x1, x2, x3 [ Info: Parameters: a1, a2, b1, b2, ka, kc, n [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: S, E, A, I, J, C, Ninv [ Info: Parameters: alpha, b, g1, g2, k, q, r [ Info: Inputs: [ Info: Outputs: y, y2 [ Info: Summary of the model: [ Info: State variables: KS00, KS01, KS10, FS01, FS10, FS11, K, F, S00, S01, S10, S11 [ Info: Parameters: a00, a01, a10, alpha01, alpha10, alpha11, b00, b01, b10, beta01, beta10, beta11, c0001, c0010, c0011, c0111, c1011, gamma0100, gamma1000, gamma1100, gamma1101, gamma1110 [ Info: Inputs: [ Info: Outputs: y1, y2, y3, y4, y5 [ Info: Summary of the model: [ Info: State variables: KS00, KS01, KS10, FS01, FS10, FS11, K, F, S00, S01, S10, S11 [ Info: Parameters: a00, a01, a10, alpha01, alpha10, alpha11, b00, b01, b10, beta01, beta10, beta11, c0001, c0010, c0011, c0111, c1011, gamma0100, gamma1000, gamma1100, gamma1101, gamma1110 [ Info: Inputs: [ Info: Outputs: y0, y1, y2, y3, y4 [ Info: Summary of the model: [ Info: State variables: KS00, KS01, KS10, FS01, FS10, FS11, K, F, S00, S01, S10, S11 [ Info: Parameters: a00, a01, a10, alpha01, alpha10, alpha11, b00, b01, b10, beta01, beta10, beta11, c0001, c0010, c0011, c0111, c1011, gamma0100, gamma1000, gamma1100, gamma1101, gamma1110 [ Info: Inputs: [ Info: Outputs: y0, y1, y2, y3, y4, y5 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: alpha, b, beta, c, delta, gama, sigma [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x, y, v, w, z [ Info: Parameters: a, b, beta, c, d, h, k, lm, q, u [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: s, i, r, x1, x2 [ Info: Parameters: M, b0, b1, g, mu, nu [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4, x5, x6 [ Info: Parameters: k1, k2, k3, k4, k5, k6 [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y, z, w [ Info: Parameters: a, b, c, d, e, f [ Info: Inputs: [ Info: Outputs: g [ Info: Summary of the model: [ Info: State variables: S, L, In, Q [ Info: Parameters: Ninv, a, b, e, g, s [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: S, R, W [ Info: Parameters: Dd, T, a, d, dr, e, g, r, rR [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: P0, P1, P2, P3, P4, P5 [ Info: Parameters: Ks, M, Mar, alpa, beta, beta_SA, beta_SI, phi, siga1, siga2 [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: EGFR, pEGFR, pEGFR_Akt, Akt, pAkt, S6, pAkt_S6, pS6, EGF_EGFR [ Info: Parameters: EGFR_turnover, a1, a2, a3, reaction_1_k1, reaction_1_k2, reaction_2_k1, reaction_2_k2, reaction_3_k1, reaction_4_k1, reaction_5_k1, reaction_5_k2, reaction_6_k1, reaction_7_k1, reaction_8_k1, reaction_9_k1 [ Info: Inputs: pro_EGFR [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: p1, p2, p3, p4 [ Info: Inputs: u [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: k01, k12, k13, k14, k21, k31, k41 [ Info: Inputs: u [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: b, c, d, k1, k2, q1, q2, s, w1, w2 [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x4, x5, x6, x7 [ Info: Parameters: k10, k5, k6, k7, k8, k9 [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, In, Tr, N [ Info: Parameters: a, b, d, g, nu [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, E, I, R, Q [ Info: Parameters: beta, gamma, psi, v [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4, x5, x6, x7, x8, x9, x10 [ Info: Parameters: t1, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t2, t20, t21, t22, t3, t4, t5, t6, t7, t8, t9 [ Info: Inputs: u [ Info: Outputs: y1, y2, y3, y4, y5, y6, y7, y8 [ Info: Summary of the model: [ Info: State variables: A, S, I, R [ Info: Parameters: K, c, gamma, mu, phi [ Info: Inputs: u1 [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: S, I, R, C, D [ Info: Parameters: N, beta, mu, pp, q, r [ Info: Inputs: [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: S, I, J, R, U [ Info: Parameters: alpha, beta, eta, xi [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: S, I [ Info: Parameters: K, N, beta, gamma [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: A, S, E, I [ Info: Parameters: K, N, beta, epsilon, gamma, mu, r [ Info: Inputs: [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: S, E, I, De, Di, F [ Info: Parameters: N, beta, beta_d, gamma, gamma_d, mu_0, mu_d, mu_i, nu, phi, phi_e, s, s_d [ Info: Inputs: q [ Info: Outputs: y1, y2, y5, y3, y4, y6 [ Info: Summary of the model: [ Info: State variables: x, y, z, w, v [ Info: Parameters: b1, b2, b3, b4, b5, d1, k2, k3, k4, k5, m1, m3, m4, mu2, mu3, mu4, mu5, r1, r2, r3, r4 [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: T, L, N, C, I, M [ Info: Parameters: KC, KL, KN, KT, a, alpha1, alpha2, b, beta, c1, f, g, gI, gamma, gt, h, m, muI, p, pI, pt, q, r2, ucte, w [ Info: Inputs: u1, D, u2 [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: S, E, In, Cu [ Info: Parameters: N, a, b, nu [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, E, I [ Info: Parameters: N, alpha, beta, lambda [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, E, U, I [ Info: Parameters: N, beta, d, w, z [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: beta, cry, zea, beta10, OHbeta10, betaio, OHbetaio [ Info: Parameters: kOHbeta10, kbeta, kbeta10, kcryOH, kcrybeta, kzea [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: mRNA, GFP, enz, mRNAenz [ Info: Parameters: b, d1, d2, d3, kTL [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: p1, p10, p11, p12, p13, p14, p15, p16, p17, p18, p20, p21, p22, p23, p24, p25, p3, p4, p5, p6, p7, p8, p9 [ Info: Inputs: u1 [ Info: Outputs: y1, y2, y3, y4 [ Info: Summary of the model: [ Info: State variables: N, E, S, M, P [ Info: Parameters: delta_EL, delta_LM, delta_NE, mu_EE, mu_LE, mu_LL, mu_M, mu_N, mu_P, mu_PE, mu_PL, rho_E, rho_P [ Info: Inputs: [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20 [ Info: Parameters: km, p1, p10, p11, p12, p13, p14, p15, p16, p17, p18, p19, p2, p20, p3, p4, p5, p6, p7, p8, p9, vm [ Info: Inputs: u [ Info: Outputs: y1, y2, y3, y4, y5, y6, y7, y8, y9, y10, y11, y12, y13, y14, y15, y16, y17, y18, y19, y20 [ Info: Summary of the model: [ Info: State variables: Ca, Cb, T, Tj, Arr [ Info: Parameters: Ca0, DH, E, R, Ta, Th, UA, V, Vh, cp, cph, k0, ro, roh [ Info: Inputs: u1, u2 [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: q1, q3, q35, q36, q7 [ Info: Parameters: R, S, V3, V36, k3, k4, k5, k6, k7 [ Info: Inputs: u [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: C, L, B, P, I [ Info: Parameters: ai, alpha, ap, beta, ks, rhob, rhoc, rhoi, rhol, rhop, taob, taoc, taoi, taop [ Info: Inputs: [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4, x5 [ Info: Parameters: k2, k3, k4 [ Info: Inputs: [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: pi1, pi2, pi3 [ Info: Parameters: A11, A12, A13, A21, A22, A23, A31, A32, A33, B11, B21, B31, g1, g2, g3 [ Info: Inputs: u1 [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: pi1, pi2, pi3 [ Info: Parameters: A11, A12, A13, A21, A22, A23, A31, A32, A33, B11, B21, B31, g1, g2, g3 [ Info: Inputs: u1 [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: beta11, beta12, beta21, beta22, r1, r2 [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: T0, k, k1, k2, k3, k4, r1, r3 [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: Sd, Sn, Ad, An, I [ Info: Parameters: ba, bi, delta, ea, es, f, gai, gir, h1, h2 [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, I, A, Q, J, R [ Info: Parameters: b, d1, d2, d3, d4, d5, d6, ea, ej, eq, g1, g2, k1, k2, l, m1, m2 [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, E, I [ Info: Parameters: K, L, N, b, e, g, m, r [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: Y2, Y1, Y3, Y4, Z0, Y0, Z1, Z2, Z3, w1, w2, I1, I4 [ Info: Parameters: D0, D1, D2, D3, D4, E0, E1, E2, E3, E4, J1, J2, J3, Tau, f1, m1, m2, m3, n, n1, n2, n3 [ Info: Inputs: [ Info: Outputs: O1, O2, O3, O4, O6, O7, O8, O9, O10 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, d_I, k_T, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, c_T, d_I, k_T, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, d_I, d_T, k_T, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, c_T, d_I, d_T, k_T, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, d_I, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, c_T, d_I, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, d_I, d_T, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, c_T, d_I, d_T, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: A, I, H, R, D, E [ Info: Parameters: N, a, c1, c2, d, h, r1, r2, r3, s [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15 [ Info: Parameters: a1, a2, a3, c1, c1a, c1c, c2, c2a, c2c, c3, c3a, c3c, c4, c4a, c5, c5a, c6a, e1a, e2a, i1, i1a, k1, k2, k3, k_deg, k_prod, kv, t1, t2 [ Info: Inputs: u [ Info: Outputs: y1, y2, y3, y4, y5, y6 Test Summary: | Total Time Benchmarks are valid | 0 31.8s [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y ┌ Warning: New variable c, treating as a scalar parameter └ @ StructuralIdentifiability ~/.julia/packages/StructuralIdentifiability/31snG/src/pb_representation.jl:94 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: a [ Info: Inputs: u [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: a [ Info: Parameters: b [ Info: Inputs: c [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: a, b [ Info: Parameters: k1, k2 [ Info: Inputs: c [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y [ Info: Parameters: a, b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y [ Info: Parameters: a, b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y [ Info: Parameters: a, b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y [ Info: Parameters: a, b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: u [ Info: Outputs: y 2.132103 seconds (883.16 k allocations: 48.849 MiB, 99.58% compilation time) 0.001865 seconds (7.10 k allocations: 313.336 KiB) 0.001994 seconds (10.77 k allocations: 483.234 KiB) 0.001966 seconds (10.73 k allocations: 477.875 KiB) 0.016248 seconds (14.49 k allocations: 633.016 KiB) 0.001621 seconds (7.92 k allocations: 359.336 KiB) 0.001175 seconds (7.44 k allocations: 300.414 KiB) 15.274306 seconds (5.78 M allocations: 329.156 MiB, 0.99% gc time, 99.82% compilation time) [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: [ Info: Inputs: u [ Info: Outputs: y 0.318940 seconds (93.75 k allocations: 5.606 MiB, 98.34% compilation time) [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: [ Info: Inputs: u [ Info: Outputs: y 0.010554 seconds (9.42 k allocations: 508.727 KiB, 89.64% compilation time) [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a, b [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: a [ Info: Inputs: u [ Info: Outputs: y1, y2 IOEQS: Dict{QQMPolyRingElem, QQMPolyRingElem}(y2(t)_1 => -a*y2(t)_0 + a*u(t)_0 + y2(t)_1 - u(t)_1, y1(t)_2 => -y1(t)_0 + y1(t)_2) [ Info: Summary of the model: [ Info: State variables: x0, x1 [ Info: Parameters: a01, a12, a21 [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x0, x1 [ Info: Parameters: a, b, c, d [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: S, I, W, R [ Info: Parameters: a, bi, bw, gam, k, mu, xi [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: alpha, b, beta, c, delta, gama, sigma [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: a1, a2, a21 [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: a1, a2, a21 [ Info: Inputs: u [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: a01, a12, a13, a21, a31 [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: S, E, In [ Info: Parameters: N, a, b, nu [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.004025062 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 2.12006023 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 0.058524871 seconds [ Info: Global identifiability assessed in 57.024024276 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Functions to check involve states [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002884253 seconds [ Info: No parameters, so Wronskian computation is not needed [ Info: Global identifiability assessed in 0.893562063 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Global identifiability assessed in 5.7239e-5 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Functions to check involve states [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.033213423 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.439004201 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 8.0609e-5 seconds [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:16 ✓ # Computing specializations.. Time: 0:00:18 [ Info: Search for polynomial generators concluded in 17.43307766 [ Info: Selecting generators in 0.013205444 [ Info: Inclusion checked with probability 0.9955 in 0.06701876 seconds [ Info: Global identifiability assessed in 113.671834941 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 5.25737563 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 1.565451641 seconds [ Info: Dimensions of the Wronskians [676] [ Info: Ranks of the Wronskians computed in 0.099265133 seconds [ Info: Global identifiability assessed in 44.897989548 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.013181034 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.028576717 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000309987 seconds [ Info: Global identifiability assessed in 0.069053481 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Note: the input model has nontrivial submodels. If the computation for the full model will be too heavy, you may want to try to first analyze one of the submodels. They can be produced using function `find_submodels` [ Info: Functions to check involve states [ Info: Computing IO-equations [ Info: Computed IO-equations in 7.101393052 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002370127 seconds [ Info: Dimensions of the Wronskians [2, 3, 2] [ Info: Ranks of the Wronskians computed in 2.8249e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.892725989 [ Info: Selecting generators in 0.000346617 [ Info: Inclusion checked with probability 0.9955 in 0.002422386 seconds [ Info: Global identifiability assessed in 9.376218309 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001443286 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00104495 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.3e-5 seconds [ Info: Global identifiability assessed in 0.004274408 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002386616 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001656743 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.519e-5 seconds [ Info: Global identifiability assessed in 0.006618304 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Functions to check involve states [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.004393656 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003632884 seconds [ Info: Dimensions of the Wronskians [6] [ Info: Ranks of the Wronskians computed in 2.2439e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.066349753 [ Info: Selecting generators in 0.013399577 [ Info: Inclusion checked with probability 0.9955 in 0.00497517 seconds [ Info: Global identifiability assessed in 2.119019033 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Functions to check involve states [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.007348826 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003264188 seconds [ Info: Dimensions of the Wronskians [2, 5] [ Info: Ranks of the Wronskians computed in 2.4639e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.006578545 [ Info: Selecting generators in 0.003502565 [ Info: Inclusion checked with probability 0.9955 in 0.00399648 seconds [ Info: Global identifiability assessed in 0.044999453 seconds [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: Θ [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: V_m, c, k01, k_m [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a, b, c [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x0, x1 [ Info: Parameters: a01, a12, a21 [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: k1, k2, k3, k4 [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: β1, β2, β3, λ1, λ2, λ3 [ Info: Inputs: u1, u2, u3 [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: a1, a2, b1, b2 [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: a1, a2, b1, b2 [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: p1, p2, p3, p4 [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: alpha, b, beta, c, delta, gama, sigma [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: s, i, r, x1, x2 [ Info: Parameters: M, b0, b1, g, mu, nu [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, E, I, R, Q [ Info: Parameters: beta, gamma, psi, v [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: k01, k12, k13, k14, k21, k31, k41 [ Info: Inputs: u [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x5, x7, x4, x6 [ Info: Parameters: k10, k5, k6, k7, k8, k9 [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, In, L, Q [ Info: Parameters: Ninv, a, b, e, g, s [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: S, R, W [ Info: Parameters: Dd, T, a, d, dr, e, g, r, rR [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: P3, P0, P5, P4, P1, P2 [ Info: Parameters: Ks, M, Mar, alpa, beta, beta_SA, beta_SI, phi, siga1, siga2 [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: a, b, c, d [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: a, b, c, d [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: β1, β2, β3, λ1, λ2, λ3 [ Info: Inputs: u1, u2, u3 [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: Θ [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: C, α [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: α [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a, b, c [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: p1, p2, p3, p4 [ Info: Inputs: u [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: EGFR, pEGFR, pEGFR_Akt, Akt, pAkt, S6, pAkt_S6, pS6, EGF_EGFR [ Info: Parameters: EGFR_turnover, a1, a2, a3, reaction_1_k1, reaction_1_k2, reaction_2_k1, reaction_2_k2, reaction_3_k1, reaction_4_k1, reaction_5_k1, reaction_5_k2, reaction_6_k1, reaction_7_k1, reaction_8_k1, reaction_9_k1 [ Info: Inputs: pro_EGFR [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: beta, cry, zea, beta10, OHbeta10, betaio, OHbetaio [ Info: Parameters: kOHbeta10, kbeta, kbeta10, kcryOH, kcrybeta, kzea [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: EpoR_A, k1, k2, k3, k5, k6, k7 [ Info: Inputs: [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: S, E, U, I [ Info: Parameters: N, a, b, d, g [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: alpha [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: k01, k02, k12, k21, v [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: K_M, V_M, b1, c, k02, k12, k21 [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: k02, k03, k12, k13, k21, k31, v [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: a03, a04, a13, a24, a31, a42, a43 [ Info: Inputs: u [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, I [ Info: Parameters: N, beta, k, mu, nu [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: p1, p2, p3, p4, p5 [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: beta, c, d, k1, k2, mu1, mu2, q1, q2, s [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: A, I, H, R, D, E [ Info: Parameters: N, a, c1, c2, d, h, r1, r2, r3, s [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: Km, Vm, a1, a2, b1, c, k02, k12, k21 [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: T, Tast, V [ Info: Parameters: N, beta, c, delta, lambda, rho [ Info: Inputs: [ Info: Outputs: y [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001457486 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001145679 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.332e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000149849 [ Info: Selecting generators in 1.179544459 [ Info: Inclusion checked with probability 0.995 in 0.003098239 seconds [ Info: The search for identifiable functions concluded in 2.513195147 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a] │ case = │ (ode = x'(t) = x(t)*a + u(t) │ y(t) = x(t) │ , ident_funcs = QQMPolyRingElem[a]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 4 variables x(t), y(t), u(t), a │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001690673 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001194698 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.981e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 6.214e-5 [ Info: Selecting generators in 0.000571345 [ Info: Inclusion checked with probability 0.995 in 0.001729383 seconds [ Info: The search for identifiable functions concluded in 0.010230499 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a] │ case = │ (ode = x'(t) = x(t)*a + u(t) │ y(t) = x(t) │ , ident_funcs = QQMPolyRingElem[a]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 4 variables x(t), y(t), u(t), a │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001114399 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.000919541 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.671e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 5.9679e-5 [ Info: Selecting generators in 0.000552495 [ Info: Inclusion checked with probability 0.995 in 0.001733663 seconds [ Info: The search for identifiable functions concluded in 0.008715454 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a] │ case = │ (ode = x'(t) = x(t)*a + u(t) │ y(t) = x(t) │ , ident_funcs = QQMPolyRingElem[a]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 4 variables x(t), y(t), u(t), a │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00093344 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.000764063 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.7819e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000523435 [ Info: Selecting generators in 0.000717623 [ Info: Inclusion checked with probability 0.995 in 0.002102579 seconds [ Info: The search for identifiable functions concluded in 0.009515816 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a] │ case = │ (ode = x'(t) = x(t)*a + u(t) │ y(t) = x(t) │ , ident_funcs = QQMPolyRingElem[a]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 4 variables x(t), y(t), u(t), a │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x(t), y(t), u(t), a] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001383836 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001090899 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.5629e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000432346 [ Info: Selecting generators in 0.000709503 [ Info: Inclusion checked with probability 0.995 in 0.001934731 seconds [ Info: The search for identifiable functions concluded in 0.010320937 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a] │ case = │ (ode = x'(t) = x(t)*a + u(t) │ y(t) = x(t) │ , ident_funcs = QQMPolyRingElem[a]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 4 variables x(t), y(t), u(t), a │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x(t), y(t), u(t), a] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001134568 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00102427 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.835e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000384527 [ Info: Selecting generators in 0.000653323 [ Info: Inclusion checked with probability 0.995 in 0.001832032 seconds [ Info: The search for identifiable functions concluded in 0.00900353 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a] │ case = │ (ode = x'(t) = x(t)*a + u(t) │ y(t) = x(t) │ , ident_funcs = QQMPolyRingElem[a]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 4 variables x(t), y(t), u(t), a │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x(t), y(t), u(t), a] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001821912 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001286637 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.571e-5 seconds [ Info: The search for identifiable functions concluded in 0.036773605 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00202712 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001508965 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.572e-5 seconds [ Info: The search for identifiable functions concluded in 0.004414586 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001683923 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001108909 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.3009e-5 seconds [ Info: The search for identifiable functions concluded in 0.003353707 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001799892 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001317587 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.537e-5 seconds [ Info: The search for identifiable functions concluded in 0.003790682 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001692723 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001197688 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.522e-5 seconds [ Info: The search for identifiable functions concluded in 0.003700643 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001757073 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001443796 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.509e-5 seconds [ Info: The search for identifiable functions concluded in 0.003902031 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002183089 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001164379 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.414e-5 seconds [ Info: The search for identifiable functions concluded in 0.004119759 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001572534 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00103777 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.4209e-5 seconds [ Info: The search for identifiable functions concluded in 0.003178749 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001518075 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001122119 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 3.0929e-5 seconds [ Info: The search for identifiable functions concluded in 0.003260887 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001545735 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001114589 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.498e-5 seconds [ Info: The search for identifiable functions concluded in 0.003249788 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001505415 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001062799 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.387e-5 seconds [ Info: The search for identifiable functions concluded in 0.003169459 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001461375 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0010359 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.409e-5 seconds [ Info: The search for identifiable functions concluded in 0.003076089 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.282996238 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001699533 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.971e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.4709e-5 [ Info: Selecting generators in 0.000616123 [ Info: Inclusion checked with probability 0.995 in 0.001887131 seconds [ Info: The search for identifiable functions concluded in 0.291725181 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[Θ] │ case = │ (ode = x1'(t) = x2(t)^2*Θ │ x2'(t) = u(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[Θ]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 5 variables x1(t), x2(t), y(t), u(t), Θ │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.003193379 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001575094 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.701e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.06e-5 [ Info: Selecting generators in 0.000474835 [ Info: Inclusion checked with probability 0.995 in 0.001508655 seconds [ Info: The search for identifiable functions concluded in 0.012132529 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[Θ] │ case = │ (ode = x1'(t) = x2(t)^2*Θ │ x2'(t) = u(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[Θ]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 5 variables x1(t), x2(t), y(t), u(t), Θ │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002607174 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001458745 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.846e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 6.6439e-5 [ Info: Selecting generators in 0.000586804 [ Info: Inclusion checked with probability 0.995 in 0.001764802 seconds [ Info: The search for identifiable functions concluded in 0.011591355 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[Θ] │ case = │ (ode = x1'(t) = x2(t)^2*Θ │ x2'(t) = u(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[Θ]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 5 variables x1(t), x2(t), y(t), u(t), Θ │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002360666 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001594154 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.814e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000309917 [ Info: Selecting generators in 0.000398506 [ Info: Inclusion checked with probability 0.995 in 0.001305157 seconds [ Info: The search for identifiable functions concluded in 0.009991741 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[Θ] │ case = │ (ode = x1'(t) = x2(t)^2*Θ │ x2'(t) = u(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[Θ]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 5 variables x1(t), x2(t), y(t), u(t), Θ │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), y(t), u(t), Θ] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002209008 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001385206 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.9959e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000382606 [ Info: Selecting generators in 0.000406236 [ Info: Inclusion checked with probability 0.995 in 0.001274318 seconds [ Info: The search for identifiable functions concluded in 0.010046441 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[Θ] │ case = │ (ode = x1'(t) = x2(t)^2*Θ │ x2'(t) = u(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[Θ]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 5 variables x1(t), x2(t), y(t), u(t), Θ │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), y(t), u(t), Θ] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001840932 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001339896 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.526e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000408046 [ Info: Selecting generators in 0.000591544 [ Info: Inclusion checked with probability 0.995 in 0.001685034 seconds [ Info: The search for identifiable functions concluded in 0.010206228 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[Θ] │ case = │ (ode = x1'(t) = x2(t)^2*Θ │ x2'(t) = u(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[Θ]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 5 variables x1(t), x2(t), y(t), u(t), Θ │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), y(t), u(t), Θ] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001071679 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.000908651 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.036e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.062e-5 [ Info: Selecting generators in 0.001306087 [ Info: Inclusion checked with probability 0.995 in 0.002489835 seconds [ Info: The search for identifiable functions concluded in 0.011576905 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, c*k_m, V_m//k_m] │ case = │ (ode = x'(t) = (x(t)^2*k01 - x(t)*V_m + x(t)*k01*k_m)//(x(t) + k_m) │ y(t) = x(t)*c │ , ident_funcs = QQMPolyRingElem[k01, c*k_m, V_m*c]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 6 variables x(t), y(t), V_m, c, ..., k_m │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00103454 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00105872 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.5189e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.6749e-5 [ Info: Selecting generators in 0.001353607 [ Info: Inclusion checked with probability 0.995 in 0.0030592 seconds [ Info: The search for identifiable functions concluded in 0.013849703 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, c*k_m, V_m//k_m] │ case = │ (ode = x'(t) = (x(t)^2*k01 - x(t)*V_m + x(t)*k01*k_m)//(x(t) + k_m) │ y(t) = x(t)*c │ , ident_funcs = QQMPolyRingElem[k01, c*k_m, V_m*c]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 6 variables x(t), y(t), V_m, c, ..., k_m │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001345996 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001136919 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.414e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.9799e-5 [ Info: Selecting generators in 0.001858311 [ Info: Inclusion checked with probability 0.995 in 0.003611024 seconds [ Info: The search for identifiable functions concluded in 0.016810493 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, c*k_m, V_m//k_m] │ case = │ (ode = x'(t) = (x(t)^2*k01 - x(t)*V_m + x(t)*k01*k_m)//(x(t) + k_m) │ y(t) = x(t)*c │ , ident_funcs = QQMPolyRingElem[k01, c*k_m, V_m*c]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 6 variables x(t), y(t), V_m, c, ..., k_m │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001279927 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001152299 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 3.797e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.240180354 [ Info: Selecting generators in 0.00303907 [ Info: Inclusion checked with probability 0.995 in 0.003229148 seconds [ Info: The search for identifiable functions concluded in 0.257466762 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, c*k_m, V_m*c] │ case = │ (ode = x'(t) = (x(t)^2*k01 - x(t)*V_m + x(t)*k01*k_m)//(x(t) + k_m) │ y(t) = x(t)*c │ , ident_funcs = QQMPolyRingElem[k01, c*k_m, V_m*c]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 6 variables x(t), y(t), V_m, c, ..., k_m │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x(t), y(t), V_m, c, k01, k_m] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001186018 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.000852782 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.4559e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.011914742 [ Info: Selecting generators in 0.002255788 [ Info: Inclusion checked with probability 0.995 in 0.003137789 seconds [ Info: The search for identifiable functions concluded in 0.025538886 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, c*k_m, V_m*c] │ case = │ (ode = x'(t) = (x(t)^2*k01 - x(t)*V_m + x(t)*k01*k_m)//(x(t) + k_m) │ y(t) = x(t)*c │ , ident_funcs = QQMPolyRingElem[k01, c*k_m, V_m*c]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 6 variables x(t), y(t), V_m, c, ..., k_m │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x(t), y(t), V_m, c, k01, k_m] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001253938 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001064699 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.688e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.014739504 [ Info: Selecting generators in 0.002923831 [ Info: Inclusion checked with probability 0.995 in 0.00302211 seconds [ Info: The search for identifiable functions concluded in 0.030508007 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, c*k_m, V_m*c] │ case = │ (ode = x'(t) = (x(t)^2*k01 - x(t)*V_m + x(t)*k01*k_m)//(x(t) + k_m) │ y(t) = x(t)*c │ , ident_funcs = QQMPolyRingElem[k01, c*k_m, V_m*c]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 6 variables x(t), y(t), V_m, c, ..., k_m │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x(t), y(t), V_m, c, k01, k_m] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001184218 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00095224 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.7e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.2359e-5 [ Info: Selecting generators in 0.001816301 [ Info: Inclusion checked with probability 0.995 in 0.002495995 seconds [ Info: The search for identifiable functions concluded in 0.988228631 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a, b*c] │ case = │ (ode = x'(t) = x(t)*a + u(t)*b │ y(t) = x(t)*c │ , ident_funcs = QQMPolyRingElem[b*c, a]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 6 variables x(t), y(t), u(t), a, ..., c │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001192988 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00096601 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.7989e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.3319e-5 [ Info: Selecting generators in 0.001678624 [ Info: Inclusion checked with probability 0.995 in 0.002328027 seconds [ Info: The search for identifiable functions concluded in 0.011541115 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a, b*c] │ case = │ (ode = x'(t) = x(t)*a + u(t)*b │ y(t) = x(t)*c │ , ident_funcs = QQMPolyRingElem[b*c, a]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 6 variables x(t), y(t), u(t), a, ..., c │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001164519 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.000893532 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.768e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.482e-5 [ Info: Selecting generators in 0.001654704 [ Info: Inclusion checked with probability 0.995 in 0.002321547 seconds [ Info: The search for identifiable functions concluded in 0.011283808 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a, b*c] │ case = │ (ode = x'(t) = x(t)*a + u(t)*b │ y(t) = x(t)*c │ , ident_funcs = QQMPolyRingElem[b*c, a]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 6 variables x(t), y(t), u(t), a, ..., c │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001176648 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.000908361 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.732e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.224608478 [ Info: Selecting generators in 0.002364067 [ Info: Inclusion checked with probability 0.995 in 0.002759363 seconds [ Info: The search for identifiable functions concluded in 0.237671818 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a, b*c] │ case = │ (ode = x'(t) = x(t)*a + u(t)*b │ y(t) = x(t)*c │ , ident_funcs = QQMPolyRingElem[b*c, a]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 6 variables x(t), y(t), u(t), a, ..., c │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x(t), y(t), u(t), a, b, c] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001300237 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001209338 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.0349e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.005903321 [ Info: Selecting generators in 0.002280917 [ Info: Inclusion checked with probability 0.995 in 0.002786882 seconds [ Info: The search for identifiable functions concluded in 0.02015301 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a, b*c] │ case = │ (ode = x'(t) = x(t)*a + u(t)*b │ y(t) = x(t)*c │ , ident_funcs = QQMPolyRingElem[b*c, a]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 6 variables x(t), y(t), u(t), a, ..., c │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x(t), y(t), u(t), a, b, c] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001218288 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001013759 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.79e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.004347176 [ Info: Selecting generators in 0.001466135 [ Info: Inclusion checked with probability 0.995 in 0.001815952 seconds [ Info: The search for identifiable functions concluded in 0.014375977 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a, b*c] │ case = │ (ode = x'(t) = x(t)*a + u(t)*b │ y(t) = x(t)*c │ , ident_funcs = QQMPolyRingElem[b*c, a]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 6 variables x(t), y(t), u(t), a, ..., c │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x(t), y(t), u(t), a, b, c] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002070539 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001470365 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.647e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.0269e-5 [ Info: Selecting generators in 0.000519305 [ Info: Inclusion checked with probability 0.995 in 0.003132658 seconds [ Info: The search for identifiable functions concluded in 0.017341568 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a01 + a12 + a21, a01*a12] │ case = │ (ode = x0'(t) = -x0(t)*a01 - x0(t)*a21 + x1(t)*a12 │ x1'(t) = x0(t)*a21 - x1(t)*a12 │ y(t) = x0(t) │ , ident_funcs = QQMPolyRingElem[a01*a12, a01 + a12 + a21]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 6 variables x0(t), x1(t), y(t), a01, ..., a21 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002522825 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001604644 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 0.000171858 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.0019e-5 [ Info: Selecting generators in 0.000780142 [ Info: Inclusion checked with probability 0.995 in 0.00300708 seconds [ Info: The search for identifiable functions concluded in 0.018827413 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a01 + a12 + a21, a01*a12] │ case = │ (ode = x0'(t) = -x0(t)*a01 - x0(t)*a21 + x1(t)*a12 │ x1'(t) = x0(t)*a21 - x1(t)*a12 │ y(t) = x0(t) │ , ident_funcs = QQMPolyRingElem[a01*a12, a01 + a12 + a21]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 6 variables x0(t), x1(t), y(t), a01, ..., a21 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002242048 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001497895 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.405e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.5919e-5 [ Info: Selecting generators in 0.000543955 [ Info: Inclusion checked with probability 0.995 in 0.002968221 seconds [ Info: The search for identifiable functions concluded in 0.018204779 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a01 + a12 + a21, a01*a12] │ case = │ (ode = x0'(t) = -x0(t)*a01 - x0(t)*a21 + x1(t)*a12 │ x1'(t) = x0(t)*a21 - x1(t)*a12 │ y(t) = x0(t) │ , ident_funcs = QQMPolyRingElem[a01*a12, a01 + a12 + a21]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 6 variables x0(t), x1(t), y(t), a01, ..., a21 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002348817 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001613414 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.326e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.007859052 [ Info: Selecting generators in 0.000773043 [ Info: Inclusion checked with probability 0.995 in 0.002884142 seconds [ Info: The search for identifiable functions concluded in 0.026279509 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a01 + a12 + a21, a01*a12] │ case = │ (ode = x0'(t) = -x0(t)*a01 - x0(t)*a21 + x1(t)*a12 │ x1'(t) = x0(t)*a21 - x1(t)*a12 │ y(t) = x0(t) │ , ident_funcs = QQMPolyRingElem[a01*a12, a01 + a12 + a21]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 6 variables x0(t), x1(t), y(t), a01, ..., a21 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x0(t), x1(t), y(t), a01, a12, a21] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002261368 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001559425 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.2419e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.007338777 [ Info: Selecting generators in 0.000698583 [ Info: Inclusion checked with probability 0.995 in 0.002889371 seconds [ Info: The search for identifiable functions concluded in 0.024967312 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a01 + a12 + a21, a01*a12] │ case = │ (ode = x0'(t) = -x0(t)*a01 - x0(t)*a21 + x1(t)*a12 │ x1'(t) = x0(t)*a21 - x1(t)*a12 │ y(t) = x0(t) │ , ident_funcs = QQMPolyRingElem[a01*a12, a01 + a12 + a21]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 6 variables x0(t), x1(t), y(t), a01, ..., a21 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x0(t), x1(t), y(t), a01, a12, a21] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002240548 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001583684 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.031e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.007230048 [ Info: Selecting generators in 0.000662924 [ Info: Inclusion checked with probability 0.995 in 0.002730703 seconds [ Info: The search for identifiable functions concluded in 0.38345926 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a01 + a12 + a21, a01*a12] │ case = │ (ode = x0'(t) = -x0(t)*a01 - x0(t)*a21 + x1(t)*a12 │ x1'(t) = x0(t)*a21 - x1(t)*a12 │ y(t) = x0(t) │ , ident_funcs = QQMPolyRingElem[a01*a12, a01 + a12 + a21]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 6 variables x0(t), x1(t), y(t), a01, ..., a21 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x0(t), x1(t), y(t), a01, a12, a21] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002662564 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001867871 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.961e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.3159e-5 [ Info: Selecting generators in 0.003135939 [ Info: Inclusion checked with probability 0.995 in 0.003479745 seconds [ Info: The search for identifiable functions concluded in 0.021291278 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k3 + k4, k1 + k2, k2*k3] │ case = │ (ode = x1'(t) = -x1(t)*k1 - x1(t)*k2 + x2(t)*k3 + u(t) │ x2'(t) = x1(t)*k2 - x2(t)*k3 - x2(t)*k4 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[k1 + k2, k3 + k4, k2*k3]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 8 variables x1(t), x2(t), y(t), u(t), ..., k4 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002498345 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001778302 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.8269e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.5959e-5 [ Info: Selecting generators in 0.002949581 [ Info: Inclusion checked with probability 0.995 in 0.003431026 seconds [ Info: The search for identifiable functions concluded in 0.020094131 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k3 + k4, k1 + k2, k2*k3] │ case = │ (ode = x1'(t) = -x1(t)*k1 - x1(t)*k2 + x2(t)*k3 + u(t) │ x2'(t) = x1(t)*k2 - x2(t)*k3 - x2(t)*k4 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[k1 + k2, k3 + k4, k2*k3]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 8 variables x1(t), x2(t), y(t), u(t), ..., k4 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002604604 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001828772 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.878e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.5639e-5 [ Info: Selecting generators in 0.002945721 [ Info: Inclusion checked with probability 0.995 in 0.003350756 seconds [ Info: The search for identifiable functions concluded in 0.02012428 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k3 + k4, k1 + k2, k2*k3] │ case = │ (ode = x1'(t) = -x1(t)*k1 - x1(t)*k2 + x2(t)*k3 + u(t) │ x2'(t) = x1(t)*k2 - x2(t)*k3 - x2(t)*k4 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[k1 + k2, k3 + k4, k2*k3]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 8 variables x1(t), x2(t), y(t), u(t), ..., k4 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002506285 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001811812 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.982e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.013849742 [ Info: Selecting generators in 0.003330187 [ Info: Inclusion checked with probability 0.995 in 0.003623384 seconds [ Info: The search for identifiable functions concluded in 0.034744405 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k3 + k4, k1 + k2, k2*k3] │ case = │ (ode = x1'(t) = -x1(t)*k1 - x1(t)*k2 + x2(t)*k3 + u(t) │ x2'(t) = x1(t)*k2 - x2(t)*k3 - x2(t)*k4 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[k1 + k2, k3 + k4, k2*k3]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 8 variables x1(t), x2(t), y(t), u(t), ..., k4 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), y(t), u(t), k1, k2, k3, k4] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002737223 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001934041 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.485e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.014964631 [ Info: Selecting generators in 0.003394917 [ Info: Inclusion checked with probability 0.995 in 0.003420526 seconds [ Info: The search for identifiable functions concluded in 0.036880374 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k3 + k4, k1 + k2, k2*k3] │ case = │ (ode = x1'(t) = -x1(t)*k1 - x1(t)*k2 + x2(t)*k3 + u(t) │ x2'(t) = x1(t)*k2 - x2(t)*k3 - x2(t)*k4 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[k1 + k2, k3 + k4, k2*k3]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 8 variables x1(t), x2(t), y(t), u(t), ..., k4 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), y(t), u(t), k1, k2, k3, k4] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002637854 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001886032 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.781e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.014354547 [ Info: Selecting generators in 0.003237058 [ Info: Inclusion checked with probability 0.995 in 0.004118989 seconds [ Info: The search for identifiable functions concluded in 0.03623385 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k3 + k4, k1 + k2, k2*k3] │ case = │ (ode = x1'(t) = -x1(t)*k1 - x1(t)*k2 + x2(t)*k3 + u(t) │ x2'(t) = x1(t)*k2 - x2(t)*k3 - x2(t)*k4 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[k1 + k2, k3 + k4, k2*k3]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 8 variables x1(t), x2(t), y(t), u(t), ..., k4 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), y(t), u(t), k1, k2, k3, k4] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.01716842 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00499164 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.9089e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000118029 [ Info: Selecting generators in 0.009159089 [ Info: Inclusion checked with probability 0.995 in 0.005821212 seconds [ Info: The search for identifiable functions concluded in 0.319057999 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[λ3, λ2, λ1, β3, β2, β1] │ case = │ (ode = x1'(t) = x1(t)*λ1 + u1(t)*β1 │ x2'(t) = x2(t)*λ2 + u2(t)*β2 │ x3'(t) = x3(t)*λ3 + u3(t)*β3 │ y(t) = x1(t) + x2(t) + x3(t) │ , ident_funcs = QQMPolyRingElem[λ1, λ2, λ3, β1, β2, β3]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), y(t), ..., λ3 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.006895061 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004875622 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.272e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000105589 [ Info: Selecting generators in 0.009720433 [ Info: Inclusion checked with probability 0.995 in 0.006233128 seconds [ Info: The search for identifiable functions concluded in 0.047608887 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[λ3, λ2, λ1, β3, β2, β1] │ case = │ (ode = x1'(t) = x1(t)*λ1 + u1(t)*β1 │ x2'(t) = x2(t)*λ2 + u2(t)*β2 │ x3'(t) = x3(t)*λ3 + u3(t)*β3 │ y(t) = x1(t) + x2(t) + x3(t) │ , ident_funcs = QQMPolyRingElem[λ1, λ2, λ3, β1, β2, β3]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), y(t), ..., λ3 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.007961621 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004789413 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.03e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000130858 [ Info: Selecting generators in 0.009546885 [ Info: Inclusion checked with probability 0.995 in 0.006011951 seconds [ Info: The search for identifiable functions concluded in 0.047973093 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[λ3, λ2, λ1, β3, β2, β1] │ case = │ (ode = x1'(t) = x1(t)*λ1 + u1(t)*β1 │ x2'(t) = x2(t)*λ2 + u2(t)*β2 │ x3'(t) = x3(t)*λ3 + u3(t)*β3 │ y(t) = x1(t) + x2(t) + x3(t) │ , ident_funcs = QQMPolyRingElem[λ1, λ2, λ3, β1, β2, β3]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), y(t), ..., λ3 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.007166189 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004789083 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.854e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.002298287 [ Info: Selecting generators in 0.009737983 [ Info: Inclusion checked with probability 0.995 in 0.006176119 seconds [ Info: The search for identifiable functions concluded in 0.049217301 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[λ3, λ2, λ1, β3, β2, β1] │ case = │ (ode = x1'(t) = x1(t)*λ1 + u1(t)*β1 │ x2'(t) = x2(t)*λ2 + u2(t)*β2 │ x3'(t) = x3(t)*λ3 + u3(t)*β3 │ y(t) = x1(t) + x2(t) + x3(t) │ , ident_funcs = QQMPolyRingElem[λ1, λ2, λ3, β1, β2, β3]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), y(t), ..., λ3 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), y(t), u1(t), u2(t), u3(t), β1, β2, β3, λ1, λ2, λ3] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.006995711 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004705143 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.96e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00203882 [ Info: Selecting generators in 0.009338948 [ Info: Inclusion checked with probability 0.995 in 0.005401276 seconds [ Info: The search for identifiable functions concluded in 0.046116861 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[λ3, λ2, λ1, β3, β2, β1] │ case = │ (ode = x1'(t) = x1(t)*λ1 + u1(t)*β1 │ x2'(t) = x2(t)*λ2 + u2(t)*β2 │ x3'(t) = x3(t)*λ3 + u3(t)*β3 │ y(t) = x1(t) + x2(t) + x3(t) │ , ident_funcs = QQMPolyRingElem[λ1, λ2, λ3, β1, β2, β3]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), y(t), ..., λ3 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), y(t), u1(t), u2(t), u3(t), β1, β2, β3, λ1, λ2, λ3] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.006600075 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004695363 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.784e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.002307907 [ Info: Selecting generators in 0.008670453 [ Info: Inclusion checked with probability 0.995 in 0.005789413 seconds [ Info: The search for identifiable functions concluded in 0.046053562 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[λ3, λ2, λ1, β3, β2, β1] │ case = │ (ode = x1'(t) = x1(t)*λ1 + u1(t)*β1 │ x2'(t) = x2(t)*λ2 + u2(t)*β2 │ x3'(t) = x3(t)*λ3 + u3(t)*β3 │ y(t) = x1(t) + x2(t) + x3(t) │ , ident_funcs = QQMPolyRingElem[λ1, λ2, λ3, β1, β2, β3]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), y(t), ..., λ3 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), y(t), u1(t), u2(t), u3(t), β1, β2, β3, λ1, λ2, λ3] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.005145719 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003065839 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.1509e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000103089 [ Info: Selecting generators in 0.00199018 [ Info: Inclusion checked with probability 0.995 in 0.004120419 seconds [ Info: The search for identifiable functions concluded in 0.024656855 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[b2, b1, a2, a1] │ case = │ (ode = x1'(t) = -x1(t)*a1 + x2(t)*b1 + u(t) │ x2'(t) = x1(t)*a1 - x2(t)*a2 - x2(t)*b1 + x3(t)*b2 │ x3'(t) = x2(t)*a2 - x3(t)*b2 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[a1, a2, b1, b2]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 9 variables x1(t), x2(t), x3(t), y(t), ..., b2 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.006730323 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003555145 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.081e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000103229 [ Info: Selecting generators in 0.00202671 [ Info: Inclusion checked with probability 0.995 in 0.004272937 seconds [ Info: The search for identifiable functions concluded in 0.027650326 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[b2, b1, a2, a1] │ case = │ (ode = x1'(t) = -x1(t)*a1 + x2(t)*b1 + u(t) │ x2'(t) = x1(t)*a1 - x2(t)*a2 - x2(t)*b1 + x3(t)*b2 │ x3'(t) = x2(t)*a2 - x3(t)*b2 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[a1, a2, b1, b2]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 9 variables x1(t), x2(t), x3(t), y(t), ..., b2 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.005326677 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003961271 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 1.9139e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000105149 [ Info: Selecting generators in 0.00204383 [ Info: Inclusion checked with probability 0.995 in 0.004216528 seconds [ Info: The search for identifiable functions concluded in 0.025990642 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[b2, b1, a2, a1] │ case = │ (ode = x1'(t) = -x1(t)*a1 + x2(t)*b1 + u(t) │ x2'(t) = x1(t)*a1 - x2(t)*a2 - x2(t)*b1 + x3(t)*b2 │ x3'(t) = x2(t)*a2 - x3(t)*b2 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[a1, a2, b1, b2]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 9 variables x1(t), x2(t), x3(t), y(t), ..., b2 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.005455556 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003520555 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 1.794e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.001258868 [ Info: Selecting generators in 0.002188629 [ Info: Inclusion checked with probability 0.995 in 0.004099849 seconds [ Info: The search for identifiable functions concluded in 0.027344719 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[b2, b1, a2, a1] │ case = │ (ode = x1'(t) = -x1(t)*a1 + x2(t)*b1 + u(t) │ x2'(t) = x1(t)*a1 - x2(t)*a2 - x2(t)*b1 + x3(t)*b2 │ x3'(t) = x2(t)*a2 - x3(t)*b2 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[a1, a2, b1, b2]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 9 variables x1(t), x2(t), x3(t), y(t), ..., b2 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), y(t), u(t), a1, a2, b1, b2] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.005512915 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003523925 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 1.754e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.001223588 [ Info: Selecting generators in 0.002159968 [ Info: Inclusion checked with probability 0.995 in 0.00405752 seconds [ Info: The search for identifiable functions concluded in 0.027400878 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[b2, b1, a2, a1] │ case = │ (ode = x1'(t) = -x1(t)*a1 + x2(t)*b1 + u(t) │ x2'(t) = x1(t)*a1 - x2(t)*a2 - x2(t)*b1 + x3(t)*b2 │ x3'(t) = x2(t)*a2 - x3(t)*b2 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[a1, a2, b1, b2]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 9 variables x1(t), x2(t), x3(t), y(t), ..., b2 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), y(t), u(t), a1, a2, b1, b2] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.005651804 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003468926 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 1.9789e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.001257057 [ Info: Selecting generators in 0.002470125 [ Info: Inclusion checked with probability 0.995 in 0.003687104 seconds [ Info: The search for identifiable functions concluded in 0.027400147 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[b2, b1, a2, a1] │ case = │ (ode = x1'(t) = -x1(t)*a1 + x2(t)*b1 + u(t) │ x2'(t) = x1(t)*a1 - x2(t)*a2 - x2(t)*b1 + x3(t)*b2 │ x3'(t) = x2(t)*a2 - x3(t)*b2 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[a1, a2, b1, b2]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 9 variables x1(t), x2(t), x3(t), y(t), ..., b2 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), y(t), u(t), a1, a2, b1, b2] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.005270137 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003342097 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.996e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.4999e-5 [ Info: Selecting generators in 0.002402006 [ Info: Inclusion checked with probability 0.995 in 0.003840562 seconds [ Info: The search for identifiable functions concluded in 0.029431908 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a1 + a2 + b1 + b2, b1*b2, a1*a2 + a1*b2 + b1*b2] │ case = │ (ode = x1'(t) = -x1(t)*a1 + x2(t)*b1 │ x2'(t) = x1(t)*a1 - x2(t)*a2 - x2(t)*b1 + x3(t)*b2 │ x3'(t) = x2(t)*a2 - x3(t)*b2 + u(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[b1*b2, a1 + a2 + b1 + b2, a1*a2 + a1*b2]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 9 variables x1(t), x2(t), x3(t), y(t), ..., b2 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.005619084 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003469735 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.26e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000128579 [ Info: Selecting generators in 0.002769132 [ Info: Inclusion checked with probability 0.995 in 0.00402556 seconds [ Info: The search for identifiable functions concluded in 0.032012322 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a1 + a2 + b1 + b2, b1*b2, a1*a2 + a1*b2 + b1*b2] │ case = │ (ode = x1'(t) = -x1(t)*a1 + x2(t)*b1 │ x2'(t) = x1(t)*a1 - x2(t)*a2 - x2(t)*b1 + x3(t)*b2 │ x3'(t) = x2(t)*a2 - x3(t)*b2 + u(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[b1*b2, a1 + a2 + b1 + b2, a1*a2 + a1*b2]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 9 variables x1(t), x2(t), x3(t), y(t), ..., b2 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.005823502 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003522485 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.2989e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000105069 [ Info: Selecting generators in 0.002549905 [ Info: Inclusion checked with probability 0.995 in 0.005327577 seconds [ Info: The search for identifiable functions concluded in 0.033454757 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a1 + a2 + b1 + b2, b1*b2, a1*a2 + a1*b2 + b1*b2] │ case = │ (ode = x1'(t) = -x1(t)*a1 + x2(t)*b1 │ x2'(t) = x1(t)*a1 - x2(t)*a2 - x2(t)*b1 + x3(t)*b2 │ x3'(t) = x2(t)*a2 - x3(t)*b2 + u(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[b1*b2, a1 + a2 + b1 + b2, a1*a2 + a1*b2]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 9 variables x1(t), x2(t), x3(t), y(t), ..., b2 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.005516045 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003567065 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.371e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.022455616 [ Info: Selecting generators in 0.004149258 [ Info: Inclusion checked with probability 0.995 in 0.004111989 seconds [ Info: The search for identifiable functions concluded in 0.056793616 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a1 + a2 + b1 + b2, b1*b2, a1*a2 + a1*b2] │ case = │ (ode = x1'(t) = -x1(t)*a1 + x2(t)*b1 │ x2'(t) = x1(t)*a1 - x2(t)*a2 - x2(t)*b1 + x3(t)*b2 │ x3'(t) = x2(t)*a2 - x3(t)*b2 + u(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[b1*b2, a1 + a2 + b1 + b2, a1*a2 + a1*b2]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 9 variables x1(t), x2(t), x3(t), y(t), ..., b2 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), y(t), u(t), a1, a2, b1, b2] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.005875722 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003418536 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.773e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.023720214 [ Info: Selecting generators in 0.003673194 [ Info: Inclusion checked with probability 0.995 in 0.003683643 seconds [ Info: The search for identifiable functions concluded in 1.297799185 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a1 + a2 + b1 + b2, b1*b2, a1*a2 + a1*b2] │ case = │ (ode = x1'(t) = -x1(t)*a1 + x2(t)*b1 │ x2'(t) = x1(t)*a1 - x2(t)*a2 - x2(t)*b1 + x3(t)*b2 │ x3'(t) = x2(t)*a2 - x3(t)*b2 + u(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[b1*b2, a1 + a2 + b1 + b2, a1*a2 + a1*b2]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 9 variables x1(t), x2(t), x3(t), y(t), ..., b2 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), y(t), u(t), a1, a2, b1, b2] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.005181809 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002936711 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.1109e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.019891162 [ Info: Selecting generators in 0.003679724 [ Info: Inclusion checked with probability 0.995 in 0.003548015 seconds [ Info: The search for identifiable functions concluded in 0.049615047 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[a1 + a2 + b1 + b2, b1*b2, a1*a2 + a1*b2] │ case = │ (ode = x1'(t) = -x1(t)*a1 + x2(t)*b1 │ x2'(t) = x1(t)*a1 - x2(t)*a2 - x2(t)*b1 + x3(t)*b2 │ x3'(t) = x2(t)*a2 - x3(t)*b2 + u(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[b1*b2, a1 + a2 + b1 + b2, a1*a2 + a1*b2]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 9 variables x1(t), x2(t), x3(t), y(t), ..., b2 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), y(t), u(t), a1, a2, b1, b2] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002596484 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001811172 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.52e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000106498 [ Info: Selecting generators in 0.001736992 [ Info: Inclusion checked with probability 0.995 in 0.003233578 seconds [ Info: The search for identifiable functions concluded in 0.020007681 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[p1 + p4, p1*p4 - p2*p3] │ case = │ (ode = x1'(t) = x1(t)^2*p1 + x1(t)*x2(t)*p2 │ x2'(t) = x1(t)^2*p3 + x1(t)*x2(t)*p4 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[p1 + p4, p1*p4 - p2*p3]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 7 variables x1(t), x2(t), y(t), p1, ..., p4 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002517565 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001964171 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.434e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.6339e-5 [ Info: Selecting generators in 0.001692403 [ Info: Inclusion checked with probability 0.995 in 0.003101989 seconds [ Info: The search for identifiable functions concluded in 0.018634774 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[p1 + p4, p1*p4 - p2*p3] │ case = │ (ode = x1'(t) = x1(t)^2*p1 + x1(t)*x2(t)*p2 │ x2'(t) = x1(t)^2*p3 + x1(t)*x2(t)*p4 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[p1 + p4, p1*p4 - p2*p3]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 7 variables x1(t), x2(t), y(t), p1, ..., p4 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002448356 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001691863 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.873e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.8149e-5 [ Info: Selecting generators in 0.001719813 [ Info: Inclusion checked with probability 0.995 in 0.003219798 seconds [ Info: The search for identifiable functions concluded in 0.017544576 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[p1 + p4, p1*p4 - p2*p3] │ case = │ (ode = x1'(t) = x1(t)^2*p1 + x1(t)*x2(t)*p2 │ x2'(t) = x1(t)^2*p3 + x1(t)*x2(t)*p4 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[p1 + p4, p1*p4 - p2*p3]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 7 variables x1(t), x2(t), y(t), p1, ..., p4 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002547075 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001856591 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.949e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.012660194 [ Info: Selecting generators in 0.002779272 [ Info: Inclusion checked with probability 0.995 in 0.003090529 seconds [ Info: The search for identifiable functions concluded in 0.031846843 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[p1 + p4, p1*p4 - p2*p3] │ case = │ (ode = x1'(t) = x1(t)^2*p1 + x1(t)*x2(t)*p2 │ x2'(t) = x1(t)^2*p3 + x1(t)*x2(t)*p4 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[p1 + p4, p1*p4 - p2*p3]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 7 variables x1(t), x2(t), y(t), p1, ..., p4 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), y(t), p1, p2, p3, p4] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002440036 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001768212 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.826e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.012568645 [ Info: Selecting generators in 0.002740103 [ Info: Inclusion checked with probability 0.995 in 0.003050289 seconds [ Info: The search for identifiable functions concluded in 0.030604146 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[p1 + p4, p1*p4 - p2*p3] │ case = │ (ode = x1'(t) = x1(t)^2*p1 + x1(t)*x2(t)*p2 │ x2'(t) = x1(t)^2*p3 + x1(t)*x2(t)*p4 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[p1 + p4, p1*p4 - p2*p3]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 7 variables x1(t), x2(t), y(t), p1, ..., p4 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), y(t), p1, p2, p3, p4] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002443446 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001688873 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.687e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.012606485 [ Info: Selecting generators in 0.002760283 [ Info: Inclusion checked with probability 0.995 in 0.003203468 seconds [ Info: The search for identifiable functions concluded in 0.030896623 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[p1 + p4, p1*p4 - p2*p3] │ case = │ (ode = x1'(t) = x1(t)^2*p1 + x1(t)*x2(t)*p2 │ x2'(t) = x1(t)^2*p3 + x1(t)*x2(t)*p4 │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[p1 + p4, p1*p4 - p2*p3]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 7 variables x1(t), x2(t), y(t), p1, ..., p4 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), y(t), p1, p2, p3, p4] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.013962991 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.029323319 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000389296 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:08 ✓ # Computing specializations.. Time: 0:00:08 [ Info: Search for polynomial generators concluded in 0.000154528 [ Info: Selecting generators in 0.017671374 [ Info: Inclusion checked with probability 0.995 in 0.030988832 seconds [ Info: The search for identifiable functions concluded in 16.003583485 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[sigma, c, b, beta + delta, beta*delta] │ case = │ (ode = x1'(t) = (-x1(t)*x4(t)*b - x1(t)*b*c + 1)//(x4(t) + c) │ x2'(t) = x1(t)*alpha - x2(t)*beta │ x3'(t) = x2(t)*gama - x3(t)*delta │ x4'(t) = (x2(t)*x4(t)*gama*sigma - x3(t)*x4(t)*delta*sigma)//x3(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[sigma, beta + delta, c, b, beta*delta]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables x1(t), x2(t), x3(t), x4(t), ..., sigma │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.015270479 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.031493967 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000394916 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000122769 [ Info: Selecting generators in 0.016399437 [ Info: Inclusion checked with probability 0.995 in 0.029677495 seconds [ Info: The search for identifiable functions concluded in 0.175554176 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[sigma, c, b, beta + delta, beta*delta] │ case = │ (ode = x1'(t) = (-x1(t)*x4(t)*b - x1(t)*b*c + 1)//(x4(t) + c) │ x2'(t) = x1(t)*alpha - x2(t)*beta │ x3'(t) = x2(t)*gama - x3(t)*delta │ x4'(t) = (x2(t)*x4(t)*gama*sigma - x3(t)*x4(t)*delta*sigma)//x3(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[sigma, beta + delta, c, b, beta*delta]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables x1(t), x2(t), x3(t), x4(t), ..., sigma │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.014815033 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.029049492 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000373707 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000138859 [ Info: Selecting generators in 0.018880412 [ Info: Inclusion checked with probability 0.995 in 0.029012862 seconds [ Info: The search for identifiable functions concluded in 0.169536956 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[sigma, c, b, beta + delta, beta*delta] │ case = │ (ode = x1'(t) = (-x1(t)*x4(t)*b - x1(t)*b*c + 1)//(x4(t) + c) │ x2'(t) = x1(t)*alpha - x2(t)*beta │ x3'(t) = x2(t)*gama - x3(t)*delta │ x4'(t) = (x2(t)*x4(t)*gama*sigma - x3(t)*x4(t)*delta*sigma)//x3(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[sigma, beta + delta, c, b, beta*delta]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables x1(t), x2(t), x3(t), x4(t), ..., sigma │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.015777894 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.047611077 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000370646 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.280418149 [ Info: Selecting generators in 0.019675874 [ Info: Inclusion checked with probability 0.995 in 0.03024759 seconds [ Info: The search for identifiable functions concluded in 1.5138187 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[sigma, c, b, beta + delta, beta*delta] │ case = │ (ode = x1'(t) = (-x1(t)*x4(t)*b - x1(t)*b*c + 1)//(x4(t) + c) │ x2'(t) = x1(t)*alpha - x2(t)*beta │ x3'(t) = x2(t)*gama - x3(t)*delta │ x4'(t) = (x2(t)*x4(t)*gama*sigma - x3(t)*x4(t)*delta*sigma)//x3(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[sigma, beta + delta, c, b, beta*delta]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables x1(t), x2(t), x3(t), x4(t), ..., sigma │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), x4(t), y(t), alpha, b, beta, c, delta, gama, sigma] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.015709094 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.034998642 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000318826 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.059168873 [ Info: Selecting generators in 0.019343738 [ Info: Inclusion checked with probability 0.995 in 0.030417048 seconds [ Info: The search for identifiable functions concluded in 0.242224863 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[sigma, c, b, beta + delta, beta*delta] │ case = │ (ode = x1'(t) = (-x1(t)*x4(t)*b - x1(t)*b*c + 1)//(x4(t) + c) │ x2'(t) = x1(t)*alpha - x2(t)*beta │ x3'(t) = x2(t)*gama - x3(t)*delta │ x4'(t) = (x2(t)*x4(t)*gama*sigma - x3(t)*x4(t)*delta*sigma)//x3(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[sigma, beta + delta, c, b, beta*delta]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables x1(t), x2(t), x3(t), x4(t), ..., sigma │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), x4(t), y(t), alpha, b, beta, c, delta, gama, sigma] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.015694195 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.56259438 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000390796 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.072846477 [ Info: Selecting generators in 0.018758263 [ Info: Inclusion checked with probability 0.995 in 0.034542037 seconds [ Info: The search for identifiable functions concluded in 0.77901679 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[sigma, c, b, beta + delta, beta*delta] │ case = │ (ode = x1'(t) = (-x1(t)*x4(t)*b - x1(t)*b*c + 1)//(x4(t) + c) │ x2'(t) = x1(t)*alpha - x2(t)*beta │ x3'(t) = x2(t)*gama - x3(t)*delta │ x4'(t) = (x2(t)*x4(t)*gama*sigma - x3(t)*x4(t)*delta*sigma)//x3(t) │ y(t) = x1(t) │ , ident_funcs = QQMPolyRingElem[sigma, beta + delta, c, b, beta*delta]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables x1(t), x2(t), x3(t), x4(t), ..., sigma │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), x4(t), y(t), alpha, b, beta, c, delta, gama, sigma] [ Info: Computing IO-equations [ Info: Computed IO-equations in 1.660125807 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.96965714 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.185624036 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 7   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.000128649 [ Info: Selecting generators in 0.984966375 [ Info: Inclusion checked with probability 0.995 in 2.691346264 seconds [ Info: The search for identifiable functions concluded in 18.646708276 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[nu, mu, g, b0, M^2] │ case = │ (ode = s'(t) = -s(t)*i(t)*x1(t)*b0*b1 - s(t)*i(t)*b0 - s(t)*mu + r(t)*g + mu │ i'(t) = s(t)*i(t)*x1(t)*b0*b1 + s(t)*i(t)*b0 - i(t)*mu - i(t)*nu │ r'(t) = i(t)*nu - r(t)*g - r(t)*mu │ x1'(t) = -x2(t)*M │ x2'(t) = x1(t)*M │ y1(t) = i(t) │ y2(t) = r(t) │ , ident_funcs = QQMPolyRingElem[g, mu, b0, nu, M^2]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables s(t), i(t), r(t), x1(t), ..., nu │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 2.550768111 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 7.93381789 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.140158137 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.000146458 [ Info: Selecting generators in 0.766860133 [ Info: Inclusion checked with probability 0.995 in 2.940277545 seconds [ Info: The search for identifiable functions concluded in 17.111263147 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[nu, mu, g, b0, M^2] │ case = │ (ode = s'(t) = -s(t)*i(t)*x1(t)*b0*b1 - s(t)*i(t)*b0 - s(t)*mu + r(t)*g + mu │ i'(t) = s(t)*i(t)*x1(t)*b0*b1 + s(t)*i(t)*b0 - i(t)*mu - i(t)*nu │ r'(t) = i(t)*nu - r(t)*g - r(t)*mu │ x1'(t) = -x2(t)*M │ x2'(t) = x1(t)*M │ y1(t) = i(t) │ y2(t) = r(t) │ , ident_funcs = QQMPolyRingElem[g, mu, b0, nu, M^2]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables s(t), i(t), r(t), x1(t), ..., nu │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 2.662637203 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.661301782 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.185777964 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 7   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.000139389 [ Info: Selecting generators in 0.626370079 [ Info: Inclusion checked with probability 0.995 in 2.634700942 seconds [ Info: The search for identifiable functions concluded in 19.148685039 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[nu, mu, g, b0, M^2] │ case = │ (ode = s'(t) = -s(t)*i(t)*x1(t)*b0*b1 - s(t)*i(t)*b0 - s(t)*mu + r(t)*g + mu │ i'(t) = s(t)*i(t)*x1(t)*b0*b1 + s(t)*i(t)*b0 - i(t)*mu - i(t)*nu │ r'(t) = i(t)*nu - r(t)*g - r(t)*mu │ x1'(t) = -x2(t)*M │ x2'(t) = x1(t)*M │ y1(t) = i(t) │ y2(t) = r(t) │ , ident_funcs = QQMPolyRingElem[g, mu, b0, nu, M^2]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables s(t), i(t), r(t), x1(t), ..., nu │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 2.031090147 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 9.070517858 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.199765686 seconds [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 7   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.029037092 [ Info: Selecting generators in 1.470895143 [ Info: Inclusion checked with probability 0.995 in 2.833257183 seconds [ Info: The search for identifiable functions concluded in 19.731065907 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[nu, mu, g, b0, M^2] │ case = │ (ode = s'(t) = -s(t)*i(t)*x1(t)*b0*b1 - s(t)*i(t)*b0 - s(t)*mu + r(t)*g + mu │ i'(t) = s(t)*i(t)*x1(t)*b0*b1 + s(t)*i(t)*b0 - i(t)*mu - i(t)*nu │ r'(t) = i(t)*nu - r(t)*g - r(t)*mu │ x1'(t) = -x2(t)*M │ x2'(t) = x1(t)*M │ y1(t) = i(t) │ y2(t) = r(t) │ , ident_funcs = QQMPolyRingElem[g, mu, b0, nu, M^2]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables s(t), i(t), r(t), x1(t), ..., nu │ over rational field └ with_states = false [ Info: QQMPolyRingElem[s(t), i(t), r(t), x1(t), x2(t), y1(t), y2(t), M, b0, b1, g, mu, nu] [ Info: Computing IO-equations [ Info: Computed IO-equations in 1.486607757 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 9.1276533 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.189783296 seconds [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:01 ✓ # Computing specializations.. Time: 0:00:01 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 6   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.028125601 [ Info: Selecting generators in 1.529225295 [ Info: Inclusion checked with probability 0.995 in 2.764564619 seconds [ Info: The search for identifiable functions concluded in 19.604319168 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[nu, mu, g, b0, M^2] │ case = │ (ode = s'(t) = -s(t)*i(t)*x1(t)*b0*b1 - s(t)*i(t)*b0 - s(t)*mu + r(t)*g + mu │ i'(t) = s(t)*i(t)*x1(t)*b0*b1 + s(t)*i(t)*b0 - i(t)*mu - i(t)*nu │ r'(t) = i(t)*nu - r(t)*g - r(t)*mu │ x1'(t) = -x2(t)*M │ x2'(t) = x1(t)*M │ y1(t) = i(t) │ y2(t) = r(t) │ , ident_funcs = QQMPolyRingElem[g, mu, b0, nu, M^2]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables s(t), i(t), r(t), x1(t), ..., nu │ over rational field └ with_states = false [ Info: QQMPolyRingElem[s(t), i(t), r(t), x1(t), x2(t), y1(t), y2(t), M, b0, b1, g, mu, nu] [ Info: Computing IO-equations [ Info: Computed IO-equations in 1.910158653 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.769937672 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.206696118 seconds [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:01 ✓ # Computing specializations.. Time: 0:00:01 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 7   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.030553796 [ Info: Selecting generators in 1.603123863 [ Info: Inclusion checked with probability 0.995 in 2.828195791 seconds [ Info: The search for identifiable functions concluded in 19.786209625 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[nu, mu, g, b0, M^2] │ case = │ (ode = s'(t) = -s(t)*i(t)*x1(t)*b0*b1 - s(t)*i(t)*b0 - s(t)*mu + r(t)*g + mu │ i'(t) = s(t)*i(t)*x1(t)*b0*b1 + s(t)*i(t)*b0 - i(t)*mu - i(t)*nu │ r'(t) = i(t)*nu - r(t)*g - r(t)*mu │ x1'(t) = -x2(t)*M │ x2'(t) = x1(t)*M │ y1(t) = i(t) │ y2(t) = r(t) │ , ident_funcs = QQMPolyRingElem[g, mu, b0, nu, M^2]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables s(t), i(t), r(t), x1(t), ..., nu │ over rational field └ with_states = false [ Info: QQMPolyRingElem[s(t), i(t), r(t), x1(t), x2(t), y1(t), y2(t), M, b0, b1, g, mu, nu] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.012374797 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.010651634 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.8349e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000107029 [ Info: Selecting generators in 0.007234558 [ Info: Inclusion checked with probability 0.995 in 0.008019321 seconds [ Info: The search for identifiable functions concluded in 0.075561619 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[gamma, beta//psi, gamma*psi - psi*v, gamma*psi - gamma - psi - v] │ case = │ (ode = S'(t) = -S(t)*I(t)*beta │ E'(t) = S(t)*I(t)*beta - E(t)*v │ I'(t) = E(t)*v + I(t)*gamma*psi - I(t)*gamma - I(t)*psi │ R'(t) = -I(t)*gamma*psi + I(t)*gamma + Q(t)*gamma │ Q'(t) = I(t)*psi - Q(t)*gamma │ y1(t) = Q(t) │ , ident_funcs = RingElem[gamma*psi - psi*v, beta//psi, gamma, psi*v - psi - v]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 10 variables S(t), E(t), I(t), R(t), ..., v │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.012212819 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.010274028 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.5099e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000111899 [ Info: Selecting generators in 0.007613824 [ Info: Inclusion checked with probability 0.995 in 0.008307588 seconds [ Info: The search for identifiable functions concluded in 0.075019146 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[gamma, beta//psi, gamma*psi - psi*v, gamma*psi - gamma - psi - v] │ case = │ (ode = S'(t) = -S(t)*I(t)*beta │ E'(t) = S(t)*I(t)*beta - E(t)*v │ I'(t) = E(t)*v + I(t)*gamma*psi - I(t)*gamma - I(t)*psi │ R'(t) = -I(t)*gamma*psi + I(t)*gamma + Q(t)*gamma │ Q'(t) = I(t)*psi - Q(t)*gamma │ y1(t) = Q(t) │ , ident_funcs = RingElem[gamma*psi - psi*v, beta//psi, gamma, psi*v - psi - v]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 10 variables S(t), E(t), I(t), R(t), ..., v │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011809363 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.010222989 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 6.0039e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000104009 [ Info: Selecting generators in 0.007407166 [ Info: Inclusion checked with probability 0.995 in 0.008329038 seconds [ Info: The search for identifiable functions concluded in 0.073372382 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[gamma, beta//psi, gamma*psi - psi*v, gamma*psi - gamma - psi - v] │ case = │ (ode = S'(t) = -S(t)*I(t)*beta │ E'(t) = S(t)*I(t)*beta - E(t)*v │ I'(t) = E(t)*v + I(t)*gamma*psi - I(t)*gamma - I(t)*psi │ R'(t) = -I(t)*gamma*psi + I(t)*gamma + Q(t)*gamma │ Q'(t) = I(t)*psi - Q(t)*gamma │ y1(t) = Q(t) │ , ident_funcs = RingElem[gamma*psi - psi*v, beta//psi, gamma, psi*v - psi - v]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 10 variables S(t), E(t), I(t), R(t), ..., v │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011857562 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.01004115 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.784e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.035138411 [ Info: Selecting generators in 0.011981031 [ Info: Inclusion checked with probability 0.995 in 0.008225608 seconds [ Info: The search for identifiable functions concluded in 0.113966999 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[gamma, beta//psi, gamma*psi - psi*v, psi*v - psi - v] │ case = │ (ode = S'(t) = -S(t)*I(t)*beta │ E'(t) = S(t)*I(t)*beta - E(t)*v │ I'(t) = E(t)*v + I(t)*gamma*psi - I(t)*gamma - I(t)*psi │ R'(t) = -I(t)*gamma*psi + I(t)*gamma + Q(t)*gamma │ Q'(t) = I(t)*psi - Q(t)*gamma │ y1(t) = Q(t) │ , ident_funcs = RingElem[gamma*psi - psi*v, beta//psi, gamma, psi*v - psi - v]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 10 variables S(t), E(t), I(t), R(t), ..., v │ over rational field └ with_states = false [ Info: QQMPolyRingElem[S(t), E(t), I(t), R(t), Q(t), y1(t), beta, gamma, psi, v] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.01213403 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.010878273 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.437e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.034819015 [ Info: Selecting generators in 0.01215819 [ Info: Inclusion checked with probability 0.995 in 0.008480846 seconds [ Info: The search for identifiable functions concluded in 0.116346415 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[gamma, beta//psi, gamma*psi - psi*v, psi*v - psi - v] │ case = │ (ode = S'(t) = -S(t)*I(t)*beta │ E'(t) = S(t)*I(t)*beta - E(t)*v │ I'(t) = E(t)*v + I(t)*gamma*psi - I(t)*gamma - I(t)*psi │ R'(t) = -I(t)*gamma*psi + I(t)*gamma + Q(t)*gamma │ Q'(t) = I(t)*psi - Q(t)*gamma │ y1(t) = Q(t) │ , ident_funcs = RingElem[gamma*psi - psi*v, beta//psi, gamma, psi*v - psi - v]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 10 variables S(t), E(t), I(t), R(t), ..., v │ over rational field └ with_states = false [ Info: QQMPolyRingElem[S(t), E(t), I(t), R(t), Q(t), y1(t), beta, gamma, psi, v] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.012874843 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.011573125 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 4.99e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.034502098 [ Info: Selecting generators in 0.012276128 [ Info: Inclusion checked with probability 0.995 in 0.008556005 seconds [ Info: The search for identifiable functions concluded in 0.119294645 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[gamma, beta//psi, gamma*psi - psi*v, psi*v - psi - v] │ case = │ (ode = S'(t) = -S(t)*I(t)*beta │ E'(t) = S(t)*I(t)*beta - E(t)*v │ I'(t) = E(t)*v + I(t)*gamma*psi - I(t)*gamma - I(t)*psi │ R'(t) = -I(t)*gamma*psi + I(t)*gamma + Q(t)*gamma │ Q'(t) = I(t)*psi - Q(t)*gamma │ y1(t) = Q(t) │ , ident_funcs = RingElem[gamma*psi - psi*v, beta//psi, gamma, psi*v - psi - v]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 10 variables S(t), E(t), I(t), R(t), ..., v │ over rational field └ with_states = false [ Info: QQMPolyRingElem[S(t), E(t), I(t), R(t), Q(t), y1(t), beta, gamma, psi, v] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.012306198 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.007544686 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.7389e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000209118 [ Info: Selecting generators in 0.040800895 [ Info: Inclusion checked with probability 0.995 in 0.015021431 seconds [ Info: The search for identifiable functions concluded in 0.802545432 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31 + k41, k12 + k13 + k14, k12*k13 + k12*k14 + k13*k14, k01*k12 + k01*k13 + k01*k14 + k12*k13 + k12*k14 + k12*k31 + k12*k41 + k13*k14 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k12*k13*k14, k01*k12*k13 + k01*k12*k14 + k01*k13*k14 + k12*k13*k14 + k12*k13*k41 + k12*k14*k31 + k13*k14*k21] │ case = │ (ode = x1'(t) = -x1(t)*k01 - x1(t)*k21 - x1(t)*k31 - x1(t)*k41 + x2(t)*k12 + x3(t)*k13 + x4(t)*k14 + u(t) │ x2'(t) = x1(t)*k21 - x2(t)*k12 │ x3'(t) = x1(t)*k31 - x3(t)*k13 │ x4'(t) = x1(t)*k41 - x4(t)*k14 │ y1(t) = x1(t) │ , ident_funcs = AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k12*k13 + k12*k14 + k13*k14, k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31*k41, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31 + k21*k41 + k31*k41, k12*k13*k14]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), x4(t), ..., k41 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.012166329 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.007478046 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.854e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000205278 [ Info: Selecting generators in 0.054030454 [ Info: Inclusion checked with probability 0.995 in 0.016811773 seconds [ Info: The search for identifiable functions concluded in 1.431445778 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31 + k41, k12 + k13 + k14, k12*k13 + k12*k14 + k13*k14, k01*k12 + k01*k13 + k01*k14 + k12*k13 + k12*k14 + k12*k31 + k12*k41 + k13*k14 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k12*k13*k14, k01*k12*k13 + k01*k12*k14 + k01*k13*k14 + k12*k13*k14 + k12*k13*k41 + k12*k14*k31 + k13*k14*k21] │ case = │ (ode = x1'(t) = -x1(t)*k01 - x1(t)*k21 - x1(t)*k31 - x1(t)*k41 + x2(t)*k12 + x3(t)*k13 + x4(t)*k14 + u(t) │ x2'(t) = x1(t)*k21 - x2(t)*k12 │ x3'(t) = x1(t)*k31 - x3(t)*k13 │ x4'(t) = x1(t)*k41 - x4(t)*k14 │ y1(t) = x1(t) │ , ident_funcs = AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k12*k13 + k12*k14 + k13*k14, k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31*k41, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31 + k21*k41 + k31*k41, k12*k13*k14]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), x4(t), ..., k41 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.014973531 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.009093659 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.464e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000199208 [ Info: Selecting generators in 0.037417629 [ Info: Inclusion checked with probability 0.995 in 0.013809932 seconds [ Info: The search for identifiable functions concluded in 0.509247254 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31 + k41, k12 + k13 + k14, k12*k13 + k12*k14 + k13*k14, k01*k12 + k01*k13 + k01*k14 + k12*k13 + k12*k14 + k12*k31 + k12*k41 + k13*k14 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k12*k13*k14, k01*k12*k13 + k01*k12*k14 + k01*k13*k14 + k12*k13*k14 + k12*k13*k41 + k12*k14*k31 + k13*k14*k21] │ case = │ (ode = x1'(t) = -x1(t)*k01 - x1(t)*k21 - x1(t)*k31 - x1(t)*k41 + x2(t)*k12 + x3(t)*k13 + x4(t)*k14 + u(t) │ x2'(t) = x1(t)*k21 - x2(t)*k12 │ x3'(t) = x1(t)*k31 - x3(t)*k13 │ x4'(t) = x1(t)*k41 - x4(t)*k14 │ y1(t) = x1(t) │ , ident_funcs = AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k12*k13 + k12*k14 + k13*k14, k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31*k41, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31 + k21*k41 + k31*k41, k12*k13*k14]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), x4(t), ..., k41 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011766493 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.007136709 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.7809e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 3.293457203 [ Info: Selecting generators in 0.060281742 [ Info: Inclusion checked with probability 0.995 in 0.013673655 seconds [ Info: The search for identifiable functions concluded in 3.793807996 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31 + k21*k41 + k31*k41, k12*k13 + k12*k14 + k13*k14, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31*k41, k12*k13*k14] │ case = │ (ode = x1'(t) = -x1(t)*k01 - x1(t)*k21 - x1(t)*k31 - x1(t)*k41 + x2(t)*k12 + x3(t)*k13 + x4(t)*k14 + u(t) │ x2'(t) = x1(t)*k21 - x2(t)*k12 │ x3'(t) = x1(t)*k31 - x3(t)*k13 │ x4'(t) = x1(t)*k41 - x4(t)*k14 │ y1(t) = x1(t) │ , ident_funcs = AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k12*k13 + k12*k14 + k13*k14, k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31*k41, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31 + k21*k41 + k31*k41, k12*k13*k14]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), x4(t), ..., k41 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), x4(t), y1(t), u(t), k01, k12, k13, k14, k21, k31, k41] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011493706 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.006833622 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.8549e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.346744827 [ Info: Selecting generators in 0.062675178 [ Info: Inclusion checked with probability 0.995 in 0.013703664 seconds [ Info: The search for identifiable functions concluded in 2.505776973 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31 + k21*k41 + k31*k41, k12*k13 + k12*k14 + k13*k14, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31*k41, k12*k13*k14] │ case = │ (ode = x1'(t) = -x1(t)*k01 - x1(t)*k21 - x1(t)*k31 - x1(t)*k41 + x2(t)*k12 + x3(t)*k13 + x4(t)*k14 + u(t) │ x2'(t) = x1(t)*k21 - x2(t)*k12 │ x3'(t) = x1(t)*k31 - x3(t)*k13 │ x4'(t) = x1(t)*k41 - x4(t)*k14 │ y1(t) = x1(t) │ , ident_funcs = AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k12*k13 + k12*k14 + k13*k14, k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31*k41, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31 + k21*k41 + k31*k41, k12*k13*k14]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), x4(t), ..., k41 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), x4(t), y1(t), u(t), k01, k12, k13, k14, k21, k31, k41] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.01209157 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.007307538 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.776e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.290461427 [ Info: Selecting generators in 0.060520259 [ Info: Inclusion checked with probability 0.995 in 0.011683674 seconds [ Info: The search for identifiable functions concluded in 0.806302296 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31 + k21*k41 + k31*k41, k12*k13 + k12*k14 + k13*k14, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31*k41, k12*k13*k14] │ case = │ (ode = x1'(t) = -x1(t)*k01 - x1(t)*k21 - x1(t)*k31 - x1(t)*k41 + x2(t)*k12 + x3(t)*k13 + x4(t)*k14 + u(t) │ x2'(t) = x1(t)*k21 - x2(t)*k12 │ x3'(t) = x1(t)*k31 - x3(t)*k13 │ x4'(t) = x1(t)*k41 - x4(t)*k14 │ y1(t) = x1(t) │ , ident_funcs = AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k12*k13 + k12*k14 + k13*k14, k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31*k41, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31 + k21*k41 + k31*k41, k12*k13*k14]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), x4(t), ..., k41 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), x4(t), y1(t), u(t), k01, k12, k13, k14, k21, k31, k41] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.018923612 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.012418866 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 0.000151488 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000117239 [ Info: Selecting generators in 0.008685274 [ Info: Inclusion checked with probability 0.995 in 0.013268138 seconds [ Info: The search for identifiable functions concluded in 0.094922008 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k7, k6, k5, k10 + 2*k8, k9^2, k10//k9] │ case = │ (ode = x5'(t) = (x5(t)*x4(t)*k5 - x5(t)*x4(t)*k7 - x5(t)*k6*k7 + x4(t)*x6(t)*k5 + x4(t)*k5*k8)//(x5(t)*x4(t) + x5(t)*k6 + x4(t)*x6(t) + x4(t)*k8 + x6(t)*k6 + k6*k8) │ x7'(t) = (-x6(t)^2*k9 + x6(t)*k10*k9)//k10 │ x4'(t) = (-x4(t)*k5)//(x4(t) + k6) │ x6'(t) = (x5(t)*x6(t)^2*k9 - x5(t)*x6(t)*k10*k9 + x5(t)*k10*k7 + x6(t)^3*k9 - x6(t)^2*k10*k9 + x6(t)^2*k8*k9 - x6(t)*k10*k8*k9)//(x5(t)*k10 + x6(t)*k10 + k10*k8) │ y1(t) = x4(t) │ y2(t) = x5(t) │ , ident_funcs = QQMPolyRingElem[k7, k5, k6, k10*k9, k9^2, k10 + 2*k8]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables x5(t), x7(t), x4(t), x6(t), ..., k9 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.019905823 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.013772033 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 8.1049e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000110409 [ Info: Selecting generators in 0.008265228 [ Info: Inclusion checked with probability 0.995 in 0.01311199 seconds [ Info: The search for identifiable functions concluded in 0.095056986 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k7, k6, k5, k10 + 2*k8, k9^2, k10//k9] │ case = │ (ode = x5'(t) = (x5(t)*x4(t)*k5 - x5(t)*x4(t)*k7 - x5(t)*k6*k7 + x4(t)*x6(t)*k5 + x4(t)*k5*k8)//(x5(t)*x4(t) + x5(t)*k6 + x4(t)*x6(t) + x4(t)*k8 + x6(t)*k6 + k6*k8) │ x7'(t) = (-x6(t)^2*k9 + x6(t)*k10*k9)//k10 │ x4'(t) = (-x4(t)*k5)//(x4(t) + k6) │ x6'(t) = (x5(t)*x6(t)^2*k9 - x5(t)*x6(t)*k10*k9 + x5(t)*k10*k7 + x6(t)^3*k9 - x6(t)^2*k10*k9 + x6(t)^2*k8*k9 - x6(t)*k10*k8*k9)//(x5(t)*k10 + x6(t)*k10 + k10*k8) │ y1(t) = x4(t) │ y2(t) = x5(t) │ , ident_funcs = QQMPolyRingElem[k7, k5, k6, k10*k9, k9^2, k10 + 2*k8]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables x5(t), x7(t), x4(t), x6(t), ..., k9 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.019670365 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.015220739 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 8.2579e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000119979 [ Info: Selecting generators in 0.009693894 [ Info: Inclusion checked with probability 0.995 in 0.014673644 seconds [ Info: The search for identifiable functions concluded in 0.105015598 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k7, k6, k5, k10 + 2*k8, k9^2, k10//k9] │ case = │ (ode = x5'(t) = (x5(t)*x4(t)*k5 - x5(t)*x4(t)*k7 - x5(t)*k6*k7 + x4(t)*x6(t)*k5 + x4(t)*k5*k8)//(x5(t)*x4(t) + x5(t)*k6 + x4(t)*x6(t) + x4(t)*k8 + x6(t)*k6 + k6*k8) │ x7'(t) = (-x6(t)^2*k9 + x6(t)*k10*k9)//k10 │ x4'(t) = (-x4(t)*k5)//(x4(t) + k6) │ x6'(t) = (x5(t)*x6(t)^2*k9 - x5(t)*x6(t)*k10*k9 + x5(t)*k10*k7 + x6(t)^3*k9 - x6(t)^2*k10*k9 + x6(t)^2*k8*k9 - x6(t)*k10*k8*k9)//(x5(t)*k10 + x6(t)*k10 + k10*k8) │ y1(t) = x4(t) │ y2(t) = x5(t) │ , ident_funcs = QQMPolyRingElem[k7, k5, k6, k10*k9, k9^2, k10 + 2*k8]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables x5(t), x7(t), x4(t), x6(t), ..., k9 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.020717934 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.015533666 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 8.3609e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.05334841 [ Info: Selecting generators in 0.017060381 [ Info: Inclusion checked with probability 0.995 in 0.01505729 seconds [ Info: The search for identifiable functions concluded in 0.170427918 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k7, k6, k5, k10 + 2*k8, k9^2, k10*k9] │ case = │ (ode = x5'(t) = (x5(t)*x4(t)*k5 - x5(t)*x4(t)*k7 - x5(t)*k6*k7 + x4(t)*x6(t)*k5 + x4(t)*k5*k8)//(x5(t)*x4(t) + x5(t)*k6 + x4(t)*x6(t) + x4(t)*k8 + x6(t)*k6 + k6*k8) │ x7'(t) = (-x6(t)^2*k9 + x6(t)*k10*k9)//k10 │ x4'(t) = (-x4(t)*k5)//(x4(t) + k6) │ x6'(t) = (x5(t)*x6(t)^2*k9 - x5(t)*x6(t)*k10*k9 + x5(t)*k10*k7 + x6(t)^3*k9 - x6(t)^2*k10*k9 + x6(t)^2*k8*k9 - x6(t)*k10*k8*k9)//(x5(t)*k10 + x6(t)*k10 + k10*k8) │ y1(t) = x4(t) │ y2(t) = x5(t) │ , ident_funcs = QQMPolyRingElem[k7, k5, k6, k10*k9, k9^2, k10 + 2*k8]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables x5(t), x7(t), x4(t), x6(t), ..., k9 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x5(t), x7(t), x4(t), x6(t), y1(t), y2(t), k10, k5, k6, k7, k8, k9] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.022374148 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.01603588 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 8.457e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.053080393 [ Info: Selecting generators in 0.017865173 [ Info: Inclusion checked with probability 0.995 in 0.015239519 seconds [ Info: The search for identifiable functions concluded in 0.174501708 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k7, k6, k5, k10 + 2*k8, k9^2, k10*k9] │ case = │ (ode = x5'(t) = (x5(t)*x4(t)*k5 - x5(t)*x4(t)*k7 - x5(t)*k6*k7 + x4(t)*x6(t)*k5 + x4(t)*k5*k8)//(x5(t)*x4(t) + x5(t)*k6 + x4(t)*x6(t) + x4(t)*k8 + x6(t)*k6 + k6*k8) │ x7'(t) = (-x6(t)^2*k9 + x6(t)*k10*k9)//k10 │ x4'(t) = (-x4(t)*k5)//(x4(t) + k6) │ x6'(t) = (x5(t)*x6(t)^2*k9 - x5(t)*x6(t)*k10*k9 + x5(t)*k10*k7 + x6(t)^3*k9 - x6(t)^2*k10*k9 + x6(t)^2*k8*k9 - x6(t)*k10*k8*k9)//(x5(t)*k10 + x6(t)*k10 + k10*k8) │ y1(t) = x4(t) │ y2(t) = x5(t) │ , ident_funcs = QQMPolyRingElem[k7, k5, k6, k10*k9, k9^2, k10 + 2*k8]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables x5(t), x7(t), x4(t), x6(t), ..., k9 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x5(t), x7(t), x4(t), x6(t), y1(t), y2(t), k10, k5, k6, k7, k8, k9] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.022440157 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.016217969 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 8.597e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.090768259 [ Info: Selecting generators in 0.026434938 [ Info: Inclusion checked with probability 0.995 in 0.019528916 seconds [ Info: The search for identifiable functions concluded in 1.156615888 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k7, k6, k5, k10 + 2*k8, k9^2, k10*k9] │ case = │ (ode = x5'(t) = (x5(t)*x4(t)*k5 - x5(t)*x4(t)*k7 - x5(t)*k6*k7 + x4(t)*x6(t)*k5 + x4(t)*k5*k8)//(x5(t)*x4(t) + x5(t)*k6 + x4(t)*x6(t) + x4(t)*k8 + x6(t)*k6 + k6*k8) │ x7'(t) = (-x6(t)^2*k9 + x6(t)*k10*k9)//k10 │ x4'(t) = (-x4(t)*k5)//(x4(t) + k6) │ x6'(t) = (x5(t)*x6(t)^2*k9 - x5(t)*x6(t)*k10*k9 + x5(t)*k10*k7 + x6(t)^3*k9 - x6(t)^2*k10*k9 + x6(t)^2*k8*k9 - x6(t)*k10*k8*k9)//(x5(t)*k10 + x6(t)*k10 + k10*k8) │ y1(t) = x4(t) │ y2(t) = x5(t) │ , ident_funcs = QQMPolyRingElem[k7, k5, k6, k10*k9, k9^2, k10 + 2*k8]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables x5(t), x7(t), x4(t), x6(t), ..., k9 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x5(t), x7(t), x4(t), x6(t), y1(t), y2(t), k10, k5, k6, k7, k8, k9] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.01415485 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.018210029 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 7.549e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000164218 [ Info: Selecting generators in 0.086330543 [ Info: Inclusion checked with probability 0.995 in 0.017402198 seconds [ Info: The search for identifiable functions concluded in 0.568829583 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[s, b, Ninv, a + g, a*b*g + a*b*s + b*e*g*s, (a*e)//(a + e*s - s)] │ case = │ (ode = S'(t) = -S(t)*In(t)*Ninv*b - S(t)*u(t)*Ninv │ In'(t) = -In(t)*g + L(t)*a + Q(t)*s │ L'(t) = S(t)*In(t)*Ninv*b - L(t)*a │ Q'(t) = -In(t)*e*g + In(t)*g - Q(t)*s │ y(t) = In(t)*Ninv │ , ident_funcs = QQMPolyRingElem[a*g + e*g*s - g*s, b, a + g, a*e*g, s, Ninv]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables S(t), In(t), L(t), Q(t), ..., s │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011859693 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.015285218 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 6.9789e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000164989 [ Info: Selecting generators in 0.079095095 [ Info: Inclusion checked with probability 0.995 in 0.017656074 seconds [ Info: The search for identifiable functions concluded in 0.526862779 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[s, b, Ninv, a + g, a*b*g + a*b*s + b*e*g*s, (a*e)//(a + e*s - s)] │ case = │ (ode = S'(t) = -S(t)*In(t)*Ninv*b - S(t)*u(t)*Ninv │ In'(t) = -In(t)*g + L(t)*a + Q(t)*s │ L'(t) = S(t)*In(t)*Ninv*b - L(t)*a │ Q'(t) = -In(t)*e*g + In(t)*g - Q(t)*s │ y(t) = In(t)*Ninv │ , ident_funcs = QQMPolyRingElem[a*g + e*g*s - g*s, b, a + g, a*e*g, s, Ninv]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables S(t), In(t), L(t), Q(t), ..., s │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011119 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.014872593 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 8.9769e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000193348 [ Info: Selecting generators in 0.105552222 [ Info: Inclusion checked with probability 0.995 in 0.021713645 seconds [ Info: The search for identifiable functions concluded in 0.595408359 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[s, b, Ninv, a + g, a*b*g + a*b*s + b*e*g*s, (a*e)//(a + e*s - s)] │ case = │ (ode = S'(t) = -S(t)*In(t)*Ninv*b - S(t)*u(t)*Ninv │ In'(t) = -In(t)*g + L(t)*a + Q(t)*s │ L'(t) = S(t)*In(t)*Ninv*b - L(t)*a │ Q'(t) = -In(t)*e*g + In(t)*g - Q(t)*s │ y(t) = In(t)*Ninv │ , ident_funcs = QQMPolyRingElem[a*g + e*g*s - g*s, b, a + g, a*e*g, s, Ninv]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables S(t), In(t), L(t), Q(t), ..., s │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.01308345 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.017521576 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 7.5529e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.090171365 [ Info: Selecting generators in 0.08966521 [ Info: Inclusion checked with probability 0.995 in 0.016955401 seconds [ Info: The search for identifiable functions concluded in 0.697760453 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[s, b, Ninv, a + g, a*e*g, a*g + e*g*s - g*s] │ case = │ (ode = S'(t) = -S(t)*In(t)*Ninv*b - S(t)*u(t)*Ninv │ In'(t) = -In(t)*g + L(t)*a + Q(t)*s │ L'(t) = S(t)*In(t)*Ninv*b - L(t)*a │ Q'(t) = -In(t)*e*g + In(t)*g - Q(t)*s │ y(t) = In(t)*Ninv │ , ident_funcs = QQMPolyRingElem[a*g + e*g*s - g*s, b, a + g, a*e*g, s, Ninv]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables S(t), In(t), L(t), Q(t), ..., s │ over rational field └ with_states = false [ Info: QQMPolyRingElem[S(t), In(t), L(t), Q(t), y(t), u(t), Ninv, a, b, e, g, s] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011178799 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.015391617 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 6.4349e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.086276204 [ Info: Selecting generators in 0.057620788 [ Info: Inclusion checked with probability 0.995 in 0.010743723 seconds [ Info: The search for identifiable functions concluded in 1.654836962 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[s, b, Ninv, a + g, a*e*g, a*g + e*g*s - g*s] │ case = │ (ode = S'(t) = -S(t)*In(t)*Ninv*b - S(t)*u(t)*Ninv │ In'(t) = -In(t)*g + L(t)*a + Q(t)*s │ L'(t) = S(t)*In(t)*Ninv*b - L(t)*a │ Q'(t) = -In(t)*e*g + In(t)*g - Q(t)*s │ y(t) = In(t)*Ninv │ , ident_funcs = QQMPolyRingElem[a*g + e*g*s - g*s, b, a + g, a*e*g, s, Ninv]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables S(t), In(t), L(t), Q(t), ..., s │ over rational field └ with_states = false [ Info: QQMPolyRingElem[S(t), In(t), L(t), Q(t), y(t), u(t), Ninv, a, b, e, g, s] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.007481976 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.01011839 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 4.7379e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.334520932 [ Info: Selecting generators in 0.071193503 [ Info: Inclusion checked with probability 0.995 in 0.01418167 seconds [ Info: The search for identifiable functions concluded in 1.723196613 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[s, b, Ninv, a + g, a*e*g, a*g + e*g*s - g*s] │ case = │ (ode = S'(t) = -S(t)*In(t)*Ninv*b - S(t)*u(t)*Ninv │ In'(t) = -In(t)*g + L(t)*a + Q(t)*s │ L'(t) = S(t)*In(t)*Ninv*b - L(t)*a │ Q'(t) = -In(t)*e*g + In(t)*g - Q(t)*s │ y(t) = In(t)*Ninv │ , ident_funcs = QQMPolyRingElem[a*g + e*g*s - g*s, b, a + g, a*e*g, s, Ninv]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables S(t), In(t), L(t), Q(t), ..., s │ over rational field └ with_states = false [ Info: QQMPolyRingElem[S(t), In(t), L(t), Q(t), y(t), u(t), Ninv, a, b, e, g, s] [ Info: Computing IO-equations [ Info: Computed IO-equations in 4.087761381 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.078072945 seconds [ Info: Dimensions of the Wronskians [34, 2] [ Info: Ranks of the Wronskians computed in 0.000117578 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 5   ⌝ # Computing specializations.. Time: 0:00:00 Points: 14   ⌟ # Computing specializations.. Time: 0:00:01 Points: 21   ⌞ # Computing specializations.. Time: 0:00:01 Points: 30   ⌜ # Computing specializations.. Time: 0:00:01 Points: 37   ⌝ # Computing specializations.. Time: 0:00:02 Points: 46   ⌟ # Computing specializations.. Time: 0:00:02 Points: 55   ⌞ # Computing specializations.. Time: 0:00:02 Points: 64   ⌜ # Computing specializations.. Time: 0:00:03 Points: 72   ⌝ # Computing specializations.. Time: 0:00:03 Points: 81   ⌟ # Computing specializations.. Time: 0:00:04 Points: 89   ✓ # Computing specializations.. Time: 0:00:04 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ⌝ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 9   ⌝ # Computing specializations.. Time: 0:00:00 Points: 15   ⌟ # Computing specializations.. Time: 0:00:01 Points: 23   ⌞ # Computing specializations.. Time: 0:00:01 Points: 31   ⌜ # Computing specializations.. Time: 0:00:01 Points: 38   ⌝ # Computing specializations.. Time: 0:00:02 Points: 46   ⌟ # Computing specializations.. Time: 0:00:02 Points: 53   ⌞ # Computing specializations.. Time: 0:00:02 Points: 62   ⌜ # Computing specializations.. Time: 0:00:03 Points: 69   ⌝ # Computing specializations.. Time: 0:00:03 Points: 78   ⌟ # Computing specializations.. Time: 0:00:04 Points: 85   ⌞ # Computing specializations.. Time: 0:00:04 Points: 94   ⌜ # Computing specializations.. Time: 0:00:04 Points: 102   ⌝ # Computing specializations.. Time: 0:00:05 Points: 111   ⌟ # Computing specializations.. Time: 0:00:06 Points: 120   ⌞ # Computing specializations.. Time: 0:00:06 Points: 129   ⌜ # Computing specializations.. Time: 0:00:07 Points: 138   ⌝ # Computing specializations.. Time: 0:00:07 Points: 147   ⌟ # Computing specializations.. Time: 0:00:07 Points: 156   ⌞ # Computing specializations.. Time: 0:00:08 Points: 164   ⌜ # Computing specializations.. Time: 0:00:08 Points: 173   ⌝ # Computing specializations.. Time: 0:00:09 Points: 180   ⌟ # Computing specializations.. Time: 0:00:09 Points: 188   ⌞ # Computing specializations.. Time: 0:00:09 Points: 196   ⌜ # Computing specializations.. Time: 0:00:10 Points: 204   ⌝ # Computing specializations.. Time: 0:00:10 Points: 212   ⌟ # Computing specializations.. Time: 0:00:11 Points: 220   ⌞ # Computing specializations.. Time: 0:00:11 Points: 228   ⌜ # Computing specializations.. Time: 0:00:11 Points: 236   ⌝ # Computing specializations.. Time: 0:00:12 Points: 244   ⌟ # Computing specializations.. Time: 0:00:12 Points: 253   ⌞ # Computing specializations.. Time: 0:00:12 Points: 261   ⌜ # Computing specializations.. Time: 0:00:13 Points: 269   ⌝ # Computing specializations.. Time: 0:00:13 Points: 278   ⌟ # Computing specializations.. Time: 0:00:14 Points: 285   ⌞ # Computing specializations.. Time: 0:00:14 Points: 294   ⌜ # Computing specializations.. Time: 0:00:14 Points: 302   ⌝ # Computing specializations.. Time: 0:00:15 Points: 308   ⌟ # Computing specializations.. Time: 0:00:15 Points: 317   ⌞ # Computing specializations.. Time: 0:00:16 Points: 325   ⌜ # Computing specializations.. Time: 0:00:16 Points: 334   ⌝ # Computing specializations.. Time: 0:00:16 Points: 342   ⌟ # Computing specializations.. Time: 0:00:17 Points: 350   ⌞ # Computing specializations.. Time: 0:00:17 Points: 358   ⌜ # Computing specializations.. Time: 0:00:17 Points: 366   ⌝ # Computing specializations.. Time: 0:00:18 Points: 375   ⌟ # Computing specializations.. Time: 0:00:18 Points: 383   ⌞ # Computing specializations.. Time: 0:00:19 Points: 392   ⌜ # Computing specializations.. Time: 0:00:19 Points: 400   ⌝ # Computing specializations.. Time: 0:00:19 Points: 408   ⌟ # Computing specializations.. Time: 0:00:20 Points: 416   ⌞ # Computing specializations.. Time: 0:00:20 Points: 424   ⌜ # Computing specializations.. Time: 0:00:20 Points: 433   ⌝ # Computing specializations.. Time: 0:00:21 Points: 440   ⌟ # Computing specializations.. Time: 0:00:21 Points: 449   ⌞ # Computing specializations.. Time: 0:00:22 Points: 458   ⌜ # Computing specializations.. Time: 0:00:23 Points: 466   ⌝ # Computing specializations.. Time: 0:00:23 Points: 475   ⌟ # Computing specializations.. Time: 0:00:24 Points: 483   ⌞ # Computing specializations.. Time: 0:00:24 Points: 491   ⌜ # Computing specializations.. Time: 0:00:24 Points: 500   ⌝ # Computing specializations.. Time: 0:00:25 Points: 509   ⌟ # Computing specializations.. Time: 0:00:25 Points: 517   ⌞ # Computing specializations.. Time: 0:00:26 Points: 525   ⌜ # Computing specializations.. Time: 0:00:26 Points: 534   ⌝ # Computing specializations.. Time: 0:00:26 Points: 542   ⌟ # Computing specializations.. Time: 0:00:27 Points: 550   ⌞ # Computing specializations.. Time: 0:00:27 Points: 559   ⌜ # Computing specializations.. Time: 0:00:28 Points: 566   ⌝ # Computing specializations.. Time: 0:00:28 Points: 575   ⌟ # Computing specializations.. Time: 0:00:28 Points: 583   ⌞ # Computing specializations.. Time: 0:00:29 Points: 591   ⌜ # Computing specializations.. Time: 0:00:29 Points: 599   ⌝ # Computing specializations.. Time: 0:00:29 Points: 608   ⌟ # Computing specializations.. Time: 0:00:30 Points: 616   ⌞ # Computing specializations.. Time: 0:00:30 Points: 624   ⌜ # Computing specializations.. Time: 0:00:31 Points: 633   ✓ # Computing specializations.. Time: 0:00:31 [ Info: Search for polynomial generators concluded in 0.000290757 [ Info: Selecting generators in 0.036493178 [ Info: Inclusion checked with probability 0.995 in 8.240860491 seconds [ Info: The search for identifiable functions concluded in 65.590377874 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[T, Dd, (d*rR - dr*r)//(d - dr), (a*r - a*rR + d*e + d*g - dr*e - dr*g)//(d - dr), (T*a + T*d + T*dr + e + g - r - rR)//T, (a^2 + 2*a*d + d^2 + dr^2)//(a*dr + d*dr), (a*dr*r - a*dr*rR + d^2*g + d*dr*e - d*dr*g - dr^2*e)//(a*d - a*dr + d^2 - dr^2)] │ case = │ (ode = S'(t) = -S(t)*W(t)*a - S(t)*W(t)*d - S(t)*e + S(t)*r + R(t)*g │ R'(t) = S(t)*W(t)*a + S(t)*e - R(t)*W(t)*dr - R(t)*g + R(t)*rR │ W'(t) = -W(t)*Dd + Dd*T │ y1(t) = S(t) + R(t) │ y2(t) = T │ , ident_funcs = RingElem[T, Dd, T*a + T*d + T*dr + e + g - r - rR, (d*rR - dr*r)//(d - dr), (a^2 + 2*a*d + d^2 + dr^2)//(a*dr + d*dr), (a*r - a*rR + d*e + d*g - dr*e - dr*g)//(d - dr), (a*dr*r - a*dr*rR + d^2*g + d*dr*e - d*dr*g - dr^2*e)//(a*d - a*dr + d^2 - dr^2)]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 14 variables S(t), R(t), W(t), y1(t), ..., rR │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 3.57637135 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.076444511 seconds [ Info: Dimensions of the Wronskians [34, 2] [ Info: Ranks of the Wronskians computed in 0.000123939 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 4   ⌝ # Computing specializations.. Time: 0:00:00 Points: 13   ⌟ # Computing specializations.. Time: 0:00:00 Points: 21  ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 43 running 1 of 1 signal (10): User defined signal 1 hash_svec at /source/src/builtins.c:374:1 jl_object_id__cold at /source/src/builtins.c:504:20 ijl_object_id_ at /source/src/builtins.c:531:12 [inlined] jl_table_peek_bp at /source/src/iddict.c:118:17 [inlined] ijl_eqtable_get at /source/src/iddict.c:157:32 lookup_leafcache at /source/src/gf.c:1591:54 [inlined] jl_lookup_generic_ at /source/src/gf.c:4287:25 [inlined] ijl_apply_generic at /source/src/gf.c:4351:35 ir_extract_coeffs_raw! at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/input_output/intermediate.jl:213:0 (pc: 211) unknown function (ip: 0x788ef76c79c6) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 __groebner_apply1! at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/groebner/learn_apply.jl:234:0 (pc: 63) unknown function (ip: 0x788efb6f3f71) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 groebner_apply0! at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/groebner/learn_apply.jl:129:0 (pc: 6) #groebner_apply!#206 at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/interface.jl:403:0 [inlined] groebner_apply! at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/interface.jl:401:0 (pc: 2) unknown function (ip: 0x788efb6f2dfa) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 interpolate_exponents! at /home/pkgeval/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:459:0 (pc: 1345) _paramgb at /home/pkgeval/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:166:0 (pc: 23) #paramgb#63 at /home/pkgeval/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:108:0 (pc: 518) paramgb at /home/pkgeval/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:65:0 [inlined] #groebner_basis_coeffs#135 at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:147:0 (pc: 452) groebner_basis_coeffs at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:147:0 (pc: 11) unknown function (ip: 0x788efb600091) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 #simplified_generating_set#137 at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:319:0 (pc: 181) simplified_generating_set at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:319:0 (pc: 19) unknown function (ip: 0x788ef766e724) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12  ⌞ # Computing specializations.. Time: 0:00:01 Points: 29 #_find_identifiable_functions#243 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:119:0 (pc: 80) _find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:85:0 [inlined] #241 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:62:0 (pc: 12) with_logstate at ./logging/logging.jl:542:0 (pc: 47) with_logger at ./logging/logging.jl:653:0 [inlined] #find_identifiable_functions#239 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:60:0 [inlined] find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:48:0 (pc: 25) unknown function (ip: 0x788ef766db10) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:243:16 eval_body at /source/src/interpreter.c:594:35 eval_body at /source/src/interpreter.c:563:21 eval_body at /source/src/interpreter.c:571:21 eval_body at /source/src/interpreter.c:571:21 eval_body at /source/src/interpreter.c:571:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:768:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 189) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:327:0 (pc: 1) IncludeInto at ./Base.jl:328:0 (pc: 2) unknown function (ip: 0x788f015a3b92) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:157:0 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2246:0 [inlined] macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:155:0 [inlined] macro expansion at ./timing.jl:741:0 [inlined] top-level scope at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:154:0 (pc: 624) jl_invoke_oneshot at /source/src/gf.c:4164:23 ijl_eval_thunk at /source/src/toplevel.c:760:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 207) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:327:0 (pc: 1) IncludeInto at ./Base.jl:328:0 (pc: 2) jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:243:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:706:13 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:768:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 1) exec_options at ./client.jl:321:0 (pc: 425) _start at ./client.jl:596:0 (pc: 294) jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] true_main at /source/src/jlapi.c:971:29 jl_repl_entrypoint at /source/src/jlapi.c:1138:15 main at /source/cli/loader_exe.c:58:15 unknown function (ip: 0x788f175fa249) at /lib/x86_64-linux-gnu/libc.so.6 __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S unknown function (ip: (nil)) at (unknown file)  ⌜ # Computing specializations.. Time: 0:00:02 Points: 35  ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ==============================================================  ⌝ # Computing specializations.. Time: 0:00:02┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x0000788efcffc010 Total snapshots: 201. Utilization: 100% ╎200 @Base/client.jl:596 _start() ╎ 200 @Base/client.jl:321 exec_options(opts::Base.JLOptions) ╎ 200 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ 200 @Base/Base.jl:328 (::Base.IncludeInto)(fname::String) ╎ 200 @Base/Base.jl:327 include(mapexpr::Function, mod::Module, _path::St… ╎ 200 @Base/loading.jl:3192 _include(mapexpr::Function, mod::Module, _pa… ╎ ╎ 200 @Base/loading.jl:3132 include_string(mapexpr::typeof(identity), m… ╎ ╎ 200 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ ╎ 200 @StructuralIdentifiability/…:154 top-level scope ╎ ╎ 200 @Base/timing.jl:741 macro expansion ╎ ╎ 200 @StructuralIdentifiability/…:155 macro expansion ╎ ╎ ╎ 200 @Test/src/Test.jl:2246 macro expansion ╎ ╎ ╎ 200 @StructuralIdentifiability/…:157 macro expansion ╎ ╎ ╎ 200 @Base/Base.jl:328 (::Base.IncludeInto)(fname::String) ╎ ╎ ╎ 200 @Base/Base.jl:327 include(mapexpr::Function, mod::Module,… ╎ ╎ ╎ 200 @Base/loading.jl:3192 _include(mapexpr::Function, mod::M… ╎ ╎ ╎ ╎ 200 @Base/loading.jl:3132 include_string(mapexpr::typeof(id… ╎ ╎ ╎ ╎ 200 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ ╎ ╎ ╎ 200 @StructuralIdentifiability/…:48 kwcall(::@NamedTuple{… ╎ ╎ ╎ ╎ 200 @StructuralIdentifiability/…:60 find_identifiable_fu… ╎ ╎ ╎ ╎ 200 @Base/…ogging.jl:653 with_logger(f::StructuralIdent… ╎ ╎ ╎ ╎ ╎ 200 @Base/…gging.jl:542 with_logstate(f::StructuralIde… ╎ ╎ ╎ ╎ ╎ 200 @StructuralIdentifiability/…:62 (::StructuralIden… ╎ ╎ ╎ ╎ ╎ 200 @StructuralIdentifiability/…:85 kwcall(::@NamedT… ╎ ╎ ╎ ╎ ╎ 200 @StructuralIdentifiability/…:119 _find_identifi… ╎ ╎ ╎ ╎ ╎ 200 @RationalFunctionFields/…:319 kwcall(::@NamedT… ╎ ╎ ╎ ╎ ╎ ╎ 200 @RationalFunctionFields/…:319 simplified_gene… ╎ ╎ ╎ ╎ ╎ ╎ 200 @RationalFunctionFields/…:147 kwcall(::@Name… ╎ ╎ ╎ ╎ ╎ ╎ 200 @RationalFunctionFields/…:147 groebner_basi… ╎ ╎ ╎ ╎ ╎ ╎ 200 @ParamPunPam/…:65 kwcall(::@NamedTuple{up_… ╎ ╎ ╎ ╎ ╎ ╎ 200 @ParamPunPam/…:108 paramgb(blackbox::Idea… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 200 @ParamPunPam/…:166 _paramgb(blackbox::Id… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 29 @ParamPunPam/…:458 interpolate_exponent… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 29 @RationalFunctionFields/…:312 speciali… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 25 @RationalFunctionFields/…:277 fractio… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 25 @Base/…ay.jl:3468 map(f::RationalFun… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 25 @Base/…ay.jl:768 collect_similar(co… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:853 _collect(c::Vecto… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…or.jl:48 iterate(::Base.Ge… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @RationalFunctionFields/…:277 (:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:549 evaluate(a::fp… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 1 @Base/…ay.jl:838 collect(itr::B… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Base/…ay.jl:706 _array_for_inn… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 @Base/…ay.jl:872 similar(::Type… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 @Base/…ay.jl:414 similar(::Type… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 1 @Base/…ay.jl:873 similar(::Type… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 1 @Base/…ot.jl:735 (Array{UInt64}… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 1 @Base/…ot.jl:727 Vector{UInt64}… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +8 1 @Base/…ot.jl:715 Vector{UInt64}… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 1 @Base/…ot.jl:660 memoryref(mem:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 24 @Base/…ay.jl:863 _collect(c::Vecto… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 24 @Base/…ay.jl:869 collect_to_with_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 24 @Base/…ay.jl:914 collect_to!(des… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 24 @Base/…or.jl:48 iterate(g::Base… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 24 @RationalFunctionFields/…:277 (… 23╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 23 @Nemo/…ly.jl:550 evaluate(a::fp… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Nemo/…ly.jl:551 evaluate(a::fp… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 @Nemo/…ly.jl:26 parent(a::fpMPo… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 @Base/…er.jl:58 getproperty(x::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @RationalFunctionFields/…:278 fractio… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:3468 map(f::RationalFun… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:768 collect_similar(co… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:863 _collect(c::Vecto… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:869 collect_to_with_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:914 collect_to!(des… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…or.jl:48 iterate(g::Base… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 1 @RationalFunctionFields/…:278 (… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Nemo/…ly.jl:550 evaluate(a::fp… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @RationalFunctionFields/…:283 fractio… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:315 *(a::fpMPolyRingEle… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:309 *(a::fpMPolyRingEl… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:253 -(a::fpMPolyRingEle… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 171 @ParamPunPam/…:459 interpolate_exponent… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 171 @Groebner/…l:401 groebner_apply!(trace… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 171 @Groebner/…l:403 groebner_apply!(trac… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 81 @Groebner/…l:128 groebner_apply0!(wr… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 81 @Groebner/…l:16 io_convert_polynomi… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 48 @Groebner/…l:100 io_extract_coeffs… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 48 @Groebner/…l:120 io_extract_coeff… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 48 @Base/…ay.jl:3498 map(f::typeof(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 48 @Base/…ay.jl:843 collect(itr::B… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 48 @Base/…ay.jl:869 collect_to_wit… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 2 @Nemo/…ly.jl:114 coeff(a::fpMPo… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 43 @Base/…ay.jl:914 collect_to!(de… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 4 @Base/…or.jl:45 iterate(g::Base… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 4 @AbstractAlgebra/…:851 iterate(… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 2 @Nemo/…ly.jl:117 coeff(a::fpMPo… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 1 @Nemo/…ly.jl:118 coeff(a::fpMPo… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 1 @Nemo/…ly.jl:26 parent(a::fpMPo… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 1 @Base/…er.jl:58 getproperty(x::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 39 @Base/…or.jl:48 iterate(g::Base… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 39 @Groebner/…l:108 io_lift_coeff_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 20 @Nemo/…pz.jl:3261 UInt64(a::ZZR… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 20 @Nemo/…pz.jl:520 rem(x::ZZRingE… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 19 @Base/gmp.jl:351 rem(x::BigInt,… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +8 19 @Base/…er.jl:255 flipsign(x::UI… 19╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 19 @Base/int.jl:85 -(x::UInt64) ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 19 @Nemo/…em.jl:44 lift(::ZZRing, … ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 19 @Nemo/…em.jl:43 lift(a::fpField… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 1 @Nemo/…es.jl:71 ZZRingElem(x::U… 15╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 15 @Nemo/…es.jl:72 ZZRingElem(x::U… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 3 @Nemo/…es.jl:73 ZZRingElem(x::U… 3╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +8 3 @Base/…ls.jl:86 finalizer(f::ty… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Base/…ay.jl:918 collect_to!(de… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 @Base/…ay.jl:1048 setindex!(A::… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 @Base/…ay.jl:1053 _setindex!(A:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 33 @Groebner/…l:173 io_extract_monoms… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 33 @Base/…ay.jl:764 collect(itr::Abs… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 33 @Base/…ay.jl:770 _collect(cont::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 33 @Base/…ay.jl:949 copyto!(dest::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 33 @AbstractAlgebra/…:861 iterate(… 3╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 3 @Nemo/…ly.jl:38 exponent_vector… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 24 @Nemo/…ly.jl:39 exponent_vector… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 8 @Base/…ay.jl:838 collect(itr::B… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 8 @Base/…ay.jl:706 _array_for_inn… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 8 @Base/…ay.jl:872 similar(::Type… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 8 @Base/…ay.jl:414 similar(::Type… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 8 @Base/…ay.jl:873 similar(::Type… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +8 8 @Base/…ot.jl:735 (Array{Int64})… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 8 @Base/…ot.jl:727 Vector{Int64}(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +10 7 @Base/…ot.jl:714 Vector{Int64}(… 7╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +11 7 @Base/…ot.jl:654 Memory{Int64}(… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +10 1 @Base/…ot.jl:715 Vector{Int64}(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 16 @Base/…ay.jl:843 collect(itr::B… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 16 @Base/…ay.jl:869 collect_to_wit… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 1 @Base/…ay.jl:915 collect_to!(de… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 15 @Base/…ay.jl:918 collect_to!(de… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 15 @Base/…ay.jl:1048 setindex!(A::… 15╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 15 @Base/…ay.jl:1053 _setindex!(A:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 6 @Nemo/…ly.jl:40 exponent_vector… 6╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 6 @Nemo/…ly.jl:740 exponent_vecto… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 89 @Groebner/…l:129 groebner_apply0!(wr… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 9 @Groebner/…l:218 __groebner_apply1!… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 8 @Groebner/…l:61 wrapped_trace_chec… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ls.jl:1040 getindex(A::Vec… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 7 @Base/…rs.jl:320 !=(x::Vector{UIn… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 7 @Base/…ay.jl:3138 ==(A::Vector{U… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 7 @Base/…rs.jl:418 iterate(z::Bas… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 7 @Base/…rs.jl:427 _zip_iterate_a… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 5 @Base/…rs.jl:435 _zip_iterate_s… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 5 @Base/…ay.jl:1242 iterate(A::Ve… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 3 @Base/…ay.jl:1249 _iterate_abst… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 2 @Base/…ls.jl:387 checkbounds(::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 2 @Base/…ay.jl:1250 _iterate_abst… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 2 @Base/…ls.jl:1040 getindex(A::V… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 2 @Base/…rs.jl:437 _zip_iterate_s… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 2 @Base/…rs.jl:435 _zip_iterate_s… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 2 @Base/…ay.jl:1242 iterate(A::Ve… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 2 @Base/…ay.jl:1250 _iterate_abst… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 2 @Base/…ls.jl:1040 getindex(A::V… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Groebner/…l:64 wrapped_trace_chec… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Groebner/…l:221 __groebner_apply1!… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Groebner/…l:25 wrapped_trace_crea… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Groebner/…l:224 __groebner_apply1!… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:3019 filter(f::Compos… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ot.jl:714 Vector{Vector{UI… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ot.jl:654 Memory{Vector{U… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 56 @Groebner/…l:234 __groebner_apply1!… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Groebner/…l:212 ir_extract_coeffs… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Base/…ls.jl:1040 getindex(A::Vec… 53╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 54 @Groebner/…l:213 ir_extract_coeffs… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 22 @Groebner/…l:237 __groebner_apply1!… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 22 @Groebner/…l:253 groebner_apply2!(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 22 @Groebner/…l:266 _groebner_apply2… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 22 @Groebner/…l:479 f4_apply!(trace… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @Groebner/…l:397 basis_make_mon… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 1 @Groebner/…l:122 mod_p(a::UInt1… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Groebner/…l:107 _mul_high(a::U… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 @Base/…rs.jl:653 +(::UInt128, :… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 @Base/int.jl:87 +(x::UInt128, y… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 2 @Base/int.jl:1043 *(x::UInt128,… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Groebner/…l:365 f4_autoreduce_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 1 @Groebner/…l:189 matrix_convert… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Groebner/…l:239 matrix_convert… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 @Groebner/…l:390 matrix_insert_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 @Base/…ay.jl:1360 getindex(::Ve… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 1 @Base/…ls.jl:1040 getindex(A::V… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 13 @Groebner/…l:247 f4_reduction_a… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 1 @Groebner/…l:235 matrix_fill_co… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Base/…ay.jl:1360 getindex(::Ve… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 @Base/…ls.jl:1039 getindex(A::V… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 @Base/…ls.jl:391 checkbounds(A:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 11 @Groebner/…l:23 kwcall(::@Named… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 11 @Groebner/…l:40 linalg_main!(ma… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 11 @Groebner/…l:193 _linalg_main_w… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 9 @Groebner/…l:39 linalg_apply_sp… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 9 @Groebner/…l:125 linalg_apply_r… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 9 @Groebner/…l:369 linalg_reduce_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 9 @Groebner/…l:369 linalg_reduce_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +8 1 @Groebner/…l:390 linalg_reduce_… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 1 @Base/…ls.jl:1040 getindex(A::V… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +8 1 @Groebner/…l:408 linalg_reduce_… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 1 @Base/…ls.jl:1040 getindex(A::V… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +8 4 @Groebner/…l:415 linalg_reduce_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 2 @Groebner/…l:747 linalg_vector_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +10 2 @Base/…ay.jl:1360 getindex(::Ve… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +11 1 @Base/…ls.jl:1039 getindex(A::V… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +12 1 @Base/…ls.jl:391 checkbounds(A:… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +11 1 @Base/…ls.jl:1040 getindex(A::V… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 1 @Groebner/…l:751 linalg_vector_… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +10 1 @Base/…ls.jl:1040 getindex(A::V… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 1 @Groebner/…l:752 linalg_vector_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +10 1 @Groebner/…l:122 mod_p(a::UInt1… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +11 1 @Groebner/…l:106 _mul_high(a::U… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +12 1 @Base/int.jl:1043 *(x::UInt128,… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +8 3 @Groebner/…l:428 linalg_reduce_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 1 @Groebner/…l:886 linalg_extract… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +10 1 @Base/…ls.jl:1039 getindex(A::V… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +11 1 @Base/…ls.jl:391 checkbounds(A:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 1 @Groebner/…l:887 linalg_extract… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +10 1 @Base/…ay.jl:1047 setindex!(A::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +11 1 @Base/…er.jl:7 convert(::Type{I… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +12 1 @Base/…ot.jl:1078 Int32(x::Int6… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +13 1 @Base/…ot.jl:988 toInt32(x::Int… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +14 1 @Base/…ot.jl:951 checked_trunc_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 1 @Groebner/…l:889 linalg_extract… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +10 1 @Base/…ay.jl:1048 setindex!(A::… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +11 1 @Base/…ay.jl:1053 _setindex!(A:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 2 @Groebner/…l:44 linalg_apply_sp… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 2 @Groebner/…l:183 linalg_apply_i… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 2 @Groebner/…l:190 linalg_apply_i… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 2 @Groebner/…l:127 kwcall(::@Name… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +8 2 @Groebner/…l:170 linalg_interre… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 2 @Groebner/…l:369 kwcall(::@Name… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +10 2 @Groebner/…l:369 kwcall(::@Name… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +11 2 @Groebner/…l:428 linalg_reduce_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +12 1 @Groebner/…l:886 linalg_extract… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +13 1 @Base/…ls.jl:1040 getindex(A::V… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +12 1 @Groebner/…l:887 linalg_extract… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +13 1 @Base/…ay.jl:1047 setindex!(A::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +14 1 @Base/…er.jl:7 convert(::Type{I… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +15 1 @Base/…ot.jl:1078 Int32(x::Int6… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +16 1 @Base/…ot.jl:988 toInt32(x::Int… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +17 1 @Base/…ot.jl:951 checked_trunc_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 1 @Groebner/…l:189 matrix_convert… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Groebner/…l:239 matrix_convert… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 @Groebner/…l:390 matrix_insert_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 @Base/…ay.jl:1360 getindex(::Ve… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 1 @Base/…ls.jl:1040 getindex(A::V… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @Groebner/…l:294 f4_symbolic_pr… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 1 @Groebner/…l:304 matrix_polynom… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Groebner/…l:231 hashtable_resi… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 @Base/…ay.jl:1568 resize!(a::Ve… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 @Base/…ay.jl:1233 _growend!(a::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 1 @Base/…ay.jl:1209 _growend_inte… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 1 @Base/…ay.jl:1129 array_new_mem… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 1 @Base/…ot.jl:654 Memory{Int32}(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 4 @Groebner/…l:306 matrix_polynom… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Groebner/…l:482 hashtable_inse… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 @Groebner/…l:498 monom_product!… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 @Groebner/…l:17 Groebner.Packed… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Groebner/…l:488 hashtable_inse… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 @Base/…ay.jl:1360 getindex(::Ve… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 @Base/…ls.jl:1040 getindex(A::V… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 2 @Groebner/…l:525 hashtable_inse… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 2 @Groebner/…l:708 monom_create_d… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 2 @Base/…ay.jl:1360 getindex(::Ve… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 1 @Base/…ls.jl:1039 getindex(A::V… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 1 @Base/…ls.jl:391 checkbounds(A:… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 1 @Base/…ls.jl:1040 getindex(A::V… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Groebner/…l:131 groebner_apply0!(wr… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Groebner/…l:36 io_convert_ir_to_po… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Groebner/…l:240 _io_convert_ir_to… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:1047 setindex!(A::Ve… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:650 convert(::Type{… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:657 Vector{Int64}(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 1 @Base/…ay.jl:1182 copyto_axchec… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Base/…ay.jl:318 copyto!(dest::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +3 1 @Base/…ay.jl:316 _copyto2arg!(d… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +4 1 @Base/…ay.jl:287 copyto!(dest::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +5 1 @Base/…ay.jl:305 _copyto_impl!(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +6 1 @Base/…ry.jl:128 unsafe_copyto!… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +7 1 @Base/…ry.jl:149 unsafe_copyto!… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +8 1 @Base/…ry.jl:247 setindex!(A::M… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +9 1 @Base/…ry.jl:240 _setindex!(A::… Points: 42  ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 1 running 0 of 1 signal (10): User defined signal 1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404:0 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430:0 ijl_task_get_next at /source/src/scheduler.c:457:34 wait at ./task.jl:1246:0 (pc: 107) wait_forever at ./task.jl:1168:0 (pc: 4) jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] start_task at /source/src/task.c:1275:19 unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ==============================================================  ✓ # Computing specializations.. Time: 0:00:15 ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x00007b59e2470d30 Total snapshots: 426. Utilization: 0% ╎426 @Base/task.jl:1168 wait_forever() 425╎ 426 @Base/task.jl:1246 wait() ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ⌝ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 9   ⌝ # Computing specializations.. Time: 0:00:00 Points: 15   ⌟ # Computing specializations.. Time: 0:00:01 Points: 22  [43] signal 15: Terminated in expression starting at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/identifiable_functions.jl:1149 - at ./int.jl:85:0 [inlined] flipsign at ./number.jl:255:0 [inlined] rem at ./gmp.jl:351:0 [inlined] rem at /home/pkgeval/.julia/packages/Nemo/MT5uH/src/flint/fmpz.jl:520:0 [inlined] UInt64 at /home/pkgeval/.julia/packages/Nemo/MT5uH/src/flint/fmpz.jl:3261:0 [inlined] io_lift_coeff_ff at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/input_output/AbstractAlgebra.jl:108:0 [inlined] iterate at ./generator.jl:48:0 [inlined] collect_to! at ./array.jl:914:0 (pc: 158) collect_to_with_first! at ./array.jl:869:0 [inlined] collect at ./array.jl:843:0 (pc: 208) map at ./abstractarray.jl:3498:0 [inlined] io_extract_coeffs_ir_ff at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/input_output/AbstractAlgebra.jl:120:0 [inlined] io_extract_coeffs_ir at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/input_output/AbstractAlgebra.jl:100:0 (pc: 72) unknown function (ip: 0x788efb6c44d4) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 io_convert_polynomials_to_ir at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/input_output/AbstractAlgebra.jl:16:0 (pc: 33) groebner_apply0! at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/groebner/learn_apply.jl:128:0 (pc: 1) #groebner_apply!#206 at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/interface.jl:403:0 [inlined] groebner_apply! at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/interface.jl:401:0 (pc: 2) unknown function (ip: 0x788efb6f2dfa) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 interpolate_exponents! at /home/pkgeval/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:459:0 (pc: 1345) _paramgb at /home/pkgeval/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:166:0 (pc: 23) #paramgb#63 at /home/pkgeval/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:108:0 (pc: 518) paramgb at /home/pkgeval/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:65:0 [inlined] #groebner_basis_coeffs#135 at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:147:0 (pc: 452) groebner_basis_coeffs at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:147:0 (pc: 11) unknown function (ip: 0x788efb600091) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 #simplified_generating_set#137 at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:319:0 (pc: 181) simplified_generating_set at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:319:0 (pc: 19) unknown function (ip: 0x788ef766e724) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 #_find_identifiable_functions#243 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:119:0 (pc: 80) _find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:85:0 [inlined] #241 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:62:0 (pc: 12) with_logstate at ./logging/logging.jl:542:0 (pc: 47) [1] signal 15: Terminated in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404:0 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430:0 ijl_task_get_next at /source/src/scheduler.c:457:34 wait at ./task.jl:1246:0 (pc: 107) with_logger at ./logging/logging.jl:653:0 [inlined] #find_identifiable_functions#239 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:60:0 [inlined] find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:48:0 (pc: 25) unknown function (ip: 0x788ef766db10) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:243:16 eval_body at /source/src/interpreter.c:594:35 eval_body at /source/src/interpreter.c:563:21 eval_body at /source/src/interpreter.c:571:21 eval_body at /source/src/interpreter.c:571:21 eval_body at /source/src/interpreter.c:571:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:768:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 189) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:327:0 (pc: 1) IncludeInto at ./Base.jl:328:0 (pc: 2) unknown function (ip: 0x788f015a3b92) at (unknown file) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:157:0 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2246:0 [inlined] macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:155:0 [inlined] macro expansion at ./timing.jl:741:0 [inlined] top-level scope at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:154:0 (pc: 624) jl_invoke_oneshot at /source/src/gf.c:4164:23 ijl_eval_thunk at /source/src/toplevel.c:760:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 207) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:327:0 (pc: 1) IncludeInto at ./Base.jl:328:0 (pc: 2) jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:243:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:706:13 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:768:18 wait_forever at ./task.jl:1168:0 (pc: 4) jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] start_task at /source/src/task.c:1275:19 unknown function (ip: (nil)) at (unknown file) Allocations: 20698671 (Pool: 20697937; Big: 734); GC: 18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 1) exec_options at ./client.jl:321:0 (pc: 425) _start at ./client.jl:596:0 (pc: 294) jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4129:23 [inlined] ijl_apply_generic at /source/src/gf.c:4355:12 jl_apply at /source/src/julia.h:2376:12 [inlined] true_main at /source/src/jlapi.c:971:29 jl_repl_entrypoint at /source/src/jlapi.c:1138:15 main at /source/cli/loader_exe.c:58:15 unknown function (ip: 0x788f175fa249) at /lib/x86_64-linux-gnu/libc.so.6 __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S unknown function (ip: (nil)) at (unknown file) Allocations: 683984389 (Pool: 683981270; Big: 3119); GC: 271 PkgEval terminated after 2722.06s: test duration exceeded the time limit