[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiomdeveloper] LANL NetworkX and algebra dependency graph
From: 
Gabriel Dos Reis 
Subject: 
Re: [Axiomdeveloper] LANL NetworkX and algebra dependency graph 
Date: 
09 Nov 2006 03:48:12 +0100 
"Page, Bill" <address@hidden> writes:
 Axiom Developers;

 Over a year ago we were discussing how best to represent Axiom's
 algebra dependency graph. This is a complex problem because Axiom
 has over 1,300 mathematically modules that are tightly integrated
 with each other  even to the point of generating a large number
 cyclical dependency chains in the underlying code. This considerably
 complicates bootstrap process by which Axiom is built and could
 even call into question the fundamental means by which these
 dependency loops are solved in the current build (e.g. It is known
 that just a single iteration of bootstrap > compile > bootstrap
 is not sufficient to produce a fixed point solution.)
I believe extending SPAD to understand "extend" (no pun intended)
might help decrease the complexity of the dependency graph to a more
manageable shape.
[...]
 If anyone else is interested in discussing the development and
 use of a graph theory package for Axiom, I would be very glad
 to hear from you.
I'm interested in a graph theory package for Axiom (but I have no
immediate interest in graphics). I got a copy of "Computational
Discrete Mathematics", by Sriram Pemmaraju and Steven Skiena, to get an
idea of existing work in the area of symbolic computations. I'm not
done with it yet.
 Gaby
 [Axiomdeveloper] GCL loader option, Richard Harke, 2006/11/08
 RE: [Axiomdeveloper] GCL loader option, Page, Bill, 2006/11/08
 Re: [Axiomdeveloper] GCL loader option, Waldek Hebisch, 2006/11/08
 Re: [Axiomdeveloper] GCL loader option, Gabriel Dos Reis, 2006/11/08
 [Axiomdeveloper] porting axiom, Page, Bill, 2006/11/08
 Re: [Axiomdeveloper] porting axiom, Gabriel Dos Reis, 2006/11/08
 [Axiomdeveloper] LANL NetworkX and algebra dependency graph, Page, Bill, 2006/11/08
 Re: [Axiomdeveloper] LANL NetworkX and algebra dependency graph,
Gabriel Dos Reis <=
 Re: [Axiomdeveloper] LANL NetworkX and algebra dependency graph, Martin Rubey, 2006/11/09
 RE: [Axiomdeveloper] LANL NetworkX and algebra dependency graph, Bill Page, 2006/11/09
 Re: [Axiomdeveloper] LANL NetworkX and algebra dependency graph, Ralf Hemmecke, 2006/11/09
 Re: [Axiomdeveloper] Graph theory, Martin Rubey, 2006/11/09
 RE: [Axiomdeveloper] Graph theory, Bill Page, 2006/11/10
 data structure vs. mathematical structure (was: [Axiomdeveloper] Graph theory), Ralf Hemmecke, 2006/11/11
 Re: data structure vs. mathematical structure (was: [Axiomdeveloper] Graph theory), Gabriel Dos Reis, 2006/11/11
 Re: [Axiomdeveloper] Graph theory, Ralf Hemmecke, 2006/11/12
 Multiset Hyperdoc examples page (was : Re: [Axiomdeveloper] Graph theory), Vanuxem GrĂ©gory, 2006/11/12
 Re: Multiset Hyperdoc examples page (was : Re: [Axiomdeveloper] Graph theory), Waldek Hebisch, 2006/11/12