[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