Package evaluation to test StructuralIdentifiability on Julia 1.14.0-DEV.2407 (ce8c59448a*) started at 2026-06-18T16:27:24.967 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.25s ################################################################################ # Installation # Installing StructuralIdentifiability... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [220ca800] + StructuralIdentifiability v0.5.21 Updating `~/.julia/environments/v1.14/Manifest.toml` ⌅ [c3fe647b] + AbstractAlgebra v0.48.6 [a9b6321e] + Atomix v1.1.3 [861a8166] + Combinatorics v1.1.0 [864edb3b] + DataStructures v0.19.5 [e2ba6199] + ExprTools v0.1.10 [0b43b601] + Groebner v0.10.3 [18e54dd8] + IntegerMathUtils v0.1.3 [c8e1da08] + IterTools v1.10.0 [692b3bcd] + JLLWrappers v1.8.0 [1914dd2f] + MacroTools v0.5.16 ⌅ [2edaba10] + Nemo v0.54.2 ⌅ [bac558e1] + OrderedCollections v1.8.2 [3e851597] + ParamPunPam v0.5.7 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [27ebfcd6] + Primes v0.5.7 [92933f4c] + ProgressMeter v1.11.0 [fb686558] + RandomExtensions v0.4.4 [73480bc8] + RationalFunctionFields v0.3.1 [220ca800] + StructuralIdentifiability v0.5.21 [a759f4b9] + TimerOutputs v0.5.29 [013be700] + UnsafeAtomics v0.3.1 ⌅ [e134572f] + FLINT_jll v301.400.1+0 [656ef2d0] + OpenBLAS32_jll v0.3.33+1 [56f22d72] + Artifacts v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.3+0 [781609d7] + GMP_jll v6.3.0+2 [3a97d323] + MPFR_jll v4.2.2+0 [4536629a] + OpenBLAS_jll v0.3.33+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 5.41s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 2.0 s ✓ FLINT_jll 103.7 s ✓ AbstractAlgebra 33.4 s ✓ Nemo 8.3 s ✓ AbstractAlgebra → TestExt 134.6 s ✓ Groebner 14.0 s ✓ ParamPunPam 14.6 s ✓ RationalFunctionFields 16.3 s ✓ StructuralIdentifiability 8 dependencies successfully precompiled in 327 seconds. 69 already precompiled. Precompilation completed after 354.21s ################################################################################ # Testing # Testing StructuralIdentifiability Status `/tmp/jl_v4Q3Et/Project.toml` ⌅ [c3fe647b] AbstractAlgebra v0.48.6 [4c88cf16] Aqua v0.8.16 [2a0fbf3d] CPUSummary v0.2.7 [861a8166] Combinatorics v1.1.0 [864edb3b] DataStructures v0.19.5 [0b43b601] Groebner v0.10.3 [c8e1da08] IterTools v1.10.0 [1914dd2f] MacroTools v0.5.16 ⌅ [2edaba10] Nemo v0.54.2 [3e851597] ParamPunPam v0.5.7 [aea7be01] PrecompileTools v1.3.4 [27ebfcd6] Primes v0.5.7 [73480bc8] RationalFunctionFields v0.3.1 [276daf66] SpecialFunctions v2.8.0 [220ca800] StructuralIdentifiability v0.5.21 ⌅ [98d24dd4] TestSetExtensions v3.0.0 [a759f4b9] TimerOutputs v0.5.29 [ade2ca70] Dates v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [44cfe95a] Pkg v1.14.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_v4Q3Et/Manifest.toml` ⌅ [c3fe647b] AbstractAlgebra v0.48.6 [4c88cf16] Aqua v0.8.16 [a9b6321e] Atomix v1.1.3 [2a0fbf3d] CPUSummary v0.2.7 [861a8166] Combinatorics v1.1.0 [f70d9fcc] CommonWorldInvalidations v1.0.0 [34da2185] Compat v4.18.1 [adafc99b] CpuId v0.3.1 [864edb3b] DataStructures v0.19.5 [ab62b9b5] DeepDiffs v1.2.0 [ffbed154] DocStringExtensions v0.9.5 [e2ba6199] ExprTools v0.1.10 [0b43b601] Groebner v0.10.3 [615f187c] IfElse v0.1.1 [18e54dd8] IntegerMathUtils v0.1.3 [92d709cd] IrrationalConstants v0.2.6 [c8e1da08] IterTools v1.10.0 [692b3bcd] JLLWrappers v1.8.0 [2ab3a3ac] LogExpFunctions v1.0.1 [1914dd2f] MacroTools v0.5.16 ⌅ [2edaba10] Nemo v0.54.2 ⌅ [bac558e1] OrderedCollections v1.8.2 [3e851597] ParamPunPam v0.5.7 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [27ebfcd6] Primes v0.5.7 [92933f4c] ProgressMeter v1.11.0 [fb686558] RandomExtensions v0.4.4 [73480bc8] RationalFunctionFields v0.3.1 [431bcebd] SciMLPublic v1.0.1 [276daf66] SpecialFunctions v2.8.0 [aedffcd0] Static v1.4.0 [220ca800] StructuralIdentifiability v0.5.21 ⌅ [98d24dd4] TestSetExtensions v3.0.0 [a759f4b9] TimerOutputs v0.5.29 [013be700] UnsafeAtomics v0.3.1 ⌅ [e134572f] FLINT_jll v301.400.1+0 [656ef2d0] OpenBLAS32_jll v0.3.33+1 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [0dad84c5] ArgTools v1.2.0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.3+0 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.20.0+1 [e37daf67] LibGit2_jll v1.9.4+0 [29816b5a] LibSSH2_jll v1.11.101+0 [3a97d323] MPFR_jll v4.2.2+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [4536629a] OpenBLAS_jll v0.3.33+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.7+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.43.0 Updating `/tmp/jl_v4Q3Et/Project.toml` ⌅ [861a8166] ↓ Combinatorics v1.1.0 ⇒ v1.0.2 [loaded: v1.1.0] [961ee093] + ModelingToolkit v11.26.8 Updating `/tmp/jl_v4Q3Et/Manifest.toml` [47edcb42] + ADTypes v1.22.0 [14f7f29c] + AMD v0.5.3 [6e696c72] + AbstractPlutoDingetjes v1.4.0 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.44 [79e6a3ab] + Adapt v4.6.1 [ec485272] + ArnoldiMethod v0.4.0 [4fba245c] + ArrayInterface v7.25.0 [4c555306] + ArrayLayouts v1.12.2 [aae01518] + BandedMatrices v1.11.0 [e2ed5e7c] + Bijections v0.2.2 [caf10ac8] + BipartiteGraphs v0.1.7 [8e7c35d0] + BlockArrays v1.9.3 [70df07ce] + BracketingNonlinearSolve v1.12.1 ⌅ [861a8166] ↓ Combinatorics v1.1.0 ⇒ v1.0.2 [loaded: v1.1.0] [38540f10] + CommonSolve v0.2.7 [bbf7d656] + CommonSubexpressions v0.3.1 [b152e2b5] + CompositeTypes v0.1.4 [a33af91c] + CompositionsBase v0.1.2 [2569d6c7] + ConcreteStructs v0.2.4 [187b0558] + ConstructionBase v1.6.0 [2b5f629d] + DiffEqBase v7.5.5 [459566f4] + DiffEqCallbacks v4.18.0 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.16.0 [a0c0ee7d] + DifferentiationInterface v0.7.18 [5b8099bc] + DomainSets v0.8.0 [7c1d4256] + DynamicPolynomials v0.6.6 [4e289a0a] + EnumX v1.0.7 [f151be2c] + EnzymeCore v0.8.20 [55351af7] + ExproniconLite v0.10.14 [7034ab61] + FastBroadcast v1.3.2 [9aa1b823] + FastClosures v0.3.2 [a4df4552] + FastPower v1.3.1 [1a297f60] + FillArrays v1.16.0 ⌅ [64ca27bc] + FindFirstFunctions v2.1.0 [6a86dc24] + FiniteDiff v2.31.0 [f6369f11] + ForwardDiff v1.4.1 [a85aefff] + FunctionMaps v0.1.2 [069b7b12] + FunctionWrappers v1.1.3 [77dc65aa] + FunctionWrappersWrappers v1.9.1 [46192b85] + GPUArraysCore v0.2.0 [86223c79] + Graphs v1.14.0 [3263718b] + ImplicitDiscreteSolve v2.1.0 [d25df0c9] + Inflate v0.1.5 [8197267c] + IntervalSets v0.7.14 [3587e190] + InverseFunctions v0.1.17 [82899510] + IteratorInterfaceExtensions v1.0.0 [ae98c720] + Jieko v0.2.1 [ccbc3e58] + JumpProcesses v9.29.0 [ba0b0d4f] + Krylov v0.10.6 [87fe0de2] + LineSearch v0.1.9 [7ed4a6bd] + LinearSolve v3.85.2 [e6f89c97] + LoggingExtras v1.2.0 [bb5d69b7] + MaybeInplace v0.1.4 [961ee093] + ModelingToolkit v11.26.8 [7771a370] + ModelingToolkitBase v1.43.0 [6bb917b9] + ModelingToolkitTearing v1.14.2 [2e0e35c7] + Moshi v0.3.8 [46d2c3a1] + MuladdMacro v0.2.4 [102ac46a] + MultivariatePolynomials v0.5.19 [d8a4904e] + MutableArithmetics v1.8.0 [77ba4419] + NaNMath v1.1.4 [be0214bd] + NonlinearSolveBase v2.31.0 [5959db7a] + NonlinearSolveFirstOrder v2.1.1 [6fe1bfb0] + OffsetArrays v1.17.0 [bbf590c4] + OrdinaryDiffEqCore v4.3.0 [e409e4f3] + PoissonRandom v0.4.9 [d236fae5] + PreallocationTools v1.2.0 [0c0d3e7f] + PureKLU v1.0.1 [988b38a3] + ReadOnlyArrays v0.2.0 [795d4caa] + ReadOnlyDicts v1.0.1 [3cdcf5f2] + RecipesBase v1.3.4 [731186ca] + RecursiveArrayTools v4.3.1 [189a3867] + Reexport v1.2.2 [7e49a35a] + RuntimeGeneratedFunctions v0.5.19 [9dfe8606] + SCCNonlinearSolve v1.13.0 [0bca4576] + SciMLBase v3.21.0 [19f34311] + SciMLJacobianOperators v0.1.13 [a6db7da4] + SciMLLogging v2.0.0 [c0aeaf25] + SciMLOperators v1.22.0 [53ae85a6] + SciMLStructures v1.10.0 [efcf1570] + Setfield v1.1.2 [727e6d20] + SimpleNonlinearSolve v2.12.0 [699a6c99] + SimpleTraits v0.9.6 [a57abbd0] + SparseColumnPivotedQR v2.1.1 [0c0c59c1] + StarAlgebras v0.3.0 [64909d44] + StateSelection v1.10.0 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [2efcf032] + SymbolicIndexingInterface v0.3.48 [19f23fe9] + SymbolicLimits v1.1.0 [d1185830] + SymbolicUtils v4.35.2 [0c5d862f] + Symbolics v7.28.0 [ed4db957] + TaskLocalValues v0.1.3 [8ea1fca8] + TermInterface v2.0.0 [781d530d] + TruncatedStacktraces v1.4.0 [3a884ed6] + UnPack v1.0.2 [d30d5f5c] + WeakCacheSets v0.1.0 [1d5cc7b8] + IntelOpenMP_jll v2025.2.0+0 [856f044c] + MKL_jll v2025.2.0+0 [1317d2d5] + oneTBB_jll v2022.3.0+0 [9fa8497b] + Future v1.11.0 [4af54fe1] + LazyArtifacts v1.11.0 [3fa0cd96] + REPL v1.11.0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Updating `/tmp/jl_v4Q3Et/Project.toml` [0c5d862f] + Symbolics v7.28.0 Manifest No packages added to or removed from `/tmp/jl_v4Q3Et/Manifest.toml` WARNING: @nospecialize annotation only supported on the first 32 arguments. 1 dependency had output during precompilation: ┌ ModelingToolkitBase │ WARNING: @nospecialize annotation only supported on the first 32 arguments. └ [ 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 44.0s [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y ┌ Warning: New variable c, treating as a scalar parameter └ @ StructuralIdentifiability ~/.julia/packages/StructuralIdentifiability/31snG/src/pb_representation.jl:94 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: a [ Info: Inputs: u [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: a [ Info: Parameters: b [ Info: Inputs: c [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: a, b [ Info: Parameters: k1, k2 [ Info: Inputs: c [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y [ Info: Parameters: a, b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y [ Info: Parameters: a, b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y [ Info: Parameters: a, b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y [ Info: Parameters: a, b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: u [ Info: Outputs: y 2.177838 seconds (801.56 k allocations: 46.559 MiB, 99.60% compilation time) 0.001416 seconds (6.67 k allocations: 287.969 KiB) 0.001923 seconds (10.77 k allocations: 482.969 KiB) 0.001916 seconds (10.73 k allocations: 477.500 KiB) 0.002548 seconds (14.45 k allocations: 631.281 KiB) 0.001301 seconds (7.92 k allocations: 359.055 KiB) 0.000949 seconds (7.44 k allocations: 300.094 KiB) 15.310922 seconds (5.17 M allocations: 313.216 MiB, 1.47% gc time, 99.10% 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.321647 seconds (82.19 k allocations: 5.267 MiB, 98.54% compilation time) [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: [ Info: Inputs: u [ Info: Outputs: y 0.012006 seconds (8.04 k allocations: 454.727 KiB, 92.43% 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.00252378 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 1.872914398 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 0.056358667 seconds [ Info: Global identifiability assessed in 55.926766696 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.002813139 seconds [ Info: No parameters, so Wronskian computation is not needed [ Info: Global identifiability assessed in 0.865878298 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Global identifiability assessed in 5.044e-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.037729738 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.49581597 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 4.436e-5 seconds [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:16 ✓ # Computing specializations.. Time: 0:00:18 [ Info: Search for polynomial generators concluded in 17.148898678 [ Info: Selecting generators in 0.013797219 [ Info: Inclusion checked with probability 0.9955 in 0.064439576 seconds [ Info: Global identifiability assessed in 112.944401268 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 1.710286928 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 1.834373151 seconds [ Info: Dimensions of the Wronskians [676] [ Info: Ranks of the Wronskians computed in 0.099665244 seconds [ Info: Global identifiability assessed in 44.648059939 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.014751159 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.029036618 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00032462 seconds [ Info: Global identifiability assessed in 0.075810015 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 8.741452449 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00354694 seconds [ Info: Dimensions of the Wronskians [2, 3, 2] [ Info: Ranks of the Wronskians computed in 2.348e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.935746124 [ Info: Selecting generators in 0.00030194 [ Info: Inclusion checked with probability 0.9955 in 0.00286438 seconds [ Info: Global identifiability assessed in 11.096253729 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00234781 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00160231 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.215e-5 seconds [ Info: Global identifiability assessed in 0.00691322 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00252038 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001892419 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.303e-5 seconds [ Info: Global identifiability assessed in 0.007933809 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.005146649 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00423813 seconds [ Info: Dimensions of the Wronskians [6] [ Info: Ranks of the Wronskians computed in 2.124e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.17510197 [ Info: Selecting generators in 0.015784909 [ Info: Inclusion checked with probability 0.9955 in 0.00556009 seconds [ Info: Global identifiability assessed in 2.448858344 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.008747579 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00358813 seconds [ Info: Dimensions of the Wronskians [2, 5] [ Info: Ranks of the Wronskians computed in 3.316e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00885823 [ Info: Selecting generators in 0.004379239 [ Info: Inclusion checked with probability 0.9955 in 0.00418453 seconds [ Info: Global identifiability assessed in 0.053838987 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.0020331 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00164325 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.929e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00014678 [ Info: Selecting generators in 1.298483943 [ Info: Inclusion checked with probability 0.995 in 0.00254175 seconds [ Info: The search for identifiable functions concluded in 2.677705181 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.00221633 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001699079 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.234e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.872e-5 [ Info: Selecting generators in 0.00086868 [ Info: Inclusion checked with probability 0.995 in 0.00213616 seconds [ Info: The search for identifiable functions concluded in 0.013579949 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.00129891 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001081269 seconds [ Info: Dimensions of the Wronskians [2] [ 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 7.414e-5 [ Info: Selecting generators in 0.00079221 [ Info: Inclusion checked with probability 0.995 in 0.00202964 seconds [ Info: The search for identifiable functions concluded in 0.010937799 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.0012965 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00106065 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.101e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00068573 [ Info: Selecting generators in 0.00080761 [ Info: Inclusion checked with probability 0.995 in 0.00225339 seconds [ Info: The search for identifiable functions concluded in 0.011491549 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.001531109 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00113314 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.062e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00047859 [ Info: Selecting generators in 0.00078439 [ Info: Inclusion checked with probability 0.995 in 0.002183 seconds [ Info: The search for identifiable functions concluded in 0.011384319 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.0012969 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001125059 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.09e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.0004401 [ Info: Selecting generators in 0.00070208 [ Info: Inclusion checked with probability 0.995 in 0.00203482 seconds [ Info: The search for identifiable functions concluded in 0.010768629 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.00181207 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00136372 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.414e-5 seconds [ Info: The search for identifiable functions concluded in 0.044456008 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001857389 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00113663 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.08e-5 seconds [ Info: The search for identifiable functions concluded in 0.004469479 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00173864 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00140892 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.383e-5 seconds [ Info: The search for identifiable functions concluded in 0.00429722 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00156216 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00128509 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.183e-5 seconds [ Info: The search for identifiable functions concluded in 0.00379181 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00155475 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00114588 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.828e-5 seconds [ Info: The search for identifiable functions concluded in 0.00352587 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001566969 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00126821 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.348e-5 seconds [ Info: The search for identifiable functions concluded in 0.003728049 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00190079 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00124606 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.484e-5 seconds [ Info: The search for identifiable functions concluded in 0.00469296 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001823749 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00125037 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.368e-5 seconds [ Info: The search for identifiable functions concluded in 0.004405159 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00186818 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00124536 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.036e-5 seconds [ Info: The search for identifiable functions concluded in 0.00418399 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00179004 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00134044 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.418e-5 seconds [ Info: The search for identifiable functions concluded in 0.00415776 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00177614 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00139343 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.3639e-5 seconds [ Info: The search for identifiable functions concluded in 0.004231959 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00183224 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00124718 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.391e-5 seconds [ Info: The search for identifiable functions concluded in 0.0044855 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.303278992 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00190385 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.125e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.133e-5 [ Info: Selecting generators in 0.00067871 [ Info: Inclusion checked with probability 0.995 in 0.00202342 seconds [ Info: The search for identifiable functions concluded in 0.313401361 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.00270579 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00161734 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.495e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.56e-5 [ Info: Selecting generators in 0.00060378 [ Info: Inclusion checked with probability 0.995 in 0.00218777 seconds [ Info: The search for identifiable functions concluded in 0.012677639 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.00275752 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00161223 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.193e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.916e-5 [ Info: Selecting generators in 0.0006669 [ Info: Inclusion checked with probability 0.995 in 0.0020484 seconds [ Info: The search for identifiable functions concluded in 0.012450749 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.00265186 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00156462 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.547e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00044826 [ Info: Selecting generators in 0.00071812 [ Info: Inclusion checked with probability 0.995 in 0.00198818 seconds [ Info: The search for identifiable functions concluded in 0.012975349 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.00269878 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00161666 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.595e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00045244 [ Info: Selecting generators in 0.00067245 [ Info: Inclusion checked with probability 0.995 in 0.0020102 seconds [ Info: The search for identifiable functions concluded in 0.012918029 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.0025511 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00150242 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.939e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00041671 [ Info: Selecting generators in 0.00067755 [ Info: Inclusion checked with probability 0.995 in 0.00196793 seconds [ Info: The search for identifiable functions concluded in 0.012249469 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.0014767 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00125988 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.463e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.0001284 [ Info: Selecting generators in 0.00206161 [ Info: Inclusion checked with probability 0.995 in 0.00390186 seconds [ Info: The search for identifiable functions concluded in 0.018579529 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.00142147 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00150812 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.452e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00010063 [ Info: Selecting generators in 0.001961619 [ Info: Inclusion checked with probability 0.995 in 0.00377451 seconds [ Info: The search for identifiable functions concluded in 0.018803339 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.00134467 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00122095 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.458e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00010936 [ Info: Selecting generators in 0.00213198 [ Info: Inclusion checked with probability 0.995 in 0.0041633 seconds [ Info: The search for identifiable functions concluded in 0.018831549 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.00160099 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00144274 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.77e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.272621993 [ Info: Selecting generators in 0.00346826 [ Info: Inclusion checked with probability 0.995 in 0.00381428 seconds [ Info: The search for identifiable functions concluded in 0.293699433 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.00149393 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00133448 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.489e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.016723109 [ Info: Selecting generators in 0.003856359 [ Info: Inclusion checked with probability 0.995 in 0.00397645 seconds [ Info: The search for identifiable functions concluded in 0.038212408 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.00141075 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00125701 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.048e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.015163569 [ Info: Selecting generators in 0.00309159 [ Info: Inclusion checked with probability 0.995 in 0.00343294 seconds [ Info: The search for identifiable functions concluded in 0.033270518 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.00128874 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00099968 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.019e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.372e-5 [ Info: Selecting generators in 0.00181886 [ Info: Inclusion checked with probability 0.995 in 0.00293918 seconds [ Info: The search for identifiable functions concluded in 1.169272331 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.00124866 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00099215 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.236e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.812e-5 [ Info: Selecting generators in 0.00214219 [ Info: Inclusion checked with probability 0.995 in 0.00306156 seconds [ Info: The search for identifiable functions concluded in 0.01417409 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.0013661 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00131211 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.274e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.0001018 [ Info: Selecting generators in 0.00220208 [ Info: Inclusion checked with probability 0.995 in 0.00296087 seconds [ Info: The search for identifiable functions concluded in 0.015328649 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.00123905 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00095091 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.845e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.273735113 [ Info: Selecting generators in 0.00264905 [ Info: Inclusion checked with probability 0.995 in 0.00307843 seconds [ Info: The search for identifiable functions concluded in 0.287452043 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.001353959 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00109404 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.092e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00606988 [ Info: Selecting generators in 0.00227054 [ Info: Inclusion checked with probability 0.995 in 0.002841519 seconds [ Info: The search for identifiable functions concluded in 0.019791588 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.00133441 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00111617 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.27e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.005966309 [ Info: Selecting generators in 0.00227013 [ Info: Inclusion checked with probability 0.995 in 0.00294763 seconds [ Info: The search for identifiable functions concluded in 0.019914099 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.002404949 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00153655 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.185e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.757e-5 [ Info: Selecting generators in 0.00057432 [ Info: Inclusion checked with probability 0.995 in 0.00300991 seconds [ Info: The search for identifiable functions concluded in 0.017270449 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.00234955 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00160773 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.076e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.572e-5 [ Info: Selecting generators in 0.00057047 [ Info: Inclusion checked with probability 0.995 in 0.00291303 seconds [ Info: The search for identifiable functions concluded in 0.017116899 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.00225423 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00153427 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.914e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.241e-5 [ Info: Selecting generators in 0.0006146 [ Info: Inclusion checked with probability 0.995 in 0.00322074 seconds [ Info: The search for identifiable functions concluded in 0.017868149 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.00234454 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00155498 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.221e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.007900459 [ Info: Selecting generators in 0.00068946 [ Info: Inclusion checked with probability 0.995 in 0.00290458 seconds [ Info: The search for identifiable functions concluded in 0.025441499 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.00234592 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00153116 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.897e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.008096449 [ Info: Selecting generators in 0.00067282 [ Info: Inclusion checked with probability 0.995 in 0.00295103 seconds [ Info: The search for identifiable functions concluded in 0.025682768 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.00224566 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00161305 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.968e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.0070742 [ Info: Selecting generators in 0.0006961 [ Info: Inclusion checked with probability 0.995 in 0.002935139 seconds [ Info: The search for identifiable functions concluded in 0.023750728 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.00271188 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00185683 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.202e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.525e-5 [ Info: Selecting generators in 0.00294306 [ Info: Inclusion checked with probability 0.995 in 0.00366978 seconds [ Info: The search for identifiable functions concluded in 0.021721639 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.00267074 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00182721 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.158e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.509e-5 [ Info: Selecting generators in 0.00323651 [ Info: Inclusion checked with probability 0.995 in 0.00361972 seconds [ Info: The search for identifiable functions concluded in 0.021854259 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.00264267 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001807229 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.112e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00010159 [ Info: Selecting generators in 0.00348032 [ Info: Inclusion checked with probability 0.995 in 0.003918499 seconds [ Info: The search for identifiable functions concluded in 0.022707488 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.00285111 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00185887 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.078e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.014010879 [ Info: Selecting generators in 0.00317763 [ Info: Inclusion checked with probability 0.995 in 0.00378617 seconds [ Info: The search for identifiable functions concluded in 0.035568948 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.00263208 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00180899 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.897e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.358717838 [ Info: Selecting generators in 0.00431974 [ Info: Inclusion checked with probability 0.995 in 0.00428884 seconds [ Info: The search for identifiable functions concluded in 0.382031218 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.00306701 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00214282 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.858e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.014397769 [ Info: Selecting generators in 0.00301207 [ Info: Inclusion checked with probability 0.995 in 0.00344358 seconds [ Info: The search for identifiable functions concluded in 0.036453578 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.014817589 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00453193 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.878e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00012187 [ Info: Selecting generators in 0.00915062 [ Info: Inclusion checked with probability 0.995 in 0.005846609 seconds [ Info: The search for identifiable functions concluded in 0.310455861 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.006776779 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00445789 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.738e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00011486 [ Info: Selecting generators in 0.008558539 [ Info: Inclusion checked with probability 0.995 in 0.00579362 seconds [ Info: The search for identifiable functions concluded in 0.042986027 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.00723441 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00479496 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.356e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00011104 [ Info: Selecting generators in 0.009346659 [ Info: Inclusion checked with probability 0.995 in 0.00591393 seconds [ Info: The search for identifiable functions concluded in 0.046584478 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.00677533 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004603979 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.874e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00224857 [ Info: Selecting generators in 0.00902876 [ Info: Inclusion checked with probability 0.995 in 0.00657682 seconds [ Info: The search for identifiable functions concluded in 0.048534687 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.0073562 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00500319 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 5.452e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.002114489 [ Info: Selecting generators in 0.00921102 [ Info: Inclusion checked with probability 0.995 in 0.006246999 seconds [ Info: The search for identifiable functions concluded in 0.049233847 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.007115989 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00469029 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.308e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00209262 [ Info: Selecting generators in 0.009167209 [ Info: Inclusion checked with probability 0.995 in 0.00603608 seconds [ Info: The search for identifiable functions concluded in 0.048481937 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.00479994 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00301351 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.541e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.504e-5 [ Info: Selecting generators in 0.0019323 [ Info: Inclusion checked with probability 0.995 in 0.00398794 seconds [ Info: The search for identifiable functions concluded in 0.025500139 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.00480521 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00286064 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.253e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.8e-5 [ Info: Selecting generators in 0.00186477 [ Info: Inclusion checked with probability 0.995 in 0.00392844 seconds [ Info: The search for identifiable functions concluded in 0.025526609 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.004992 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00290525 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.079e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.331e-5 [ Info: Selecting generators in 0.00182105 [ Info: Inclusion checked with probability 0.995 in 0.00374906 seconds [ Info: The search for identifiable functions concluded in 0.025127969 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.00512559 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00323967 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.405e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00129522 [ Info: Selecting generators in 0.00204991 [ Info: Inclusion checked with probability 0.995 in 0.00411438 seconds [ Info: The search for identifiable functions concluded in 0.027767939 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.00521565 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00339815 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.474e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00126165 [ Info: Selecting generators in 0.00200587 [ Info: Inclusion checked with probability 0.995 in 0.00395038 seconds [ Info: The search for identifiable functions concluded in 0.027516788 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.00514046 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003411099 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 3.238e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.0012884 [ Info: Selecting generators in 0.00208991 [ Info: Inclusion checked with probability 0.995 in 0.004193909 seconds [ Info: The search for identifiable functions concluded in 0.028170758 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.00551789 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00343731 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.44e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00011871 [ Info: Selecting generators in 0.00241409 [ Info: Inclusion checked with probability 0.995 in 0.00393825 seconds [ Info: The search for identifiable functions concluded in 0.030619228 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.005239999 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00322853 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.346e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00010663 [ Info: Selecting generators in 0.00250778 [ Info: Inclusion checked with probability 0.995 in 0.00397795 seconds [ Info: The search for identifiable functions concluded in 0.031320048 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.00537575 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00344929 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.496e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00012701 [ Info: Selecting generators in 0.0026747 [ Info: Inclusion checked with probability 0.995 in 0.003945359 seconds [ Info: The search for identifiable functions concluded in 0.031796398 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.00519681 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00341208 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.524e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.021231859 [ Info: Selecting generators in 0.00402976 [ Info: Inclusion checked with probability 0.995 in 0.00405813 seconds [ Info: The search for identifiable functions concluded in 0.070964456 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.00664865 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00349477 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.396e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.020018589 [ Info: Selecting generators in 0.003691889 [ Info: Inclusion checked with probability 0.995 in 0.00379486 seconds [ Info: The search for identifiable functions concluded in 0.054104207 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.004821519 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00316095 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.3e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.017420549 [ Info: Selecting generators in 0.00352179 [ Info: Inclusion checked with probability 0.995 in 0.00370745 seconds [ Info: The search for identifiable functions concluded in 0.047086197 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.00242696 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00164815 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.975e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.289e-5 [ Info: Selecting generators in 0.00145675 [ Info: Inclusion checked with probability 0.995 in 0.002971239 seconds [ Info: The search for identifiable functions concluded in 0.016822019 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.0023258 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00171647 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.186e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.984e-5 [ Info: Selecting generators in 0.00137798 [ Info: Inclusion checked with probability 0.995 in 0.00284384 seconds [ Info: The search for identifiable functions concluded in 0.017132439 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.00229762 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001694799 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.058e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.678e-5 [ Info: Selecting generators in 0.0014332 [ Info: Inclusion checked with probability 0.995 in 0.00298342 seconds [ Info: The search for identifiable functions concluded in 0.016957519 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.00233801 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00168784 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.15e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.011568769 [ Info: Selecting generators in 0.00278914 [ Info: Inclusion checked with probability 0.995 in 0.00311175 seconds [ Info: The search for identifiable functions concluded in 0.029998739 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.00258617 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00193028 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.13e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.012014079 [ Info: Selecting generators in 0.00260061 [ Info: Inclusion checked with probability 0.995 in 0.002935599 seconds [ Info: The search for identifiable functions concluded in 0.031682148 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.00230434 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00182061 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.119e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.01193583 [ Info: Selecting generators in 0.002743379 [ Info: Inclusion checked with probability 0.995 in 0.00298275 seconds [ Info: The search for identifiable functions concluded in 0.030733868 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.013933999 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.029592838 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00036054 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.0001638 [ Info: Selecting generators in 0.018168349 [ Info: Inclusion checked with probability 0.995 in 0.031931938 seconds [ Info: The search for identifiable functions concluded in 16.513684916 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.015065659 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.031091888 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00031733 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00012825 [ Info: Selecting generators in 0.020423489 [ Info: Inclusion checked with probability 0.995 in 0.033680358 seconds [ Info: The search for identifiable functions concluded in 0.188345099 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.015683679 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.035665938 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00031552 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.00012572 [ Info: Selecting generators in 0.017547429 [ Info: Inclusion checked with probability 0.995 in 0.028644678 seconds [ Info: The search for identifiable functions concluded in 0.588879935 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.015081669 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.029957179 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00059092 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.304619033 [ Info: Selecting generators in 0.017874469 [ Info: Inclusion checked with probability 0.995 in 0.030212838 seconds [ Info: The search for identifiable functions concluded in 1.476322392 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.014430669 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.029688598 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00036656 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.055541967 [ Info: Selecting generators in 0.017675469 [ Info: Inclusion checked with probability 0.995 in 0.030049809 seconds [ Info: The search for identifiable functions concluded in 0.219364947 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.016672199 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.035504808 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00033283 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.057119787 [ Info: Selecting generators in 0.017348509 [ Info: Inclusion checked with probability 0.995 in 0.027408828 seconds [ Info: The search for identifiable functions concluded in 0.229850646 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 2.703723689 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.250758458 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.205711488 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 ⌜ # Computing specializations.. Time: 0:00:00 Points: 5   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.00015368 [ Info: Selecting generators in 1.703277509 [ Info: Inclusion checked with probability 0.995 in 2.421004266 seconds [ Info: The search for identifiable functions concluded in 19.79528079 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.67929237 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 9.629167756 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.222470756 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: 2   ✓ # 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 37 running 1 of 1 signal (10): User defined signal 1 unknown function (ip: 0x7620c7b7836f) at /lib/x86_64-linux-gnu/libc.so.6 malloc at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) ijl_gc_counted_malloc at /source/src/gc-stock.c:3840:18 flint_realloc at /workspace/srcdir/flint-3.4.0/src/generic_files/memory_manager.c:109:17 _nmod_mpoly_fit_length at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly.h:307:29 [inlined] nmod_mpoly_fit_length_reset_bits at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/fit_length.c:82:5 nmod_mpoly_set at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/set.c:26:5 nmod_mpoly_sub at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/sub.c:139:9 - at /home/pkgeval/.julia/packages/Nemo/MT5uH/src/flint/nmod_mpoly.jl:253:0 (pc: 27) derivative at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/Fraction.jl:661:0 (pc: 73) derivative at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/Fraction.jl:654:0 [inlined] _check_algebraicity at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:138:0 (pc: 404) check_algebraicity_modp at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:214:0 [inlined] issubfield_mod_p at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:284:0 (pc: 20) issubfield_mod_p at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:284:0 [inlined] #groebner_basis_coeffs#135 at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:147:0 (pc: 761) groebner_basis_coeffs at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:147:0 (pc: 11) unknown function (ip: 0x76206a6f7091) at (unknown file) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 #simplified_generating_set#137 at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:319:0 (pc: 181) simplified_generating_set at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:319:0 (pc: 19) unknown function (ip: 0x762067716d64) at (unknown file) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 #_find_identifiable_functions#243 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:119:0 (pc: 80) _find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:85:0 [inlined] #241 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:62:0 (pc: 12) with_logstate at ./logging/logging.jl:542:0 (pc: 47) with_logger at ./logging/logging.jl:653:0 [inlined] #find_identifiable_functions#239 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:60:0 [inlined] find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:48:0 (pc: 25) unknown function (ip: 0x762067716190) at (unknown file) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 jl_apply at /source/src/julia.h:2402: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:595:35 eval_body at /source/src/interpreter.c:564:21 eval_body at /source/src/interpreter.c:572:21 eval_body at /source/src/interpreter.c:572:21 eval_body at /source/src/interpreter.c:572:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:764:18 jl_toplevel_eval_flex at /source/src/toplevel.c:708:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:598:15 jl_toplevel_eval_flex at /source/src/toplevel.c:680:27 ijl_toplevel_eval at /source/src/toplevel.c:778:12 ijl_toplevel_eval_in at /source/src/toplevel.c:823:13 eval at ./boot.jl:522:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 189) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:326:0 (pc: 1) IncludeInto at ./Base.jl:327:0 (pc: 2) unknown function (ip: 0x7620783ce852) at (unknown file) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:157:0 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2246:0 [inlined] macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:155:0 [inlined] macro expansion at ./timing.jl:741:0 [inlined] top-level scope at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:154:0 (pc: 624) jl_invoke_oneshot at /source/src/gf.c:4385:23 ijl_eval_thunk at /source/src/toplevel.c:756:18 jl_toplevel_eval_flex at /source/src/toplevel.c:708:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:598:15 jl_toplevel_eval_flex at /source/src/toplevel.c:680:27 ijl_toplevel_eval at /source/src/toplevel.c:778:12 ijl_toplevel_eval_in at /source/src/toplevel.c:823:13 eval at ./boot.jl:522:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 207) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:326:0 (pc: 1) IncludeInto at ./Base.jl:327:0 (pc: 2) jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 jl_apply at /source/src/julia.h:2402: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:707:13 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:764:18 jl_toplevel_eval_flex at /source/src/toplevel.c:708:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:598:15 jl_toplevel_eval_flex at /source/src/toplevel.c:680:27 ijl_toplevel_eval at /source/src/toplevel.c:778:12 ijl_toplevel_eval_in at /source/src/toplevel.c:823:13 eval at ./boot.jl:522:0 (pc: 1) exec_options at ./client.jl:321:0 (pc: 425) _start at ./client.jl:596:0 (pc: 294) jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 jl_apply at /source/src/julia.h:2402: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: 0x7620c7b08249) 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 ============================================================== [ Info: Search for polynomial generators concluded in 0.00018318 [ Info: Selecting generators in 1.160574651 ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 1 running 0 of 1 signal (10): User defined signal 1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404:0 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430:0 ijl_task_get_next at /source/src/scheduler.c:524:34 ┌ 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 wait at ./task.jl:1248:0 (pc: 107) Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x00007620acffc010 Total snapshots: 166. Utilization: 100% ╎166 @Base/client.jl:596 _start() ╎ 166 @Base/client.jl:321 exec_options(opts::Base.JLOptions) ╎ 166 @Base/boot.jl:522 eval(m::Module, e::Any) ╎ 166 @Base/Base.jl:327 (::Base.IncludeInto)(fname::String) ╎ 166 @Base/Base.jl:326 include(mapexpr::Function, mod::Module, _path::S… ╎ 166 @Base/loading.jl:3192 _include(mapexpr::Function, mod::Module, _p… ╎ ╎ 166 @Base/loading.jl:3132 include_string(mapexpr::typeof(identity), … ╎ ╎ 166 @Base/boot.jl:522 eval(m::Module, e::Any) ╎ ╎ 166 @StructuralIdentifiability/…:154 top-level scope ╎ ╎ 166 @Base/timing.jl:741 macro expansion ╎ ╎ 166 @StructuralIdentifiability/…:155 macro expansion ╎ ╎ ╎ 166 @Test/src/Test.jl:2246 macro expansion ╎ ╎ ╎ 166 @StructuralIdentifiability/…:157 macro expansion ╎ ╎ ╎ 166 @Base/Base.jl:327 (::Base.IncludeInto)(fname::String) ╎ ╎ ╎ 166 @Base/Base.jl:326 include(mapexpr::Function, mod::Module… ╎ ╎ ╎ 166 @Base/loading.jl:3192 _include(mapexpr::Function, mod::… ╎ ╎ ╎ ╎ 166 @Base/loading.jl:3132 include_string(mapexpr::typeof(i… ╎ ╎ ╎ ╎ 166 @Base/boot.jl:522 eval(m::Module, e::Any) ╎ ╎ ╎ ╎ 166 @StructuralIdentifiability/…:48 kwcall(::@NamedTuple… ╎ ╎ ╎ ╎ 166 @StructuralIdentifiability/…:60 find_identifiable_f… ╎ ╎ ╎ ╎ 166 @Base/…gging.jl:653 with_logger(f::StructuralIdent… ╎ ╎ ╎ ╎ ╎ 166 @Base/…gging.jl:542 with_logstate(f::StructuralId… ╎ ╎ ╎ ╎ ╎ 166 @StructuralIdentifiability/…:62 (::StructuralIde… ╎ ╎ ╎ ╎ ╎ 166 @StructuralIdentifiability/…:85 kwcall(::@Named… ╎ ╎ ╎ ╎ ╎ 166 @StructuralIdentifiability/…:119 _find_identif… ╎ ╎ ╎ ╎ ╎ 166 @RationalFunctionFields/…:319 kwcall(::@Named… ╎ ╎ ╎ ╎ ╎ ╎ 166 @RationalFunctionFields/…:319 simplified_gen… ╎ ╎ ╎ ╎ ╎ ╎ 166 @RationalFunctionFields/…:147 kwcall(::@Nam… ╎ ╎ ╎ ╎ ╎ ╎ 166 @RationalFunctionFields/…:147 groebner_bas… ╎ ╎ ╎ ╎ ╎ ╎ 166 @RationalFunctionFields/…:284 issubfield_… ╎ ╎ ╎ ╎ ╎ ╎ 166 @RationalFunctionFields/…:287 issubfield… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 166 @RationalFunctionFields/…:231 field_con… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 166 @Groebner/…l:107 groebner(polynomials:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 166 @Groebner/…l:109 groebner(polynomials… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 166 @Groebner/…l:10 groebner0(polynomial… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 166 @Groebner/…l:34 _groebner1(ring::Gr… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 166 @Groebner/…l:56 __groebner1(ring::… 114╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 166 @Groebner/…l:266 ir_convert_ir_to… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…es.jl:5115 _fmpq_clear_fn… 5╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @Nemo/…es.jl:5123 _fmpq_mpoly_cl… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…es.jl:5139 _fmpz_clear_fn… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…es.jl:5179 _fmpz_mpoly_cl… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…es.jl:5278 _nmod_mpoly_cl… 40╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 41 @Nemo/…es.jl:5279 _nmod_mpoly_cl… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:26 parent(a::fpMPo… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…er.jl:58 getproperty(x:… wait_forever at ./task.jl:1170:0 (pc: 4) jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 jl_apply at /source/src/julia.h:2402:12 [inlined] start_task at /source/src/task.c:1276: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 0x00007150253a71c0 Total snapshots: 376. Utilization: 0% ╎376 @Base/task.jl:1170 wait_forever() 375╎ 376 @Base/task.jl:1248 wait() [ Info: Inclusion checked with probability 0.995 in 5.926904186 seconds [ Info: The search for identifiable functions concluded in 28.780542034 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[nu, mu, g, b0, M^2] │ case = │ (ode = s'(t) = -s(t)*i(t)*x1(t)*b0*b1 - s(t)*i(t)*b0 - s(t)*mu + r(t)*g + mu │ i'(t) = s(t)*i(t)*x1(t)*b0*b1 + s(t)*i(t)*b0 - i(t)*mu - i(t)*nu │ r'(t) = i(t)*nu - r(t)*g - r(t)*mu │ x1'(t) = -x2(t)*M │ x2'(t) = x1(t)*M │ y1(t) = i(t) │ y2(t) = r(t) │ , ident_funcs = QQMPolyRingElem[g, mu, b0, nu, M^2]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables s(t), i(t), r(t), x1(t), ..., nu │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 2.677640281 seconds [ Info: Computing Wronskians [37] signal 15: Terminated in expression starting at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/identifiable_functions.jl:1149 ws_queue_pop at /source/src/work-stealing-queue.h:79:17 [inlined] gc_ptr_queue_pop at /source/src/gc-stock.c:1649:5 [inlined] gc_mark_and_steal at /source/src/gc-stock.c:2579:19 _jl_gc_collect at /source/src/gc-stock.c:3171:9 ijl_gc_collect at /source/src/gc-stock.c:3552: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 _ at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/generic/GenericTypes.jl:397:0 [inlined] MPolyCoeffs at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/generic/GenericTypes.jl:396:0 [inlined] #coefficients#381 at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/MPoly.jl:553:0 [inlined] coefficients at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/MPoly.jl:552:0 [inlined] leading_coefficient at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/MPoly.jl:287:0 [inlined] monomial_compress at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/wronskian.jl:44:0 (pc: 226) monomial_compress at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/wronskian.jl:20:0 [inlined] #wronskian##0 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/wronskian.jl:199:0 [inlined] iterate at ./generator.jl:48:0 [inlined] collect at ./array.jl:833:0 (pc: 108) wronskian at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/wronskian.jl:199:0 (pc: 47) #initial_identifiable_functions#207 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/global_identifiability.jl:87:0 (pc: 383) initial_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/global_identifiability.jl:87:0 [inlined] #_find_identifiable_functions#243 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:107:0 (pc: 50) _find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:85:0 [inlined] #241 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:62:0 (pc: 12) with_logstate at ./logging/logging.jl:542:0 (pc: 47) with_logger at ./logging/logging.jl:653:0 [inlined] #find_identifiable_functions#239 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:60:0 [inlined] find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:48:0 (pc: 25) unknown function (ip: 0x762067716190) at (unknown file) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 jl_apply at /source/src/julia.h:2402: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:595:35 eval_body at /source/src/interpreter.c:564:21 eval_body at /source/src/interpreter.c:572:21 eval_body at /source/src/interpreter.c:572:21 eval_body at /source/src/interpreter.c:572:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:764:18 jl_toplevel_eval_flex at /source/src/toplevel.c:708:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:598:15 jl_toplevel_eval_flex at /source/src/toplevel.c:680:27 ijl_toplevel_eval at /source/src/toplevel.c:778:12 ijl_toplevel_eval_in at /source/src/toplevel.c:823:13 eval at ./boot.jl:522:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 189) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:326:0 (pc: 1) IncludeInto at ./Base.jl:327:0 (pc: 2) unknown function (ip: 0x7620783ce852) at (unknown file) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:157:0 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2246:0 [inlined] macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:155:0 [inlined] macro expansion at ./timing.jl:741:0 [inlined] top-level scope at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:154:0 (pc: 624) jl_invoke_oneshot at /source/src/gf.c:4385:23 ijl_eval_thunk at /source/src/toplevel.c:756:18 jl_toplevel_eval_flex at /source/src/toplevel.c:708:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:598:15 jl_toplevel_eval_flex at /source/src/toplevel.c:680:27 ijl_toplevel_eval at /source/src/toplevel.c:778:12 ijl_toplevel_eval_in at /source/src/toplevel.c:823:13 eval at ./boot.jl:522:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 207) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 _include at ./loading.jl:3192:0 (pc: 122) include at ./Base.jl:326:0 (pc: 1) IncludeInto at ./Base.jl:327:0 (pc: 2) jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 jl_apply at /source/src/julia.h:2402: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:707:13 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:764:18 jl_toplevel_eval_flex at /source/src/toplevel.c:708:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:598:15 jl_toplevel_eval_flex at /source/src/toplevel.c:680:27 ijl_toplevel_eval at /source/src/toplevel.c:778:12 ijl_toplevel_eval_in at /source/src/toplevel.c:823:13 eval at ./boot.jl:522:0 (pc: 1) exec_options at ./client.jl:321:0 (pc: 425) _start at ./client.jl:596:0 (pc: 294) jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4350:23 [inlined] ijl_apply_generic at /source/src/gf.c:4588:12 jl_apply at /source/src/julia.h:2402: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: 0x7620c7b08249) 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: 338017620 (Pool: 338014627; Big: 2993); GC: 149 PkgEval terminated after 2721.59s: test duration exceeded the time limit