|
From: | Martin Baker |
Subject: | Re: [Axiom-mail] A question about Axiom capabilities, Fwd: [fricas-devel] Abstract Vector Algebra |
Date: | Sat, 30 Mar 2013 08:37:38 +0000 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130307 Thunderbird/17.0.4 |
Would anyone object if I ask a slightly wider question on this topic?It would be really nice if one could write an equation solver for a given algebra, I have often wanted to do that and I wonder if there is any general advise on this topic for Axiom?
I guess what I am looking for is a way to have variables that represent a given algebra element. If I understand correctly variables are built in to an Axiom Expression but they are hard coded to be some form of number only.
So I'm guessing that, to do this, one would not only need to define an algebra but a specific expression (coalgebra) domain to go with it and then some sort of rule solving logic?
Martin Baker
[Prev in Thread] | Current Thread | [Next in Thread] |