Martin Baker <ax87...@martinb.com> writes:

| On Wednesday 12 Oct 2011 14:56:34 you wrote:
| >
| > 'rep' is equivalent to the function:
| >
| >   rep(x:%):Rep == x pretend Rep
| >
| > similarly
| >
| >   per(x:Rep):% == x pretend %
| 
| Thanks Bill, thats very helpful.
| 
| Strangely enough (just for the record) although per is not a known
| function in FriCAS the following line does not produce a compile
| error:
| 
| arbitrary == per(-1)
| 
| but it did not return the expected type, so I had to do:
| 
| per(x:Rep):% == x pretend %
| arbitrary == per(-1)

I think the latter was part of what Bill said.

| to get the right type.
| I only mention this to illustrate how messy it seems to be to to
| translate from one version of Axiom to another, the compiler error
| messages are not much help with this sort of thing (if only you guys
| could have a reconciliation and merge the forks back together again!)

That is a valid criticism and one that I heard frequently.
However, I believe it is also plainly clear that OpenAxiom and FriCAS are
not at war (at least, the two leading developers are not) so I am not
sure "reconcicialtion" is the right word -- maybe you meant something else.

OpenAxiom and FriCAS are pursing different lines of visions -- and it is
clear that the differences are not just mere differences in how users
invokve configure.  The differences in philosophy are slowly emerging
and I suspect it is going to be like that for a while.

| > I prefer to use the email lists - one list or the other is fine.
| 
| No problem. (I was just trying to be tactful and avoid triggering a
| 'fork x is better than fork y' discussion but I guess people here are
| grown up enough not to do that).

I cannot speak for everybody, but I can tell you this: You would not hear
that from OpenAxiom developers; and I am sure Waldek would not engage in
that.   


------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure contains a
definitive record of customers, application performance, security
threats, fraudulent activity and more. Splunk takes this data and makes
sense of it. Business sense. IT sense. Common sense.
http://p.sf.net/sfu/splunk-d2d-oct
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel

Reply via email to