[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## Re: [Axiom-developer] RE: More AxiomUI

**From**: |
Martin Rubey |

**Subject**: |
Re: [Axiom-developer] RE: More AxiomUI |

**Date**: |
Wed, 22 Jun 2005 14:09:34 +0200 |

Dear all,
I would also think that it is a bad idea to do the dependency checking outside
of axiom. By the way, axiom does it already:
(1) -> f(x:INT):INT == 5
Function declaration f : Integer -> Integer has been added to
workspace.
Type: Void
(2) -> g(x:INT):INT == f(x)
Function declaration g : Integer -> Integer has been added to
workspace.
Type: Void
(3) -> f(x:INT):INT == 10
Function declaration f : Integer -> Integer has been added to
workspace.
1 old definition(s) deleted for function or rule f
Type: Void
Martin

**[Axiom-developer] Re: More AxiomUI**, *Bob McElrath*, `2005/06/21`
**[Axiom-developer] RE: More AxiomUI**, *Page, Bill*, `2005/06/21`
**[Axiom-developer] Re: More AxiomUI**, *Bob McElrath*, `2005/06/21`
**Re: [Axiom-developer] RE: More AxiomUI**,
*Martin Rubey* **<=**
**Re: [Axiom-developer] RE: More AxiomUI**, *Martin Rubey*, `2005/06/22`
**Re: [Axiom-developer] RE: More AxiomUI**, *William Sit*, `2005/06/22`
**[Axiom-developer] Aldor/Axiom convergence**, *Ralf Hemmecke*, `2005/06/22`
**Re: [Axiom-developer] RE: More AxiomUI**, *Martin Rubey*, `2005/06/22`
**Re: [Axiom-developer] RE: More AxiomUI**, *Vanuxem GrĂ©gory*, `2005/06/22`

**[Axiom-developer] RE: More AxiomUI**, *Page, Bill*, `2005/06/21`
**[Axiom-developer] RE: More AxiomUI**, *Page, Bill*, `2005/06/22`