Re: Solving vector equations; is this possible?

On Jun 1, 2012, at 2:22 PM, Ralf Hemmecke wrote:

>> input:
>> Solve( system : [ z =3D y+ax, p^tz =3D0 ],
>>              for : [ a,z ],
>>              with : [ Scalar(a), Vector(x), =85.. ] )
>> =


>  Obviously, in the above input there are two types of multiplication. So =
you have a field K and a vector space V over K. Then 2 operations *: (K, V)=
 -> V and *: (V, V) -> K.

Absolutely. And I'm really looking at the simplest case of real numbers and=
 R^N.

> I'm not aware that Axiom has a solver for this, but of course, being a CA=
S, it would be relatively easy to add a few inference rules to derive your =
expected result. Look into http://fricas.sourceforge.net/doc/book.pdf and s=
earch for ruleset.

Will do.

> I suspect that solving this particular problem is not terribly interestin=
g. You probably have other problems to solve.

Yeah, it's the simplest example of more complicated stuff I'm doing. Most o=
f it too complicated (or just too many instances) to be done by hand.

Victor.