The following matrix types can be express used to build interval matrix that are only affected by some parameters (ie. parametric interval matrices):
(A0, A1, p) --> A0 + p A1 --(A0, A1, ..., Ak. p) --> A0 + p1 A1 + \lambda_2 A2 + \ldots + pk Ak(A0, p, c, A) ---> A0 + p1^{c1} A1 + p2^{c2} A2 + \ldots + pk^{ck} Ak
See #187 for an implementation of the first two.
There is also the closely related concept of matrix pencil, but in that case, the parameter is understood as an indeterminate. I see two options, either:
(a) Use the implementation in #187. Then define a matrix pencil struct with indeterminates. We may or may not compose those in the future.
(b) Define a struct for the (interval) matrix pencil with an indeterminate lambda, which is then instantiated with some p obtaining some other struct which does hold the value of the parameter.
I would go for option (a), mainly because it is an incremental change.
The following matrix types can be express used to build interval matrix that are only affected by some parameters (ie. parametric interval matrices):
(A0, A1, p)-->A0 + p A1--(A0, A1, ..., Ak. p)-->A0 + p1 A1 + \lambda_2 A2 + \ldots + pk Ak(A0, p, c, A)--->A0 + p1^{c1} A1 + p2^{c2} A2 + \ldots + pk^{ck} AkSee #187 for an implementation of the first two.
There is also the closely related concept of matrix pencil, but in that case, the parameter is understood as an indeterminate. I see two options, either:
(a) Use the implementation in #187. Then define a matrix pencil struct with indeterminates. We may or may not compose those in the future.
(b) Define a struct for the (interval) matrix pencil with an indeterminate lambda, which is then instantiated with some p obtaining some other struct which does hold the value of the parameter.
I would go for option (a), mainly because it is an incremental change.