find_ioequations(ode, [var_change_policy=:default])

Finds the input-output equations of an ODE system Input:

• ode - the ODE system
• var_change_policy - whether to perform automatic variable change, can be one of :default, :yes, :no
• loglevel - logging level (default: Logging.Info)

Output:

• a dictionary from “leaders” to the corresponding input-output equations; if an extra projection is needed, it will be the value corresponding to rand_proj_var

The structure for storing a projection-based representation of differential ideal (see Section 2.3 https://arxiv.org/abs/2111.00991). Contains the following fields:

• y_names - the names of the variables with finite order in the profile (typically, outputs)
• u_names - the names of the variables with infinite order in the profile (typically, inputs)
• param_names - the names of the parameters
• profile - the profile of the PB-representation (see Definition 2.13) as a dict from y_names with finite orders to the orders
• projections - the corresponding projections (see Definition 2.15) as a dict from y_names to the projections

pseudodivision(f, g, x)

Computes the result of pseudodivision of f by g as univariate polynomials in x Input:

• f - the polynomial to be divided
• g - the polynomial to divide by
• x - the variable for the division

Output: the pseudoremainder of f divided by g w.r.t. x

diffreduce(diffpoly, pbr)

Computes the result of differential reduction of a differential polynomial diffpoly with respect to the charset defined by a PB-representation pbr Input:

• diffpoly - a polynomial representing a differential polynomial to be reduced
• pbr - a projection-based representation

Output: the result of differential reduction of diffpoly by pbr considered as a characteristic set (see Remark 2.20 in the paper)

io_switch(pbr)

In a single-output pb-representation pbr makes the leading variable to be the first of the inputs