Who does what ?
Winfried Fakler (fakler@ira.uka.de):
together with Werner Seiler,
will implement
a category skewpolynomial or universalpolynomial/general polynomial
which takes a ring as coefficients and a monoid for
describing the action of the indeterminates.
This is the most general typ
for polynomial. It includes noncummutativity, as well as non-commutative
operations on the indeterminates.
will implement UnivariateSkewPolynomialCategory,
Dom::UnivariatSkewPolynomial,
Dom::LinearOrdinaryDifferentialOperators (already exists),
Dom::PolynomialExplicit (MultivariatePolynomial with small changes),
Dom::UnivariatePolynomial,
Dom::MultivariatePolynomial.
Werner Seiler (wms@ira.uka.de):
made a proposal
for domains and categories for differential equations,
and one for differential functions.
will develop a very general package for series solutions for arbitrary
systems of PDEs once the completion package is ported.
To do:
numerical methods to the DE solvers (Werner Seiler hopes to have a student
to work on this in the summer term 1997)