On 06/04/13 19:36, Gabriel Dos Reis wrote:
> Martin Baker writes:
> | Is there a way I could help in a pan-Axiom sort of way? For instance,
> | would it be any help if I went through these categories and drew a
> | diagram of their relationships?
>
> That would be terrific and greatly appreciated.
Martin Baker writes:
| > We did not get time to convert all the comments into code as is done
| > for some the new categories and domains in the trunk repository.
| > For example, from
| >
| >
|
http://sourceforge.net/p/open-axiom/code/2800/tree/trunk/src/algebra/catdef.spad.pamphlet
|
|
> We did not get time to convert all the comments into code as is done
> for some the new categories and domains in the trunk repository.
> For example, from
>
>
http://sourceforge.net/p/open-axiom/code/2800/tree/trunk/src/algebra/catdef.spad.pamphlet
Is there a way I could help in a pan-Axi
On Fri, Apr 5, 2013 at 11:05 AM, Martin Baker wrote:
> On 05/04/13 12:11, Gabriel Dos Reis wrote:
>> Your probably know that OpenAxiom started putting the axioms in AXIOM.
>> See for example:
>>
>>
>> http://sourceforge.net/p/open-axiom/code/2800/tree/trunk/src/algebra/catdef.spad.pamphlet
>>
>> I
On 05/04/13 12:11, Gabriel Dos Reis wrote:
> Your probably know that OpenAxiom started putting the axioms in AXIOM.
> See for example:
>
>
http://sourceforge.net/p/open-axiom/code/2800/tree/trunk/src/algebra/catdef.spad.pamphlet
>
> In fact, a couple of years ago, a student of mine did exper
On Fri, Apr 5, 2013 at 3:51 AM, Martin Baker wrote:
> Given that there is no resources (or desire, as far as I can see) to change
> the structure of Axiom then I was wondering, just for specific domains where
> we want a specific equation solver, could we encode the axioms in a set of
> rules in
