open-axiom-devel  

Messages by Date

• 2008/08/11 Re: [open-axiom-devel] Two variables with different type in the same scope Gabriel Dos Reis
• 2008/08/11 Re: [open-axiom-devel] Two variables with different type in the same scope Gabriel Dos Reis
• 2008/08/11 Re: [open-axiom-devel] Two variables with different type in the same scope Gabriel Dos Reis
• 2008/08/11 Re: [open-axiom-devel] Two variables with different type in the same scope Ralf Hemmecke
• 2008/08/11 Re: [open-axiom-devel] Two variables with different type in the same scope Gabriel Dos Reis
• 2008/08/11 [open-axiom-devel] Two variables with different type in the same scope Ralf Hemmecke
• 2008/08/10 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/10 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Bill Page
• 2008/08/10 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/10 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/07 Re: [open-axiom-devel] [Aldor-l] Hopf Algebra = Group + Monad Bill Page
• 2008/08/07 [open-axiom-devel] Hopf Algebra = Group + Monad Bill Page
• 2008/08/06 Re: [open-axiom-devel] Literal in OpenAxiom? Ralf Hemmecke
• 2008/08/06 Re: [open-axiom-devel] Literal in OpenAxiom? Ralf Hemmecke
• 2008/08/06 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Bill Page
• 2008/08/06 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/06 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Ralf Hemmecke
• 2008/08/06 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/06 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Ralf Hemmecke
• 2008/08/06 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Bill Page
• 2008/08/06 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Bill Page
• 2008/08/06 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/06 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Ralf Hemmecke
• 2008/08/06 Re: [open-axiom-devel] Literal in OpenAxiom? Gabriel Dos Reis
• 2008/08/06 Re: [open-axiom-devel] Literal in OpenAxiom? Bill Page
• 2008/08/06 Re: [open-axiom-devel] Literal in OpenAxiom? Gabriel Dos Reis
• 2008/08/06 Re: [open-axiom-devel] Literal in OpenAxiom? Bill Page
• 2008/08/06 Re: [open-axiom-devel] Literal in OpenAxiom? Bill Page
• 2008/08/06 Re: [open-axiom-devel] Literal in OpenAxiom? Gabriel Dos Reis
• 2008/08/06 Re: [open-axiom-devel] Literal in OpenAxiom? Gabriel Dos Reis
• 2008/08/06 Re: [open-axiom-devel] Literal in OpenAxiom? Gabriel Dos Reis
• 2008/08/06 Re: [open-axiom-devel] Literal in OpenAxiom? Bill Page
• 2008/08/06 Re: [open-axiom-devel] Literal in OpenAxiom? Gabriel Dos Reis
• 2008/08/06 [open-axiom-devel] Literal in OpenAxiom? Ralf Hemmecke
• 2008/08/06 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/06 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Bill Page
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Bill Page
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Bill Page
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Bill Page
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Bill Page
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Bill Page
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Bill Page
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/05 Re: [open-axiom-devel] SetAggregate, set inclusion, and operator < Bill Page
• 2008/08/05 [open-axiom-devel] SetAggregate, set inclusion, and operator < Gabriel Dos Reis
• 2008/08/04 Re: [open-axiom-devel] [fricas-devel] build-system Waldek Hebisch
• 2008/08/04 [open-axiom-devel] Re: src/Makefile.in Gabriel Dos Reis
• 2008/08/04 Re: [open-axiom-devel] src/Makefile.in Ralf Hemmecke
• 2008/08/03 Re: [open-axiom-devel] src/Makefile.in Waldek Hebisch
• 2008/08/03 Re: [open-axiom-devel] src/Makefile.in Gabriel Dos Reis
• 2008/08/03 Re: [open-axiom-devel] [fricas-devel] Re: src/Makefile.in Ralf Hemmecke
• 2008/08/03 Re: [open-axiom-devel] if then followed by for Gregory Vanuxem
• 2008/08/03 Re: [open-axiom-devel] if then followed by for Gabriel Dos Reis
• 2008/08/03 Re: [open-axiom-devel] if then followed by for Gabriel Dos Reis
• 2008/08/03 Re: [open-axiom-devel] if then followed by for Gregory Vanuxem
• 2008/08/03 Re: [open-axiom-devel] if then followed by for Gabriel Dos Reis
• 2008/08/03 Re: [open-axiom-devel] [fricas-devel] Re: src/Makefile.in Gabriel Dos Reis
• 2008/08/03 [open-axiom-devel] if then followed by for Gregory Vanuxem
• 2008/08/03 Re: [open-axiom-devel] [fricas-devel] Re: src/Makefile.in Ralf Hemmecke
• 2008/08/03 Re: [open-axiom-devel] build-system Gabriel Dos Reis
• 2008/08/03 Re: [open-axiom-devel] src/Makefile.in Gabriel Dos Reis
• 2008/08/03 [open-axiom-devel] src/Makefile.in Ralf Hemmecke
• 2008/08/02 [open-axiom-devel] build-system Ralf Hemmecke
• 2008/08/01 Re: [open-axiom-devel] AXIOMsys vs depsys Martin Rubey
• 2008/07/31 [open-axiom-devel] AXIOMsys vs depsys Ralf Hemmecke
• 2008/07/29 Re: [open-axiom-devel] [fricas-devel] Re: RISC Ralf Hemmecke
• 2008/07/26 Re: [open-axiom-devel] RISC Bill Page
• 2008/07/26 Re: [open-axiom-devel] semantics of "has" Gabriel Dos Reis
• 2008/07/25 Re: [open-axiom-devel] semantics of "has" Bill Page
• 2008/07/25 Re: [open-axiom-devel] [fricas-devel] Re: semantics of "has" Bill Page
• 2008/07/25 Re: [open-axiom-devel] semantics of "has" Ralf Hemmecke
• 2008/07/25 Re: [open-axiom-devel] semantics of "has" Waldek Hebisch
• 2008/07/25 Re: [open-axiom-devel] semantics of "has" Ralf Hemmecke
• 2008/07/24 [open-axiom-devel] semantics of "has" Yixin Cao
• 2008/07/21 Re: [open-axiom-devel] Hints Bill Page
• 2008/07/18 Re: [open-axiom-devel] add 'is' operator to conditional categories declarations Gabriel Dos Reis
• 2008/07/18 Re: [open-axiom-devel] add 'is' operator to conditional categories declarations Gabriel Dos Reis
• 2008/07/17 Re: [open-axiom-devel] add 'is' operator to conditional categories declarations Bill Page
• 2008/07/17 Re: [open-axiom-devel] add 'is' operator to conditional categories declarations Yixin Cao
• 2008/07/17 Re: [open-axiom-devel] add 'is' operator to conditional categories declarations Bill Page
• 2008/07/17 [open-axiom-devel] add 'is' operator to conditional categories declarations Yixin Cao
• 2008/07/17 Re: [open-axiom-devel] 8-4 and 8/4 Gabriel Dos Reis
• 2008/07/17 Re: [open-axiom-devel] 8-4 and 8/4 Ralf Hemmecke
• 2008/07/16 Re: [open-axiom-devel] Type of variables in the interpreter Gabriel Dos Reis
• 2008/07/16 [open-axiom-devel] Type of variables in the interpreter Yixin Cao
• 2008/07/16 Re: [open-axiom-devel] 8-4 and 8/4 Gabriel Dos Reis
• 2008/07/16 Re: [open-axiom-devel] 8-4 and 8/4 Ralf Hemmecke
• 2008/07/16 Re: [open-axiom-devel] 8-4 and 8/4 Gabriel Dos Reis
• 2008/07/16 Re: [open-axiom-devel] 8-4 and 8/4 Yixin Cao
• 2008/07/16 Re: [open-axiom-devel] 8-4 and 8/4 Gabriel Dos Reis
• 2008/07/16 Re: [open-axiom-devel] 8-4 and 8/4 Yixin Cao
• 2008/07/16 Re: [open-axiom-devel] 8-4 and 8/4 Gabriel Dos Reis
• 2008/07/16 Re: [open-axiom-devel] 8-4 and 8/4 Gabriel Dos Reis
• 2008/07/16 Re: [open-axiom-devel] 8-4 and 8/4 Ralf Hemmecke
• 2008/07/16 Re: [open-axiom-devel] 8-4 and 8/4 Yixin Cao
• 2008/07/16 Re: [open-axiom-devel] 8-4 and 8/4 Bill Page
• 2008/07/16 [open-axiom-devel] 8-4 and 8/4 Yixin Cao
• 2008/07/15 Re: [open-axiom-devel] [Axiom-mail] Two hyperdoc questions Bill Page
• 2008/07/14 Re: [open-axiom-devel] [open-axiom-patches] restrict operator for mapping Yixin Cao
• 2008/07/10 Re: [open-axiom-devel] domains and categories Gabriel Dos Reis
• 2008/07/10 Re: [open-axiom-devel] domains and categories Yixin Cao
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Yixin Cao
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Bill Page
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: justification Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: justification Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: justification Bill Page
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: justification Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Bill Page
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: justification Bill Page
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: justification Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Yixin Cao
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Bill Page
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: justification Bill Page
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: justification Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Yixin Cao
• 2008/07/09 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Ralf Hemmecke
• 2008/07/09 Re: [open-axiom-devel] Is Mapping a domain or category constructor Ralf Hemmecke
• 2008/07/09 Re: [open-axiom-devel] Is Mapping a domain or category constructor Ralf Hemmecke
• 2008/07/09 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Ralf Hemmecke
• 2008/07/09 Re: [open-axiom-devel] Type and English Bill Page
• 2008/07/09 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] Is Mapping a domain or category constructor Bill Page
• 2008/07/09 Re: [open-axiom-devel] Is Mapping a domain or category constructor Bill Page
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Bill Page
• 2008/07/09 Re: [open-axiom-devel] (Bug or intended feature) a:Domain:=Ring Ralf Hemmecke
• 2008/07/09 Re: [open-axiom-devel] Type and English Ralf Hemmecke
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: justification Bill Page
• 2008/07/09 [open-axiom-devel] Is Type a category? Ralf Hemmecke
• 2008/07/09 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] Is Mapping a domain or category constructor Ralf Hemmecke
• 2008/07/09 Re: [open-axiom-devel] Is Mapping a domain or category constructor Bill Page
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: nonzero polynomials Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] [SandBoxSymbolic] Re: justification Gabriel Dos Reis
• 2008/07/09 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/08 Re: [open-axiom-devel] Is Mapping a domain or category constructor Bill Page
• 2008/07/08 Re: [open-axiom-devel] (Bug or intended feature) a:Domain:=Ring Gabriel Dos Reis
• 2008/07/08 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/08 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/08 Re: [open-axiom-devel] Is Mapping a domain or category constructor Bill Page
• 2008/07/08 Re: [open-axiom-devel] Is Mapping a domain or category constructor Bill Page
• 2008/07/08 Re: [open-axiom-devel] Type and English Bill Page
• 2008/07/08 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/08 Re: [open-axiom-devel] Type and English Gabriel Dos Reis
• 2008/07/08 Re: [open-axiom-devel] domains and categories Gabriel Dos Reis
• 2008/07/08 Re: [open-axiom-devel] domains and categories Gabriel Dos Reis
• 2008/07/08 Re: [open-axiom-devel] Is Mapping a domain or category constructor Bill Page
• 2008/07/08 [open-axiom-devel] Type and English Ralf Hemmecke
• 2008/07/08 Re: [open-axiom-devel] domains and categories Yixin Cao
• 2008/07/08 Re: [open-axiom-devel] domains and categories Bill Page
• 2008/07/08 [open-axiom-devel] domains and categories Gabriel Dos Reis
• 2008/07/08 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Bill Page
• 2008/07/08 Re: [open-axiom-devel] (Bug or intended feature) a:Domain:=Ring Ralf Hemmecke
• 2008/07/08 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Ralf Hemmecke
• 2008/07/07 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Bill Page
• 2008/07/07 Re: [open-axiom-devel] (Bug or intended feature) a:Domain:=Ring Ralf Hemmecke
• 2008/07/07 [open-axiom-devel] SIGSAM article on Axiom Bill Page
• 2008/07/07 Re: [open-axiom-devel] (Bug or intended feature) a:Domain:=Ring Gabriel Dos Reis
• 2008/07/07 [open-axiom-devel] (Bug or intended feature) a:Domain:=Ring Yixin Cao
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Ralf Hemmecke
• 2008/07/04 Re: [open-axiom-devel] Is Mapping a domain or category constructor Bill Page
• 2008/07/04 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Bill Page
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Gabriel Dos Reis
• 2008/07/04 Re: [open-axiom-devel] Is Mapping a domain or category constructor Bill Page
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Bill Page
• 2008/07/04 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/04 Re: [open-axiom-devel] Is Mapping a domain or category constructor Bill Page
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Gabriel Dos Reis
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Bill Page
• 2008/07/04 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Gabriel Dos Reis
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Gabriel Dos Reis
• 2008/07/04 Re: [open-axiom-devel] Is Mapping a domain or category constructor Ralf Hemmecke
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Ralf Hemmecke
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Bill Page
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Bill Page
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Bill Page
• 2008/07/04 Re: [open-axiom-devel] Is Mapping a domain or category constructor Bill Page
• 2008/07/04 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Gabriel Dos Reis
• 2008/07/04 Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'? Bill Page
• 2008/07/04 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis
• 2008/07/04 Re: [open-axiom-devel] Is Mapping a domain or category constructor Gabriel Dos Reis

• Earlier messages
• Later messages