Re: [Axiom-developer] Re: typo in src/boot/Makefile.pamphlet

2006-04-04 Thread Gabriel Dos Reis
"Page, Bill" <[EMAIL PROTECTED]> writes: | On Tuesday, April 04, 2006 10:56 PM Gabriel Dos Reis wrote: | > ... | > Somehow I understood that the "wider" public will see only | > the two-month interval, while the developers could see | > immediate patches (I'm mostly initerested in the other | > ch

RE: [Axiom-developer] Re: typo in src/boot/Makefile.pamphlet

2006-04-04 Thread Page, Bill
On Tuesday, April 04, 2006 10:56 PM Gabriel Dos Reis wrote: > ... > Somehow I understood that the "wider" public will see only > the two-month interval, while the developers could see > immediate patches (I'm mostly initerested in the other > changes that were suggested and applied, not in the "end

[Axiom-developer] Re: typo in src/boot/Makefile.pamphlet

2006-04-04 Thread Gabriel Dos Reis
root <[EMAIL PROTECTED]> writes: | it's still at patch-47. | updates are done on a best-effort, two-month interval. | i've been heavily buried in work, working hard on the | maple integration-bug study, and dealing with an | evolving personal issue which has caused a lag. | i'm in the process o

[Axiom-developer] Re: typo in src/boot/Makefile.pamphlet

2006-04-04 Thread root
it's still at patch-47. updates are done on a best-effort, two-month interval. i've been heavily buried in work, working hard on the maple integration-bug study, and dealing with an evolving personal issue which has caused a lag. i'm in the process of creating a new patch now. testing is going

[Axiom-developer] Re: typo in src/boot/Makefile.pamphlet

2006-04-04 Thread Gabriel Dos Reis
root <[EMAIL PROTECTED]> writes: | patch applied. | fixed in the next release. Thanks! Is there a way to have the revision number (version number?) at which the trunk is on a daily basis? I find that to be a very useful functionality for tracking the various branches and revisions (and checking

Re: [Axiom-developer] operations working in general, but not in special cases -- help needed

2006-04-04 Thread William Sit
Dear Martin: Martin Rubey wrote: > The general case > > We have a category A with an operation op: % -> %. However, there are natural > subdomains of domains of A, which are no longer closed under op. > > Can you propose a "natural" hierarchy of categories for this situation? Since > this occu

[Axiom-developer] Re: [Aldor-l] operations working in general, but not in special cases -- help needed

2006-04-04 Thread Ralf Hemmecke
On 04/04/2006 10:11 AM, Martin Rubey wrote: Example 1, Matroids A "matroid" is a mathematical structure with one very, very important operation, namely "dualizing" which transforms a given matroid into another. Thus, one is tempted to have a category "MatroidCat", which exports an operation "d

[Axiom-developer] Re: [Aldor-l] operations working in general, but not in special cases -- help needed

2006-04-04 Thread Martin Rubey
"Christian Aistleitner" <[EMAIL PROTECTED]> writes: > Dear Martin, > > > We have a category A with an operation op: % -> %. However, there are > > natural > > subdomains of domains of A, which are no longer closed under op. > > if I understood you correctly, you did not mean "closed under op"

Re: [Axiom-developer] operations working in general, but not in special cases -- help needed

2006-04-04 Thread Bertfried Fauser
On 4 Apr 2006, Martin Rubey wrote: Hi Martin, a quite interesting question... > The general case > > We have a category A with an operation op: % -> %. However, there are natural > subdomains of domains of A, which are no longer closed under op. > > Can you propose a "natural" hierarchy of categ

Re: [Axiom-developer] Map

2006-04-04 Thread Martin Rubey
Dear Antoine, see SandBoxSpad. "Antoine Hersen" <[EMAIL PROTECTED]> writes: > All my map trouble come from the fact that I tried to use map to change type > > map( A -> B , List A ) -> List B Using hyperdoc, you find that this kind of map is provided by ListFunctions2: click Browse enter ma

[Axiom-developer] operations working in general, but not in special cases -- help needed

2006-04-04 Thread Martin Rubey
Dear all, I will first describe my problem with two examples occurring in practice, and finally try to give a more abstract description. The question is, how to structure categories in these cases. Example 1, Matroids A "matroid" is a mathematical structure with one very, very important operatio