Package evaluation to test StructuralIdentifiability on Julia 1.14.0-DEV.2225 (e5d7225bad*) started at 2026-05-26T05:03:52.900 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.92s ################################################################################ # 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.4 [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.1 [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.13.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.1+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.24s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 2.1 s ✓ FLINT_jll 31.9 s ✓ Nemo 131.3 s ✓ Groebner 12.0 s ✓ ParamPunPam 12.3 s ✓ RationalFunctionFields 15.7 s ✓ StructuralIdentifiability 6 dependencies successfully precompiled in 207 seconds. 71 already precompiled. Precompilation completed after 231.67s ################################################################################ # Testing # Testing StructuralIdentifiability Status `/tmp/jl_U5LfSt/Project.toml` ⌅ [c3fe647b] AbstractAlgebra v0.48.6 [4c88cf16] Aqua v0.8.14 [2a0fbf3d] CPUSummary v0.2.7 [861a8166] Combinatorics v1.1.0 [864edb3b] DataStructures v0.19.4 [0b43b601] Groebner v0.10.3 [c8e1da08] IterTools v1.10.0 [1914dd2f] MacroTools v0.5.16 ⌅ [2edaba10] Nemo v0.54.2 [3e851597] ParamPunPam v0.5.7 [aea7be01] PrecompileTools v1.3.4 [27ebfcd6] Primes v0.5.7 [73480bc8] RationalFunctionFields v0.3.1 [276daf66] SpecialFunctions v2.7.2 [220ca800] StructuralIdentifiability v0.5.21 ⌅ [98d24dd4] TestSetExtensions v3.0.0 [a759f4b9] TimerOutputs v0.5.29 [ade2ca70] Dates v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [44cfe95a] Pkg v1.14.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_U5LfSt/Manifest.toml` ⌅ [c3fe647b] AbstractAlgebra v0.48.6 [4c88cf16] Aqua v0.8.14 [a9b6321e] Atomix v1.1.3 [2a0fbf3d] CPUSummary v0.2.7 [861a8166] Combinatorics v1.1.0 [f70d9fcc] CommonWorldInvalidations v1.0.0 [34da2185] Compat v4.18.1 [adafc99b] CpuId v0.3.1 [864edb3b] DataStructures v0.19.4 [ab62b9b5] DeepDiffs v1.2.0 [ffbed154] DocStringExtensions v0.9.5 [e2ba6199] ExprTools v0.1.10 [0b43b601] Groebner v0.10.3 [615f187c] IfElse v0.1.1 [18e54dd8] IntegerMathUtils v0.1.3 [92d709cd] IrrationalConstants v0.2.6 [c8e1da08] IterTools v1.10.0 [692b3bcd] JLLWrappers v1.8.0 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 ⌅ [2edaba10] Nemo v0.54.2 [bac558e1] OrderedCollections v1.8.1 [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.7.2 [aedffcd0] Static v1.4.0 [220ca800] StructuralIdentifiability v0.5.21 ⌅ [98d24dd4] TestSetExtensions v3.0.0 [a759f4b9] TimerOutputs v0.5.29 [013be700] UnsafeAtomics v0.3.1 ⌅ [e134572f] FLINT_jll v301.400.1+0 [656ef2d0] OpenBLAS32_jll v0.3.33+1 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.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.1+0 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.20.0+1 [e37daf67] LibGit2_jll v1.9.3+0 [29816b5a] LibSSH2_jll v1.11.101+0 [3a97d323] MPFR_jll v4.2.2+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [4536629a] OpenBLAS_jll v0.3.33+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.6+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.69.0+0 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Resolving package versions... Updating `/tmp/jl_U5LfSt/Project.toml` ⌅ [861a8166] ↓ Combinatorics v1.1.0 ⇒ v1.0.2 [loaded: v1.1.0] [961ee093] + ModelingToolkit v11.26.5 Updating `/tmp/jl_U5LfSt/Manifest.toml` [47edcb42] + ADTypes v1.22.0 [6e696c72] + AbstractPlutoDingetjes v1.4.0 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.44 [79e6a3ab] + Adapt v4.6.0 [ec485272] + ArnoldiMethod v0.4.0 [4fba245c] + ArrayInterface v7.25.0 [4c555306] + ArrayLayouts v1.12.2 [aae01518] + BandedMatrices v1.11.0 [e2ed5e7c] + Bijections v0.2.2 [caf10ac8] + BipartiteGraphs v0.1.7 [8e7c35d0] + BlockArrays v1.9.3 [70df07ce] + BracketingNonlinearSolve v1.12.1 ⌅ [861a8166] ↓ Combinatorics v1.1.0 ⇒ v1.0.2 [loaded: v1.1.0] [38540f10] + CommonSolve v0.2.7 [bbf7d656] + CommonSubexpressions v0.3.1 [b152e2b5] + CompositeTypes v0.1.4 [a33af91c] + CompositionsBase v0.1.2 [2569d6c7] + ConcreteStructs v0.2.4 [187b0558] + ConstructionBase v1.6.0 [85a47980] + Dictionaries v0.4.6 [2b5f629d] + DiffEqBase v7.5.1 [459566f4] + DiffEqCallbacks v4.17.0 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [a0c0ee7d] + DifferentiationInterface v0.7.18 ⌅ [5b8099bc] + DomainSets v0.7.18 [7c1d4256] + DynamicPolynomials v0.6.6 [4e289a0a] + EnumX v1.0.7 [f151be2c] + EnzymeCore v0.8.20 [55351af7] + ExproniconLite v0.10.14 [7034ab61] + FastBroadcast v1.3.2 [9aa1b823] + FastClosures v0.3.2 [a4df4552] + FastPower v1.3.1 [1a297f60] + FillArrays v1.16.0 [64ca27bc] + FindFirstFunctions v2.1.0 [6a86dc24] + FiniteDiff v2.31.0 [f6369f11] + ForwardDiff v1.3.3 [a85aefff] + FunctionMaps v0.1.2 [069b7b12] + FunctionWrappers v1.1.3 [77dc65aa] + FunctionWrappersWrappers v1.9.1 [46192b85] + GPUArraysCore v0.2.0 [86223c79] + Graphs v1.14.0 [3263718b] + ImplicitDiscreteSolve v2.1.0 [313cdc1a] + Indexing v1.1.1 [d25df0c9] + Inflate v0.1.5 [8197267c] + IntervalSets v0.7.14 [3587e190] + InverseFunctions v0.1.17 [82899510] + IteratorInterfaceExtensions v1.0.0 [ae98c720] + Jieko v0.2.1 [ccbc3e58] + JumpProcesses v9.29.0 [ba0b0d4f] + Krylov v0.10.6 [87fe0de2] + LineSearch v0.1.9 [7ed4a6bd] + LinearSolve v3.81.0 [e6f89c97] + LoggingExtras v1.2.0 [bb5d69b7] + MaybeInplace v0.1.4 [961ee093] + ModelingToolkit v11.26.5 [7771a370] + ModelingToolkitBase v1.40.0 [6bb917b9] + ModelingToolkitTearing v1.13.6 [2e0e35c7] + Moshi v0.3.7 [46d2c3a1] + MuladdMacro v0.2.4 [102ac46a] + MultivariatePolynomials v0.5.19 [d8a4904e] + MutableArithmetics v1.8.0 [77ba4419] + NaNMath v1.1.3 [be0214bd] + NonlinearSolveBase v2.27.0 [5959db7a] + NonlinearSolveFirstOrder v2.1.1 [6fe1bfb0] + OffsetArrays v1.17.0 [bbf590c4] + OrdinaryDiffEqCore v4.2.1 [e409e4f3] + PoissonRandom v0.4.8 [d236fae5] + PreallocationTools v1.2.0 [988b38a3] + ReadOnlyArrays v0.2.0 [795d4caa] + ReadOnlyDicts v1.0.1 [3cdcf5f2] + RecipesBase v1.3.4 [731186ca] + RecursiveArrayTools v4.3.0 [189a3867] + Reexport v1.2.2 [7e49a35a] + RuntimeGeneratedFunctions v0.5.19 [9dfe8606] + SCCNonlinearSolve v1.13.0 [1bc83da4] + SafeTestsets v0.1.0 [0bca4576] + SciMLBase v3.15.0 [19f34311] + SciMLJacobianOperators v0.1.13 [a6db7da4] + SciMLLogging v2.0.0 [c0aeaf25] + SciMLOperators v1.21.0 [53ae85a6] + SciMLStructures v1.10.0 [efcf1570] + Setfield v1.1.2 [727e6d20] + SimpleNonlinearSolve v2.11.1 [699a6c99] + SimpleTraits v0.9.6 [0c0c59c1] + StarAlgebras v0.3.0 [64909d44] + StateSelection v1.9.3 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [2efcf032] + SymbolicIndexingInterface v0.3.48 [19f23fe9] + SymbolicLimits v1.1.0 [d1185830] + SymbolicUtils v4.31.0 [0c5d862f] + Symbolics v7.24.2 [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_U5LfSt/Project.toml` [0c5d862f] + Symbolics v7.24.2 Manifest No packages added to or removed from `/tmp/jl_U5LfSt/Manifest.toml` WARNING: @nospecialize annotation only supported on the first 32 arguments. 1 dependency had output during precompilation: ┌ ModelingToolkitBase │ WARNING: @nospecialize annotation only supported on the first 32 arguments. └ [ Info: Testing started [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: a, b, c, d [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: S, I, W, R [ Info: Parameters: a, bi, bw, gam, k, mu, xi [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: S, I, W, R [ Info: Parameters: a, bi, bw, gam, k, mu, xi [ Info: Inputs: [ Info: Outputs: y, y2 [ Info: Summary of the model: [ Info: State variables: x0, x1, x2, x3 [ Info: Parameters: a1, a2, b1, b2, ka, kc, n [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: S, E, A, I, J, C, Ninv [ Info: Parameters: alpha, b, g1, g2, k, q, r [ Info: Inputs: [ Info: Outputs: y, y2 [ Info: Summary of the model: [ Info: State variables: KS00, KS01, KS10, FS01, FS10, FS11, K, F, S00, S01, S10, S11 [ Info: Parameters: a00, a01, a10, alpha01, alpha10, alpha11, b00, b01, b10, beta01, beta10, beta11, c0001, c0010, c0011, c0111, c1011, gamma0100, gamma1000, gamma1100, gamma1101, gamma1110 [ Info: Inputs: [ Info: Outputs: y1, y2, y3, y4, y5 [ Info: Summary of the model: [ Info: State variables: KS00, KS01, KS10, FS01, FS10, FS11, K, F, S00, S01, S10, S11 [ Info: Parameters: a00, a01, a10, alpha01, alpha10, alpha11, b00, b01, b10, beta01, beta10, beta11, c0001, c0010, c0011, c0111, c1011, gamma0100, gamma1000, gamma1100, gamma1101, gamma1110 [ Info: Inputs: [ Info: Outputs: y0, y1, y2, y3, y4 [ Info: Summary of the model: [ Info: State variables: KS00, KS01, KS10, FS01, FS10, FS11, K, F, S00, S01, S10, S11 [ Info: Parameters: a00, a01, a10, alpha01, alpha10, alpha11, b00, b01, b10, beta01, beta10, beta11, c0001, c0010, c0011, c0111, c1011, gamma0100, gamma1000, gamma1100, gamma1101, gamma1110 [ Info: Inputs: [ Info: Outputs: y0, y1, y2, y3, y4, y5 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: alpha, b, beta, c, delta, gama, sigma [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x, y, v, w, z [ Info: Parameters: a, b, beta, c, d, h, k, lm, q, u [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: s, i, r, x1, x2 [ Info: Parameters: M, b0, b1, g, mu, nu [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4, x5, x6 [ Info: Parameters: k1, k2, k3, k4, k5, k6 [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y, z, w [ Info: Parameters: a, b, c, d, e, f [ Info: Inputs: [ Info: Outputs: g [ Info: Summary of the model: [ Info: State variables: S, L, In, Q [ Info: Parameters: Ninv, a, b, e, g, s [ Info: Inputs: u [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: S, R, W [ Info: Parameters: Dd, T, a, d, dr, e, g, r, rR [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: P0, P1, P2, P3, P4, P5 [ Info: Parameters: Ks, M, Mar, alpa, beta, beta_SA, beta_SI, phi, siga1, siga2 [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: EGFR, pEGFR, pEGFR_Akt, Akt, pAkt, S6, pAkt_S6, pS6, EGF_EGFR [ Info: Parameters: EGFR_turnover, a1, a2, a3, reaction_1_k1, reaction_1_k2, reaction_2_k1, reaction_2_k2, reaction_3_k1, reaction_4_k1, reaction_5_k1, reaction_5_k2, reaction_6_k1, reaction_7_k1, reaction_8_k1, reaction_9_k1 [ Info: Inputs: pro_EGFR [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: p1, p2, p3, p4 [ Info: Inputs: u [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: k01, k12, k13, k14, k21, k31, k41 [ Info: Inputs: u [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: b, c, d, k1, k2, q1, q2, s, w1, w2 [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x4, x5, x6, x7 [ Info: Parameters: k10, k5, k6, k7, k8, k9 [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, In, Tr, N [ Info: Parameters: a, b, d, g, nu [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, E, I, R, Q [ Info: Parameters: beta, gamma, psi, v [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4, x5, x6, x7, x8, x9, x10 [ Info: Parameters: t1, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t2, t20, t21, t22, t3, t4, t5, t6, t7, t8, t9 [ Info: Inputs: u [ Info: Outputs: y1, y2, y3, y4, y5, y6, y7, y8 [ Info: Summary of the model: [ Info: State variables: A, S, I, R [ Info: Parameters: K, c, gamma, mu, phi [ Info: Inputs: u1 [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: S, I, R, C, D [ Info: Parameters: N, beta, mu, pp, q, r [ Info: Inputs: [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: S, I, J, R, U [ Info: Parameters: alpha, beta, eta, xi [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: S, I [ Info: Parameters: K, N, beta, gamma [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: A, S, E, I [ Info: Parameters: K, N, beta, epsilon, gamma, mu, r [ Info: Inputs: [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: S, E, I, De, Di, F [ Info: Parameters: N, beta, beta_d, gamma, gamma_d, mu_0, mu_d, mu_i, nu, phi, phi_e, s, s_d [ Info: Inputs: q [ Info: Outputs: y1, y2, y5, y3, y4, y6 [ Info: Summary of the model: [ Info: State variables: x, y, z, w, v [ Info: Parameters: b1, b2, b3, b4, b5, d1, k2, k3, k4, k5, m1, m3, m4, mu2, mu3, mu4, mu5, r1, r2, r3, r4 [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: T, L, N, C, I, M [ Info: Parameters: KC, KL, KN, KT, a, alpha1, alpha2, b, beta, c1, f, g, gI, gamma, gt, h, m, muI, p, pI, pt, q, r2, ucte, w [ Info: Inputs: u1, D, u2 [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: S, E, In, Cu [ Info: Parameters: N, a, b, nu [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, E, I [ Info: Parameters: N, alpha, beta, lambda [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, E, U, I [ Info: Parameters: N, beta, d, w, z [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: beta, cry, zea, beta10, OHbeta10, betaio, OHbetaio [ Info: Parameters: kOHbeta10, kbeta, kbeta10, kcryOH, kcrybeta, kzea [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: mRNA, GFP, enz, mRNAenz [ Info: Parameters: b, d1, d2, d3, kTL [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4 [ Info: Parameters: p1, p10, p11, p12, p13, p14, p15, p16, p17, p18, p20, p21, p22, p23, p24, p25, p3, p4, p5, p6, p7, p8, p9 [ Info: Inputs: u1 [ Info: Outputs: y1, y2, y3, y4 [ Info: Summary of the model: [ Info: State variables: N, E, S, M, P [ Info: Parameters: delta_EL, delta_LM, delta_NE, mu_EE, mu_LE, mu_LL, mu_M, mu_N, mu_P, mu_PE, mu_PL, rho_E, rho_P [ Info: Inputs: [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20 [ Info: Parameters: km, p1, p10, p11, p12, p13, p14, p15, p16, p17, p18, p19, p2, p20, p3, p4, p5, p6, p7, p8, p9, vm [ Info: Inputs: u [ Info: Outputs: y1, y2, y3, y4, y5, y6, y7, y8, y9, y10, y11, y12, y13, y14, y15, y16, y17, y18, y19, y20 [ Info: Summary of the model: [ Info: State variables: Ca, Cb, T, Tj, Arr [ Info: Parameters: Ca0, DH, E, R, Ta, Th, UA, V, Vh, cp, cph, k0, ro, roh [ Info: Inputs: u1, u2 [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: q1, q3, q35, q36, q7 [ Info: Parameters: R, S, V3, V36, k3, k4, k5, k6, k7 [ Info: Inputs: u [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: C, L, B, P, I [ Info: Parameters: ai, alpha, ap, beta, ks, rhob, rhoc, rhoi, rhol, rhop, taob, taoc, taoi, taop [ Info: Inputs: [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4, x5 [ Info: Parameters: k2, k3, k4 [ Info: Inputs: [ Info: Outputs: y1, y2, y3 [ Info: Summary of the model: [ Info: State variables: pi1, pi2, pi3 [ Info: Parameters: A11, A12, A13, A21, A22, A23, A31, A32, A33, B11, B21, B31, g1, g2, g3 [ Info: Inputs: u1 [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: pi1, pi2, pi3 [ Info: Parameters: A11, A12, A13, A21, A22, A23, A31, A32, A33, B11, B21, B31, g1, g2, g3 [ Info: Inputs: u1 [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: beta11, beta12, beta21, beta22, r1, r2 [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: T0, k, k1, k2, k3, k4, r1, r3 [ Info: Inputs: [ Info: Outputs: y1 [ Info: Summary of the model: [ Info: State variables: Sd, Sn, Ad, An, I [ Info: Parameters: ba, bi, delta, ea, es, f, gai, gir, h1, h2 [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, I, A, Q, J, R [ Info: Parameters: b, d1, d2, d3, d4, d5, d6, ea, ej, eq, g1, g2, k1, k2, l, m1, m2 [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: S, E, I [ Info: Parameters: K, L, N, b, e, g, m, r [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: Y2, Y1, Y3, Y4, Z0, Y0, Z1, Z2, Z3, w1, w2, I1, I4 [ Info: Parameters: D0, D1, D2, D3, D4, E0, E1, E2, E3, E4, J1, J2, J3, Tau, f1, m1, m2, m3, n, n1, n2, n3 [ Info: Inputs: [ Info: Outputs: O1, O2, O3, O4, O6, O7, O8, O9, O10 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, d_I, k_T, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, c_T, d_I, k_T, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, d_I, d_T, k_T, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, c_T, d_I, d_T, k_T, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, d_I, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, c_T, d_I, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, d_I, d_T, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: U, I, V, T [ Info: Parameters: beta, c, c_T, d_I, d_T, p, r, s_T [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: A, I, H, R, D, E [ Info: Parameters: N, a, c1, c2, d, h, r1, r2, r3, s [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15 [ Info: Parameters: a1, a2, a3, c1, c1a, c1c, c2, c2a, c2c, c3, c3a, c3c, c4, c4a, c5, c5a, c6a, e1a, e2a, i1, i1a, k1, k2, k3, k_deg, k_prod, kv, t1, t2 [ Info: Inputs: u [ Info: Outputs: y1, y2, y3, y4, y5, y6 Test Summary: | Total Time Benchmarks are valid | 0 44.9s [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y ┌ Warning: New variable c, treating as a scalar parameter └ @ StructuralIdentifiability ~/.julia/packages/StructuralIdentifiability/31snG/src/pb_representation.jl:94 [ Info: Summary of the model: [ Info: State variables: x1, x2, x3 [ Info: Parameters: a [ Info: Inputs: u [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: a [ Info: Parameters: b [ Info: Inputs: c [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: a, b [ Info: Parameters: k1, k2 [ Info: Inputs: c [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y [ Info: Parameters: a, b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y [ Info: Parameters: a, b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y [ Info: Parameters: a, b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x, y [ Info: Parameters: a, b [ Info: Inputs: [ Info: Outputs: y1, y2 [ Info: Summary of the model: [ Info: State variables: x [ Info: Parameters: a [ Info: Inputs: u [ Info: Outputs: y 2.112053 seconds (884.91 k allocations: 48.968 MiB, 99.57% compilation time) 0.001757 seconds (7.07 k allocations: 309.492 KiB) 0.001863 seconds (10.77 k allocations: 483.062 KiB) 0.001748 seconds (10.73 k allocations: 478.125 KiB) 0.002449 seconds (14.49 k allocations: 632.938 KiB) 0.001373 seconds (7.93 k allocations: 359.586 KiB) 0.000972 seconds (7.45 k allocations: 300.477 KiB) 15.538151 seconds (5.79 M allocations: 329.993 MiB, 0.75% 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.334639 seconds (93.98 k allocations: 5.622 MiB, 98.39% compilation time) [ Info: Summary of the model: [ Info: State variables: x1, x2 [ Info: Parameters: [ Info: Inputs: u [ Info: Outputs: y 0.012562 seconds (9.44 k allocations: 509.102 KiB, 91.53% 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.00312909 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 2.016186022 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 0.067264839 seconds [ Info: Global identifiability assessed in 56.970832058 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.002340567 seconds [ Info: No parameters, so Wronskian computation is not needed [ Info: Global identifiability assessed in 0.946608683 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Global identifiability assessed in 5.884e-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.038745609 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.510868723 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 9.5959e-5 seconds [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:17 ✓ # Computing specializations.. Time: 0:00:19 [ Info: Search for polynomial generators concluded in 16.510511149 [ Info: Selecting generators in 0.010892223 [ Info: Inclusion checked with probability 0.9955 in 0.04889078 seconds [ Info: Global identifiability assessed in 114.881203689 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 1.46117466 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 1.762140563 seconds [ Info: Dimensions of the Wronskians [676] [ Info: Ranks of the Wronskians computed in 0.071798245 seconds [ Info: Global identifiability assessed in 41.386211795 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.014768645 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.029756837 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000281587 seconds [ Info: Global identifiability assessed in 0.07526685 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.25150336 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002851682 seconds [ Info: Dimensions of the Wronskians [2, 3, 2] [ Info: Ranks of the Wronskians computed in 3.406e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.933716551 [ Info: Selecting generators in 0.000350886 [ Info: Inclusion checked with probability 0.9955 in 0.002928661 seconds [ Info: Global identifiability assessed in 9.669970447 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001991131 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001496345 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.072e-5 seconds [ Info: Global identifiability assessed in 0.006348327 seconds [ Info: Assessing local identifiability [ Info: Assessing global identifiability [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.002413636 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001771363 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.251e-5 seconds [ Info: Global identifiability assessed in 0.007438847 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.004639255 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003872761 seconds [ Info: Dimensions of the Wronskians [6] [ Info: Ranks of the Wronskians computed in 2.3e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.207736088 [ Info: Selecting generators in 0.015842714 [ Info: Inclusion checked with probability 0.9955 in 0.005931281 seconds [ Info: Global identifiability assessed in 2.476628695 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.008492967 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003703504 seconds [ Info: Dimensions of the Wronskians [2, 5] [ Info: Ranks of the Wronskians computed in 2.292e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.007317179 [ Info: Selecting generators in 0.003959921 [ Info: Inclusion checked with probability 0.9955 in 0.004189939 seconds [ Info: Global identifiability assessed in 0.050724121 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.001691983 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001148438 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.2199e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.8669e-5 [ Info: Selecting generators in 1.340041407 [ Info: Inclusion checked with probability 0.995 in 0.002323877 seconds [ Info: The search for identifiable functions concluded in 2.662590606 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.001510025 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00105924 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.098e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.7389e-5 [ Info: Selecting generators in 0.000566194 [ Info: Inclusion checked with probability 0.995 in 0.001709463 seconds [ Info: The search for identifiable functions concluded in 0.008955342 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.00108402 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001397156 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.965e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.366e-5 [ Info: Selecting generators in 0.000702093 [ Info: Inclusion checked with probability 0.995 in 0.001967451 seconds [ Info: The search for identifiable functions concluded in 0.009832313 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.001384126 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001097879 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.949e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000487266 [ Info: Selecting generators in 0.000672114 [ Info: Inclusion checked with probability 0.995 in 0.002182949 seconds [ Info: The search for identifiable functions concluded in 0.010478697 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.001390356 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001225178 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 2.0039e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000433926 [ Info: Selecting generators in 0.000830962 [ Info: Inclusion checked with probability 0.995 in 0.001994741 seconds [ Info: The search for identifiable functions concluded in 0.010349388 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.001479096 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00103423 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.875e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000427016 [ Info: Selecting generators in 0.000692923 [ Info: Inclusion checked with probability 0.995 in 0.001951481 seconds [ Info: The search for identifiable functions concluded in 0.009643585 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.001793152 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001102329 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.724e-5 seconds [ Info: The search for identifiable functions concluded in 0.041071606 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001785032 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001108269 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.736e-5 seconds [ Info: The search for identifiable functions concluded in 0.003647255 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001322758 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00105022 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.953e-5 seconds [ Info: The search for identifiable functions concluded in 0.002969771 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001434496 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001041 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.5689e-5 seconds [ Info: The search for identifiable functions concluded in 0.00303354 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001441156 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001091159 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.989e-5 seconds [ Info: The search for identifiable functions concluded in 0.003168289 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001484655 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001105039 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 2.36e-5 seconds [ Info: The search for identifiable functions concluded in 0.003198649 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001971721 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001229198 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.57e-5 seconds [ Info: The search for identifiable functions concluded in 0.00403473 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001629884 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001129509 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.604e-5 seconds [ Info: The search for identifiable functions concluded in 0.003433356 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001669503 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001133619 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.6e-5 seconds [ Info: The search for identifiable functions concluded in 0.003526935 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001758713 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001166459 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.599e-5 seconds [ Info: The search for identifiable functions concluded in 0.003636614 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001581065 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001094339 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.644e-5 seconds [ Info: The search for identifiable functions concluded in 0.003347727 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.001648263 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001161229 seconds [ Info: Dimensions of the Wronskians [1] [ Info: Ranks of the Wronskians computed in 1.829e-5 seconds [ Info: The search for identifiable functions concluded in 0.003541775 seconds [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.29189864 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001474646 seconds [ Info: Dimensions of the Wronskians [2] [ 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 7.417e-5 [ Info: Selecting generators in 0.000545065 [ Info: Inclusion checked with probability 0.995 in 0.001694664 seconds [ Info: The search for identifiable functions concluded in 0.299685444 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.002467656 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001445076 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 3.764e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 7.1519e-5 [ Info: Selecting generators in 0.000590574 [ Info: Inclusion checked with probability 0.995 in 0.001690423 seconds [ Info: The search for identifiable functions concluded in 0.010369498 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.002426726 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001475586 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.881e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 6.755e-5 [ Info: Selecting generators in 0.000510405 [ Info: Inclusion checked with probability 0.995 in 0.001713373 seconds [ Info: The search for identifiable functions concluded in 0.010219859 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.002276498 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001440576 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.764e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000384586 [ Info: Selecting generators in 0.000562325 [ Info: Inclusion checked with probability 0.995 in 0.001659594 seconds [ Info: The search for identifiable functions concluded in 0.010276339 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.002396147 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001471426 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.619e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000381807 [ Info: Selecting generators in 0.000619284 [ Info: Inclusion checked with probability 0.995 in 0.001710054 seconds [ Info: The search for identifiable functions concluded in 0.010642735 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.002261378 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001343786 seconds [ Info: Dimensions of the Wronskians [2] [ Info: Ranks of the Wronskians computed in 1.819e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.000396346 [ Info: Selecting generators in 0.000593834 [ Info: Inclusion checked with probability 0.995 in 0.001710613 seconds [ Info: The search for identifiable functions concluded in 0.010012862 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.001352997 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001146629 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.8439e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.5369e-5 [ Info: Selecting generators in 0.001974171 [ Info: Inclusion checked with probability 0.995 in 0.003313337 seconds [ Info: The search for identifiable functions concluded in 0.015793915 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.001264208 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001075019 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 4.1459e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000125529 [ Info: Selecting generators in 0.00205436 [ Info: Inclusion checked with probability 0.995 in 0.003329237 seconds [ Info: The search for identifiable functions concluded in 0.015711966 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.001238168 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001077159 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.919e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.4669e-5 [ Info: Selecting generators in 0.001959561 [ Info: Inclusion checked with probability 0.995 in 0.003328677 seconds [ Info: The search for identifiable functions concluded in 0.015559247 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.001224238 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001109359 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.026e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.25742497 [ Info: Selecting generators in 0.003367667 [ Info: Inclusion checked with probability 0.995 in 0.003268498 seconds [ Info: The search for identifiable functions concluded in 0.27462373 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.001252858 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001076469 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.893e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.013839934 [ Info: Selecting generators in 0.002926811 [ Info: Inclusion checked with probability 0.995 in 0.003159439 seconds [ Info: The search for identifiable functions concluded in 0.030178764 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.001215128 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001103189 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.176e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.013943613 [ Info: Selecting generators in 0.00300332 [ Info: Inclusion checked with probability 0.995 in 0.003341557 seconds [ Info: The search for identifiable functions concluded in 0.030814867 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.001220498 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0010263 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.088e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.2349e-5 [ Info: Selecting generators in 0.002083659 [ Info: Inclusion checked with probability 0.995 in 0.002951031 seconds [ Info: The search for identifiable functions concluded in 1.063292287 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.001243227 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001072 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 3.801e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.9749e-5 [ Info: Selecting generators in 0.001953211 [ Info: Inclusion checked with probability 0.995 in 0.00311609 seconds [ Info: The search for identifiable functions concluded in 0.013565316 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.001295338 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00105171 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.956e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.469e-5 [ Info: Selecting generators in 0.001883421 [ Info: Inclusion checked with probability 0.995 in 0.002734203 seconds [ Info: The search for identifiable functions concluded in 0.012979172 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.001304897 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00103063 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.08e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.251851534 [ Info: Selecting generators in 0.002300928 [ Info: Inclusion checked with probability 0.995 in 0.00300784 seconds [ Info: The search for identifiable functions concluded in 0.265767107 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.001277707 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.0010134 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.03e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.006440877 [ Info: Selecting generators in 0.002175339 [ Info: Inclusion checked with probability 0.995 in 0.002633235 seconds [ Info: The search for identifiable functions concluded in 0.019718826 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.001228798 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00103657 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.0679e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00609987 [ Info: Selecting generators in 0.002337717 [ Info: Inclusion checked with probability 0.995 in 0.002919222 seconds [ Info: The search for identifiable functions concluded in 0.020208632 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.002403027 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001698383 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.8519e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.8799e-5 [ Info: Selecting generators in 0.000645864 [ Info: Inclusion checked with probability 0.995 in 0.002958711 seconds [ Info: The search for identifiable functions concluded in 0.01826002 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.002747863 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.00205619 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.11e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.441e-5 [ Info: Selecting generators in 0.000598855 [ Info: Inclusion checked with probability 0.995 in 0.002886402 seconds [ Info: The search for identifiable functions concluded in 0.018657407 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.002192219 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001608154 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.855e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.5419e-5 [ Info: Selecting generators in 0.000560784 [ Info: Inclusion checked with probability 0.995 in 0.002745753 seconds [ Info: The search for identifiable functions concluded in 0.016660466 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.002162409 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001556025 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.04e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.007258278 [ Info: Selecting generators in 0.000725092 [ Info: Inclusion checked with probability 0.995 in 0.002963301 seconds [ Info: The search for identifiable functions concluded in 0.024358691 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.002112559 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001524135 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.119e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.007309838 [ Info: Selecting generators in 0.000680613 [ Info: Inclusion checked with probability 0.995 in 0.002934411 seconds [ Info: The search for identifiable functions concluded in 0.024135313 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.00212022 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001487506 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.974e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.007292599 [ Info: Selecting generators in 0.000720353 [ Info: Inclusion checked with probability 0.995 in 0.002743153 seconds [ Info: The search for identifiable functions concluded in 0.023970354 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.002544575 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001797102 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.0179e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.342e-5 [ Info: Selecting generators in 0.002911152 [ Info: Inclusion checked with probability 0.995 in 0.003313517 seconds [ Info: The search for identifiable functions concluded in 0.020114402 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.002431906 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001889261 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.893e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.4139e-5 [ Info: Selecting generators in 0.003322767 [ Info: Inclusion checked with probability 0.995 in 0.003644194 seconds [ Info: The search for identifiable functions concluded in 0.021734807 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.002675414 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001956631 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 1.968e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.8429e-5 [ Info: Selecting generators in 0.003091709 [ Info: Inclusion checked with probability 0.995 in 0.003405867 seconds [ Info: The search for identifiable functions concluded in 0.021532989 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.002751673 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001898911 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.253e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.014754565 [ Info: Selecting generators in 0.003259848 [ Info: Inclusion checked with probability 0.995 in 0.003557265 seconds [ Info: The search for identifiable functions concluded in 0.036278733 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.002486315 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001853002 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.143e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.014814134 [ Info: Selecting generators in 0.003471606 [ Info: Inclusion checked with probability 0.995 in 0.003447646 seconds [ Info: The search for identifiable functions concluded in 0.036077925 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.002502125 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001789772 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.102e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.014580137 [ Info: Selecting generators in 0.003253758 [ Info: Inclusion checked with probability 0.995 in 0.003611955 seconds [ Info: The search for identifiable functions concluded in 0.036207914 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.015958643 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004337737 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.858e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000127049 [ Info: Selecting generators in 0.009511177 [ Info: Inclusion checked with probability 0.995 in 0.006000601 seconds [ Info: The search for identifiable functions concluded in 0.323814427 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.006827532 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004499376 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.8929e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000114659 [ Info: Selecting generators in 0.009228719 [ Info: Inclusion checked with probability 0.995 in 0.00603357 seconds [ Info: The search for identifiable functions concluded in 0.043953048 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.006960691 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004633954 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.943e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000124299 [ Info: Selecting generators in 0.010342088 [ Info: Inclusion checked with probability 0.995 in 0.006313738 seconds [ Info: The search for identifiable functions concluded in 0.047749051 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.007173809 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004904212 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.9919e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.002244078 [ Info: Selecting generators in 0.009781814 [ Info: Inclusion checked with probability 0.995 in 0.005975121 seconds [ Info: The search for identifiable functions concluded in 0.04987884 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.007021781 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004609734 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.862e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.00209482 [ Info: Selecting generators in 0.009359038 [ Info: Inclusion checked with probability 0.995 in 0.005923922 seconds [ Info: The search for identifiable functions concluded in 0.047267415 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.006829253 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.004523586 seconds [ Info: Dimensions of the Wronskians [13] [ Info: Ranks of the Wronskians computed in 2.984e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.002159699 [ Info: Selecting generators in 0.009602186 [ Info: Inclusion checked with probability 0.995 in 0.00609748 seconds [ Info: The search for identifiable functions concluded in 0.04781991 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.004721524 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002818102 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.115e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.7949e-5 [ Info: Selecting generators in 0.001846592 [ Info: Inclusion checked with probability 0.995 in 0.003751004 seconds [ Info: The search for identifiable functions concluded in 0.023254041 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.004934602 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002914481 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.081e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.7009e-5 [ Info: Selecting generators in 0.001761832 [ Info: Inclusion checked with probability 0.995 in 0.003787423 seconds [ Info: The search for identifiable functions concluded in 0.023732816 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.005157939 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003219818 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 1.963e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000121849 [ Info: Selecting generators in 0.001972851 [ Info: Inclusion checked with probability 0.995 in 0.00404596 seconds [ Info: The search for identifiable functions concluded in 0.040084496 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.005433327 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003331277 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.08e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.001262958 [ Info: Selecting generators in 0.002087219 [ Info: Inclusion checked with probability 0.995 in 0.004128539 seconds [ Info: The search for identifiable functions concluded in 0.0274727 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.005341098 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003417276 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 2.162e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.001365507 [ Info: Selecting generators in 0.002230038 [ Info: Inclusion checked with probability 0.995 in 0.004240088 seconds [ Info: The search for identifiable functions concluded in 0.028149313 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.005685544 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003513325 seconds [ Info: Dimensions of the Wronskians [5] [ Info: Ranks of the Wronskians computed in 3.946e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.001276327 [ Info: Selecting generators in 0.001920532 [ Info: Inclusion checked with probability 0.995 in 0.003607745 seconds [ Info: The search for identifiable functions concluded in 0.026830887 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.006068961 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.003131929 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.126e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.6269e-5 [ Info: Selecting generators in 0.002385857 [ Info: Inclusion checked with probability 0.995 in 0.003645794 seconds [ Info: The search for identifiable functions concluded in 0.029861666 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.00511566 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002929932 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.009e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000101719 [ Info: Selecting generators in 0.002421156 [ Info: Inclusion checked with probability 0.995 in 0.003745823 seconds [ Info: The search for identifiable functions concluded in 0.02849968 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.004888842 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002831632 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.235e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.7989e-5 [ Info: Selecting generators in 0.002273908 [ Info: Inclusion checked with probability 0.995 in 0.003606004 seconds [ Info: The search for identifiable functions concluded in 0.027720517 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.004714124 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002750843 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.303e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.018360519 [ Info: Selecting generators in 0.003335477 [ Info: Inclusion checked with probability 0.995 in 0.003565965 seconds [ Info: The search for identifiable functions concluded in 0.047115367 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.004621664 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002901242 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.0979e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.018387279 [ Info: Selecting generators in 0.003586435 [ Info: Inclusion checked with probability 0.995 in 0.003622675 seconds [ Info: The search for identifiable functions concluded in 0.046851639 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.004906902 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.002847772 seconds [ Info: Dimensions of the Wronskians [4] [ Info: Ranks of the Wronskians computed in 2.304e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.01734077 [ Info: Selecting generators in 0.003648174 [ Info: Inclusion checked with probability 0.995 in 0.003745383 seconds [ Info: The search for identifiable functions concluded in 0.046147407 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.002493096 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001884502 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.038e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000106959 [ Info: Selecting generators in 0.001442206 [ Info: Inclusion checked with probability 0.995 in 0.003198469 seconds [ Info: The search for identifiable functions concluded in 0.017185071 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.002390917 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001669244 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.902e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 8.7989e-5 [ Info: Selecting generators in 0.001505985 [ Info: Inclusion checked with probability 0.995 in 0.002922911 seconds [ Info: The search for identifiable functions concluded in 0.622872227 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.002491076 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001751953 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 2.012e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000164918 [ Info: Selecting generators in 0.001458696 [ Info: Inclusion checked with probability 0.995 in 0.00310788 seconds [ Info: The search for identifiable functions concluded in 0.018251051 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.002383506 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001676803 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.832e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.011784674 [ Info: Selecting generators in 0.002562235 [ Info: Inclusion checked with probability 0.995 in 0.002953091 seconds [ Info: The search for identifiable functions concluded in 0.029407711 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.002310037 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001702694 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.837e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.011471617 [ Info: Selecting generators in 0.002569785 [ Info: Inclusion checked with probability 0.995 in 0.002882572 seconds [ Info: The search for identifiable functions concluded in 0.028777317 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.002395416 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.001687203 seconds [ Info: Dimensions of the Wronskians [3] [ Info: Ranks of the Wronskians computed in 1.8869e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.011406018 [ Info: Selecting generators in 0.002542265 [ Info: Inclusion checked with probability 0.995 in 0.00307154 seconds [ Info: The search for identifiable functions concluded in 0.028887196 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.013485907 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.02844925 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000300388 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:08 ✓ # Computing specializations.. Time: 0:00:08 [ Info: Search for polynomial generators concluded in 0.000250077 [ Info: Selecting generators in 0.020060513 [ Info: Inclusion checked with probability 0.995 in 0.032222473 seconds [ Info: The search for identifiable functions concluded in 15.982107925 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.016040962 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.03346628 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000319087 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.000112669 [ Info: Selecting generators in 0.01528406 [ Info: Inclusion checked with probability 0.995 in 0.026196662 seconds [ Info: The search for identifiable functions concluded in 0.524086867 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.013536927 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.027840156 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000325367 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000117508 [ Info: Selecting generators in 0.014813414 [ Info: Inclusion checked with probability 0.995 in 0.02545527 seconds [ Info: The search for identifiable functions concluded in 0.148226123 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.013050092 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.026258862 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000325077 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.266147862 [ Info: Selecting generators in 0.015424818 [ Info: Inclusion checked with probability 0.995 in 0.026104723 seconds [ Info: The search for identifiable functions concluded in 1.411457643 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.013492457 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.027880305 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000347996 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.045147046 [ Info: Selecting generators in 0.014865054 [ Info: Inclusion checked with probability 0.995 in 0.025738217 seconds [ Info: The search for identifiable functions concluded in 0.19427805 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.013345729 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.028227463 seconds [ Info: Dimensions of the Wronskians [69] [ Info: Ranks of the Wronskians computed in 0.000302327 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.045956158 [ Info: Selecting generators in 0.015153491 [ Info: Inclusion checked with probability 0.995 in 0.026096303 seconds [ Info: The search for identifiable functions concluded in 0.538882762 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.556782152 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 7.656729259 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.209655819 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 7   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.000161619 [ Info: Selecting generators in 0.892348276 [ Info: Inclusion checked with probability 0.995 in 3.209372324 seconds [ Info: The search for identifiable functions concluded in 18.49746998 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.459958555 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.379328628 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.180731063 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 7   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 9.6089e-5 [ Info: Selecting generators in 1.034562847 [ Info: Inclusion checked with probability 0.995 in 2.406808323 seconds [ Info: The search for identifiable functions concluded in 17.601696774 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.590085641 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.265309883 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.199720946 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 7   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.000222958 [ Info: Selecting generators in 1.161280939 [ Info: Inclusion checked with probability 0.995 in 2.48529922 seconds [ Info: The search for identifiable functions concluded in 18.958129332 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.020950215 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.464769395 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.953417543 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.037349403 [ Info: Selecting generators in 0.587810829 [ Info: Inclusion checked with probability 0.995 in 2.675006411 seconds [ Info: The search for identifiable functions concluded in 18.781294215 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.178653583 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.396735897 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.22071346 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:01 ⌝ # Computing specializations.. Time: 0:00:01 ✓ # Computing specializations.. Time: 0:00:01 ⌜ # Computing specializations.. Time: 0:00:00 Points: 7   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.026147483 [ Info: Selecting generators in 1.470352099 [ Info: Inclusion checked with probability 0.995 in 2.763243772 seconds [ Info: The search for identifiable functions concluded in 19.296494893 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.920785578 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 8.710428875 seconds [ Info: Dimensions of the Wronskians [830, 3] [ Info: Ranks of the Wronskians computed in 0.204910585 seconds [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:01 ✓ # Computing specializations.. Time: 0:00:01 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 7   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.030626278 [ Info: Selecting generators in 1.576900689 [ Info: Inclusion checked with probability 0.995 in 2.773540878 seconds [ Info: The search for identifiable functions concluded in 19.616933196 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[nu, mu, g, b0, M^2] │ case = │ (ode = s'(t) = -s(t)*i(t)*x1(t)*b0*b1 - s(t)*i(t)*b0 - s(t)*mu + r(t)*g + mu │ i'(t) = s(t)*i(t)*x1(t)*b0*b1 + s(t)*i(t)*b0 - i(t)*mu - i(t)*nu │ r'(t) = i(t)*nu - r(t)*g - r(t)*mu │ x1'(t) = -x2(t)*M │ x2'(t) = x1(t)*M │ y1(t) = i(t) │ y2(t) = r(t) │ , ident_funcs = QQMPolyRingElem[g, mu, b0, nu, M^2]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables s(t), i(t), r(t), x1(t), ..., nu │ over rational field └ with_states = false [ Info: QQMPolyRingElem[s(t), i(t), r(t), x1(t), x2(t), y1(t), y2(t), M, b0, b1, g, mu, nu] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.01320799 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.011016231 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.835e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000113098 [ Info: Selecting generators in 0.008070121 [ Info: Inclusion checked with probability 0.995 in 0.009067921 seconds [ Info: The search for identifiable functions concluded in 0.080849515 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[gamma, beta//psi, gamma*psi - psi*v, gamma*psi - gamma - psi - v] │ case = │ (ode = S'(t) = -S(t)*I(t)*beta │ E'(t) = S(t)*I(t)*beta - E(t)*v │ I'(t) = E(t)*v + I(t)*gamma*psi - I(t)*gamma - I(t)*psi │ R'(t) = -I(t)*gamma*psi + I(t)*gamma + Q(t)*gamma │ Q'(t) = I(t)*psi - Q(t)*gamma │ y1(t) = Q(t) │ , ident_funcs = RingElem[gamma*psi - psi*v, beta//psi, gamma, psi*v - psi - v]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 10 variables S(t), E(t), I(t), R(t), ..., v │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011995032 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.010466997 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.4079e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 9.9889e-5 [ Info: Selecting generators in 0.007213039 [ Info: Inclusion checked with probability 0.995 in 0.008085881 seconds [ Info: The search for identifiable functions concluded in 0.073544186 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[gamma, beta//psi, gamma*psi - psi*v, gamma*psi - gamma - psi - v] │ case = │ (ode = S'(t) = -S(t)*I(t)*beta │ E'(t) = S(t)*I(t)*beta - E(t)*v │ I'(t) = E(t)*v + I(t)*gamma*psi - I(t)*gamma - I(t)*psi │ R'(t) = -I(t)*gamma*psi + I(t)*gamma + Q(t)*gamma │ Q'(t) = I(t)*psi - Q(t)*gamma │ y1(t) = Q(t) │ , ident_funcs = RingElem[gamma*psi - psi*v, beta//psi, gamma, psi*v - psi - v]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 10 variables S(t), E(t), I(t), R(t), ..., v │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.012037252 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.011378428 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.6279e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000112289 [ Info: Selecting generators in 0.00810396 [ Info: Inclusion checked with probability 0.995 in 0.008949982 seconds [ Info: The search for identifiable functions concluded in 0.078654867 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[gamma, beta//psi, gamma*psi - psi*v, gamma*psi - gamma - psi - v] │ case = │ (ode = S'(t) = -S(t)*I(t)*beta │ E'(t) = S(t)*I(t)*beta - E(t)*v │ I'(t) = E(t)*v + I(t)*gamma*psi - I(t)*gamma - I(t)*psi │ R'(t) = -I(t)*gamma*psi + I(t)*gamma + Q(t)*gamma │ Q'(t) = I(t)*psi - Q(t)*gamma │ y1(t) = Q(t) │ , ident_funcs = RingElem[gamma*psi - psi*v, beta//psi, gamma, psi*v - psi - v]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 10 variables S(t), E(t), I(t), R(t), ..., v │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011988172 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.009935412 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.638e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.031006395 [ Info: Selecting generators in 0.012592866 [ Info: Inclusion checked with probability 0.995 in 0.009090271 seconds [ Info: The search for identifiable functions concluded in 0.109994928 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[gamma, beta//psi, gamma*psi - psi*v, psi*v - psi - v] │ case = │ (ode = S'(t) = -S(t)*I(t)*beta │ E'(t) = S(t)*I(t)*beta - E(t)*v │ I'(t) = E(t)*v + I(t)*gamma*psi - I(t)*gamma - I(t)*psi │ R'(t) = -I(t)*gamma*psi + I(t)*gamma + Q(t)*gamma │ Q'(t) = I(t)*psi - Q(t)*gamma │ y1(t) = Q(t) │ , ident_funcs = RingElem[gamma*psi - psi*v, beta//psi, gamma, psi*v - psi - v]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 10 variables S(t), E(t), I(t), R(t), ..., v │ over rational field └ with_states = false [ Info: QQMPolyRingElem[S(t), E(t), I(t), R(t), Q(t), y1(t), beta, gamma, psi, v] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.012145211 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.011346759 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 3.382e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.034735928 [ Info: Selecting generators in 0.026307312 [ Info: Inclusion checked with probability 0.995 in 0.009193899 seconds [ Info: The search for identifiable functions concluded in 0.132517196 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[gamma, beta//psi, gamma*psi - psi*v, psi*v - psi - v] │ case = │ (ode = S'(t) = -S(t)*I(t)*beta │ E'(t) = S(t)*I(t)*beta - E(t)*v │ I'(t) = E(t)*v + I(t)*gamma*psi - I(t)*gamma - I(t)*psi │ R'(t) = -I(t)*gamma*psi + I(t)*gamma + Q(t)*gamma │ Q'(t) = I(t)*psi - Q(t)*gamma │ y1(t) = Q(t) │ , ident_funcs = RingElem[gamma*psi - psi*v, beta//psi, gamma, psi*v - psi - v]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 10 variables S(t), E(t), I(t), R(t), ..., v │ over rational field └ with_states = false [ Info: QQMPolyRingElem[S(t), E(t), I(t), R(t), Q(t), y1(t), beta, gamma, psi, v] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.013442488 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.012382489 seconds [ Info: Dimensions of the Wronskians [15] [ Info: Ranks of the Wronskians computed in 4.572e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.034489951 [ Info: Selecting generators in 0.012317799 [ Info: Inclusion checked with probability 0.995 in 0.008915352 seconds [ Info: The search for identifiable functions concluded in 0.12198667 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[gamma, beta//psi, gamma*psi - psi*v, psi*v - psi - v] │ case = │ (ode = S'(t) = -S(t)*I(t)*beta │ E'(t) = S(t)*I(t)*beta - E(t)*v │ I'(t) = E(t)*v + I(t)*gamma*psi - I(t)*gamma - I(t)*psi │ R'(t) = -I(t)*gamma*psi + I(t)*gamma + Q(t)*gamma │ Q'(t) = I(t)*psi - Q(t)*gamma │ y1(t) = Q(t) │ , ident_funcs = RingElem[gamma*psi - psi*v, beta//psi, gamma, psi*v - psi - v]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 10 variables S(t), E(t), I(t), R(t), ..., v │ over rational field └ with_states = false [ Info: QQMPolyRingElem[S(t), E(t), I(t), R(t), Q(t), y1(t), beta, gamma, psi, v] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.012495057 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.007758404 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.7839e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000239187 [ Info: Selecting generators in 0.040552021 [ Info: Inclusion checked with probability 0.995 in 0.013319109 seconds [ Info: The search for identifiable functions concluded in 0.807038851 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31 + k41, k12 + k13 + k14, k12*k13 + k12*k14 + k13*k14, k01*k12 + k01*k13 + k01*k14 + k12*k13 + k12*k14 + k12*k31 + k12*k41 + k13*k14 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k12*k13*k14, k01*k12*k13 + k01*k12*k14 + k01*k13*k14 + k12*k13*k14 + k12*k13*k41 + k12*k14*k31 + k13*k14*k21] │ case = │ (ode = x1'(t) = -x1(t)*k01 - x1(t)*k21 - x1(t)*k31 - x1(t)*k41 + x2(t)*k12 + x3(t)*k13 + x4(t)*k14 + u(t) │ x2'(t) = x1(t)*k21 - x2(t)*k12 │ x3'(t) = x1(t)*k31 - x3(t)*k13 │ x4'(t) = x1(t)*k41 - x4(t)*k14 │ y1(t) = x1(t) │ , ident_funcs = AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k12*k13 + k12*k14 + k13*k14, k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31*k41, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31 + k21*k41 + k31*k41, k12*k13*k14]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), x4(t), ..., k41 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.010793454 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.007291308 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.687e-5 seconds [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 Points: 101   ✓ # Computing specializations.. Time: 0:00:00 [ Info: Search for polynomial generators concluded in 0.000237898 [ Info: Selecting generators in 0.044449143 [ Info: Inclusion checked with probability 0.995 in 0.014279269 seconds [ Info: The search for identifiable functions concluded in 1.383490001 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31 + k41, k12 + k13 + k14, k12*k13 + k12*k14 + k13*k14, k01*k12 + k01*k13 + k01*k14 + k12*k13 + k12*k14 + k12*k31 + k12*k41 + k13*k14 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k12*k13*k14, k01*k12*k13 + k01*k12*k14 + k01*k13*k14 + k12*k13*k14 + k12*k13*k41 + k12*k14*k31 + k13*k14*k21] │ case = │ (ode = x1'(t) = -x1(t)*k01 - x1(t)*k21 - x1(t)*k31 - x1(t)*k41 + x2(t)*k12 + x3(t)*k13 + x4(t)*k14 + u(t) │ x2'(t) = x1(t)*k21 - x2(t)*k12 │ x3'(t) = x1(t)*k31 - x3(t)*k13 │ x4'(t) = x1(t)*k41 - x4(t)*k14 │ y1(t) = x1(t) │ , ident_funcs = AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k12*k13 + k12*k14 + k13*k14, k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31*k41, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31 + k21*k41 + k31*k41, k12*k13*k14]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), x4(t), ..., k41 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011978692 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.007584366 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.769e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000215868 [ Info: Selecting generators in 0.036806238 [ Info: Inclusion checked with probability 0.995 in 0.01321506 seconds [ Info: The search for identifiable functions concluded in 0.482717072 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31 + k41, k12 + k13 + k14, k12*k13 + k12*k14 + k13*k14, k01*k12 + k01*k13 + k01*k14 + k12*k13 + k12*k14 + k12*k31 + k12*k41 + k13*k14 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k12*k13*k14, k01*k12*k13 + k01*k12*k14 + k01*k13*k14 + k12*k13*k14 + k12*k13*k41 + k12*k14*k31 + k13*k14*k21] │ case = │ (ode = x1'(t) = -x1(t)*k01 - x1(t)*k21 - x1(t)*k31 - x1(t)*k41 + x2(t)*k12 + x3(t)*k13 + x4(t)*k14 + u(t) │ x2'(t) = x1(t)*k21 - x2(t)*k12 │ x3'(t) = x1(t)*k31 - x3(t)*k13 │ x4'(t) = x1(t)*k41 - x4(t)*k14 │ y1(t) = x1(t) │ , ident_funcs = AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k12*k13 + k12*k14 + k13*k14, k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31*k41, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31 + k21*k41 + k31*k41, k12*k13*k14]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), x4(t), ..., k41 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011689025 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.006891593 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.577e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 3.188572954 [ Info: Selecting generators in 0.059084359 [ Info: Inclusion checked with probability 0.995 in 0.013433548 seconds [ Info: The search for identifiable functions concluded in 3.665990458 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31 + k21*k41 + k31*k41, k12*k13 + k12*k14 + k13*k14, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31*k41, k12*k13*k14] │ case = │ (ode = x1'(t) = -x1(t)*k01 - x1(t)*k21 - x1(t)*k31 - x1(t)*k41 + x2(t)*k12 + x3(t)*k13 + x4(t)*k14 + u(t) │ x2'(t) = x1(t)*k21 - x2(t)*k12 │ x3'(t) = x1(t)*k31 - x3(t)*k13 │ x4'(t) = x1(t)*k41 - x4(t)*k14 │ y1(t) = x1(t) │ , ident_funcs = AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k12*k13 + k12*k14 + k13*k14, k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31*k41, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31 + k21*k41 + k31*k41, k12*k13*k14]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), x4(t), ..., k41 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), x4(t), y1(t), u(t), k01, k12, k13, k14, k21, k31, k41] [ Info: Computing IO-equations [ Info: Computed IO-equations in 1.454811129 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.008854943 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.705e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.326654197 [ Info: Selecting generators in 0.059646984 [ Info: Inclusion checked with probability 0.995 in 0.013353558 seconds [ Info: The search for identifiable functions concluded in 2.375980088 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31 + k21*k41 + k31*k41, k12*k13 + k12*k14 + k13*k14, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31*k41, k12*k13*k14] │ case = │ (ode = x1'(t) = -x1(t)*k01 - x1(t)*k21 - x1(t)*k31 - x1(t)*k41 + x2(t)*k12 + x3(t)*k13 + x4(t)*k14 + u(t) │ x2'(t) = x1(t)*k21 - x2(t)*k12 │ x3'(t) = x1(t)*k31 - x3(t)*k13 │ x4'(t) = x1(t)*k41 - x4(t)*k14 │ y1(t) = x1(t) │ , ident_funcs = AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k12*k13 + k12*k14 + k13*k14, k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31*k41, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31 + k21*k41 + k31*k41, k12*k13*k14]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), x4(t), ..., k41 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), x4(t), y1(t), u(t), k01, k12, k13, k14, k21, k31, k41] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011868213 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.006974522 seconds [ Info: Dimensions of the Wronskians [8] [ Info: Ranks of the Wronskians computed in 2.889e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.28263723 [ Info: Selecting generators in 0.057153818 [ Info: Inclusion checked with probability 0.995 in 0.012545476 seconds [ Info: The search for identifiable functions concluded in 0.784578402 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31 + k21*k41 + k31*k41, k12*k13 + k12*k14 + k13*k14, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31*k41, k12*k13*k14] │ case = │ (ode = x1'(t) = -x1(t)*k01 - x1(t)*k21 - x1(t)*k31 - x1(t)*k41 + x2(t)*k12 + x3(t)*k13 + x4(t)*k14 + u(t) │ x2'(t) = x1(t)*k21 - x2(t)*k12 │ x3'(t) = x1(t)*k31 - x3(t)*k13 │ x4'(t) = x1(t)*k41 - x4(t)*k14 │ y1(t) = x1(t) │ , ident_funcs = AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k12*k13 + k12*k14 + k13*k14, k01, k21 + k31 + k41, k12 + k13 + k14, k21*k31*k41, k12*k31 + k12*k41 + k13*k21 + k13*k41 + k14*k21 + k14*k31, k21*k31 + k21*k41 + k31*k41, k12*k13*k14]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 13 variables x1(t), x2(t), x3(t), x4(t), ..., k41 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x1(t), x2(t), x3(t), x4(t), y1(t), u(t), k01, k12, k13, k14, k21, k31, k41] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.020122912 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.014772465 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 8.6249e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000128619 [ Info: Selecting generators in 0.009683855 [ Info: Inclusion checked with probability 0.995 in 0.014530357 seconds [ Info: The search for identifiable functions concluded in 0.105316974 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k7, k6, k5, k10 + 2*k8, k9^2, k10//k9] │ case = │ (ode = x5'(t) = (x5(t)*x4(t)*k5 - x5(t)*x4(t)*k7 - x5(t)*k6*k7 + x4(t)*x6(t)*k5 + x4(t)*k5*k8)//(x5(t)*x4(t) + x5(t)*k6 + x4(t)*x6(t) + x4(t)*k8 + x6(t)*k6 + k6*k8) │ x7'(t) = (-x6(t)^2*k9 + x6(t)*k10*k9)//k10 │ x4'(t) = (-x4(t)*k5)//(x4(t) + k6) │ x6'(t) = (x5(t)*x6(t)^2*k9 - x5(t)*x6(t)*k10*k9 + x5(t)*k10*k7 + x6(t)^3*k9 - x6(t)^2*k10*k9 + x6(t)^2*k8*k9 - x6(t)*k10*k8*k9)//(x5(t)*k10 + x6(t)*k10 + k10*k8) │ y1(t) = x4(t) │ y2(t) = x5(t) │ , ident_funcs = QQMPolyRingElem[k7, k5, k6, k10*k9, k9^2, k10 + 2*k8]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables x5(t), x7(t), x4(t), x6(t), ..., k9 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.022219892 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.015962932 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 8.461e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000121689 [ Info: Selecting generators in 0.009690155 [ Info: Inclusion checked with probability 0.995 in 0.014863974 seconds [ Info: The search for identifiable functions concluded in 0.109949328 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k7, k6, k5, k10 + 2*k8, k9^2, k10//k9] │ case = │ (ode = x5'(t) = (x5(t)*x4(t)*k5 - x5(t)*x4(t)*k7 - x5(t)*k6*k7 + x4(t)*x6(t)*k5 + x4(t)*k5*k8)//(x5(t)*x4(t) + x5(t)*k6 + x4(t)*x6(t) + x4(t)*k8 + x6(t)*k6 + k6*k8) │ x7'(t) = (-x6(t)^2*k9 + x6(t)*k10*k9)//k10 │ x4'(t) = (-x4(t)*k5)//(x4(t) + k6) │ x6'(t) = (x5(t)*x6(t)^2*k9 - x5(t)*x6(t)*k10*k9 + x5(t)*k10*k7 + x6(t)^3*k9 - x6(t)^2*k10*k9 + x6(t)^2*k8*k9 - x6(t)*k10*k8*k9)//(x5(t)*k10 + x6(t)*k10 + k10*k8) │ y1(t) = x4(t) │ y2(t) = x5(t) │ , ident_funcs = QQMPolyRingElem[k7, k5, k6, k10*k9, k9^2, k10 + 2*k8]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables x5(t), x7(t), x4(t), x6(t), ..., k9 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.021513309 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.015973963 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 8.0379e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000121129 [ Info: Selecting generators in 0.009907382 [ Info: Inclusion checked with probability 0.995 in 0.014986913 seconds [ Info: The search for identifiable functions concluded in 0.108338595 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k7, k6, k5, k10 + 2*k8, k9^2, k10//k9] │ case = │ (ode = x5'(t) = (x5(t)*x4(t)*k5 - x5(t)*x4(t)*k7 - x5(t)*k6*k7 + x4(t)*x6(t)*k5 + x4(t)*k5*k8)//(x5(t)*x4(t) + x5(t)*k6 + x4(t)*x6(t) + x4(t)*k8 + x6(t)*k6 + k6*k8) │ x7'(t) = (-x6(t)^2*k9 + x6(t)*k10*k9)//k10 │ x4'(t) = (-x4(t)*k5)//(x4(t) + k6) │ x6'(t) = (x5(t)*x6(t)^2*k9 - x5(t)*x6(t)*k10*k9 + x5(t)*k10*k7 + x6(t)^3*k9 - x6(t)^2*k10*k9 + x6(t)^2*k8*k9 - x6(t)*k10*k8*k9)//(x5(t)*k10 + x6(t)*k10 + k10*k8) │ y1(t) = x4(t) │ y2(t) = x5(t) │ , ident_funcs = QQMPolyRingElem[k7, k5, k6, k10*k9, k9^2, k10 + 2*k8]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables x5(t), x7(t), x4(t), x6(t), ..., k9 │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.021660127 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.015967993 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 8.2359e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.050790331 [ Info: Selecting generators in 0.016093372 [ Info: Inclusion checked with probability 0.995 in 0.014973613 seconds [ Info: The search for identifiable functions concluded in 0.166340704 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k7, k6, k5, k10 + 2*k8, k9^2, k10*k9] │ case = │ (ode = x5'(t) = (x5(t)*x4(t)*k5 - x5(t)*x4(t)*k7 - x5(t)*k6*k7 + x4(t)*x6(t)*k5 + x4(t)*k5*k8)//(x5(t)*x4(t) + x5(t)*k6 + x4(t)*x6(t) + x4(t)*k8 + x6(t)*k6 + k6*k8) │ x7'(t) = (-x6(t)^2*k9 + x6(t)*k10*k9)//k10 │ x4'(t) = (-x4(t)*k5)//(x4(t) + k6) │ x6'(t) = (x5(t)*x6(t)^2*k9 - x5(t)*x6(t)*k10*k9 + x5(t)*k10*k7 + x6(t)^3*k9 - x6(t)^2*k10*k9 + x6(t)^2*k8*k9 - x6(t)*k10*k8*k9)//(x5(t)*k10 + x6(t)*k10 + k10*k8) │ y1(t) = x4(t) │ y2(t) = x5(t) │ , ident_funcs = QQMPolyRingElem[k7, k5, k6, k10*k9, k9^2, k10 + 2*k8]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables x5(t), x7(t), x4(t), x6(t), ..., k9 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x5(t), x7(t), x4(t), x6(t), y1(t), y2(t), k10, k5, k6, k7, k8, k9] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.021534868 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.015797344 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 8.6879e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.08444384 [ Info: Selecting generators in 0.023921835 [ Info: Inclusion checked with probability 0.995 in 0.01827312 seconds [ Info: The search for identifiable functions concluded in 1.133235052 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k7, k6, k5, k10 + 2*k8, k9^2, k10*k9] │ case = │ (ode = x5'(t) = (x5(t)*x4(t)*k5 - x5(t)*x4(t)*k7 - x5(t)*k6*k7 + x4(t)*x6(t)*k5 + x4(t)*k5*k8)//(x5(t)*x4(t) + x5(t)*k6 + x4(t)*x6(t) + x4(t)*k8 + x6(t)*k6 + k6*k8) │ x7'(t) = (-x6(t)^2*k9 + x6(t)*k10*k9)//k10 │ x4'(t) = (-x4(t)*k5)//(x4(t) + k6) │ x6'(t) = (x5(t)*x6(t)^2*k9 - x5(t)*x6(t)*k10*k9 + x5(t)*k10*k7 + x6(t)^3*k9 - x6(t)^2*k10*k9 + x6(t)^2*k8*k9 - x6(t)*k10*k8*k9)//(x5(t)*k10 + x6(t)*k10 + k10*k8) │ y1(t) = x4(t) │ y2(t) = x5(t) │ , ident_funcs = QQMPolyRingElem[k7, k5, k6, k10*k9, k9^2, k10 + 2*k8]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables x5(t), x7(t), x4(t), x6(t), ..., k9 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x5(t), x7(t), x4(t), x6(t), y1(t), y2(t), k10, k5, k6, k7, k8, k9] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.026590628 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.021233981 seconds [ Info: Dimensions of the Wronskians [3, 36] [ Info: Ranks of the Wronskians computed in 8.9439e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.055260566 [ Info: Selecting generators in 0.017529947 [ Info: Inclusion checked with probability 0.995 in 0.015109272 seconds [ Info: The search for identifiable functions concluded in 0.18806283 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k7, k6, k5, k10 + 2*k8, k9^2, k10*k9] │ case = │ (ode = x5'(t) = (x5(t)*x4(t)*k5 - x5(t)*x4(t)*k7 - x5(t)*k6*k7 + x4(t)*x6(t)*k5 + x4(t)*k5*k8)//(x5(t)*x4(t) + x5(t)*k6 + x4(t)*x6(t) + x4(t)*k8 + x6(t)*k6 + k6*k8) │ x7'(t) = (-x6(t)^2*k9 + x6(t)*k10*k9)//k10 │ x4'(t) = (-x4(t)*k5)//(x4(t) + k6) │ x6'(t) = (x5(t)*x6(t)^2*k9 - x5(t)*x6(t)*k10*k9 + x5(t)*k10*k7 + x6(t)^3*k9 - x6(t)^2*k10*k9 + x6(t)^2*k8*k9 - x6(t)*k10*k8*k9)//(x5(t)*k10 + x6(t)*k10 + k10*k8) │ y1(t) = x4(t) │ y2(t) = x5(t) │ , ident_funcs = QQMPolyRingElem[k7, k5, k6, k10*k9, k9^2, k10 + 2*k8]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables x5(t), x7(t), x4(t), x6(t), ..., k9 │ over rational field └ with_states = false [ Info: QQMPolyRingElem[x5(t), x7(t), x4(t), x6(t), y1(t), y2(t), k10, k5, k6, k7, k8, k9] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.012321658 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.016111061 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 6.9269e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000142049 [ Info: Selecting generators in 0.085214152 [ Info: Inclusion checked with probability 0.995 in 0.017067602 seconds [ Info: The search for identifiable functions concluded in 0.534790149 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[s, b, Ninv, a + g, a*b*g + a*b*s + b*e*g*s, (a*e)//(a + e*s - s)] │ case = │ (ode = S'(t) = -S(t)*In(t)*Ninv*b - S(t)*u(t)*Ninv │ In'(t) = -In(t)*g + L(t)*a + Q(t)*s │ L'(t) = S(t)*In(t)*Ninv*b - L(t)*a │ Q'(t) = -In(t)*e*g + In(t)*g - Q(t)*s │ y(t) = In(t)*Ninv │ , ident_funcs = QQMPolyRingElem[a*g + e*g*s - g*s, b, a + g, a*e*g, s, Ninv]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables S(t), In(t), L(t), Q(t), ..., s │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.010981731 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.028914085 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 8.0739e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000195758 [ Info: Selecting generators in 0.090448861 [ Info: Inclusion checked with probability 0.995 in 0.019602257 seconds [ Info: The search for identifiable functions concluded in 0.548465624 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[s, b, Ninv, a + g, a*b*g + a*b*s + b*e*g*s, (a*e)//(a + e*s - s)] │ case = │ (ode = S'(t) = -S(t)*In(t)*Ninv*b - S(t)*u(t)*Ninv │ In'(t) = -In(t)*g + L(t)*a + Q(t)*s │ L'(t) = S(t)*In(t)*Ninv*b - L(t)*a │ Q'(t) = -In(t)*e*g + In(t)*g - Q(t)*s │ y(t) = In(t)*Ninv │ , ident_funcs = QQMPolyRingElem[a*g + e*g*s - g*s, b, a + g, a*e*g, s, Ninv]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables S(t), In(t), L(t), Q(t), ..., s │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.014075001 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.017810624 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 7.5959e-5 seconds [ Info: Simplifying generating set. Simplification level: weak [ Info: Search for polynomial generators concluded in 0.000193948 [ Info: Selecting generators in 0.097938896 [ Info: Inclusion checked with probability 0.995 in 0.018878514 seconds [ Info: The search for identifiable functions concluded in 0.614492435 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[s, b, Ninv, a + g, a*b*g + a*b*s + b*e*g*s, (a*e)//(a + e*s - s)] │ case = │ (ode = S'(t) = -S(t)*In(t)*Ninv*b - S(t)*u(t)*Ninv │ In'(t) = -In(t)*g + L(t)*a + Q(t)*s │ L'(t) = S(t)*In(t)*Ninv*b - L(t)*a │ Q'(t) = -In(t)*e*g + In(t)*g - Q(t)*s │ y(t) = In(t)*Ninv │ , ident_funcs = QQMPolyRingElem[a*g + e*g*s - g*s, b, a + g, a*e*g, s, Ninv]) │ simplify = :weak │ R = │ Multivariate polynomial ring in 12 variables S(t), In(t), L(t), Q(t), ..., s │ over rational field └ with_states = false [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.012405628 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.01625449 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 7.3369e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.089323711 [ Info: Selecting generators in 1.165366077 [ Info: Inclusion checked with probability 0.995 in 0.0183103 seconds [ Info: The search for identifiable functions concluded in 1.736971373 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[s, b, Ninv, a + g, a*e*g, a*g + e*g*s - g*s] │ case = │ (ode = S'(t) = -S(t)*In(t)*Ninv*b - S(t)*u(t)*Ninv │ In'(t) = -In(t)*g + L(t)*a + Q(t)*s │ L'(t) = S(t)*In(t)*Ninv*b - L(t)*a │ Q'(t) = -In(t)*e*g + In(t)*g - Q(t)*s │ y(t) = In(t)*Ninv │ , ident_funcs = QQMPolyRingElem[a*g + e*g*s - g*s, b, a + g, a*e*g, s, Ninv]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables S(t), In(t), L(t), Q(t), ..., s │ over rational field └ with_states = false [ Info: QQMPolyRingElem[S(t), In(t), L(t), Q(t), y(t), u(t), Ninv, a, b, e, g, s] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.013958723 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.01833057 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 7.1049e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.099546721 [ Info: Selecting generators in 0.084187862 [ Info: Inclusion checked with probability 0.995 in 0.016671326 seconds [ Info: The search for identifiable functions concluded in 0.652925107 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[s, b, Ninv, a + g, a*e*g, a*g + e*g*s - g*s] │ case = │ (ode = S'(t) = -S(t)*In(t)*Ninv*b - S(t)*u(t)*Ninv │ In'(t) = -In(t)*g + L(t)*a + Q(t)*s │ L'(t) = S(t)*In(t)*Ninv*b - L(t)*a │ Q'(t) = -In(t)*e*g + In(t)*g - Q(t)*s │ y(t) = In(t)*Ninv │ , ident_funcs = QQMPolyRingElem[a*g + e*g*s - g*s, b, a + g, a*e*g, s, Ninv]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables S(t), In(t), L(t), Q(t), ..., s │ over rational field └ with_states = false [ Info: QQMPolyRingElem[S(t), In(t), L(t), Q(t), y(t), u(t), Ninv, a, b, e, g, s] [ Info: Computing IO-equations [ Info: Computed IO-equations in 0.011827423 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.015065422 seconds [ Info: Dimensions of the Wronskians [32] [ Info: Ranks of the Wronskians computed in 6.8009e-5 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.482414357 [ Info: Selecting generators in 0.075117231 [ Info: Inclusion checked with probability 0.995 in 0.015292119 seconds [ Info: The search for identifiable functions concluded in 2.007875268 seconds ┌ Info: Test, result_funcs = │ AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[s, b, Ninv, a + g, a*e*g, a*g + e*g*s - g*s] │ case = │ (ode = S'(t) = -S(t)*In(t)*Ninv*b - S(t)*u(t)*Ninv │ In'(t) = -In(t)*g + L(t)*a + Q(t)*s │ L'(t) = S(t)*In(t)*Ninv*b - L(t)*a │ Q'(t) = -In(t)*e*g + In(t)*g - Q(t)*s │ y(t) = In(t)*Ninv │ , ident_funcs = QQMPolyRingElem[a*g + e*g*s - g*s, b, a + g, a*e*g, s, Ninv]) │ simplify = :standard │ R = │ Multivariate polynomial ring in 12 variables S(t), In(t), L(t), Q(t), ..., s │ over rational field └ with_states = false [ Info: QQMPolyRingElem[S(t), In(t), L(t), Q(t), y(t), u(t), Ninv, a, b, e, g, s] [ Info: Computing IO-equations [ Info: Computed IO-equations in 4.296558943 seconds [ Info: Computing Wronskians [ Info: Computed Wronskians in 0.07623009 seconds [ Info: Dimensions of the Wronskians [34, 2] [ Info: Ranks of the Wronskians computed in 9.2299e-5 seconds ====================================================================================== 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 _fmpz_mpoly_set_length at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly/fit_length.c:39:1 _try_divides at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:812:5 _fmpz_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:1644:22 _fmpz_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:1911:16 fmpz_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly/gcd.c:45:12 _fmpz_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/mpolyv.c:177:10 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:751:19 _fmpz_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:1589:19 _fmpz_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:1911:16 fmpz_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly/gcd.c:45:12 _fmpz_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/mpolyv.c:177:10 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:751:19 _fmpz_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:1589:19 _fmpz_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:1911:16 fmpz_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly/gcd.c:45:12 _fmpz_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/mpolyv.c:185:14 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:751:19 _fmpz_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:1589:19 _fmpz_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:1911:16 fmpz_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly/gcd.c:45:12 _fmpz_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/mpolyv.c:177:10 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:751:19 _fmpz_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:1589:19 _fmpz_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:1911:16 fmpz_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly/gcd.c:45:12 _fmpz_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/mpolyv.c:185:14 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:751:19 _fmpz_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:1589:19 _fmpz_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly_factor/gcd_algo.c:1911:16 fmpz_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/fmpz_mpoly/gcd.c:45:12 fmpq_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/fmpq_mpoly/gcd.c:38:1 gcd at /home/pkgeval/.julia/packages/Nemo/MT5uH/src/flint/fmpq_mpoly.jl:321:0 (pc: 39) // at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/Fraction.jl:50:0 (pc: 12) [inlined] derivative at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/Fraction.jl:661:0 (pc: 20) derivative at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/Fraction.jl:654:0 (pc: 4) [inlined] jacobian at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/util.jl:352:0 (pc: 64) update_trbasis_info! at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:98:0 (pc: 48) RationalFunctionField at /home/pkgeval/.julia/packages/RationalFunctionFields/E2pFC/src/Field.jl:50:0 (pc: 70) unknown function (ip: 0x79393c484382) at (unknown file) _jl_invoke at /source/src/gf.c:4127:23 [inlined] ijl_apply_generic at /source/src/gf.c:4353:12 #_find_identifiable_functions#243 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:119:0 (pc: 150) _find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:85:0 (pc: 53) [inlined] #241 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:62:0 (pc: 16) with_logstate at ./logging/logging.jl:542:0 (pc: 15) with_logger at ./logging/logging.jl:653:0 (pc: 5) [inlined] #find_identifiable_functions#239 at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:60:0 (pc: 23) [inlined] find_identifiable_functions at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/src/identifiable_functions.jl:48:0 (pc: 95) unknown function (ip: 0x7939381b4b10) at (unknown file) _jl_invoke at /source/src/gf.c:4127:23 [inlined] ijl_apply_generic at /source/src/gf.c:4353:12 jl_apply at /source/src/julia.h:2359:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:243:16 eval_body at /source/src/interpreter.c:594:35 eval_body at /source/src/interpreter.c:563:21 eval_body at /source/src/interpreter.c:571:21 eval_body at /source/src/interpreter.c:571:21 eval_body at /source/src/interpreter.c:571:21 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:768:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 3) include_string at ./loading.jl:3113:0 (pc: 125) _jl_invoke at /source/src/gf.c:4127:23 [inlined] ijl_apply_generic at /source/src/gf.c:4353:12 _include at ./loading.jl:3173:0 (pc: 35) include at ./Base.jl:327:0 (pc: 3) IncludeInto at ./Base.jl:328:0 (pc: 4) unknown function (ip: 0x7939421ce752) at (unknown file) _jl_invoke at /source/src/gf.c:4127:23 [inlined] ijl_apply_generic at /source/src/gf.c:4353:12 macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:157:0 (pc: 3) [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2246:0 (pc: 17) [inlined] macro expansion at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:155:0 (pc: 17) [inlined] macro expansion at ./timing.jl:741:0 (pc: 25) [inlined] top-level scope at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/runtests.jl:154:0 (pc: 439) jl_invoke_oneshot at /source/src/gf.c:4162:23 ijl_eval_thunk at /source/src/toplevel.c:760:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 3) include_string at ./loading.jl:3113:0 (pc: 125) _jl_invoke at /source/src/gf.c:4127:23 [inlined] ijl_apply_generic at /source/src/gf.c:4353:12 _include at ./loading.jl:3173:0 (pc: 35) include at ./Base.jl:327:0 (pc: 3) IncludeInto at ./Base.jl:328:0 (pc: 4) jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4127:23 [inlined] ijl_apply_generic at /source/src/gf.c:4353:12 jl_apply at /source/src/julia.h:2359:12 [inlined] do_call at /source/src/interpreter.c:123:26 eval_value at /source/src/interpreter.c:243:16 eval_stmt_value at /source/src/interpreter.c:194:23 [inlined] eval_body at /source/src/interpreter.c:706:13 jl_interpret_toplevel_thunk at /source/src/interpreter.c:897:21 ijl_eval_thunk at /source/src/toplevel.c:768:18 jl_toplevel_eval_flex at /source/src/toplevel.c:712:26 jl_eval_toplevel_stmts at /source/src/toplevel.c:602:15 jl_toplevel_eval_flex at /source/src/toplevel.c:684:27 ijl_toplevel_eval at /source/src/toplevel.c:782:12 ijl_toplevel_eval_in at /source/src/toplevel.c:827:13 eval at ./boot.jl:517:0 (pc: 3) exec_options at ./client.jl:321:0 (pc: 353) _start at ./client.jl:596:0 (pc: 35) jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4127:23 [inlined] ijl_apply_generic at /source/src/gf.c:4353:12 jl_apply at /source/src/julia.h:2359: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: 0x79395836a249) at /lib/x86_64-linux-gnu/libc.so.6 __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== [ Info: Simplifying generating set. Simplification level: weak ⌜ # Computing specializations.. Time: 0:00:00 ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 1 running 0 of 1 signal (10): User defined signal 1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404:0 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430:0 ijl_task_get_next at /source/src/scheduler.c:457:34 ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x000079393dbfc010 Total snapshots: 206. Utilization: 100% ╎196 @Base/client.jl:596 _start() ╎ 196 @Base/client.jl:321 exec_options(opts::Base.JLOptions) ╎ 196 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ 196 @Base/Base.jl:328 (::Base.IncludeInto)(fname::String) ╎ 196 @Base/Base.jl:327 include(mapexpr::Function, mod::Module, _path::S… ╎ 196 @Base/loading.jl:3173 _include(mapexpr::Function, mod::Module, _p… ╎ ╎ 196 @Base/loading.jl:3113 include_string(mapexpr::typeof(identity), … ╎ ╎ 196 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ ╎ 196 @StructuralIdentifiability/…:154 top-level scope ╎ ╎ 196 @Base/timing.jl:741 macro expansion ╎ ╎ 196 @StructuralIdentifiability/…:155 macro expansion ╎ ╎ ╎ 196 @Test/src/Test.jl:2246 macro expansion ╎ ╎ ╎ 196 @StructuralIdentifiability/…:157 macro expansion ╎ ╎ ╎ 196 @Base/Base.jl:328 (::Base.IncludeInto)(fname::String) ╎ ╎ ╎ 196 @Base/Base.jl:327 include(mapexpr::Function, mod::Module… ╎ ╎ ╎ 196 @Base/loading.jl:3173 _include(mapexpr::Function, mod::… ╎ ╎ ╎ ╎ 196 @Base/loading.jl:3113 include_string(mapexpr::typeof(i… ╎ ╎ ╎ ╎ 196 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ ╎ ╎ ╎ 196 @StructuralIdentifiability/…:48 kwcall(::@NamedTuple… ╎ ╎ ╎ ╎ 196 @StructuralIdentifiability/…:60 #find_identifiable_… ╎ ╎ ╎ ╎ 196 @Base/…gging.jl:653 with_logger ╎ ╎ ╎ ╎ ╎ 196 @Base/…gging.jl:542 with_logstate(f::StructuralId… ╎ ╎ ╎ ╎ ╎ 196 @StructuralIdentifiability/…:62 (::StructuralIde… ╎ ╎ ╎ ╎ ╎ 196 @StructuralIdentifiability/…:85 _find_identifia… ╎ ╎ ╎ ╎ ╎ 196 @StructuralIdentifiability/…:119 _find_identif… ╎ ╎ ╎ ╎ ╎ 196 @RationalFunctionFields/…:50 RationalFunction… ╎ ╎ ╎ ╎ ╎ ╎ 196 @RationalFunctionFields/…:98 update_trbasis_… ╎ ╎ ╎ ╎ ╎ ╎ 196 @RationalFunctionFields/…:352 jacobian(ratf… ╎ ╎ ╎ ╎ ╎ ╎ 186 @AbstractAlgebra/…:654 iterate(e::Base.Ite… ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:659 derivative(f::Abst… ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:81 numerator(a::Abstr… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:81 numerator(a::Abst… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @AbstractAlgebra/…:30 numerator(a::Abs… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:288 divexact ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:288 divexact(a::QQMPoly… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:745 (::QQMPolyRing)() ╎ ╎ ╎ ╎ ╎ ╎ 185 @AbstractAlgebra/…:661 derivative(f::Abst… ╎ ╎ ╎ ╎ ╎ ╎ 165 @AbstractAlgebra/…:50 //(x::QQMPolyRingE… 163╎ ╎ ╎ ╎ ╎ ╎ ╎ 165 @Nemo/…ly.jl:321 gcd(a::QQMPolyRingElem… 1╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…es.jl:5123 _fmpq_mpoly_clear_fn… ╎ ╎ ╎ ╎ ╎ ╎ 8 @AbstractAlgebra/…:51 //(x::QQMPolyRingE… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 8 @Nemo/…ly.jl:496 divexact(a::QQMPolyRin… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 8 @Nemo/…ly.jl:498 divexact(a::QQMPolyRi… 8╎ ╎ ╎ ╎ ╎ ╎ ╎ 8 @Nemo/…ly.jl:457 divides(a::QQMPolyRi… ╎ ╎ ╎ ╎ ╎ ╎ 11 @Nemo/…ly.jl:268 *(a::QQMPolyRingElem, b… 11╎ ╎ ╎ ╎ ╎ ╎ ╎ 11 @Nemo/…ly.jl:717 check_parent(a::QQMPol… 1╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:513 derivative(a::QQMPolyRi… ╎ ╎ ╎ ╎ ╎ ╎ 9 @AbstractAlgebra/…:609 evaluate(f::Abstrac… 9╎ ╎ ╎ ╎ ╎ ╎ 9 @Nemo/…ly.jl:558 evaluate(a::QQMPolyRingE… 1╎ ╎ ╎ ╎ ╎ ╎ 1 @Nemo/…ly.jl:555 evaluate(a::QQMPolyRingEl… ✓ # Computing specializations.. Time: 0:00:07 wait at ./task.jl:1246:0 (pc: 44) wait_forever at ./task.jl:1168:0 (pc: 5) jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4127:23 [inlined] ijl_apply_generic at /source/src/gf.c:4353:12 jl_apply at /source/src/julia.h:2359:12 [inlined] start_task at /source/src/task.c:1275:19 unknown function (ip: (nil)) at (unknown file) ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ⌜ # Computing specializations.. Time: 0:00:00 Points: 5   ⌝ # Computing specializations.. Time: 0:00:00 Points: 9   ⌟ # Computing specializations.. Time: 0:00:00 Points: 13   ⌞ # Computing specializations.. Time: 0:00:01 Points: 17   ⌜ # Computing specializations.. Time: 0:00:02 Points: 21   ⌝ # Computing specializations.. Time: 0:00:02 Points: 26 ┌ 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 0x000077659fde0880 Total snapshots: 414. Utilization: 0% ╎414 @Base/task.jl:1168 wait_forever() 413╎ 414 @Base/task.jl:1246 wait()  ⌟ # Computing specializations.. Time: 0:00:02 Points: 31   ⌞ # Computing specializations.. Time: 0:00:03 Points: 39   ⌜ # Computing specializations.. Time: 0:00:03 Points: 47   ⌝ # Computing specializations.. Time: 0:00:04 Points: 56   ⌟ # Computing specializations.. Time: 0:00:04 Points: 64   ⌞ # Computing specializations.. Time: 0:00:04 Points: 70   ⌜ # Computing specializations.. Time: 0:00:05 Points: 79   ⌝ # Computing specializations.. Time: 0:00:05 Points: 87   ⌟ # Computing specializations.. Time: 0:00:05 Points: 93   ✓ # Computing specializations.. Time: 0:00:06 [31] signal 15: Terminated in expression starting at /home/pkgeval/.julia/packages/StructuralIdentifiability/31snG/test/identifiable_functions.jl:1149 jl_free at /source/src/gc-common.c:563:1 unknown function (ip: 0x11) at (unknown file) n_poly_clear at /workspace/srcdir/flint-3.4.0/src/n_poly.h:68:9 [inlined] nmod_mpoly_evals at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:135:9 _set_estimates at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:413:5 [inlined] _nmod_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1877:5 _nmod_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2251:16 nmod_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2277:12 _nmod_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly_factor/mpolyv.c:145:10 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1016:19 _nmod_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1851:19 _nmod_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2251:16 nmod_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2277:12 _nmod_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly_factor/mpolyv.c:145:10 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1016:19 _nmod_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1851:19 _nmod_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2251:16 nmod_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2277:12 _nmod_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly_factor/mpolyv.c:153:14 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1016:19 _nmod_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1851:19 _nmod_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2251:16 nmod_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2277:12 _nmod_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly_factor/mpolyv.c:153:14 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1016:19 _nmod_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1851:19 _nmod_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2251:16 nmod_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2277:12 _nmod_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly_factor/mpolyv.c:153:14 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1016:19 _nmod_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1851:19 _nmod_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2251:16 nmod_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2277:12 _nmod_mpoly_vec_content_mpoly at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly_factor/mpolyv.c:145:10 _try_missing_var at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1016:19 _nmod_mpoly_gcd_algo_small at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:1851:19 _nmod_mpoly_gcd_algo at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2251:16 nmod_mpoly_gcd at /workspace/srcdir/flint-3.4.0/src/nmod_mpoly/gcd.c:2277:12 gcd at /home/pkgeval/.julia/packages/Nemo/MT5uH/src/flint/nmod_mpoly.jl:351:0 (pc: 31) // at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/Fraction.jl:50:0 (pc: 12) derivative at /home/pkgeval/.julia/packages/AbstractAlgebra/u52o2/src/Fraction.jl:661:0 (pc: 20) PkgEval terminated after 2725.11s: test duration exceeded the time limit