Package evaluation to test StructuralIdentifiability on Julia 1.14.0-DEV.2386 (9e0b0ca1f2*) started at 2026-06-16T17:32:10.394 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.39s ################################################################################ # 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.36s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 1.5 s ✓ FLINT_jll 33.6 s ✓ Nemo 131.0 s ✓ Groebner 13.8 s ✓ ParamPunPam 14.4 s ✓ RationalFunctionFields 16.5 s ✓ StructuralIdentifiability 6 dependencies successfully precompiled in 211 seconds. 71 already precompiled. Precompilation completed after 235.95s ################################################################################ # Testing # Testing StructuralIdentifiability Status `/tmp/jl_bKBrH4/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_bKBrH4/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... Updating `/tmp/jl_bKBrH4/Project.toml` ⌅ [861a8166] ↓ Combinatorics v1.1.0 ⇒ v1.0.2 [loaded: v1.1.0] [961ee093] + ModelingToolkit v11.26.8 Updating `/tmp/jl_bKBrH4/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.42.2 [6bb917b9] + ModelingToolkitTearing v1.14.1 [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.9.3 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [2efcf032] + SymbolicIndexingInterface v0.3.48 [19f23fe9] + SymbolicLimits v1.1.0 [d1185830] + SymbolicUtils v4.35.1 [0c5d862f] + Symbolics v7.26.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_bKBrH4/Project.toml` [0c5d862f] + Symbolics v7.26.0 Manifest No packages added to or removed from `/tmp/jl_bKBrH4/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 42.6s [ 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 1.992057 seconds (816.14 k allocations: 47.287 MiB, 99.61% compilation time) 0.001346 seconds (7.09 k allocations: 311.570 KiB) 0.001717 seconds (10.77 k allocations: 482.906 KiB) 0.001885 seconds (10.73 k allocations: 477.938 KiB) 0.002384 seconds (14.49 k allocations: 632.938 KiB) 0.001215 seconds (7.92 k allocations: 359.367 KiB) 0.000829 seconds (7.44 k allocations: 300.289 KiB) 14.342726 seconds (5.18 M allocations: 313.953 MiB, 0.74% gc time, 99.82% compilation time) [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: [ Info: Inputs: u [ Info: Outputs: y 0.308813 seconds (82.19 k allocations: 5.268 MiB, 98.46% compilation time) [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: [ Info: Inputs: u [ Info: Outputs: y 0.012314 seconds (8.04 k allocations: 454.617 KiB, 91.50% 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.00294912 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 1.83441081 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 0.061112066 seconds [ Info: Global identifiability assessed in 53.966815374 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.00253718 seconds [ Info: No parameters, so Wronskian computation is not needed [ Info: Global identifiability assessed in 0.860432039 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Global identifiability assessed in 4.009e-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.037325728 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.468093602 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.534e-5 seconds [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:15 ✓ # Computing specializations.. Time: 0:00:17 [ Info: Search for polynomial generators concluded in 17.894581233 [ Info: Selecting generators in 0.012696989 [ Info: Inclusion checked with probability 0.9955 in 0.062135427 seconds [ Info: Global identifiability assessed in 111.516620063 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 1.623949964 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 1.609331624 seconds [ Info: Dimensions of the Wronskians [676] [ Info: Ranks of the Wronskians computed in 0.103044514 seconds [ Info: Global identifiability assessed in 42.776367421 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.01530177 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.031212298 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00030081 seconds [ Info: Global identifiability assessed in 0.078237726 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Note: the input model has nontrivial submodels. If the computation for the full model will be too heavy, you may want to try to first analyze one of the submodels. They can be produced using function `find_submodels` [ Info: Functions to check involve states [ Info: Computing IO-equations [ Info: Computed IO-equations in 7.639356024 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00301619 seconds [ Info: Dimensions of the Wronskians [2, 3, 2] [ Info: Ranks of the Wronskians computed in 2.936e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.66543602 [ Info: Selecting generators in 0.0002714 [ Info: Inclusion checked with probability 0.9955 in 0.00218639 seconds [ Info: Global identifiability assessed in 9.641125785 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00148646 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00112859 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.862e-5 seconds [ Info: Global identifiability assessed in 0.004557949 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.0022188 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00194984 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.354e-5 seconds [ Info: Global identifiability assessed in 0.00737667 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.00571221 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00412711 seconds [ Info: Dimensions of the Wronskians [6] [ Info: Ranks of the Wronskians computed in 3.022e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.220803137 [ Info: Selecting generators in 0.015811979 [ Info: Inclusion checked with probability 0.9955 in 0.00580351 seconds [ Info: Global identifiability assessed in 2.477993803 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.008166329 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00389296 seconds [ Info: Dimensions of the Wronskians [2, 5] [ Info: Ranks of the Wronskians computed in 2.273e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.0078427 [ Info: Selecting generators in 0.004222509 [ Info: Inclusion checked with probability 0.9955 in 0.00450729 seconds [ Info: Global identifiability assessed in 0.051817187 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.00211912 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0018352 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.924e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.687e-5 [ Info: Selecting generators in 1.378421698 [ Info: Inclusion checked with probability 0.995 in 0.00234382 seconds [ Info: The search for identifiable functions concluded in 2.827690542 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.001432379 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00110748 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.24e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.353e-5 [ Info: Selecting generators in 0.00062593 [ Info: Inclusion checked with probability 0.995 in 0.00187737 seconds [ Info: The search for identifiable functions concluded in 0.009553909 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.00122474 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00097442 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.882e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.24e-5 [ Info: Selecting generators in 0.00069745 [ Info: Inclusion checked with probability 0.995 in 0.00187325 seconds [ Info: The search for identifiable functions concluded in 0.008732969 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.00117677 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00097198 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.948e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00047524 [ Info: Selecting generators in 0.0007073 [ Info: Inclusion checked with probability 0.995 in 0.00193474 seconds [ Info: The search for identifiable functions concluded in 0.00932298 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.00133483 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00099092 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.168e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00043398 [ Info: Selecting generators in 0.00070951 [ Info: Inclusion checked with probability 0.995 in 0.00203477 seconds [ Info: The search for identifiable functions concluded in 0.00976249 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.00119119 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00096274 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.938e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00039109 [ Info: Selecting generators in 0.00062003 [ Info: Inclusion checked with probability 0.995 in 0.0017726 seconds [ Info: The search for identifiable functions concluded in 0.00870862 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.00172543 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00110932 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.693e-5 seconds [ Info: The search for identifiable functions concluded in 0.041526198 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00188891 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00119303 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.985e-5 seconds [ Info: The search for identifiable functions concluded in 0.0038381 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00163852 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001108349 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.564e-5 seconds [ Info: The search for identifiable functions concluded in 0.003383399 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00174735 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00119953 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.727e-5 seconds [ Info: The search for identifiable functions concluded in 0.00357763 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00149365 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00118244 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.063e-5 seconds [ Info: The search for identifiable functions concluded in 0.00334669 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00166516 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00105581 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.762e-5 seconds [ Info: The search for identifiable functions concluded in 0.00330034 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00187195 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00121791 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.019e-5 seconds [ Info: The search for identifiable functions concluded in 0.00388745 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00158012 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00114247 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.868e-5 seconds [ Info: The search for identifiable functions concluded in 0.00339358 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00159555 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00108605 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.833e-5 seconds [ Info: The search for identifiable functions concluded in 0.00330732 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00157176 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0011303 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.757e-5 seconds [ Info: The search for identifiable functions concluded in 0.003273539 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.0016364 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0011178 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.757e-5 seconds [ Info: The search for identifiable functions concluded in 0.00340107 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.00171363 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00128811 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.843e-5 seconds [ Info: The search for identifiable functions concluded in 0.00370144 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.288305903 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00155731 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.787e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.194e-5 [ Info: Selecting generators in 0.000544769 [ Info: Inclusion checked with probability 0.995 in 0.00174205 seconds [ Info: The search for identifiable functions concluded in 0.296113942 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.0025037 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00135805 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.041e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.017e-5 [ Info: Selecting generators in 0.00054159 [ Info: Inclusion checked with probability 0.995 in 0.00170753 seconds [ Info: The search for identifiable functions concluded in 0.009802309 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.002605 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00145078 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.172e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.609e-5 [ Info: Selecting generators in 0.00057968 [ Info: Inclusion checked with probability 0.995 in 0.00178552 seconds [ Info: The search for identifiable functions concluded in 0.01012301 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.00268486 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001638 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.915e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00041324 [ Info: Selecting generators in 0.00066644 [ Info: Inclusion checked with probability 0.995 in 0.00181474 seconds [ Info: The search for identifiable functions concluded in 0.01140139 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.00273368 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00152592 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.777e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00038156 [ Info: Selecting generators in 0.00061715 [ Info: Inclusion checked with probability 0.995 in 0.00173795 seconds [ Info: The search for identifiable functions concluded in 0.01073235 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.00251007 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0015582 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.973e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00039889 [ Info: Selecting generators in 0.00062277 [ Info: Inclusion checked with probability 0.995 in 0.00174236 seconds [ Info: The search for identifiable functions concluded in 0.010968939 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.0014135 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001247309 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.065e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00010202 [ Info: Selecting generators in 0.00206221 [ Info: Inclusion checked with probability 0.995 in 0.00361665 seconds [ Info: The search for identifiable functions concluded in 0.016875579 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.00133936 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0011916 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.226e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00010333 [ Info: Selecting generators in 0.00206039 [ Info: Inclusion checked with probability 0.995 in 0.00362514 seconds [ Info: The search for identifiable functions concluded in 0.017102939 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.00133807 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0011435 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.199e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00011145 [ Info: Selecting generators in 0.00205677 [ Info: Inclusion checked with probability 0.995 in 0.00341333 seconds [ Info: The search for identifiable functions concluded in 0.016263409 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.00133436 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001229139 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.155e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.269387604 [ Info: Selecting generators in 0.00327711 [ Info: Inclusion checked with probability 0.995 in 0.00313661 seconds [ Info: The search for identifiable functions concluded in 0.287080753 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.00128002 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00113725 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.041e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.016165479 [ Info: Selecting generators in 0.003333549 [ Info: Inclusion checked with probability 0.995 in 0.0035507 seconds [ Info: The search for identifiable functions concluded in 0.033361328 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.00145894 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00115967 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.041e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.015531339 [ Info: Selecting generators in 0.00341373 [ Info: Inclusion checked with probability 0.995 in 0.00336816 seconds [ Info: The search for identifiable functions concluded in 0.033057968 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.00125837 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001052729 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.029e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.675e-5 [ Info: Selecting generators in 0.00224158 [ Info: Inclusion checked with probability 0.995 in 0.00290557 seconds [ Info: The search for identifiable functions concluded in 1.090881035 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.00143146 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0011042 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.226e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.062e-5 [ Info: Selecting generators in 0.00218075 [ Info: Inclusion checked with probability 0.995 in 0.002787509 seconds [ Info: The search for identifiable functions concluded in 0.014082379 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.00137194 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00109955 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.156e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.141e-5 [ Info: Selecting generators in 0.002143619 [ Info: Inclusion checked with probability 0.995 in 0.00278342 seconds [ Info: The search for identifiable functions concluded in 0.014111649 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.00138606 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0011405 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.283e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.242950925 [ Info: Selecting generators in 0.0027008 [ Info: Inclusion checked with probability 0.995 in 0.00295602 seconds [ Info: The search for identifiable functions concluded in 0.257548925 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.00139356 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00105006 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.013e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.006457279 [ Info: Selecting generators in 0.00239157 [ Info: Inclusion checked with probability 0.995 in 0.00284596 seconds [ Info: The search for identifiable functions concluded in 0.020275319 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.00139771 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00113927 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.219e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00643864 [ Info: Selecting generators in 0.00234975 [ Info: Inclusion checked with probability 0.995 in 0.00273037 seconds [ Info: The search for identifiable functions concluded in 0.020553599 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.00218834 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00158914 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.705e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00010673 [ Info: Selecting generators in 0.00052703 [ Info: Inclusion checked with probability 0.995 in 0.00275304 seconds [ Info: The search for identifiable functions concluded in 0.016726819 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.00229696 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00161921 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.885e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.236e-5 [ Info: Selecting generators in 0.00054424 [ Info: Inclusion checked with probability 0.995 in 0.00267851 seconds [ Info: The search for identifiable functions concluded in 0.016500379 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.0019943 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00137064 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.809e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.162e-5 [ Info: Selecting generators in 0.00049486 [ Info: Inclusion checked with probability 0.995 in 0.00259455 seconds [ Info: The search for identifiable functions concluded in 0.014789739 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.002056059 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00137195 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.942e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.007529789 [ Info: Selecting generators in 0.0006614 [ Info: Inclusion checked with probability 0.995 in 0.00272542 seconds [ Info: The search for identifiable functions concluded in 0.024036688 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.00198279 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00141616 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.055e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00780749 [ Info: Selecting generators in 0.00069893 [ Info: Inclusion checked with probability 0.995 in 0.002791679 seconds [ Info: The search for identifiable functions concluded in 0.023794358 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.0022768 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00151659 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.063e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00762758 [ Info: Selecting generators in 0.00071401 [ Info: Inclusion checked with probability 0.995 in 0.00284093 seconds [ Info: The search for identifiable functions concluded in 0.024423559 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.00256443 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00180466 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.889e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.394e-5 [ Info: Selecting generators in 0.003011349 [ Info: Inclusion checked with probability 0.995 in 0.00332652 seconds [ Info: The search for identifiable functions concluded in 0.019881389 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.00261663 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0019185 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.114e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.936e-5 [ Info: Selecting generators in 0.00284919 [ Info: Inclusion checked with probability 0.995 in 0.00329303 seconds [ Info: The search for identifiable functions concluded in 0.020291689 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.00252435 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00174671 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.827e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.218e-5 [ Info: Selecting generators in 0.002920779 [ Info: Inclusion checked with probability 0.995 in 0.00330016 seconds [ Info: The search for identifiable functions concluded in 0.019808859 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.00254261 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00184101 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.335e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.014824169 [ Info: Selecting generators in 0.00335678 [ Info: Inclusion checked with probability 0.995 in 0.00350443 seconds [ Info: The search for identifiable functions concluded in 0.035897168 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.00287538 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00225122 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.185e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.016258899 [ Info: Selecting generators in 0.00381789 [ Info: Inclusion checked with probability 0.995 in 0.0043609 seconds [ Info: The search for identifiable functions concluded in 0.040582888 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.00304875 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00229097 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.166e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.017297929 [ Info: Selecting generators in 0.34548632 [ Info: Inclusion checked with probability 0.995 in 0.00430022 seconds [ Info: The search for identifiable functions concluded in 0.383879738 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.016655279 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00509461 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.182e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00012308 [ Info: Selecting generators in 0.009738799 [ Info: Inclusion checked with probability 0.995 in 0.00630158 seconds [ Info: The search for identifiable functions concluded in 0.325578011 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.00724287 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004669079 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.799e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00012222 [ Info: Selecting generators in 0.00948231 [ Info: Inclusion checked with probability 0.995 in 0.006048249 seconds [ Info: The search for identifiable functions concluded in 0.045495077 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.007435209 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00482232 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.259e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00011085 [ Info: Selecting generators in 0.009444849 [ Info: Inclusion checked with probability 0.995 in 0.00606626 seconds [ Info: The search for identifiable functions concluded in 0.045780527 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.00713148 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00474354 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.108e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.002143439 [ Info: Selecting generators in 0.00879514 [ Info: Inclusion checked with probability 0.995 in 0.00602842 seconds [ Info: The search for identifiable functions concluded in 0.047803448 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.007255219 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0047869 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.882e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00207461 [ Info: Selecting generators in 0.008976859 [ Info: Inclusion checked with probability 0.995 in 0.00560755 seconds [ Info: The search for identifiable functions concluded in 0.046724787 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.0070966 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00497483 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 3.184e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00211798 [ Info: Selecting generators in 0.00916145 [ Info: Inclusion checked with probability 0.995 in 0.0055725 seconds [ Info: The search for identifiable functions concluded in 0.047690868 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.004649 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002647299 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 1.994e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00010053 [ Info: Selecting generators in 0.00177205 [ Info: Inclusion checked with probability 0.995 in 0.00366862 seconds [ Info: The search for identifiable functions concluded in 0.022414199 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.00478784 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00276989 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.056e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.831e-5 [ Info: Selecting generators in 0.00194228 [ Info: Inclusion checked with probability 0.995 in 0.00389465 seconds [ Info: The search for identifiable functions concluded in 0.023315889 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.0051661 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00329499 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.108e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00010044 [ Info: Selecting generators in 0.00180796 [ Info: Inclusion checked with probability 0.995 in 0.00375103 seconds [ Info: The search for identifiable functions concluded in 0.024189089 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.00523215 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00324798 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.32e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00126553 [ Info: Selecting generators in 0.00202561 [ Info: Inclusion checked with probability 0.995 in 0.00399024 seconds [ Info: The search for identifiable functions concluded in 0.027020939 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.00537748 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00341516 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.239e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00134098 [ Info: Selecting generators in 0.00199335 [ Info: Inclusion checked with probability 0.995 in 0.00426958 seconds [ Info: The search for identifiable functions concluded in 0.027303989 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.00525753 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00315192 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 1.971e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00149352 [ Info: Selecting generators in 0.00238448 [ Info: Inclusion checked with probability 0.995 in 0.00461677 seconds [ Info: The search for identifiable functions concluded in 0.027841589 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.00504179 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00312199 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.205e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.663e-5 [ Info: Selecting generators in 0.0024783 [ Info: Inclusion checked with probability 0.995 in 0.003711629 seconds [ Info: The search for identifiable functions concluded in 0.028465138 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.00504307 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003133389 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.306e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.0001054 [ Info: Selecting generators in 0.002439519 [ Info: Inclusion checked with probability 0.995 in 0.00379713 seconds [ Info: The search for identifiable functions concluded in 0.028648878 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.005026249 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00322862 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.217e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000101 [ Info: Selecting generators in 0.00265843 [ Info: Inclusion checked with probability 0.995 in 0.00415761 seconds [ Info: The search for identifiable functions concluded in 0.028794528 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.00496379 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00305579 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.096e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.018281679 [ Info: Selecting generators in 0.00356717 [ Info: Inclusion checked with probability 0.995 in 0.00364183 seconds [ Info: The search for identifiable functions concluded in 0.047660927 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.020973629 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00353485 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.205e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.020456339 [ Info: Selecting generators in 0.004014199 [ Info: Inclusion checked with probability 0.995 in 0.00378391 seconds [ Info: The search for identifiable functions concluded in 0.067786786 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.005755789 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00325088 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.104e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.020314469 [ Info: Selecting generators in 0.00336609 [ Info: Inclusion checked with probability 0.995 in 0.00330531 seconds [ Info: The search for identifiable functions concluded in 0.050293607 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.00268139 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00209566 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.257e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.292e-5 [ Info: Selecting generators in 0.00166408 [ Info: Inclusion checked with probability 0.995 in 0.00330144 seconds [ Info: The search for identifiable functions concluded in 0.019513789 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.002771599 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00198689 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 3.262e-5 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 Points: 11   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.00013122 [ Info: Selecting generators in 0.00215597 [ Info: Inclusion checked with probability 0.995 in 0.00377813 seconds [ Info: The search for identifiable functions concluded in 0.438530314 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.00261322 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00190449 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 0.00010195 [ Info: Selecting generators in 0.0017988 [ Info: Inclusion checked with probability 0.995 in 0.00317993 seconds [ Info: The search for identifiable functions concluded in 0.018063679 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.00264628 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001864819 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.065e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.013210649 [ Info: Selecting generators in 0.00277253 [ Info: Inclusion checked with probability 0.995 in 0.00315246 seconds [ Info: The search for identifiable functions concluded in 0.032677348 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.002613909 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00176532 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.979e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.013450379 [ Info: Selecting generators in 0.00286657 [ Info: Inclusion checked with probability 0.995 in 0.00318078 seconds [ Info: The search for identifiable functions concluded in 0.032126718 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.0029201 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00157235 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.781e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.012199929 [ Info: Selecting generators in 0.00236403 [ Info: Inclusion checked with probability 0.995 in 0.003132889 seconds [ Info: The search for identifiable functions concluded in 0.029844208 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.013675999 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.029680999 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00034977 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:09 ✓ # Computing specializations.. Time: 0:00:09 [ Info: Search for polynomial generators concluded in 0.00018193 [ Info: Selecting generators in 0.018070328 [ Info: Inclusion checked with probability 0.995 in 0.031911379 seconds [ Info: The search for identifiable functions concluded in 17.224569904 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.015072819 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.030924038 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.0003378 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.0001294 [ Info: Selecting generators in 0.018220679 [ Info: Inclusion checked with probability 0.995 in 0.031159418 seconds [ Info: The search for identifiable functions concluded in 0.176422179 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.015166619 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.032513208 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00033476 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.00012197 [ Info: Selecting generators in 0.018121629 [ Info: Inclusion checked with probability 0.995 in 0.031559558 seconds [ Info: The search for identifiable functions concluded in 0.175462159 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.015589919 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.033395068 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00029934 seconds [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:00 Points: 11   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 1.364250299 [ Info: Selecting generators in 0.018863388 [ Info: Inclusion checked with probability 0.995 in 0.030372229 seconds [ Info: The search for identifiable functions concluded in 1.944111414 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.015095999 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.030638928 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00035407 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.051425087 [ Info: Selecting generators in 0.016448889 [ Info: Inclusion checked with probability 0.995 in 0.028340278 seconds [ Info: The search for identifiable functions concluded in 0.217795897 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.01398669 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.028938138 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.00034579 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.052629217 [ Info: Selecting generators in 0.016910409 [ Info: Inclusion checked with probability 0.995 in 0.027568629 seconds [ Info: The search for identifiable functions concluded in 0.214493008 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.542220038 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 6.360509631 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.192935289 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 8   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.00019862 [ Info: Selecting generators in 1.014667329 [ Info: Inclusion checked with probability 0.995 in 2.898078977 seconds [ Info: The search for identifiable functions concluded in 17.141765038 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.808035663 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.112218006 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.206399458 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 Points: 8   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.00021543 [ Info: Selecting generators in 1.021203979 [ Info: Inclusion checked with probability 0.995 in 3.082882276 seconds [ Info: The search for identifiable functions concluded in 18.479699819 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.811670562 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.131933356 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.218709007 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: 7   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.00015342 [ Info: Selecting generators in 1.061730846 [ Info: Inclusion checked with probability 0.995 in 2.635829973 seconds [ Info: The search for identifiable functions concluded in 18.073325563 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.804686713 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.434849527 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.200323579 seconds [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 7   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.757059485 [ Info: Selecting generators in 0.537046308 [ Info: Inclusion checked with probability 0.995 in 3.091790036 seconds [ Info: The search for identifiable functions concluded in 19.443629812 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[nu, mu, g, b0, M^2] │ case = │ (ode = s'(t) = -s(t)*i(t)*x1(t)*b0*b1 - s(t)*i(t)*b0 - s(t)*mu + r(t)*g + mu │ i'(t) = s(t)*i(t)*x1(t)*b0*b1 + s(t)*i(t)*b0 - i(t)*mu - i(t)*nu │ r'(t) = i(t)*nu - r(t)*g - r(t)*mu │ x1'(t) = -x2(t)*M │ x2'(t) = x1(t)*M │ y1(t) = i(t) │ y2(t) = r(t) │ , ident_funcs = QQMPolyRingElem[g, mu, b0, nu, M^2]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables s(t), i(t), r(t), x1(t), ..., nu │ over rational field └ with_states = false [ Info: QQMPolyRingElem[s(t), i(t), r(t), x1(t), x2(t), y1(t), y2(t), M, b0, b1, g, mu, nu] [ Info: Computing IO-equations [ Info: Computed IO-equations in 1.774001294 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.478490865 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.218324167 seconds [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 7   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.039479948 ====================================================================================== 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 31 running 1 of 1 signal (10): User defined signal 1 _collect at ./array.jl:0:0 (pc: 198) [ Info: Selecting generators in 0.67630634 collect at ./array.jl:677:0 [inlined] variable_names at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/misc/VarNames.jl:73:0 [inlined] variable_names at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/misc/VarNames.jl:73:0 [inlined] variable_names at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/misc/VarNames.jl:71:0 [inlined] #polynomial_ring#414 at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/misc/VarNames.jl:303:0 (pc: 5) polynomial_ring at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/misc/VarNames.jl:302:0 [inlined] #polynomial_ring#413 at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/misc/VarNames.jl:300:0 [inlined] polynomial_ring at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/misc/VarNames.jl:300:0 [inlined] _ at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/IdealOMS.jl:116:0 (pc: 1081) IdealOMS at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/IdealOMS.jl:60:0 [inlined] update_trbasis_info! at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:108:0 (pc: 746) RationalFunctionField at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:50:0 (pc: 32) RationalFunctionField at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:37:0 [inlined] #beautiful_generators#125 at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:43:0 (pc: 1184) beautiful_generators at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:43:0 (pc: 9) unknown function (ip: 0x7dfdcf6201a6) at (unknown file) _jl_invoke at /source/src/gf.c:4380:23 [inlined] ijl_apply_generic at /source/src/gf.c:4618:12 #simplified_generating_set#137 at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:319:0 (pc: 782) simplified_generating_set at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/simplification.jl:319:0 (pc: 19) unknown function (ip: 0x7dfdcf617724) at (unknown file) _jl_invoke at /source/src/gf.c:4380:23 [inlined] ijl_apply_generic at /source/src/gf.c:4618: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: 0x7dfdcf616b10) at (unknown file) _jl_invoke at /source/src/gf.c:4380:23 [inlined] ijl_apply_generic at /source/src/gf.c:4618:12 jl_apply at /source/src/julia.h:2389:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:243:16 eval_body at /source/src/interpreter.c:594:35 eval_body at /source/src/interpreter.c:563:21 eval_body at /source/src/interpreter.c:571:21 eval_body at /source/src/interpreter.c:571:21 eval_body at /source/src/interpreter.c:571:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:768:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:522:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 189) _jl_invoke at /source/src/gf.c:4380:23 [inlined] ijl_apply_generic at /source/src/gf.c:4618: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: 0x7dfddebd5132) at (unknown file) _jl_invoke at /source/src/gf.c:4380:23 [inlined] ijl_apply_generic at /source/src/gf.c:4618: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:4415:23 ijl_eval_thunk at /source/src/toplevel.c:760:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:522:0 (pc: 1) include_string at ./loading.jl:3132:0 (pc: 207) _jl_invoke at /source/src/gf.c:4380:23 [inlined] ijl_apply_generic at /source/src/gf.c:4618: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:4380:23 [inlined] ijl_apply_generic at /source/src/gf.c:4618:12 jl_apply at /source/src/julia.h:2389:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:243:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:706:13 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:768:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl: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:4380:23 [inlined] ijl_apply_generic at /source/src/gf.c:4618:12 jl_apply at /source/src/julia.h:2389: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: 0x7dfe2f3f5249) 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 ============================================================== ┌ 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 0x00007dfe145fc010 Total snapshots: 345. Utilization: 100% ╎343 @Base/client.jl:596 _start() ╎ 343 @Base/client.jl:321 exec_options(opts::Base.JLOptions) ╎ 343 @Base/boot.jl:522 eval(m::Module, e::Any) ╎ 343 @Base/Base.jl:327 (::Base.IncludeInto)(fname::String) ╎ 343 @Base/Base.jl:326 include(mapexpr::Function, mod::Module, _path::S… ╎ 343 @Base/loading.jl:3192 _include(mapexpr::Function, mod::Module, _p… ╎ ╎ 343 @Base/loading.jl:3132 include_string(mapexpr::typeof(identity), … ╎ ╎ 343 @Base/boot.jl:522 eval(m::Module, e::Any) ╎ ╎ 343 @StructuralIdentifiability/…:154 top-level scope ╎ ╎ 343 @Base/timing.jl:741 macro expansion ╎ ╎ 343 @StructuralIdentifiability/…:155 macro expansion ╎ ╎ ╎ 343 @Test/src/Test.jl:2246 macro expansion ╎ ╎ ╎ 343 @StructuralIdentifiability/…:157 macro expansion ╎ ╎ ╎ 343 @Base/Base.jl:327 (::Base.IncludeInto)(fname::String) ╎ ╎ ╎ 343 @Base/Base.jl:326 include(mapexpr::Function, mod::Module… ╎ ╎ ╎ 343 @Base/loading.jl:3192 _include(mapexpr::Function, mod::… ╎ ╎ ╎ ╎ 343 @Base/loading.jl:3132 include_string(mapexpr::typeof(i… ╎ ╎ ╎ ╎ 343 @Base/boot.jl:522 eval(m::Module, e::Any) ╎ ╎ ╎ ╎ 343 @StructuralIdentifiability/…:48 kwcall(::@NamedTuple… ╎ ╎ ╎ ╎ 343 @StructuralIdentifiability/…:60 find_identifiable_f… ╎ ╎ ╎ ╎ 343 @Base/…gging.jl:653 with_logger(f::StructuralIdent… ╎ ╎ ╎ ╎ ╎ 343 @Base/…gging.jl:542 with_logstate(f::StructuralId… ╎ ╎ ╎ ╎ ╎ 343 @StructuralIdentifiability/…:62 (::StructuralIde… ╎ ╎ ╎ ╎ ╎ 343 @StructuralIdentifiability/…:85 kwcall(::@Named… ╎ ╎ ╎ ╎ ╎ 343 @StructuralIdentifiability/…:119 _find_identif… ╎ ╎ ╎ ╎ ╎ 343 @RationalFunctionFields/…:319 kwcall(::@Named… ╎ ╎ ╎ ╎ ╎ ╎ 343 @RationalFunctionFields/…:319 simplified_gen… ╎ ╎ ╎ ╎ ╎ ╎ 343 @RationalFunctionFields/…:429 fields_equal(… ╎ ╎ ╎ ╎ ╎ ╎ 343 @RationalFunctionFields/…:417 issubfield(F… ╎ ╎ ╎ ╎ ╎ ╎ 343 @RationalFunctionFields/…:185 check_algeb… ╎ ╎ ╎ ╎ ╎ ╎ 10 @RationalFunctionFields/…:136 _check_alg… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 10 @RationalFunctionFields/…:247 parent_ri… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 10 @RationalFunctionFields/…:253 parent_r… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @AbstractAlgebra/…:50 //(x::QQMPolyRi… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:321 gcd(a::QQMPolyRingE… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @AbstractAlgebra/…:51 //(x::QQMPolyRi… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:496 divexact(a::QQMPoly… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:498 divexact(a::QQMPol… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:448 divides(a::QQMPol… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:457 divides(a::QQMPol… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 6 @RationalFunctionFields/…:197 kwcall(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @RationalFunctionFields/…:222 parent… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:145 degree(a::QQMPolyR… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @RationalFunctionFields/…:236 parent… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:44 exponent_vector(a::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:23 exponent_vector(::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ot.jl:719 Vector{Int64}(::… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ot.jl:659 Memory{Int64}(:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @RationalFunctionFields/…:237 parent… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:627 zeros(::Type{Int64… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ay.jl:631 zeros(::Type{Int6… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ot.jl:732 Vector{Int64}(::… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ot.jl:720 Vector{Int64}(:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @RationalFunctionFields/…:239 parent… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ls.jl:1040 getindex(A::Vecto… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @RationalFunctionFields/…:244 parent… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:1076 (::QQMPolyRing)(a… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…es.jl:1264 QQMPolyRingElem(… ╎ ╎ ╎ ╎ ╎ ╎ 1 @RationalFunctionFields/…:137 _check_alg… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:37 gens(R::QQMPolyRing) ╎ ╎ ╎ ╎ ╎ ╎ 324 @RationalFunctionFields/…:138 _check_alg… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 307 @AbstractAlgebra/…:654 derivative(f::Ab… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:659 derivative(f::A… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:81 numerator(a::Ab… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:81 numerator(a::A… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:30 numerator(a::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:288 divexact(a::QQMPo… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:288 divexact(a::QQMP… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:745 divexact!(a::QQ… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:660 derivative(f::A… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:85 denominator(a::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:85 denominator(a:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:38 denominator(a… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:676 canonical_u… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:110 coeff(a::QQMPoly… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…es.jl:178 QQFieldElem() ╎ ╎ ╎ ╎ ╎ ╎ ╎ 304 @AbstractAlgebra/…:661 derivative(f::A… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 6 @AbstractAlgebra/…:50 //(x::QQMPolyRi… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:320 gcd(a::QQMPolyRingE… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:1040 (::QQMPolyRing)() 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…es.jl:1234 QQMPolyRingElem(… 5╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @Nemo/…ly.jl:321 gcd(a::QQMPolyRingE… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @AbstractAlgebra/…:51 //(x::QQMPolyRi… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:496 divexact(a::QQMPoly… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:498 divexact(a::QQMPol… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:457 divides(a::QQMPol… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @AbstractAlgebra/…:52 //(x::QQMPolyRi… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @AbstractAlgebra/…:586 get(default::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @AbstractAlgebra/…:512 lock(f::Abst… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Base/…ck.jl:335 lock(f::AbstractA… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @AbstractAlgebra/…:591 (::Abstrac… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @AbstractAlgebra/…:149 literal_pow(::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @Nemo/…ly.jl:304 ^(x::QQMPolyRingEle… 5╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @Nemo/…ly.jl:809 pow!(z::QQMPolyRin… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:267 *(a::QQMPolyRingElem… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:1040 (::QQMPolyRing)() 1╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…es.jl:1234 QQMPolyRingElem(c… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:268 *(a::QQMPolyRingElem… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:717 mul!(a::QQMPolyRing… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:261 -(a::QQMPolyRingElem… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:1040 (::QQMPolyRing)() 1╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…es.jl:1234 QQMPolyRingElem(c… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:262 -(a::QQMPolyRingElem… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:722 sub!(a::QQMPolyRing… 213╎ ╎ ╎ ╎ ╎ ╎ ╎ 283 @Nemo/…ly.jl:513 derivative(a::QQMPol… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…es.jl:5115 _fmpq_clear_fn(a::… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…es.jl:5119 _fmpq_mat_clear_fn… 52╎ ╎ ╎ ╎ ╎ ╎ ╎ 54 @Nemo/…es.jl:5123 _fmpq_mpoly_clear_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:21 parent(a::QQMPolyRi… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Base/…er.jl:58 getproperty(x::QQM… 12╎ ╎ ╎ ╎ ╎ ╎ ╎ 12 @Nemo/…es.jl:5279 _nmod_mpoly_clear_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:140 var_index(x::QQ… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:151 _is_gen_with_i… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:54 is_gen(a::QQMPolyRin… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 17 @AbstractAlgebra/…:609 evaluate(f::Abst… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @AbstractAlgebra/…:85 denominator(a::A… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @AbstractAlgebra/…:85 denominator(a::… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @AbstractAlgebra/…:39 denominator(a:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @Nemo/…ly.jl:288 divexact(a::QQMPol… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @Nemo/…ly.jl:288 divexact(a::QQMPo… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:1040 (::QQMPolyRing)… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…es.jl:1234 QQMPolyRingEle… 2╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:745 divexact!(a::QQM… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @AbstractAlgebra/…:81 numerator(a::Abs… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @AbstractAlgebra/…:81 numerator(a::Ab… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @AbstractAlgebra/…:30 numerator(a::A… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @Nemo/…ly.jl:288 divexact(a::QQMPol… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 5 @Nemo/…ly.jl:288 divexact(a::QQMPo… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 2 @Nemo/…ly.jl:1040 (::QQMPolyRing)… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…es.jl:1234 QQMPolyRingEle… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…es.jl:1237 QQMPolyRingEle… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Base/…ls.jl:86 finalizer(f::ty… 3╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 3 @Nemo/…ly.jl:745 divexact!(a::QQM… 9╎ ╎ ╎ ╎ ╎ ╎ ╎ 9 @Nemo/…ly.jl:558 evaluate(a::QQMPolyRi… ╎ ╎ ╎ ╎ ╎ ╎ 8 @RationalFunctionFields/…:140 _check_alg… 8╎ ╎ ╎ ╎ ╎ ╎ ╎ 8 @Nemo/…at.jl:487 rank(x::QQMatrix) [ Info: Inclusion checked with probability 0.995 in 9.430036028 seconds [ Info: The search for identifiable functions concluded in 25.458333432 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[nu, mu, g, b0, M^2] │ case = │ (ode = s'(t) = -s(t)*i(t)*x1(t)*b0*b1 - s(t)*i(t)*b0 - s(t)*mu + r(t)*g + mu │ i'(t) = s(t)*i(t)*x1(t)*b0*b1 + s(t)*i(t)*b0 - i(t)*mu - i(t)*nu │ r'(t) = i(t)*nu - r(t)*g - r(t)*mu │ x1'(t) = -x2(t)*M │ x2'(t) = x1(t)*M │ y1(t) = i(t) │ y2(t) = r(t) │ , ident_funcs = QQMPolyRingElem[g, mu, b0, nu, M^2]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables s(t), i(t), r(t), x1(t), ..., nu │ over rational field └ with_states = false [ Info: QQMPolyRingElem[s(t), i(t), r(t), x1(t), x2(t), y1(t), y2(t), M, b0, b1, g, mu, nu] [ Info: Computing IO-equations [ Info: Computed IO-equations in 2.013456589 seconds [ Info: Computing Wronskians ====================================================================================== 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 wait at ./task.jl:1248:0 (pc: 107) 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:4380:23 [inlined] ijl_apply_generic at /source/src/gf.c:4618:12 jl_apply at /source/src/julia.h:2389: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 0x0000766bc198f1c0 Total snapshots: 426. Utilization: 0% ╎426 @Base/task.jl:1170 wait_forever() 425╎ 426 @Base/task.jl:1248 wait() [ Info: Computed Wronskians in 9.458903987 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.136611872 seconds [ Info: Simplifying generating set. Simplification level: standard PkgEval terminated after 2723.78s: test duration exceeded the time limit