Package evaluation to test StructuralIdentifiability on Julia 1.14.0-DEV.2079 (c0c9a57cb6*) started at 2026-04-23T00:47:03.622 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.48s ################################################################################ # Installation # Installing StructuralIdentifiability... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [220ca800] + StructuralIdentifiability v0.5.20 Updating `~/.julia/environments/v1.14/Manifest.toml` [c3fe647b] + AbstractAlgebra v0.48.5 [a9b6321e] + Atomix v1.1.3 [861a8166] + Combinatorics v1.1.0 [864edb3b] + DataStructures v0.19.4 [e2ba6199] + ExprTools v0.1.10 [0b43b601] + Groebner v0.10.3 [18e54dd8] + IntegerMathUtils v0.1.3 [c8e1da08] + IterTools v1.10.0 [692b3bcd] + JLLWrappers v1.7.1 [1914dd2f] + MacroTools v0.5.16 [2edaba10] + Nemo v0.54.1 [bac558e1] + OrderedCollections v1.8.1 [3e851597] + ParamPunPam v0.5.7 [aea7be01] + PrecompileTools v1.3.3 [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.20 [a759f4b9] + TimerOutputs v0.5.29 [013be700] + UnsafeAtomics v0.3.1 [e134572f] + FLINT_jll v301.400.1+0 [656ef2d0] + OpenBLAS32_jll v0.3.30+0 [56f22d72] + Artifacts v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.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.3.0+1 [781609d7] + GMP_jll v6.3.0+2 [3a97d323] + MPFR_jll v4.2.2+0 [4536629a] + OpenBLAS_jll v0.3.30+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 5.68s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 17.0 s ✓ StructuralIdentifiability 1 dependency successfully precompiled in 18 seconds. 76 already precompiled. Precompilation completed after 43.44s ################################################################################ # Testing # Testing StructuralIdentifiability Status `/tmp/jl_24MU9A/Project.toml` [c3fe647b] AbstractAlgebra v0.48.5 [4c88cf16] Aqua v0.8.14 [2a0fbf3d] CPUSummary v0.2.7 [861a8166] Combinatorics v1.1.0 [864edb3b] DataStructures v0.19.4 [0b43b601] Groebner v0.10.3 [c8e1da08] IterTools v1.10.0 [1914dd2f] MacroTools v0.5.16 [2edaba10] Nemo v0.54.1 [3e851597] ParamPunPam v0.5.7 [aea7be01] PrecompileTools v1.3.3 [27ebfcd6] Primes v0.5.7 [73480bc8] RationalFunctionFields v0.3.1 [276daf66] SpecialFunctions v2.7.2 [220ca800] StructuralIdentifiability v0.5.20 ⌅ [98d24dd4] TestSetExtensions v3.0.0 [a759f4b9] TimerOutputs v0.5.29 [ade2ca70] Dates v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [44cfe95a] Pkg v1.14.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_24MU9A/Manifest.toml` [c3fe647b] AbstractAlgebra v0.48.5 [4c88cf16] Aqua v0.8.14 [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.4 [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.7.1 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [2edaba10] Nemo v0.54.1 [bac558e1] OrderedCollections v1.8.1 [3e851597] ParamPunPam v0.5.7 [aea7be01] PrecompileTools v1.3.3 [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.7.2 [aedffcd0] Static v1.3.1 [220ca800] StructuralIdentifiability v0.5.20 ⌅ [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.30+0 [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.13.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.0.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.3.0+1 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.19.0+0 [e37daf67] LibGit2_jll v1.9.2+0 [29816b5a] LibSSH2_jll v1.11.3+1 [3a97d323] MPFR_jll v4.2.2+0 [14a3606d] MozillaCACerts_jll v2026.3.19 [4536629a] OpenBLAS_jll v0.3.30+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.31.0 Installed ModelingToolkitTearing ─ v1.13.0 Installed ModelingToolkit ──────── v11.22.0 Updating `/tmp/jl_24MU9A/Project.toml` ⌅ [861a8166] ↓ Combinatorics v1.1.0 ⇒ v1.0.2 [loaded: v1.1.0] [961ee093] + ModelingToolkit v11.22.0 Updating `/tmp/jl_24MU9A/Manifest.toml` [47edcb42] + ADTypes v1.21.0 [6e696c72] + AbstractPlutoDingetjes v1.3.2 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.44 [79e6a3ab] + Adapt v4.5.2 [ec485272] + ArnoldiMethod v0.4.0 [4fba245c] + ArrayInterface v7.24.0 [4c555306] + ArrayLayouts v1.12.2 [aae01518] + BandedMatrices v1.11.0 [e2ed5e7c] + Bijections v0.2.2 [caf10ac8] + BipartiteGraphs v0.1.7 [62783981] + BitTwiddlingConvenienceFunctions v0.1.6 [8e7c35d0] + BlockArrays v1.9.3 [70df07ce] + BracketingNonlinearSolve v1.12.1 [fb6a15b2] + CloseOpenIntervals v0.1.13 ⌅ [861a8166] ↓ Combinatorics v1.1.0 ⇒ v1.0.2 [loaded: v1.1.0] [38540f10] + CommonSolve v0.2.6 [bbf7d656] + CommonSubexpressions v0.3.1 [b152e2b5] + CompositeTypes v0.1.4 [a33af91c] + CompositionsBase v0.1.2 [2569d6c7] + ConcreteStructs v0.2.3 [187b0558] + ConstructionBase v1.6.0 [85a47980] + Dictionaries v0.4.6 ⌅ [2b5f629d] + DiffEqBase v6.218.0 [459566f4] + DiffEqCallbacks v4.16.0 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [a0c0ee7d] + DifferentiationInterface v0.7.16 ⌅ [5b8099bc] + DomainSets v0.7.18 [7c1d4256] + DynamicPolynomials v0.6.6 [4e289a0a] + EnumX v1.0.7 [f151be2c] + EnzymeCore v0.8.19 [55351af7] + ExproniconLite v0.10.14 [7034ab61] + FastBroadcast v1.3.1 [9aa1b823] + FastClosures v0.3.2 [a4df4552] + FastPower v1.3.1 [1a297f60] + FillArrays v1.16.0 [64ca27bc] + FindFirstFunctions v1.8.0 [6a86dc24] + FiniteDiff v2.30.0 [f6369f11] + ForwardDiff v1.3.3 [a85aefff] + FunctionMaps v0.1.2 [069b7b12] + FunctionWrappers v1.1.3 [77dc65aa] + FunctionWrappersWrappers v1.7.0 [46192b85] + GPUArraysCore v0.2.0 [86223c79] + Graphs v1.14.0 [3263718b] + ImplicitDiscreteSolve v1.11.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.26.0 [ba0b0d4f] + Krylov v0.10.6 [10f19ff3] + LayoutPointers v0.1.17 [87fe0de2] + LineSearch v0.1.8 [7ed4a6bd] + LinearSolve v3.75.0 [e6f89c97] + LoggingExtras v1.2.0 [d125e4d3] + ManualMemory v0.1.8 [bb5d69b7] + MaybeInplace v0.1.4 [961ee093] + ModelingToolkit v11.22.0 [7771a370] + ModelingToolkitBase v1.31.0 [6bb917b9] + ModelingToolkitTearing v1.13.0 [2e0e35c7] + Moshi v0.3.7 [46d2c3a1] + MuladdMacro v0.2.4 [102ac46a] + MultivariatePolynomials v0.5.19 [d8a4904e] + MutableArithmetics v1.7.1 [77ba4419] + NaNMath v1.1.3 [be0214bd] + NonlinearSolveBase v2.25.0 [5959db7a] + NonlinearSolveFirstOrder v2.1.1 [6fe1bfb0] + OffsetArrays v1.17.0 ⌅ [bbf590c4] + OrdinaryDiffEqCore v3.33.0 [e409e4f3] + PoissonRandom v0.4.7 [f517fe37] + Polyester v0.7.19 [1d0040c9] + PolyesterWeave v0.2.2 [d236fae5] + PreallocationTools v1.2.0 [988b38a3] + ReadOnlyArrays v0.2.0 [795d4caa] + ReadOnlyDicts v1.0.1 [3cdcf5f2] + RecipesBase v1.3.4 ⌅ [731186ca] + RecursiveArrayTools v3.54.0 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [7e49a35a] + RuntimeGeneratedFunctions v0.5.18 [9dfe8606] + SCCNonlinearSolve v1.13.0 [94e857df] + SIMDTypes v0.1.0 ⌅ [0bca4576] + SciMLBase v2.155.0 [19f34311] + SciMLJacobianOperators v0.1.13 [a6db7da4] + SciMLLogging v1.9.1 [c0aeaf25] + SciMLOperators v1.17.0 [53ae85a6] + SciMLStructures v1.10.0 [efcf1570] + Setfield v1.1.2 [727e6d20] + SimpleNonlinearSolve v2.11.1 [699a6c99] + SimpleTraits v0.9.5 [0c0c59c1] + StarAlgebras v0.3.0 [64909d44] + StateSelection v1.9.1 [0d7ed370] + StaticArrayInterface v1.9.0 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [7792a7ef] + StrideArraysCore v0.5.8 [2efcf032] + SymbolicIndexingInterface v0.3.46 [19f23fe9] + SymbolicLimits v1.1.0 [d1185830] + SymbolicUtils v4.24.2 [0c5d862f] + Symbolics v7.19.0 [ed4db957] + TaskLocalValues v0.1.3 [8ea1fca8] + TermInterface v2.0.0 [8290d209] + ThreadingUtilities v0.5.5 [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.0.0+1 [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_24MU9A/Project.toml` [0c5d862f] + Symbolics v7.19.0 Manifest No packages added to or removed from `/tmp/jl_24MU9A/Manifest.toml` [ 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 43.1s [ 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/qWvNV/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.228646 seconds (848.29 k allocations: 46.995 MiB, 99.51% compilation time) 0.001383 seconds (6.77 k allocations: 293.273 KiB) 0.001841 seconds (10.90 k allocations: 489.312 KiB) 0.001653 seconds (10.89 k allocations: 484.094 KiB) 0.002104 seconds (14.68 k allocations: 640.375 KiB) 0.001259 seconds (8.05 k allocations: 365.383 KiB) 0.000818 seconds (7.50 k allocations: 302.469 KiB) 15.759998 seconds (5.89 M allocations: 336.625 MiB, 1.16% gc time, 99.80% 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.330807 seconds (93.77 k allocations: 5.615 MiB, 98.40% compilation time) [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: [ Info: Inputs: u [ Info: Outputs: y 0.010737 seconds (9.57 k allocations: 518.336 KiB, 90.57% 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.004108042 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 2.202797797 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 0.068542455 seconds [ Info: Global identifiability assessed in 55.995509907 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.003137832 seconds [ Info: No parameters, so Wronskian computation is not needed [ Info: Global identifiability assessed in 0.944453674 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Global identifiability assessed in 6.0599e-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.034572744 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.469447912 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 3.7599e-5 seconds [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:17 ✓ # Computing specializations.. Time: 0:00:19 [ Info: Search for polynomial generators concluded in 14.863790491 [ Info: Selecting generators in 0.014033132 [ Info: Inclusion checked with probability 0.9955 in 0.070264197 seconds [ Info: Global identifiability assessed in 121.617743227 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 1.633807403 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 1.764865715 seconds [ Info: Dimensions of the Wronskians [676] [ Info: Ranks of the Wronskians computed in 0.096490267 seconds [ Info: Global identifiability assessed in 47.234713774 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.139524713 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.032852799 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000324307 seconds [ Info: Global identifiability assessed in 0.205548999 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.749629179 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003424699 seconds [ Info: Dimensions of the Wronskians [2, 3, 2] [ Info: Ranks of the Wronskians computed in 2.616e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.177422871 [ Info: Selecting generators in 0.000426146 [ Info: Inclusion checked with probability 0.9955 in 0.003072312 seconds [ Info: Global identifiability assessed in 10.451038009 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002312699 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001618035 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.07e-5 seconds [ Info: Global identifiability assessed in 0.006694098 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002725585 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001867693 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.076e-5 seconds [ Info: Global identifiability assessed in 0.008067126 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.005262332 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004113262 seconds [ Info: Dimensions of the Wronskians [6] [ Info: Ranks of the Wronskians computed in 2.1559e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.27476762 [ Info: Selecting generators in 0.017784817 [ Info: Inclusion checked with probability 0.9955 in 0.009240795 seconds [ Info: Global identifiability assessed in 2.614539154 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.008794459 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003660066 seconds [ Info: Dimensions of the Wronskians [2, 5] [ Info: Ranks of the Wronskians computed in 2.187e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.01095601 [ Info: Selecting generators in 0.004077403 [ Info: Inclusion checked with probability 0.9955 in 0.004458909 seconds [ Info: Global identifiability assessed in 0.059199278 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.001780213 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001347408 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.6309e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000113479 [ Info: Selecting generators in 1.3946584 [ Info: Inclusion checked with probability 0.995 in 0.002840094 seconds [ Info: The search for identifiable functions concluded in 2.984092638 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.002239269 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001499076 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 3.451e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000104059 [ Info: Selecting generators in 0.000768563 [ Info: Inclusion checked with probability 0.995 in 0.002046212 seconds [ Info: The search for identifiable functions concluded in 0.013046261 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.001240299 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001020531 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.132e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.867e-5 [ Info: Selecting generators in 0.000583485 [ Info: Inclusion checked with probability 0.995 in 0.001958722 seconds [ Info: The search for identifiable functions concluded in 0.010489944 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.001290638 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00104518 seconds [ Info: Dimensions of the Wronskians [2] [ 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.000524485 [ Info: Selecting generators in 0.000721643 [ Info: Inclusion checked with probability 0.995 in 0.002005671 seconds [ Info: The search for identifiable functions concluded in 0.010558554 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.001389888 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001136709 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.017e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000456126 [ Info: Selecting generators in 0.000815013 [ Info: Inclusion checked with probability 0.995 in 0.00218397 seconds [ Info: The search for identifiable functions concluded in 0.011671473 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.001394318 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001228458 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 3.3099e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000480245 [ Info: Selecting generators in 0.000793023 [ Info: Inclusion checked with probability 0.995 in 0.00223184 seconds [ Info: The search for identifiable functions concluded in 0.01195443 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.001646624 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00115802 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.781e-5 seconds [ Info: The search for identifiable functions concluded in 0.040157202 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001961782 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001416038 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.181e-5 seconds [ Info: The search for identifiable functions concluded in 0.004490839 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001831123 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001361068 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.702e-5 seconds [ Info: The search for identifiable functions concluded in 0.004013613 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001976542 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001283848 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.016e-5 seconds [ Info: The search for identifiable functions concluded in 0.004318261 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001830543 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001257238 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.75e-5 seconds [ Info: The search for identifiable functions concluded in 0.004304691 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001680794 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00112384 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.461e-5 seconds [ Info: The search for identifiable functions concluded in 0.003609217 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001966632 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001251519 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.7e-5 seconds [ Info: The search for identifiable functions concluded in 0.004122943 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001666015 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00109934 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.564e-5 seconds [ Info: The search for identifiable functions concluded in 0.003453298 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001848573 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001188819 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.396e-5 seconds [ Info: The search for identifiable functions concluded in 0.003707966 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001684675 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001192589 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 5.128e-5 seconds [ Info: The search for identifiable functions concluded in 0.003634096 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001821603 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001219669 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.815e-5 seconds [ Info: The search for identifiable functions concluded in 0.003770765 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001852823 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001204759 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.363e-5 seconds [ Info: The search for identifiable functions concluded in 0.003713776 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.317592772 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001964182 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.942e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.0869e-5 [ Info: Selecting generators in 0.000624304 [ Info: Inclusion checked with probability 0.995 in 0.001985581 seconds [ Info: The search for identifiable functions concluded in 0.327726659 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.003377869 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001976342 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.721e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.9009e-5 [ Info: Selecting generators in 0.000705664 [ Info: Inclusion checked with probability 0.995 in 0.002089021 seconds [ Info: The search for identifiable functions concluded in 0.012747003 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.002579067 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001677505 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.742e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.4049e-5 [ Info: Selecting generators in 0.000706623 [ Info: Inclusion checked with probability 0.995 in 0.002216899 seconds [ Info: The search for identifiable functions concluded in 0.01201179 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.002654845 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001586835 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.1339e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000462476 [ Info: Selecting generators in 0.000809043 [ Info: Inclusion checked with probability 0.995 in 0.002551906 seconds [ Info: The search for identifiable functions concluded in 0.013522176 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.002463217 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001740534 seconds [ Info: Dimensions of the Wronskians [2] [ 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.000414047 [ Info: Selecting generators in 0.000685254 [ Info: Inclusion checked with probability 0.995 in 0.002075721 seconds [ Info: The search for identifiable functions concluded in 0.012521015 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.002395669 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001508896 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.977e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000423636 [ Info: Selecting generators in 0.001925832 [ Info: Inclusion checked with probability 0.995 in 0.001962393 seconds [ Info: The search for identifiable functions concluded in 0.013707134 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.001526857 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001304818 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 0.000223958 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.7079e-5 [ Info: Selecting generators in 0.002082011 [ Info: Inclusion checked with probability 0.995 in 0.003964084 seconds [ Info: The search for identifiable functions concluded in 0.018660399 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.001628035 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001286729 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.085e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.9489e-5 [ Info: Selecting generators in 0.001920763 [ Info: Inclusion checked with probability 0.995 in 0.003739546 seconds [ Info: The search for identifiable functions concluded in 0.019104305 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.001546576 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001429607 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.476e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000110169 [ Info: Selecting generators in 0.002255769 [ Info: Inclusion checked with probability 0.995 in 0.003972733 seconds [ Info: The search for identifiable functions concluded in 0.020456422 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.001534316 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001312188 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.425e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.283204827 [ Info: Selecting generators in 0.00430381 [ Info: Inclusion checked with probability 0.995 in 0.004487439 seconds [ Info: The search for identifiable functions concluded in 0.306024118 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.001881843 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001544646 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.941e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.017005684 [ Info: Selecting generators in 0.003483878 [ Info: Inclusion checked with probability 0.995 in 0.003835415 seconds [ Info: The search for identifiable functions concluded in 0.039224421 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.001497606 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001329848 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.972e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.015781135 [ Info: Selecting generators in 0.003563628 [ Info: Inclusion checked with probability 0.995 in 0.003420448 seconds [ Info: The search for identifiable functions concluded in 0.036065839 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.001501176 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001355927 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.3689e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.5259e-5 [ Info: Selecting generators in 0.002551757 [ Info: Inclusion checked with probability 0.995 in 0.003164661 seconds [ Info: The search for identifiable functions concluded in 1.157811788 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.001441277 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00113609 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.501e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.8009e-5 [ Info: Selecting generators in 0.002380469 [ Info: Inclusion checked with probability 0.995 in 0.003083212 seconds [ Info: The search for identifiable functions concluded in 0.016259061 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.001360278 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001043001 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.782e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.4019e-5 [ Info: Selecting generators in 0.002098301 [ Info: Inclusion checked with probability 0.995 in 0.002946763 seconds [ Info: The search for identifiable functions concluded in 0.014645656 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.001574686 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001312978 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.662e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.240910804 [ Info: Selecting generators in 0.002492137 [ Info: Inclusion checked with probability 0.995 in 0.003370859 seconds [ Info: The search for identifiable functions concluded in 0.258461133 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.001427477 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00115745 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.948e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00644852 [ Info: Selecting generators in 0.002552887 [ Info: Inclusion checked with probability 0.995 in 0.00333156 seconds [ Info: The search for identifiable functions concluded in 0.022508694 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.001486986 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001321508 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.128e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.005620358 [ Info: Selecting generators in 0.002558827 [ Info: Inclusion checked with probability 0.995 in 0.003052412 seconds [ Info: The search for identifiable functions concluded in 0.02181912 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.002613286 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002024182 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.28e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.2189e-5 [ Info: Selecting generators in 0.000614045 [ Info: Inclusion checked with probability 0.995 in 0.003127442 seconds [ Info: The search for identifiable functions concluded in 0.020390423 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.002097011 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001489926 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.216e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.5349e-5 [ Info: Selecting generators in 0.000596505 [ Info: Inclusion checked with probability 0.995 in 0.003009042 seconds [ Info: The search for identifiable functions concluded in 0.018318482 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.002292569 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001523046 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 3.1829e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.0649e-5 [ Info: Selecting generators in 0.000626034 [ Info: Inclusion checked with probability 0.995 in 0.003457338 seconds [ Info: The search for identifiable functions concluded in 0.019500611 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.002481337 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001653395 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.834e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.008286344 [ Info: Selecting generators in 0.0010621 [ Info: Inclusion checked with probability 0.995 in 0.0032845 seconds [ Info: The search for identifiable functions concluded in 0.027466348 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.002457537 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001605216 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.7779e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.006941916 [ Info: Selecting generators in 0.000655754 [ Info: Inclusion checked with probability 0.995 in 0.002861524 seconds [ Info: The search for identifiable functions concluded in 0.024901352 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.002242509 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001677954 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.8879e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.006817838 [ Info: Selecting generators in 0.000674214 [ Info: Inclusion checked with probability 0.995 in 0.002883404 seconds [ Info: The search for identifiable functions concluded in 0.024593875 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.003037472 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002075371 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.1289e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.4239e-5 [ Info: Selecting generators in 0.003036862 [ Info: Inclusion checked with probability 0.995 in 0.003448049 seconds [ Info: The search for identifiable functions concluded in 0.022760392 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.002641485 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002031661 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.1099e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000101569 [ Info: Selecting generators in 0.003452818 [ Info: Inclusion checked with probability 0.995 in 0.380723764 seconds [ Info: The search for identifiable functions concluded in 0.4008011 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.003496918 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002354838 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.5239e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000103659 [ Info: Selecting generators in 0.003495188 [ Info: Inclusion checked with probability 0.995 in 0.003910734 seconds [ Info: The search for identifiable functions concluded in 0.025838963 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.002918303 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002015162 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.482e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.015646256 [ Info: Selecting generators in 0.003680097 [ Info: Inclusion checked with probability 0.995 in 0.003650656 seconds [ Info: The search for identifiable functions concluded in 0.040114232 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.002870553 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001991842 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.863e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.014650546 [ Info: Selecting generators in 0.003224601 [ Info: Inclusion checked with probability 0.995 in 0.003622677 seconds [ Info: The search for identifiable functions concluded in 0.037656315 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.002742315 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002022801 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.849e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.014856614 [ Info: Selecting generators in 0.003528948 [ Info: Inclusion checked with probability 0.995 in 0.003856035 seconds [ Info: The search for identifiable functions concluded in 0.038913473 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.015746516 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.005187753 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.9289e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000128499 [ Info: Selecting generators in 0.010427335 [ Info: Inclusion checked with probability 0.995 in 0.00656229 seconds [ Info: The search for identifiable functions concluded in 0.337938615 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.007382232 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004762076 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.231e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000128089 [ Info: Selecting generators in 0.010190517 [ Info: Inclusion checked with probability 0.995 in 0.00655631 seconds [ Info: The search for identifiable functions concluded in 0.049515827 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.007713589 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004868465 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.2129e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000118689 [ Info: Selecting generators in 0.009952208 [ Info: Inclusion checked with probability 0.995 in 0.006337712 seconds [ Info: The search for identifiable functions concluded in 0.049273158 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.007279183 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004853796 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.198e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.002237849 [ Info: Selecting generators in 0.010666642 [ Info: Inclusion checked with probability 0.995 in 0.006448251 seconds [ Info: The search for identifiable functions concluded in 0.052238411 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.008204175 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.006027315 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.418e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.002287169 [ Info: Selecting generators in 0.010986619 [ Info: Inclusion checked with probability 0.995 in 0.006752518 seconds [ Info: The search for identifiable functions concluded in 0.05568386 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.008125696 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.005802467 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.412e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.002281109 [ Info: Selecting generators in 0.010191536 [ Info: Inclusion checked with probability 0.995 in 0.006689948 seconds [ Info: The search for identifiable functions concluded in 0.055816439 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.005574289 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003386759 seconds [ Info: Dimensions of the Wronskians [5] [ 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 0.000120989 [ Info: Selecting generators in 0.001997432 [ Info: Inclusion checked with probability 0.995 in 0.004051063 seconds [ Info: The search for identifiable functions concluded in 0.027153221 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.005639969 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003430629 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.641e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.8129e-5 [ Info: Selecting generators in 0.002143481 [ Info: Inclusion checked with probability 0.995 in 0.004209752 seconds [ Info: The search for identifiable functions concluded in 0.028111553 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.005700758 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003521608 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 1.994e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000106559 [ Info: Selecting generators in 0.00217884 [ Info: Inclusion checked with probability 0.995 in 0.004558378 seconds [ Info: The search for identifiable functions concluded in 0.028617158 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.00547845 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003516477 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.256e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.001333627 [ Info: Selecting generators in 0.002254639 [ Info: Inclusion checked with probability 0.995 in 0.004474399 seconds [ Info: The search for identifiable functions concluded in 0.029530219 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.005515689 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003625067 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.307e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.001314938 [ Info: Selecting generators in 0.00218377 [ Info: Inclusion checked with probability 0.995 in 0.004095602 seconds [ Info: The search for identifiable functions concluded in 0.029311471 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.005625488 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003568277 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.55e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.001352938 [ Info: Selecting generators in 0.002324898 [ Info: Inclusion checked with probability 0.995 in 0.00430555 seconds [ Info: The search for identifiable functions concluded in 0.030228533 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.005702337 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003446668 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.072e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000116459 [ Info: Selecting generators in 0.002668125 [ Info: Inclusion checked with probability 0.995 in 0.004094482 seconds [ Info: The search for identifiable functions concluded in 0.033072457 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.006066424 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003525388 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.727e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000113079 [ Info: Selecting generators in 0.002950083 [ Info: Inclusion checked with probability 0.995 in 0.00437102 seconds [ Info: The search for identifiable functions concluded in 0.034405795 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.005749278 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003557998 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.609e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000106619 [ Info: Selecting generators in 0.002724735 [ Info: Inclusion checked with probability 0.995 in 0.004251711 seconds [ Info: The search for identifiable functions concluded in 0.033622682 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.005818366 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003660137 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.552e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.01967604 [ Info: Selecting generators in 0.003583658 [ Info: Inclusion checked with probability 0.995 in 0.004131982 seconds [ Info: The search for identifiable functions concluded in 0.631712695 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.00539544 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002999823 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.472e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.019509281 [ Info: Selecting generators in 0.003767335 [ Info: Inclusion checked with probability 0.995 in 0.003901565 seconds [ Info: The search for identifiable functions concluded in 0.051724467 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.005144303 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002926373 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.49e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.019825418 [ Info: Selecting generators in 0.004055593 [ Info: Inclusion checked with probability 0.995 in 0.004179662 seconds [ Info: The search for identifiable functions concluded in 0.054087185 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.002968183 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001945752 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.4379e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.3589e-5 [ Info: Selecting generators in 0.001687124 [ Info: Inclusion checked with probability 0.995 in 0.00323584 seconds [ Info: The search for identifiable functions concluded in 0.019515001 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.002675986 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001849643 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.338e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000118609 [ Info: Selecting generators in 0.001822733 [ Info: Inclusion checked with probability 0.995 in 0.003659157 seconds [ Info: The search for identifiable functions concluded in 0.020514492 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.002656595 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001795084 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.31e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.4049e-5 [ Info: Selecting generators in 0.001705365 [ Info: Inclusion checked with probability 0.995 in 0.003465379 seconds [ Info: The search for identifiable functions concluded in 0.019746859 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.002583366 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001900192 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.117e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.011611464 [ Info: Selecting generators in 0.002716175 [ Info: Inclusion checked with probability 0.995 in 0.003052732 seconds [ Info: The search for identifiable functions concluded in 0.031066765 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.002611846 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001833683 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.058e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.012779283 [ Info: Selecting generators in 0.002730146 [ Info: Inclusion checked with probability 0.995 in 0.00332649 seconds [ Info: The search for identifiable functions concluded in 0.03276551 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.002738255 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001827083 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.482e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.012077669 [ Info: Selecting generators in 0.002883433 [ Info: Inclusion checked with probability 0.995 in 0.003131861 seconds [ Info: The search for identifiable functions concluded in 0.032208985 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.014286159 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.028668557 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000320387 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.000163149 [ Info: Selecting generators in 0.017379391 [ Info: Inclusion checked with probability 0.995 in 0.031487652 seconds [ Info: The search for identifiable functions concluded in 16.373414142 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.020853779 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.032092526 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000275087 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000162099 [ Info: Selecting generators in 0.019256294 [ Info: Inclusion checked with probability 0.995 in 0.031371902 seconds [ Info: The search for identifiable functions concluded in 0.203009071 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.016440909 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.031972308 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000313257 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000149578 [ Info: Selecting generators in 0.018805348 [ Info: Inclusion checked with probability 0.995 in 2.25227616 seconds [ Info: The search for identifiable functions concluded in 2.401526362 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.015753476 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.032660501 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000364596 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.36128405 [ Info: Selecting generators in 0.017522619 [ Info: Inclusion checked with probability 0.995 in 0.026649686 seconds [ Info: The search for identifiable functions concluded in 1.527161242 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.013258399 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.028707307 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000365186 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.050693926 [ Info: Selecting generators in 0.016921395 [ Info: Inclusion checked with probability 0.995 in 0.028659408 seconds [ Info: The search for identifiable functions concluded in 0.210023316 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.014822304 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.030023695 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000373747 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.050034092 [ Info: Selecting generators in 0.017206602 [ Info: Inclusion checked with probability 0.995 in 0.028874846 seconds [ Info: The search for identifiable functions concluded in 0.214845082 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.821233227 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 9.274523498 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.196663058 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: 8   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.000149339 [ Info: Selecting generators in 1.124077942 [ Info: Inclusion checked with probability 0.995 in 3.92053164 seconds [ Info: The search for identifiable functions concluded in 20.626488336 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 1.831882165 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 9.804390291 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.218843024 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.000158509 [ Info: Selecting generators in 0.583946858 [ Info: Inclusion checked with probability 0.995 in 3.000598231 seconds [ Info: The search for identifiable functions concluded in 19.830380713 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 3.268862962 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 9.324596695 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.182578896 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.000127959 [ Info: Selecting generators in 1.579098125 [ Info: Inclusion checked with probability 0.995 in 2.344165161 seconds [ Info: The search for identifiable functions concluded in 20.58630332 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 1.851898803 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 10.084766335 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.179125127 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.027632266 [ Info: Selecting generators in 1.664651347 [ Info: Inclusion checked with probability 0.995 in 2.828183018 seconds [ Info: The search for identifiable functions concluded in 21.734457355 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.488951937 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 10.440130832 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.198008744 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:02 Points: 6   ✓ # Computing specializations.. Time: 0:00:02 [ Info: Search for polynomial generators concluded in 0.027633696 [ Info: Selecting generators in 0.631768866 [ Info: Inclusion checked with probability 0.995 in 3.078206078 seconds [ Info: The search for identifiable functions concluded in 21.169084506 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 2.162523506 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 9.944249105 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.192878291 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.031455482 [ Info: Selecting generators in 1.459107215 [ Info: Inclusion checked with probability 0.995 in 2.104301876 seconds [ Info: The search for identifiable functions concluded in 19.984619223 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.839435049 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.012728993 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 2.924e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000115799 [ Info: Selecting generators in 0.009887499 [ Info: Inclusion checked with probability 0.995 in 0.010633333 seconds [ Info: The search for identifiable functions concluded in 0.91781211 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.020374013 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.013442577 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.81e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000135979 [ Info: Selecting generators in 0.008872309 [ Info: Inclusion checked with probability 0.995 in 0.00979427 seconds [ Info: The search for identifiable functions concluded in 0.101938424 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.013585605 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.011890321 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.2649e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000122789 [ Info: Selecting generators in 0.00873276 [ Info: Inclusion checked with probability 0.995 in 0.00979289 seconds [ Info: The search for identifiable functions concluded in 0.087243179 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.013759153 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.011715823 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.1739e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.034224246 [ Info: Selecting generators in 0.01203493 [ Info: Inclusion checked with probability 0.995 in 0.008954308 seconds [ Info: The search for identifiable functions concluded in 0.120241747 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.018596519 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.053370111 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.3379e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.049967831 [ Info: Selecting generators in 0.014322308 [ Info: Inclusion checked with probability 0.995 in 0.010391395 seconds [ Info: The search for identifiable functions concluded in 0.187262102 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.014057311 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.013491257 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 5.998e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.036817013 [ Info: Selecting generators in 0.013838673 [ Info: Inclusion checked with probability 0.995 in 0.00986878 seconds [ Info: The search for identifiable functions concluded in 0.141262434 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.012636674 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.007428561 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.044e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000215518 [ Info: Selecting generators in 0.035719533 [ Info: Inclusion checked with probability 0.995 in 0.013921582 seconds [ Info: The search for identifiable functions concluded in 0.773490694 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.012176659 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.007390212 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.394e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000232908 [ Info: Selecting generators in 0.036096539 [ Info: Inclusion checked with probability 0.995 in 0.014671685 seconds [ Info: The search for identifiable functions concluded in 0.467781498 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.011647303 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.007317343 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.177e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000263398 [ Info: Selecting generators in 0.058257956 [ Info: Inclusion checked with probability 0.995 in 0.015327239 seconds [ Info: The search for identifiable functions concluded in 3.012857328 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.013998541 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.008634011 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.659e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 3.108763107 [ Info: Selecting generators in 0.059729892 [ Info: Inclusion checked with probability 0.995 in 0.012238868 seconds [ Info: The search for identifiable functions concluded in 3.622924449 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.011327616 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.006915647 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.484e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.275443333 [ Info: Selecting generators in 0.05562083 [ Info: Inclusion checked with probability 0.995 in 0.012487336 seconds [ Info: The search for identifiable functions concluded in 0.732616938 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.010652243 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.007049905 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.305e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.470129231 [ Info: Selecting generators in 0.109032019 [ Info: Inclusion checked with probability 0.995 in 0.017596029 seconds [ Info: The search for identifiable functions concluded in 2.03585891 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.034244036 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.023144327 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 9.52e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000205709 [ Info: Selecting generators in 0.01308432 [ Info: Inclusion checked with probability 0.995 in 0.016109793 seconds [ Info: The search for identifiable functions concluded in 0.156647092 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.029841897 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.042061534 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 0.000112919 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000180469 [ Info: Selecting generators in 0.012534155 [ Info: Inclusion checked with probability 0.995 in 0.016470839 seconds [ Info: The search for identifiable functions concluded in 0.157512245 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.02406537 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.018730198 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 8.9479e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000225408 [ Info: Selecting generators in 0.014704485 [ Info: Inclusion checked with probability 0.995 in 0.017125683 seconds [ Info: The search for identifiable functions concluded in 0.131126257 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.027657916 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.01961605 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 0.000101749 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.0577395 [ Info: Selecting generators in 0.01736305 [ Info: Inclusion checked with probability 0.995 in 0.014969043 seconds [ Info: The search for identifiable functions concluded in 0.183856613 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.024127669 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.017169733 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 0.000107979 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.051357509 [ Info: Selecting generators in 0.019250273 [ Info: Inclusion checked with probability 0.995 in 0.016455029 seconds [ Info: The search for identifiable functions concluded in 0.177229644 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.030998316 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.019960837 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 9.9859e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.045010807 [ Info: Selecting generators in 0.015941884 [ Info: Inclusion checked with probability 0.995 in 0.014903253 seconds [ Info: The search for identifiable functions concluded in 0.172486148 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.012707884 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.016580617 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 6.7369e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000232148 [ Info: Selecting generators in 0.094843839 [ Info: Inclusion checked with probability 0.995 in 0.018890207 seconds [ Info: The search for identifiable functions concluded in 0.561139551 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.013445127 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.017923396 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 7.338e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000215818 [ Info: Selecting generators in 0.089116512 [ Info: Inclusion checked with probability 0.995 in 0.021278065 seconds [ Info: The search for identifiable functions concluded in 0.59730226 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.013979212 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.016417589 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 7.174e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000192979 [ Info: Selecting generators in 0.096528154 [ Info: Inclusion checked with probability 0.995 in 0.019798148 seconds [ Info: The search for identifiable functions concluded in 0.600329041 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 1.422707915 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.020924928 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 6.7629e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.104026576 [ Info: Selecting generators in 0.106873709 [ Info: Inclusion checked with probability 0.995 in 0.018884977 seconds [ Info: The search for identifiable functions concluded in 2.222316358 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.013362828 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.016636887 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 8.208e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.11006699 [ Info: Selecting generators in 0.107061758 [ Info: Inclusion checked with probability 0.995 in 0.018684999 seconds [ Info: The search for identifiable functions concluded in 0.715482395 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.010274915 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.017613268 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 8.9539e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.615996282 [ Info: Selecting generators in 0.09807652 [ Info: Inclusion checked with probability 0.995 in 0.018979246 seconds [ Info: The search for identifiable functions concluded in 2.215937976 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 5.740097435 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.070146167 seconds [ Info: Dimensions of the Wronskians [34, 2] [ Info: Ranks of the Wronskians computed in 8.6349e-5 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: 8   ⌝ # Computing specializations.. Time: 0:00:00 Points: 14   ⌟ # Computing specializations.. Time: 0:00:01 Points: 22   ⌞ # Computing specializations.. Time: 0:00:01 Points: 30   ⌜ # Computing specializations.. Time: 0:00:01 Points: 38   ⌝ # Computing specializations.. Time: 0:00:02 Points: 46   ⌟ # Computing specializations.. Time: 0:00:02 Points: 54   ⌞ # Computing specializations.. Time: 0:00:03 Points: 61   ⌜ # Computing specializations.. Time: 0:00:03 Points: 67   ⌝ # Computing specializations.. Time: 0:00:03 Points: 75   ⌟ # Computing specializations.. Time: 0:00:04 Points: 83   ⌞ # Computing specializations.. Time: 0:00:04 Points: 91   ✓ # Computing specializations.. Time: 0:00:05 ⌜ # 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: 4   ⌝ # Computing specializations.. Time: 0:00:00 Points: 12   ⌟ # Computing specializations.. Time: 0:00:01 Points: 18   ⌞ # Computing specializations.. Time: 0:00:01 Points: 26   ⌜ # Computing specializations.. Time: 0:00:01 Points: 34   ⌝ # Computing specializations.. Time: 0:00:02 Points: 43   ⌟ # Computing specializations.. Time: 0:00:02 Points: 50   ⌞ # Computing specializations.. Time: 0:00:02 Points: 59   ⌜ # Computing specializations.. Time: 0:00:03 Points: 66   ⌝ # Computing specializations.. Time: 0:00:03 Points: 75   ⌟ # Computing specializations.. Time: 0:00:04 Points: 83   ⌞ # Computing specializations.. Time: 0:00:04 Points: 92   ⌜ # Computing specializations.. Time: 0:00:04 Points: 99   ⌝ # Computing specializations.. Time: 0:00:05 Points: 107   ⌟ # Computing specializations.. Time: 0:00:05 Points: 115   ⌞ # Computing specializations.. Time: 0:00:06 Points: 124   ⌜ # Computing specializations.. Time: 0:00:06 Points: 132   ⌝ # Computing specializations.. Time: 0:00:06 Points: 141   ⌟ # Computing specializations.. Time: 0:00:07 Points: 150   ⌞ # Computing specializations.. Time: 0:00:09 Points: 158   ⌜ # Computing specializations.. Time: 0:00:09 Points: 167   ⌝ # Computing specializations.. Time: 0:00:10 Points: 175   ⌟ # Computing specializations.. Time: 0:00:10 Points: 183   ⌞ # Computing specializations.. Time: 0:00:10 Points: 191   ⌜ # Computing specializations.. Time: 0:00:11 Points: 200   ⌝ # Computing specializations.. Time: 0:00:11 Points: 209   ⌟ # Computing specializations.. Time: 0:00:11 Points: 217   ⌞ # Computing specializations.. Time: 0:00:11 Points: 224   ⌜ # Computing specializations.. Time: 0:00:13 Points: 231   ⌝ # Computing specializations.. Time: 0:00:13 Points: 240   ⌟ # Computing specializations.. Time: 0:00:13 Points: 248   ⌞ # Computing specializations.. Time: 0:00:14 Points: 256   ⌜ # Computing specializations.. Time: 0:00:14 Points: 265   ⌝ # Computing specializations.. Time: 0:00:14 Points: 274   ⌟ # Computing specializations.. Time: 0:00:15 Points: 282   ⌞ # Computing specializations.. Time: 0:00:15 Points: 293   ⌜ # Computing specializations.. Time: 0:00:16 Points: 303   ⌝ # Computing specializations.. Time: 0:00:16 Points: 312   ⌟ # Computing specializations.. Time: 0:00:16 Points: 323   ⌞ # Computing specializations.. Time: 0:00:17 Points: 334   ⌜ # Computing specializations.. Time: 0:00:17 Points: 344   ⌝ # Computing specializations.. Time: 0:00:17 Points: 353   ⌟ # Computing specializations.. Time: 0:00:18 Points: 362   ⌞ # Computing specializations.. Time: 0:00:18 Points: 373   ⌜ # Computing specializations.. Time: 0:00:19 Points: 384   ⌝ # Computing specializations.. Time: 0:00:19 Points: 394   ⌟ # Computing specializations.. Time: 0:00:19 Points: 403   ⌞ # Computing specializations.. Time: 0:00:20 Points: 414   ⌜ # Computing specializations.. Time: 0:00:20 Points: 424   ⌝ # Computing specializations.. Time: 0:00:21 Points: 434   ⌟ # Computing specializations.. Time: 0:00:21 Points: 444   ⌞ # Computing specializations.. Time: 0:00:22 Points: 453   ⌜ # Computing specializations.. Time: 0:00:22 Points: 462   ⌝ # Computing specializations.. Time: 0:00:22 Points: 470   ⌟ # Computing specializations.. Time: 0:00:23 Points: 478   ⌞ # Computing specializations.. Time: 0:00:23 Points: 487   ⌜ # Computing specializations.. Time: 0:00:23 Points: 494   ⌝ # Computing specializations.. Time: 0:00:24 Points: 503   ⌟ # Computing specializations.. Time: 0:00:24 Points: 511   ⌞ # Computing specializations.. Time: 0:00:25 Points: 520   ⌜ # Computing specializations.. Time: 0:00:25 Points: 529   ⌝ # Computing specializations.. Time: 0:00:27 Points: 537   ⌟ # Computing specializations.. Time: 0:00:27 Points: 546   ⌞ # Computing specializations.. Time: 0:00:28 Points: 554   ⌜ # Computing specializations.. Time: 0:00:28 Points: 562   ⌝ # Computing specializations.. Time: 0:00:28 Points: 570   ⌟ # Computing specializations.. Time: 0:00:29 Points: 579   ⌞ # Computing specializations.. Time: 0:00:29 Points: 588   ⌜ # Computing specializations.. Time: 0:00:29 Points: 597   ⌝ # Computing specializations.. Time: 0:00:30 Points: 604   ⌟ # Computing specializations.. Time: 0:00:30 Points: 612   ⌞ # Computing specializations.. Time: 0:00:31 Points: 619   ⌜ # Computing specializations.. Time: 0:00:31 Points: 628   ⌝ # Computing specializations.. Time: 0:00:32 Points: 636   ✓ # Computing specializations.. Time: 0:00:32 [ Info: Search for polynomial generators concluded in 0.000281488 [ Info: Selecting generators in 0.036880631 [ Info: Inclusion checked with probability 0.995 in 8.131649713 seconds [ Info: The search for identifiable functions concluded in 68.576924651 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 2.419075713 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.074859723 seconds [ Info: Dimensions of the Wronskians [34, 2] [ Info: Ranks of the Wronskians computed in 9.0119e-5 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: 9   ⌝ # Computing specializations.. Time: 0:00:02 Points: 16   ⌟ # Computing specializations.. Time: 0:00:02 Points: 24   ⌞ # Computing specializations.. Time: 0:00:03 Points: 32   ⌜ # Computing specializations.. Time: 0:00:03 Points: 40   ⌝ # Computing specializations.. Time: 0:00:03 Points: 48   ⌟ # Computing specializations.. Time: 0:00:04 Points: 56   ⌞ # Computing specializations.. Time: 0:00:04 Points: 65   ⌜ # Computing specializations.. Time: 0:00:04 Points: 73   ⌝ # Computing specializations.. Time: 0:00:05 Points: 81   ⌟ # Computing specializations.. Time: 0:00:05 Points: 89   ✓ # Computing specializations.. Time: 0:00:05 ====================================================================================== 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 16 running 1 of 1 signal (10): User defined signal 1 unknown function (ip: 0x7dcf26787fac) at /lib/x86_64-linux-gnu/libc.so.6 unknown function (ip: 0x7dcf267883f1) at /lib/x86_64-linux-gnu/libc.so.6 realloc at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) ijl_gc_counted_realloc_with_old_size at /source/src/gc-stock.c:3854:18 flint_realloc at /workspace/srcdir/flint-3.4.0/src/generic_files/memory_manager.c:107:17 _nmod_mpoly_fit_length at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly.h:314:27 [inlined] nmod_mpoly_fit_length at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/fit_length.c:22:5 nmod_mpoly_to_univar at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/univar.c:276:13 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1008:5 _nmod_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1851:19 _nmod_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2251:16 nmod_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2277:12 _nmod_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly_factor/mpolyv.c:153:14 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1016:19 _nmod_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1851:19 _nmod_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2251:16 nmod_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2277:12 _nmod_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly_factor/mpolyv.c:153:14 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1016:19 _nmod_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1851:19 _nmod_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2251:16 nmod_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2277:12 _nmod_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly_factor/mpolyv.c:153:14 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1016:19 _nmod_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1851:19 _nmod_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2251:16 nmod_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2277:12 gcd at /home/pkgeval/.julia/packages/Nemo/xSaoQ/src/flint/nmod_mpoly.jl:351:32 // at /home/pkgeval/.julia/packages/AbstractAlgebra/XwOtf/src/Fraction.jl:50:15 derivative at /home/pkgeval/.julia/packages/AbstractAlgebra/XwOtf/src/Fraction.jl:661:25 derivative at /home/pkgeval/.julia/packages/AbstractAlgebra/XwOtf/src/Fraction.jl:654:4 [inlined] _check_algebraicity at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:138:102 check_algebraicity_modp at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:214:36 [inlined] issubfield_mod_p at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:284:6 issubfield_mod_p at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:284:7 [inlined] #groebner_basis_coeffs#135 at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:147:665 groebner_basis_coeffs at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:147:46 unknown function (ip: 0x7dcedb1ea1c1) at (unknown file) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 #simplified_generating_set#137 at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:319:328 simplified_generating_set at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:319:66 unknown function (ip: 0x7dcecfde4324) at (unknown file) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 #_find_identifiable_functions#243 at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/src/identifiable_functions.jl:119:198 _find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/src/identifiable_functions.jl:85:53 [inlined] #241 at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/src/identifiable_functions.jl:62:17 with_logstate at ./logging/logging.jl:542:15 with_logger at ./logging/logging.jl:653:5 [inlined] #find_identifiable_functions#239 at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/src/identifiable_functions.jl:60:24 [inlined] find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/src/identifiable_functions.jl:48:99 unknown function (ip: 0x7dcecfde3730) at (unknown file) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 jl_apply at /source/src/julia.h:2327: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:581:35 eval_body at /source/src/interpreter.c:550:21 eval_body at /source/src/interpreter.c:558:21 eval_body at /source/src/interpreter.c:558:21 eval_body at /source/src/interpreter.c:558:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884: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:3 include_string at ./loading.jl:3113:145 _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 _include at ./loading.jl:3173:45 include at ./Base.jl:327:3 IncludeInto at ./Base.jl:328:4 unknown function (ip: 0x7dcf0af10ee2) at (unknown file) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/test/runtests.jl:157:3 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2246:17 [inlined] macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/test/runtests.jl:155:17 [inlined] macro expansion at ./timing.jl:739:25 [inlined] top-level scope at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/test/runtests.jl:154:484 jl_invoke_oneshot at /source/src/gf.c:4148: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:3 include_string at ./loading.jl:3113:145 _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 _include at ./loading.jl:3173:45 include at ./Base.jl:327:3 IncludeInto at ./Base.jl:328:4 jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 jl_apply at /source/src/julia.h:2327: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:693:13 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884: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:3 exec_options at ./client.jl:318:410 _start at ./client.jl:593:36 jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 jl_apply at /source/src/julia.h:2327: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: 0x7dcf26717249) 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) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ⌜ # Computing specializations.. Time: 0:00:00 ====================================================================================== 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 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /source/src/scheduler.c:457:34 wait at ./task.jl:1246:50 wait_forever at ./task.jl:1168:5 jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 jl_apply at /source/src/julia.h:2327: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 ============================================================== ┌ 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 0x00007dcf0c1fc010 Total snapshots: 117. Utilization: 100% ╎111 @Base/client.jl:593 _start() ╎ 111 @Base/client.jl:318 exec_options(opts::Base.JLOptions) ╎ 111 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ 111 @Base/Base.jl:328 (::Base.IncludeInto)(fname::String) ╎ 111 @Base/Base.jl:327 include(mapexpr::Function, mod::Module, _path::St… ╎ 111 @Base/loading.jl:3173 _include(mapexpr::Function, mod::Module, _pa… ╎ ╎ 111 @Base/loading.jl:3113 include_string(mapexpr::typeof(identity), m… ╎ ╎ 111 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ ╎ 111 @StructuralIdentifiability/…:154 top-level scope ╎ ╎ 111 @Base/timing.jl:739 macro expansion ╎ ╎ 111 @StructuralIdentifiability/…:155 macro expansion ╎ ╎ ╎ 111 @Test/src/Test.jl:2246 macro expansion ╎ ╎ ╎ 111 @StructuralIdentifiability/…:157 macro expansion ╎ ╎ ╎ 111 @Base/Base.jl:328 (::Base.IncludeInto)(fname::String) ╎ ╎ ╎ 111 @Base/Base.jl:327 include(mapexpr::Function, mod::Module,… ╎ ╎ ╎ 111 @Base/loading.jl:3173 _include(mapexpr::Function, mod::M… ╎ ╎ ╎ ╎ 111 @Base/loading.jl:3113 include_string(mapexpr::typeof(id… ╎ ╎ ╎ ╎ 111 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ ╎ ╎ ╎ 111 @StructuralIdentifiability/…:48 kwcall(::@NamedTuple{… ╎ ╎ ╎ ╎ 111 @StructuralIdentifiability/…:60 #find_identifiable_f… ╎ ╎ ╎ ╎ 111 @Base/…ogging.jl:653 with_logger ╎ ╎ ╎ ╎ ╎ 111 @Base/…gging.jl:542 with_logstate(f::StructuralIde… ╎ ╎ ╎ ╎ ╎ 111 @StructuralIdentifiability/…:62 (::StructuralIden… ╎ ╎ ╎ ╎ ╎ 111 @StructuralIdentifiability/…:85 _find_identifiab… ╎ ╎ ╎ ╎ ╎ 111 @StructuralIdentifiability/…:119 _find_identifi… ╎ ╎ ╎ ╎ ╎ 111 @RationalFunctionFields/…:319 kwcall(::@NamedT… ╎ ╎ ╎ ╎ ╎ ╎ 111 @RationalFunctionFields/…:319 simplified_gene… ╎ ╎ ╎ ╎ ╎ ╎ 111 @RationalFunctionFields/…:147 kwcall(::@Name… ╎ ╎ ╎ ╎ ╎ ╎ 111 @RationalFunctionFields/…:147 groebner_basi… ╎ ╎ ╎ ╎ ╎ ╎ 111 @RationalFunctionFields/…:284 issubfield_m… ╎ ╎ ╎ ╎ ╎ ╎ 111 @RationalFunctionFields/…:284 issubfield_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 111 @RationalFunctionFields/…:214 check_alge… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 7 @RationalFunctionFields/…:136 _check_al… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 7 @RationalFunctionFields/…:247 first(a:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 7 @RationalFunctionFields/…:253 getinde… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @AbstractAlgebra/…:50 //(x::fpMPolyR… 5╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @Nemo/…ly.jl:351 gcd(a::fpMPolyRing… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @RationalFunctionFields/…:197 parent… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @RationalFunctionFields/…:244 paren… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:964 materialize!(dest… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…es.jl:1545 fpMPolyRingElem… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:835 sort_terms!(a::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 104 @RationalFunctionFields/…:138 _check_al… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 104 @AbstractAlgebra/…:654 vcat(::Vector{A… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 104 @AbstractAlgebra/…:661 derivative(f::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 92 @AbstractAlgebra/…:50 //(x::fpMPolyR… 91╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 92 @Nemo/…ly.jl:351 gcd(a::fpMPolyRing… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 4 @AbstractAlgebra/…:51 //(x::fpMPolyR… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 4 @Nemo/…ly.jl:520 divexact ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 4 @Nemo/…ly.jl:522 #divexact#350 4╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 4 @Nemo/…ly.jl:481 divides(a::fpMPo… 8╎ ╎ ╎ ╎ ╎ ╎ ╎ 8 @Nemo/…ly.jl:260 *(a::fpMPolyRingEle… ✓ # Computing specializations.. Time: 0:00:09 ⌜ # Computing specializations.. Time: 0:00:00 ⌝ # Computing specializations.. Time: 0:00:00 ⌟ # Computing specializations.. Time: 0:00:01 ⌞ # Computing specializations.. Time: 0:00:01┌ 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 0x000077f9ce58ba30 Total snapshots: 354. Utilization: 0% ╎354 @Base/task.jl:1168 wait_forever() 353╎ 354 @Base/task.jl:1246 wait() ✓ # Computing specializations.. Time: 0:00:01 ⌜ # Computing specializations.. Time: 0:00:00 Points: 8   ⌝ # Computing specializations.. Time: 0:00:00 Points: 13   ⌟ # Computing specializations.. Time: 0:00:01 Points: 21   ⌞ # Computing specializations.. Time: 0:00:01 Points: 29   ⌜ # Computing specializations.. Time: 0:00:01 Points: 37   ⌝ # Computing specializations.. Time: 0:00:02 Points: 43   ⌟ # Computing specializations.. Time: 0:00:02 Points: 51   ⌞ # Computing specializations.. Time: 0:00:03 Points: 59   ⌜ # Computing specializations.. Time: 0:00:03 Points: 66   ⌝ # Computing specializations.. Time: 0:00:03 Points: 74   ⌟ # Computing specializations.. Time: 0:00:04 Points: 82   ⌞ # Computing specializations.. Time: 0:00:04 Points: 88   ⌜ # Computing specializations.. Time: 0:00:04 Points: 96   ⌝ # Computing specializations.. Time: 0:00:05 Points: 104   ⌟ # Computing specializations.. Time: 0:00:05 Points: 113   ⌞ # Computing specializations.. Time: 0:00:06 Points: 121  [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 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /source/src/scheduler.c:457:34 wait at ./task.jl:1246:50 wait_forever at ./task.jl:1168:5 jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 jl_apply at /source/src/julia.h:2327:12 [inlined] start_task at /source/src/task.c:1275:19 unknown function (ip: (nil)) at (unknown file) Allocations: 20080994 (Pool: 20080279; Big: 715); GC: 15 [16] signal 15: Terminated in expression starting at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/test/identifiable_functions.jl:1149 sweep_finalizer_list at /source/src/gc-stock.c:2911:59 _jl_gc_collect at /source/src/gc-stock.c:3119:17 ijl_gc_collect at /source/src/gc-stock.c:3526:13 maybe_collect at /source/src/gc-stock.c:357:9 [inlined] jl_gc_small_alloc_inner at /source/src/gc-stock.c:734:5 ijl_gc_small_alloc at /source/src/gc-stock.c:783:23 Array at ./boot.jl:715:11 [inlined] Array at ./boot.jl:727:4 [inlined] Array at ./boot.jl:735:6 [inlined] similar at ./abstractarray.jl:873:3 [inlined] similar at ./array.jl:414:5 [inlined] similar at ./abstractarray.jl:872:5 [inlined] _array_for_inner at ./array.jl:706:6 [inlined] collect at ./array.jl:838:78 [inlined] exponent_vector at /home/pkgeval/.julia/packages/Nemo/xSaoQ/src/flint/mpoly.jl:39:13 iterate at /home/pkgeval/.julia/packages/AbstractAlgebra/XwOtf/src/generic/MPoly.jl:861:31 [inlined] copyto! at ./abstractarray.jl:949:34 _collect at ./array.jl:770:8 [inlined] collect at ./array.jl:764:8 [inlined] io_extract_monoms_ir at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/input_output/AbstractAlgebra.jl:173:111 unknown function (ip: 0x7dcf089c3376) at (unknown file) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 io_convert_polynomials_to_ir at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/input_output/AbstractAlgebra.jl:16:50 groebner_apply0! at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/groebner/learn_apply.jl:128:5 #groebner_apply!#206 at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/interface.jl:403:6 [inlined] groebner_apply! at /home/pkgeval/.julia/packages/Groebner/Q7HGS/src/interface.jl:401:4 unknown function (ip: 0x7dcf089ee53a) at (unknown file) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 interpolate_exponents! at /home/pkgeval/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:459:946 _paramgb at /home/pkgeval/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:166:23 #paramgb#63 at /home/pkgeval/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:108:441 paramgb at /home/pkgeval/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:65:4 [inlined] #groebner_basis_coeffs#135 at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:147:316 groebner_basis_coeffs at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:147:46 unknown function (ip: 0x7dcedb1ea1c1) at (unknown file) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 #simplified_generating_set#137 at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:319:328 simplified_generating_set at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:319:66 unknown function (ip: 0x7dcecfde4324) at (unknown file) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 #_find_identifiable_functions#243 at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/src/identifiable_functions.jl:119:198 _find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/src/identifiable_functions.jl:85:53 [inlined] #241 at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/src/identifiable_functions.jl:62:17 with_logstate at ./logging/logging.jl:542:15 with_logger at ./logging/logging.jl:653:5 [inlined] #find_identifiable_functions#239 at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/src/identifiable_functions.jl:60:24 [inlined] find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/src/identifiable_functions.jl:48:99 unknown function (ip: 0x7dcecfde3730) at (unknown file) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 jl_apply at /source/src/julia.h:2327: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:581:35 eval_body at /source/src/interpreter.c:550:21 eval_body at /source/src/interpreter.c:558:21 eval_body at /source/src/interpreter.c:558:21 eval_body at /source/src/interpreter.c:558:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884: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:3 include_string at ./loading.jl:3113:145 _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 _include at ./loading.jl:3173:45 include at ./Base.jl:327:3 IncludeInto at ./Base.jl:328:4 unknown function (ip: 0x7dcf0af10ee2) at (unknown file) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/test/runtests.jl:157:3 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2246:17 [inlined] macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/test/runtests.jl:155:17 [inlined] macro expansion at ./timing.jl:739:25 [inlined] top-level scope at /home/pkgeval/.julia/packages/StructuralIdentifiability/qWvNV/test/runtests.jl:154:484 jl_invoke_oneshot at /source/src/gf.c:4148: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:3 include_string at ./loading.jl:3113:145 _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 _include at ./loading.jl:3173:45 include at ./Base.jl:327:3 IncludeInto at ./Base.jl:328:4 jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 jl_apply at /source/src/julia.h:2327: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:693:13 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884: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:3 exec_options at ./client.jl:318:410 _start at ./client.jl:593:36 jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113:23 [inlined] ijl_apply_generic at /source/src/gf.c:4339:12 jl_apply at /source/src/julia.h:2327: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: 0x7dcf26717249) 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: 704560512 (Pool: 704557407; Big: 3105); GC: 241 PkgEval terminated after 2722.4s: test duration exceeded the time limit