On Tue, Aug 5, 2008 at 7:39 PM, Bill Page <[EMAIL PROTECTED]> wrote:
> On Tue, Aug 5, 2008 at 8:16 PM, Gabriel Dos Reis wrote:
>> On Tue, Aug 5, 2008 at 6:47 PM, Bill Page wrote:
>>
>>> The monoid
>>> problem does not prevent us from usefully defining 'Monoid' (and
>>> 'AbelianMonoid') now, and it should not prevent us from defining
>>> concepts like 'PartiallyOrderedSet'.
>>
>> Definitely. I just don't see how that solve the present problem.
>> Maybe you can show me by carrying out the idea in a concrete
>> modification of the OpenAxiom algebra that we can all test and
>> comment on?
>>
>
> I am a little afraid to attempt "deep" changes to the Algebra like
> this in OpenAxiom because of the potential for database
> inconsistencies and other parts of the bootstrap (e.g. generated Lisp
> code). Am I wrong to be worried about that?
I don't think you should be worried about that; but you can pick
any AXIOM system that lets you freely structure the algreba. The
fundamental ideas should flow from one system to another.
>
> But my point is that the present problem is *only* due to the
> "misguided syntactic transformations". Eliminate those and you
> eliminate the problem. The rest of my comments relate to how you might
> be able to replace these misguided transformations by more sensible
> semantic ones.
I forgot to say in my original email that for full disclosure I ran
into the problem
I reported precisely because I removed the syntactic transformations and hit lot
of regressions. So, it does not look to me that just removing the syntactic
transformations is that simple. It does expose a fundamental problem that needs
to be addressed -- How many are aware that somewhere in AXIOM input files
there is an expression such as
s >= t
where s and t are both Multiset, which relies on the fact that the interpreter
is doing misguided syntactic transformations? (I would not have guessed without
actually trying it).
The problem has short term solutions and long term solutions. I'll take any
better long term solutions that work today and that do not lead to complications
of their owns.
>
> Regards,
> Bill Page.
>
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
