#10 Add Ability to Write Equation Solvers for a given Domain.

[Martin Baker]

FriCAS has quite good support for say, systems of polynomial equations in field or OrderedRing, see numsolve.spad.pamphlet for more details.

Would it be possible to generalise this so that someone writing code for an SPAD domain can add their own equation solvers for their domain. With variables that represent elements of that domain.

So, for example, we might want to write equations where the variables are quaternions. So we need to write a solver which can handle a non-commuting algebra.

I suppose someone could write some code in SPAD to do this now? But it really needs a proper framework to do it efficiently?

[Martin Baker]

Note for other readers:
These issues are not formally managed on sourceforge (or anywhere else). Informal discussion of this is on the mailing list here:
https://groups.google.com/forum/?hl=en#!topic/fricas-devel/eqFx8YETeRo
However it is difficult to find things on a mailing list, there are some very helpful replies so I have put them all here:
http://www.euclideanspace.com/maths/standards/program/fricas/wishlist/solvers/